Search the Nachlass

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

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