Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 7C, fol. 23r

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. 22v); this page is its right half.

The machine reads it as

  1. A coincidis (25) A esse B (A continere B) in fert (continet) quoddam B esse (continere) A.
  2. Nam A esse B = A BY = A (per 17) = BY = AY (per 24) = esse A (p 17.)
  3. 26) Admonenda adhuc quaedam circa hunc calculum quae praemittere debueramus
  4. Nempe quod de qribuslabet literis nondum usurpatis asseris doctur generaliter, vel concluditur,
  5. t non tanquam Hypothesis, id de quotilibet aliis literis literis intellii
  6. Itaque si quis decet esse dsstur A = AA etiam dee ddcs poterit B= BB
  7. (26) quoddam B = YB. itaque similiter qui A. = ZA nimorum dicet hoc
  8. quidem dicere ad imitationem prioris (per 26) sed nova assumenda est indefinita pro
  9. posteriori aequatione, nempe Z, ut paulo ante fuerat Y.
  10. (28) t terminus simpliciter positus a me solet usurpari pro
  11. universali; ut A est B, id est omne A est B seu A in notione A, continetur notro B.
  12. (29) A est B. Ergo quoddam A est B (sive AB continere B, infert seu continet
  13. quoddam A _ continere B) Nad Nam A est B = AY est B (per 24)
  14. (30) A esse B et B esse A, idem est quod A et B coincidere, sive A coincidere ipsi B quod coincidit ipsi A
  15. nam si A substitui potest Nam A = BY et B = AZ. Ergo A = AYZ. Ergo Y Z
  16. sant super fluae continerur jam in A seu Z continetur in A. Ergo, pro B= AZ dicipotest B
  17. (31) scilicet notandum et hoc est si A = AY. tunc PY est superfeua i ineraleais si B ti propo
  18. multiplicatione apud Arithmeticos, vel Y inest in A
  19. (32) Sa A esse B est falsa aella qu sou A non continet D, idem est
  20. cas
  21. est inest
  22. revera seulper
  23. (32) Propositio Negativa. A non continet B, seu sa e A sse B fassum est
  24. (33) Axioma: A non continet B e idem est quod A continet non B
  25. seu in quo non continetur B, in eo continetur non B. sive propoc
  26. alsum esse
  27. (21) Ietae sasu est s A continere B idem est, quod fassam est A con-
  28. (32) A continere B idem est quod falsum, et A co
  29. tinere non B stin es
  30. (32) A continere non B idem est quod AB est fasum est AB C.
  31. (32) B, non-B est terminus aotio impossibile, seu seu si B. non B = C, erit C impossibile. Impossibile in incompees
  32. seu AB d ttaus ec est 1
  33. (32) Hinc si A= non B erit AB notio impossibilet
  34. (34) Noti quod continet B, non B p idem est quod Notio impossibile
  35. set CB non B impliie idem est quod impossibile
  36. posito e non continere non B
  37. (35) Quae propoditione continie saa EB contintat non B, E non continet E etitine non
  38. quam inferre (continer
  39. eape idem est quod propositi
  40. (35) Posito E non continere non B, si contingat Propositionem aliquam in ferre
  41. propositionem L esse falsam
  42. (continere) quod EB continla non B, idem est quod B esse falsum
  43. (3) posito (16) B non B est salsum qu s impossibile,
  44. (35) Propositio falsa est, quae continet ABCcontinere non B, (posito B et BA
  45. Hoc autem intelligo autem B et Yam de Terminis, quam de Propositionibus
  46. (36) Propositio vera est quae continet BA contineo B. BA continere B. (posito
  47. esse possibiles)
  48. B et A esse possibiles.) Htoc itidem tam de terminis quam propositionibus
  49. intelligo itaque hic continetur et BY) Hinc et B continer
  50. (37) quoddam B est R B. nam BA est BY (per 24) et BA continet B (per 36)
  51. Ergo et BY continea B, ergo quoddam B est B.
  52. 35) omne B est B. Nam B = B g (per 10) Ergo BY B
  53. (36) B A = B. Ergo A est B. seu A=B, continet quoA est B
  54. Nam si Y sit super flua, fiet A = BY. id est A = B idem aliter demonstratur:
  55. per prop A = B id est idem est quod A = BY et B = AY. Ergo A= B
  56. item A= B ergo AA = BA Ergo A= BA. Er go A est B
  57. (37) B est B nam B = B (per 10.) Ergo B est B (per 36.)
  58. continet A= BY.
  59. veraepasati
  60. (38) AB est B. Est indemonstraulis, v est quasi definitio 16 est.
  61. significat enim A B, seu id quod continet B, esse B seu continere B.
  62. (38) AB est B. Est in demonstrabilis, et sive identica sive definitio est vel 20 est, vel continentis, vel
  63. s
  64. eo s et B ess
  65. pa possibitis
  66. 58) B continet C. Ergo AB
  67. 59) Si B continet C, tunc AB continet C. nam AB est B (per 38)
  68. (40) vera in genene est
  69. (0) Falo F alsa propositio est qu (40) vera propositio est quae coincidit
  70. B est C (ex hypothesi) Ergo (per 19) AB est C.
  71. cum hac: AB est B, seu quae ad hanc primo veram reduci potest. puto id et ad non Categoricas apperca
  72. 41) igitur cum falsa sit quae non est vera (per Se 3) sequitur falsam esse ex 40)
  73. falsam propositionem et propositionem quae non coincidit cam hac: AB est B, esse idem
  74. in falsam propositionem idem es se quod propositionem quae non potest probari
  75. asitionet sacti patam uon sen spo polim passuat, et astia a nobis, it ideo assumntur
  76. B sit propositio
  77. non R idem est
  78. Den 10 B esse faium
  79. non B intellectendo B de
  80. in e icit
  81. jam pro in complexa
  82. quam coplexa.
  83. teminum pro incom
  84. ptoa calegorema
  85. alsum
  86. Hine si A continet B.
  87. BC
  88. etiamrgo A continet AB
  89. ratua oinat no
  90. etiam AB ontimebit AB
  91. ideu

Cite

Leibniz-Handschriften zur Philosophie LH 4, 7C, fol. 23r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068652:0045?run=74