# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068637:0002
# Permalink to this reading: https://leibnizlegible.com/page/00068637:0002?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 6, 13
# Folio 1v, page id 00068637:0002
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 2r); this page is its left half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068637&page=2
# Source image: https://digitale-sammlungen.gwlb.de/content/00068637/jpgs/default/00000002.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 67 lines, status machine
# Lines: 67 recognised, mean confidence 0.97
# Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German.
# Licence: CC BY 4.0, Leibniz Legible. Machine output: do not ingest it as verified text; keep this provenance with the text.
# Wording rule: say "the machine reads it as …", never "Leibniz wrote".
# After the first blank line: the recognised lines in reading order, one per line.

Videndum jam est, quaenam illa sint, quae
vere resati affirmari negarique possint unde
et contradictoria eorum falsa esse intelligatur
sunt autem verarum propositionum primae
om quae vulgo dicuntur ideaticae, ut
A est A,: non A est non A. si vera
est propositio L, sequitur quod vera est propositio L.
Et quamvis loccysmus inutilis in his enuntiationibus
esse videatur, levi tamen mutatione utilia
inde Axiomata nascuntur. Exemplicansa ex eo
quod A est A, seu quod tripedale exempli cansa) verbi gratia
est tripedale, manifestum est unum quodque tantum (nunc)
esse quantum est, seu esse psibi ipsi aequale. Unde
(ut exemplo usum ostendam identicarum demonstratum est jam dudum a philosophis
partem esse Minorem Toto; posita hac definitione:
Minus est quod parti alterius (majoris) aequale est.
demonstratio ita absolvitur: Pars est aequalis
parti totius (nempe sibi; per axioma identicum)
quod parti totius aequale est id toto minus est
(per definitionem minoris) ergo pars toto minor
est. Quod erat demonstrandum. Similiter ope
propositionis identicae demonstratur Subelternatio
seu collectio particularis, ex universali. Omne A est B
ergo quoddam A est B collectio talis est:
Omne A est B. quoddam (ex hypothesi)
quoddam A est A (per identicam) Ergo (per
collectio syllogismum primae figurae) quoddam A est B.
quae etsi non sint hujus loci, tamen exempli causa
affero, ut appareat identicas quoque suum usum habere.
nullamque veritatem utcunque tenuis esse videatur
imo identreas esse fundamenta caeterarum
contineri huox apparebre
plane sterile
sit Identicae propositiones
omnium primae sunt, omnisque probationis incapaces, ad atque adeo per se verae
in his )
nihil enim utique reperiri potest, quod au mediia..
instar aliquid secum ipso connectat, ita pro
per consequentiam verae sunt, virtualiter identicae
quae scilicet per analysin terminorum si
sciticet (Sipro termino alii aequivalentes notio vel aequivalens vel inclusa
aequimtens substituatur) ad identicas reducuntur
formales sive expressas reducuntur. Manifestuluque
est omnes propositiones necessarias sive
aeternae veritatis virtualiter identicas esse,
quippe quae ex solis ideis sive definitionibus
hoc est terminorum resolutione) demonstrari
se ad
enitates is
ictionem, ete cum is
Generaliter Omnis propositio verabt
potest proburi (quae identica sive per se vera
oppositum
seu propositionum per se verarum, et ope definitionum seuidearum
Quotiescunque enim proffositio aliqua vere
praedicatum vere affirmatur desubjecto, utique censetur
aliqua esse connexio realis inter praedicatum et
subjectum, ita ut notio vel idea praedicati in propositione quacunque Aest et A est B
seu B vere praedicatur de A) utique B insit ipsi A, seu notio ejus
in rolione ipsus At aliguo modo contircatur, idque vel
 supposito syllogisimo primae figurae
supposito syllogismoprimae sigurae
notarunt veritates quae sunt tn
absolutae seu metaphysicae necessitatis
ex terminis posse demonstruri, opposito qui
poivente
 (ut