Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 7B, 2, fol. 1r

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. n verifaitiqus tossequentia
  2. uam his terminis seper imposserua
  3. tribuemus designam
  4. at
  5. Hic demonstrantum Modi primue figure uiam opterdins,
  6. et regueae oppositionum. Quarum ope demonu
  7. strantur deinde conversiones et modi deliquarm
  8. figurarum.
  9. Principia Calculi rationalis
  10. Axioma 1 A continet B. et B, continet C. ergo A continet C
  11. s est est. B seu A est B
  12. Barbara: Ae e B est C
  13. Celareat
  14. Darii
  15. Ferio
  16. subalternatio
  17. Princae Figurae modi secundarii
  18. Barbari
  19. te
  20. Celaro
  21. B est non C
  22. B est C
  23. B est non C
  24. B est C
  25. B est non C
  26. B est C
  27. B est C Ergo A est
  28. A est B
  29. A est B
  30. QA est B
  31. tur
  32. Ergo A est C
  33. QB est B, er A. 2.
  34. QB est B
  35. A est B
  36. A est non C
  37. QA est C
  38. Ss EB id est 2 quet B
  39. QB est e
  40. QA est C
  41. Demonstratio. Namt ex Barbara) B est C, A est B, Ergo A est C. fod quia A est C, ottam LA est C fer subalternao
  42. sed quia A est C ergo et ZA est C. per sub alternationem
  43. B est non C
  44. A est B
  45. 2A est non C
  46. demonstratur eodem modo ex celarent per subalternationem
  47. i Falsa sit conclusio necesse est ut falsa sit aliqua expraemissis
  48. si
  49. si verum est A continere B _ alsum est A continere non B et contra
  50. seu _A continere B et A continere non
  51. Net et Non non A idin est quod A
  52. si verum est A continere B falsum est A continere non B
  53. Non simul verum est A continere B et non B
  54. Si veren est A continet verum est A non _C
  55. alsum
  56. sciliut si fatsum est ominem hrominem ess animal utique oportet aliquem esse
  57. lommnem qui non sit animals neque alia falsitalis ratio nit intelligi potest
  58. s Non non A idem est quod A
  59. verum es QA est non non C id est (per A∞. 3) QA est C Eago si M est non falsum ses
  60. Si falsum est ZA est C verum est A est non C
  61. sed falsum
  62. seu si fasa falsuum est reperiois hominem qui sit perfectus, sequtur
  63. Omnem hominem esse non perfectum
  64. si fatsum est ZA est non C oerum est A est C
  65. sequitur ex Ax. E per ex D. Non _ non A est A
  66. Non geminatum semet tollit,
  67. complexivum
  68. AAe
  69. segatur ex Ax. 3 et 4 Nam (per AX. 4) si falsum est A est nonC t s. L est balsom Mestverum
  70. sifalsum est A est (o verum est eAt est C
  71. aliquem
  72. si L est falsum M est verum
  73. Ergosist est falsum Lest verus
  74. Est potus de finitio seu asas signi net
  75. potus
  76. NoheNon geminatum se ipsum toll ut Non non A est A, non sasum
  77. Non verum est falsum eta
  78. run
  79. isun
  80. item non non falsum (id est non non verum) est verum
  81. si r posisis veris pluribus propositionibus si conclusio sequatur ex
  82. beraet et conclusio sit falsa, erit aliqua ex praemissis falsa
  83. per ax. 3
  84. Si (B est C, falsum est vera est fala est: est non C demonst. B ∞ BC Ergo 2B nor ∞ eB no
  85. si vera est 2B est C, falsa est C B est C
  86. sequitur Nam ex ax. 6. si D est C pt vera, hunc QB est non C, est taba.
  87. nam si gB ∞_B non C, pro (Y
  88. Ergo _ per AP. 5. si falsum sil: QB est non C esse falsam utique praenissa
  89. hoc loco unica falsa est, quod B est C sit vera. Hoc est (per ax. 4. et coroll.)
  90. si vera est QB non C, falsa est B est c
  91. si falsa est B est C vera erit QB est non C
  92. si falsa est 9B est _ non C vera erit B est C
  93. remonstratur ex axiom.z. eodem modo ut coroll. praecedens
  94. ex ax. 6
  95. si vera est B est C B est C et G
  96. contradictoriae seu nec simul verae nec
  97. est non C, sunt
  98. 6 et
  99. au
  100. falsae per ax. 7. et coroll
  101. fa nec simul
  102. B est non A et QB est A sunt contradictoriae
  103. demontratur eodem modo ut praecedens pro procedentis
  104. pro E praecedentis substituendo non A.
  105. nos nam alioqui cinera esset B est non C, etiam vera esset 2B est hor C
  106. si vera est B est C falsa est B est non C
  107. m
  108. ergo X ocra extstente B est C vera quoqui
  109. im. eodem mo
  110. BC Bho
  111. ∞BC. Ergo taliper
  112. mu n tB
  113. fient Brestaone
  114. st ut praecedens, pro C porendo non A
  115. dd citur s ave s est B et in B L B ist C isi o est non C conposlen sim et e td ina prinesia pr trodis figrarom
  116. scgbentium
  117. Ota hit demonstrantur
  118. praeter hoec pauca:
  119. Ax vet 4, quoe surt loco definitionum
  120. et AX. 5 quod est ipsa consequentiae definits
  121. quae sunt loco definitionum ipsius non nege
  122. Axiima 3
  123. Axiom. 3
  124. A
  125. Axim. 4
  126. AFcom. 3.
  127. prom. 3
  128. Axiem 4
  129. Axion. 3
  130. 5-
  131. om. 5
  132. om. 6.
  133. 7
  134. Coroll
  135. Coroll. penrcle
  136. erivum
  137. aliud corolligentrate
  138. coxoll-
  139. Apiomala Calculi de continentibus
  140. cotentis demonstrant
  141. per axio mata coincidentiae
  142. dem. A∞ AB Ba BC. Ergo A~ AS
  143. nam exo B in priore praemissa pone BC5
  144. Expriore, fit A∞AC
  145. est in dariu
  146. in feria
  147. si L est Verum M est falsum
  148. verum L erit non cerum
  149. substiluatur BC, fiet
  150. corolla
  151. 26 QBC non C, qv. est abs
  152. B non ∞ BC. Ergo QB L Lb nonL
  153. haec propot
  154. o demonstranda ex analysi restri
  155. stempe si B non ∞ BC, ergo nonc B
  156. est terminus verus, ponatur nonc a
  157. fiet QB ~ non C nonc

Cite

Leibniz-Handschriften zur Philosophie LH 4, 7B, 2, fol. 1r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068646:0001?run=74