Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 5, 8, fol. 22r

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

One image of two folio pages side by side, registered by the library under both labels (also fol. 21v); this page is its right half.

The machine reads it as

  1. W
  2. Propositio particularis affirmativa
  3. vera est, quando universalis negativa
  4. Et contra
  5. vera non est. seu quando non reperatur
  6. verbi gratia: quidam fortunatus est mniser quidam fortunalus est in
  7. + t
  8. quia nec dividi potest p, nec - 7 per +5. communem divisorem habent
  9. + 11 et 14
  10. (quorum alterntium suffecisset ad propositionem
  11. universalem negativam veram reddendam)
  12. similiter: quidam sapiens est iistos
  13. -22
  14. Noet Aeat- es
  15. + 10-
  16. +cd - C
  17. quia nec dividi potest per 3, nec - 2t per +10.
  18. quia nec +70 et - 3, nec - 33 et + 10 divisorem
  19. communem habent.
  20. Conllar. 3. propositio Universalis negativa
  21. e
  22. em
  23. et particularis affirmativa sibi contradictorie
  24. opponuntur (ita, ut non possint esse simul falae
  25. verae aut simul falsae) patet ex dictis
  26. . Propositio particularis affirmativa
  27. orem.
  28. converti potest simpliciter v. g.
  29. quidam fortunatus est miser Eg quidam miser
  30. est fortunatue: Quidam sapiens est jastus Ergo
  31. quidamstus est sapiens. Patet eodem
  32. modo quo ostendimus propositionem Univ. negativam
  33. quae huic contradicit, simpliciter convert; ad theorir
  34. propositionum categoricarum veralu pro diversa sua qualitate
  35. Ataunt definitiones sive totius et quantitate, sive totius definitiones seu
  36. continenti
  37. alie urn
  38. totius calculi Logici principia unde jam
  39. alcub Logiti Catigorici fundamenta princ
  40. Hinc alia adhuc Corollaria duci possunt
  41. circa et quibus so consequentias Logicas
  42. ex quibus jam reliquas
  43. celebriores solo culculo numerorum demonstrabo usu
  44. jam explicato, demonstrabimus. Consequentiae illae
  45. sunt vel simplices vel syllo composit derivatae
  46. syllogisticae. Consequentiae simplicis sun celebriores sunt subalternatio oppositio
  47. Oppositio, subatternatio, Conversio. De
  48. Oppositione contradictoria jam duo habuimus di
  49. probavimus corol. Oppositio est vel contra dictoria particulare. Sit ergo
  50. inter ea quae nec simul vera nec simul falsa
  51. esse possunt, de quibus dimus coroll. 1. et 3.
  52. vel est contraria cum duae propositiones simul
  53. esse possunt falsae non tamen non possunt simul
  54. esse verae, suunt tamen possunt tamen esse simul
  55. falsae Hinc
  56. Coroll. F universal. Affirm, et Univers Ateg.
  57. sibi constadictor contrarie copponuntur
  58. Non possunt enim simul esse verae.
  59. et-He non habent divisorem communem non dividipotes per J. (alioqui +∞ et - 3)
  60. iset
  61. +E on
  62. Conversio. Sudiienatio est
  63. .cum ex universali concluditur
  64. neorem. E
  65. Semper locum habet subulter
  66. natio seu semper universali
  67. concludi potest esse X
  68. particulare
  69. pius
  70. Omnis sapiens est justus
  71. +70-33
  72. cdh EErgo
  73. +18 =3
  74. quidam sapiens est jtus
  75. e propositionem
  76. Hoc ita demonstro: 3 dividi porest pm
  77. ob propossitionem universalem affirmativam
  78. A
  79. per ob prop univ. af
  80. Ergo + 70
  81. haberent divisorem communem quod est contra
  82. quoniam ergo tam +70 et - 3, quam -33 et +
  83. non habent divisorem communem, vers erit
  84. reguto naturam reg. 1.) similiter +X0 dividi
  85. potest per + 10 (per reg. 2) ergo - 23
  86. etio non habent divisorem communem, (alioquid
  87. enim B et 70 haberent etiam divisorem
  88. communem, quod est contra reg. 1Ratio
  89. consequentiae (quia divisor divigoris est etiam
  90. notatae manifesta divisor dividendi, ergo si +10 diviser seu
  91. divifor et divedendus habe itaque si verbe grar
  92. 150t
  93. +-3) tertius numerus, et +10 divi
  94. habent (numeri 20) habent dividentem communem
  95. 15 divisor divisoris +10, erit etia et numeri - 33. erit
  96. otlam divisor dividendi per + 10 nempe C
  97. sequeretur 3d et +G0 habere oivisolem cotumune
  98. et
  99. reg. 4). quod demonstrancum nempe quidam
  100. sapiens est instgpius. FKG per D.
  101. est numerorum naturam
  102. iteegent
  103. propositio particularis affirmativa (per

Cite

Leibniz-Handschriften zur Philosophie LH 4, 5, 8, fol. 22r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068621:0043?run=74