# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068652:0047
# Permalink to this reading: https://leibnizlegible.com/page/00068652:0047?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7C
# Folio 24r, page id 00068652:0047
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 25v); this page is its right half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068652&page=47
# Source image: https://digitale-sammlungen.gwlb.de/content/00068652/jpgs/default/00000047.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 93 lines, status machine
# Lines: 93 recognised, mean confidence 0.92
# 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.

(57
Falsum in genere definio quod non est verum, sive quod contiuet
ea in quibus occurrunt B et non B. itaque sive aliquando contingat occurrere B et non B
n aut si eb nequent demonstrari Itaque ut aliquid constet
e aliquid esse falsum, vel necesse est ut sit oppositum veri vel ut contineat
oppositum veri, vel  contineat contradictionem seu B et non B, vel si
demonstretur, utcunque continuata resolutione non posse demonstrari quod sit verum.
(58) itaque quod continet falsum est falsum
59) potest tamen aliquid continere verum, et tamen esse falsum. Si scilicet (per 58)
praeterea falsum contineat.
60) videmum etiam hinc discere posse discrimen veritatum necessariarum
erae
ab aliis, ut scilicet necessariae sint quae ad
is; Et impossibiles quae ad
dicto
(61) possibiles sunt, dequibus quanu veritas non aliter consiomms potes quam quod
contratictorias reduci possunt, aut quarum
erae antessunt quaeguinalo in hi finitus efsutione indo
ppos
test nunquam in resolutione occursuram contindictionem
un aut
demonstrat
occursuram contradictionem  fasae possibiles. Falsae autem poss
veraegtin
eo
falsitas non aliter demonstrari potest, quam quod demonstrari potest, quod demon-
strari nequeat esse veras. Videtur tamen in his esse dubium. utrum sufficiat
certum
ad demonstrandam veritatem, quod continuata resolutione nulla occurr contradictio
inde enim sequetur omne possibile esse verum. Equidem terminum incomplexum
qui est possibilis, voco verum, et qui est impossibilis voco falsum. T At de
Termino complexo, ut: A continere B, seu A esse B, ambigi potest. Resolutionem
autem termini complexi intelligo in alios terminos complexos. M Scilicet sit A esse B = L
et fit L = MN, et et sit B = CD et A esse C = M, et A esse D = N, utique
fiet A esse LM L = M N.
A quidem resoluta non dat novam propositionem
ex partibus ipsius Licet autem subjectum A resolvatur, non potest pro A substitui pars
valoris, sed substituendus est valor integer, quod obiter moneo. Et patet satis si C=EG
et D = FG, et A= EFG, poterit M resolvi in EFG esse EG = P et A - EFG
poterit M resolvi in has duas A= EFG = P et EFG = EG =8,  seu
erit M = DZ; et similiter N in has duas resolvi poterit: A = EFG = D et EFG= FG= R.
ergo red est in L = PQ R. quae sunt primo verae, nam P est  Hypothesis
definitio scilicet vel experimentum, R et Q sunt axiomata prima. Verum si porro
pergamus, requiritur ad definitionem, ut constet eam esse possibilem, seu necesse est ut demon-
stretur A esse possibilem, seu ut demonstretur, EG non involvere contradictionem, id est
non involvi X non X. quod cognosci non potest, nisi resolvendo Ey F, G donec nisi experimento
si constet A existere, vel extitisse aut desolutione ipsorum (aut saltem extitisse aliquid
ipsi A per omnia simile quanquam revera hic casus  non possit dari, nam duo completa nunquam
sunt similii, et et de incompletis sufficit unum ex x duobus similibus existere, ut incom–
letum, id est de nominatio communis possibilis dicatur imo videtur esse utile, seu si sphaera
una extitit, dici poterit recte quamlibet sphaeram esse possibilem)
Unde
patet rem eodem modo procedere in propositionib Terminis complexis
osten cortecto
et in incomplexis. Su compex probatio verum bssuterminum complexum categricum
est
in alios verpropositiones
Nam
hos tandem in terminos complexos
ei se nota
primo veros, hoc est, per  se notos, definitiones et experimenta: in axirmula seupro
aa
est eum reducere in pectuo ere
omata
definitiones terminorum incomplexorum possibilium verorum; et
vs pribatum est
experimenta. Similiter Terminos incomplexos esse veros probatur
reducendo eos in alios terminos incomplexos veros, et hos iterum
in alios tandem in terminos incomplexos primo veros, hoc est in
cuqua
quos sumus experti (aut quorum similes sumus experti. Ita ut
culodstrli pore
desinat. cium ex
omnis resolutio tam complexorum quam incomplexorum terminebur
vn axiomata, terminos per se conceptos, et experimenta
it
resclutio pro quolibu
eum altur contentur
videtur alius ad huc mojus proband
contirendes
imefinitus, ut al nam et cum pros
indefinitus, ut sup. n. 16 ostendimus
62). Omnis autem propositio vera potest probari vitendum
erg an praeter hunc Unde cum experimenta rursus sint propositiones
verae ideo si nullus alius datur probandi modus quam paulo ante
descriptus, sequitur rursus experimenta resolvi posse inaxiomata
temiais per de amaestis at es perimenta, nulla artem dam pustat
Cujus simile possibue
est, id ipsum
est possibile
uno sim
(pbssibilie
alia esse