Leibniz-Handschriften zur Philosophie LH 4, 7C, fol. 24r
Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German. Mean line confidence on this page: 0.92.
Original at the GWLB · Page image · Annotations (IIIF) · Download text
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.
The machine reads it as
- (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
Cite
Leibniz-Handschriften zur Philosophie LH 4, 7C, fol. 24r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068652:0047?run=74