Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 7C, fol. 83v

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

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. 84r); this page is its left half.

The machine reads it as

  1. In Regressu utimurctoc principio, quod
  2. concusione existente falsa, coniqu, ijue existente
  3. existenta vera (hoc est ppos
  4. vera) et a una praemitsarum existente
  5. vera, altera praemissarum
  6. debeat existere vera.
  7. ergo Regressus oppasitionem eu
  8. principium contradictionis est autem
  9. Contradictio inter Universalem affirmativam
  10. et particularem negativam, seu si falsa
  11. sit na A vera est O, et contra.
  12. item inter Universalem negativam et parti.
  13. cularem affirmativam, seu si falsa sit E
  14. vera erit A et contra.
  15. ex his jam paucis caeteros modos omnes deinoista
  16. bimus ac detemmnabimus prius auem expltbum
  17. quid sit contradictio, est uhoc principio, quod
  18. conclusione existente falsa, et una praemissarum a
  19. exstente ver
  20. inise comelatia
  21. falsa, pro vera assumi potest ejus contradictoria
  22. jam universalis Affirmatiod ntdictoria est spartiular
  23. negativa su dune B est C. contrad. quoddam B umes Hins BBcardoletiae _BD ABC BCD)
  24. seu cont. Universalis Negativa et particulam
  25. Affirmativa sunt Contradictoriae: seu Nullum B est C contra
  26. quoddam B est C. Communi an Brevitatis autem causa
  27. et morem Logicorum secuti imposterum Universalem
  28. affirmativam exprimemus per A, universalem Nega da
  29. per E, particulalem affirmativam per 1, particularem
  30. Negativam per O, et scribemqus ABC, EBC
  31. 1BC, OBC pro exprimenda propositione, et
  32. AAA, ACE, etc. pro exprimendo modo.
  33. subot iHfinc quatuor primi modi primae figurae
  34. quos primiticos seu quos ab aliis indetu
  35. . praemissarum
  36. enuntiabuntur, Barbara: A_t. At ACD. ABC. ABD
  37. Celarent: CD. ABC. EBD. Darii: ACd. IBC. 1Bd.
  38. Ferio: Ecd. 1BC. OBD. Ubi A. E. l. O signi
  39. fieant formam, B, C. D materiam B moe
  40. nempe B minorem, Cmnjorem C medium,
  41. terminum. Subalternatio autem (cujus et opo
  42. subtlterantio ita ex his quatuor modis prim
  43. alii uno modi primae figurae dituntur), ita dem
  44. stratur: Omne A est B. quoddam A est A. Ergo
  45. quoddam A est B. quod est argumentum in Darii
  46. similiter. Nullum A est B quoddam A est A. E
  47. quoddam A non est B quod est argumentum In F erio
  48. Hinc ex Barbara ducitur Barbari pro ABd seu
  49. bendo 1BD, qui quod ex ea sequitur; et ex Cela
  50. reut ducitur Celaro pro conclusione EBd scribem
  51. OBd quod ex ea sequitur habemus ergo duos modo
  52. novos eosque derivativos, primae figurae: Barbari
  53. ACd. ABC. IBD. Celaro ECD. ABC. OBD
  54. Horum modorum utilitas apparebit in progressu ad
  55. omnes alios modos abarum figurarum Methodo nis
  56. constanti ex prima deducendos. Apparebit etiam
  57. dies figurus directas, primam secundam et tertiam
  58. habere numerum modorum aequalem, nempe
  59. Senarium, et ex
  60. unoquoque modo primae methodo
  61. regressus ica demonstrari unum modim
  62. secundae et unum modum tertiae. Hinc du secundam
  63. figurae etiam duos novos modos adjicio, tertia autm
  64. jam vulgo plena habetur
  65. jam ex figur
  66. Modis primae figurae ducemus
  67. modos plmaeet: secum
  68. per Regressum, incipiende
  69. a Barbara inu trademus e explicate, ut in sequento
  70. breviores esse possimus. In Burbara primae: omne
  71. e omne C est D omne Dest C ergo omne B est D. ita
  72. Si ponatur major esse vera ( omne Cest D) et falsa contre
  73. conclusio ae proinde vera ejus contradictoria F quoddam B non et D
  74. falsa erit minor, seu quoddam B non ert CFquod magum
  75. et itq per recessum quod esta quod est argumentum
  76. Sin ponatur n
  77. falsa ceu quoddam Cnon esse D. in Barbara conclusio fala
  78. et majorem veram
  79. (seu quoddam B non esse DY minor vera F, eu omne B esse l
  80. Erit major falsa (seu quoddam C non erit D) quod est
  81. in Bocardo tertiae,
  82. Sed ut Brevioribus totum
  83. notis totum hoc exprimamus.
  84. bura primae per regressum supponendo ponclusionem pesam inmodo secundae servernus majoreu, et conctasionem
  85. est in Banoco secundae quod proide oriturque adeo ex Bat
  86. conclit majo
  87. Ex tis jam paucis cxseropanis
  88. omnes demonstrabinus,
  89. usi tum subalternatione, tum regressu,
  90. tum conversione; et quidem per subaltena
  91. guum tionem ostendemus modos primae figura
  92. ulitatos; sed at per
  93. ad par regressum ostendemus omnes modos figurae
  94. hos ipsam con-
  95. persionem; denique per conversionem e
  96. ticulare secunde et tertiaea
  97. parti per conversionem et reessem,
  98. ostendemus modos
  99. denique accedente prioribus
  100. L sunt contradiolorie.
  101. mediis conversi (Tub alternationi
  102. et regressui) conversione,
  103. ostendemus modes figurae
  104. quartae seu inderecta
  105. +vig. ACd significat omne C est d, EC0 signi
  106. ficut Nullum C est d, IBC significat
  107. quoddam B est C, OBd significat
  108. quoddam 0 non
  109. jam argumentum tale: omne l’est , quoddam
  110. est in Baroeo secundae
  111. e non est D, Ergo quoddam B non est C.
  112. demonstratur hic modus per regressum
  113. ex Barbara primae supponendo
  114. conclusionem modi hujus princa
  115. calsam, et majorem veram
  116. serunda, demonstra oritur ergo ac

Cite

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