Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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.90.

Original at the GWLB · Page image · Annotations (IIIF) · Download text

The machine reads it as

  1. Fundamenta Calculi Logici
  2. (1) A ∞ B idem est quod A ∞ B . st vera propositio
  3. (2) A non ∞ B idem est quod A ∞ B est falsa propositio
  4. (2)
  5. (4)
  6. Non non eoincidit aequivalet omissioni ipsius Non
  7. A d A ∞ AA. seu literae trustra hic in se invicem ducuntur
  8. AB ∞ BA, seu transpositio nil nocet
  9. (5) A∞ B significat alterum alteri posse substitui, B ipsi A, vel A ipsi B, seu qu aequivalere
  10. 6
  11. A cuin inest A non A id est Non Ens seu Terminus falsus
  12. (2) ju omni termino inest vero inest A vel non A
  13. (8) Non immediate geminata seipsam tollit
  14. (9)
  15. itaque: coincidunt A et et A∞ non non A
  16. etemque A ∞ B idem est quod A non non B et A non non ∞ B aequivalent
  17. Falsum
  18. cui inest A non A est non Ens seu terminus falsus, verbigiatia si esset C ∞ AB non B, foret C non ens
  19. (10) In omni termino inest A vel non A, seu si B non ∞ CA
  20. (10) In emni epripo in est A non ∞ B et Bnon ∞ A sequitur ex 5
  21. (11) Aequivalent A∞ B et non A ∞ non B, nam quia A substitui potest ipsi B ergo substituendo in
  22. es non A fiet non B, seu pro non A substitui potest non B. Et similiter ostenditur pro non B
  23. substitui posse A, Ergo quia A et B substitui possunt matuo seu A∞ B, etiam non A et
  24. non B substitui possunt mutuo seu feri non A c non B. Eodem modo ex posito non A∞ non B
  25. demonstrari potest A ∞ B nam A (per 6.) A idem quod non Nam ex non A jam ut ex
  26. A ∞ B demonstra vimus non A non B, etiam ex non A ∞ non B demonstrabitur
  27. non non A ∞ non non B seu A∞ B. Ergo demonstrantur hae veritates ex se mutuo seu aquivalent
  28. asue nieo et A non non A et eodem modo Comisis
  29. (12) si A B sequitur A non non B aliaqui
  30. demonstratio si erim esset Esto enim AB CnonEB, jam AB ∞ ABAB (per artic. 3.)
  31. (13) (12) on A B AB non ∞ Cnon
  32. et ABAB ∞ ABC nonB (per num. 1. articuli hujus). Ergo a primis ad postrema AB∞ ABC non B
  33. Quod est absurdum per artic. g. nam AB foret terminus falsus seu implicans
  34. eo non equitur AC ∞ BC ergo A ∞ B sie esset A ∞ BC fieret (per 3) AC ∞ BC
  35. (12) (3) si A ∞B sit AC ∞ BC demonstratur ex S; modo enim
  36. (14) AB ∞ AB non C non S quod st als. par 13 siminum
  37. (14) esequinalent A ∞ A non B et A non ∞ AB. Nam quia
  38. Nam ostendamus primo ex A∞ A non B sequi R non ∞ AB. quia AC Ana B (ex hyp. )
  39. sit AI Esto enim A∞ Anon B ajo sequi A men ∞ AB. nam eus ah a non
  40. esse A C AB fiet (ex 1.) A∞ AB non B quod est absurdum per 9
  41. imiliner
  42. ostendemus, ex A non ∞ AB sequi A∞ A non B. Nam ponamus A non ∞ A non B
  43. si A ∞. sequitur EA non ∞ C noneB, Nam jenamus F tatum at si ( . HG
  44. et A non ∞ AB
  45. Nam EA non ∞ non A (per 13) Ergo pro ultimo A substituendo B lex hoyp) sit EA nor ∞ (o a
  46. Quando negatur aliqua propositio, non refert
  47. (15) R si A∞ FB sequitur EA non ∞ C non B FGB
  48. (17)
  49. n
  50. Nam EA non ∞ C non GA. Ergo pro A substituendo FB sit EA non ∞ C non FGB
  51. Si A∞ A non B erit A non D AB , ubstitiento A non B ex Hyp hic)
  52. Nam A non ∞ AB non B, Eiqo A non B non ∞ AB non B. Ergo A non ∞ AB
  53. schl in omni termirain est diatus ternius affimuative vel aegative, ocus Ominus
  54. A∞ ACA. Ergo ABnor ∞ A non A seu A A continet non _
  55. Non B∞ non B non. AB. seu Non B continet non AB seu Non B est non AB
  56. Hoc superest calculo nostro demonstrandum
  57. C ∞ C non A non L sequitur ex 17. pro Non B ponendo non C
  58. coinci aequivalent A∞ AB et non B ∞ non B non A. Est quersio per contrapositionem
  59. num
  60. Aede ed
  61. Nam si A a quAB cum sit non B~ non B non AB per 17) pr in . 2. pro AB ponendo A (per 1)
  62. fit non B ∞ non B non A. Rursus non B0 non B non ABper 17) Kursy
  63. Rursus si non Bdo non B non A cum sit pr cum sit (per 17) non B ∞ non B non AB
  64. jungendo, 1 et 2. fit AB A∞ AB (drabia tu nonnihil consequentia per schol. ad 12. p
  65. nempe qt B non A ∞ B non AB sed an hinc sequitur A∞ AB. spine si BC∞Bd .nt e
  66. on ABa
  67. lumdemum f C∞ B si C et B un habent b loe.
  68. (0) aquivalent Non AB non ∞ non B, et Nop AB S non A seu dminent a m Apl
  69. Nam AE Non AB alterulia horum dicit on A continet non A vel non B
  70. l sium sintat in nn earaert alteris quna ltar, in podacant quim ferntoe posanum
  71. 14
  72. 2 Aug. 16.90
  73. Falsa propositio
  74. qua sadmissa exter
  75. minis veris sequitur
  76. foram
  77. min
  78. mtis

Cite

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