Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

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

The machine reads it as

  1. (90) (aeterum etsi hoc modo in Praedicato vitari semper possit
  2. in definita Y, non tamen potest vitari in subjecto, et praestat
  3. i pe praedicato etiam reliaqui, ob inversionem manifestiorem
  4. Et omnino quia prorsus eliminari possunt indefiaitae prostat
  5. non
  6. eas relinqui
  7. (91) Si AY = BZ dicatur esse falsa, seu AY non = BZ vel
  8. (91) demonstrandum est, si licet A esse B idlem esse quod: non B est non A
  9. AY non = ABY
  10. Non B st = L, Ergo L - NDn B idem est quod L non L esse non A, ideus
  11. est quod L non esse A. Ergo non B esse non (per per 87). Itaque
  12. non B non est A
  13. tunc
  14. Demonstro: nam si A est non B A est B ex hypothesi. Esto sel verum
  15. A esse non B. si quidem fieri potest, jam A est B ex hypothesi
  16. non B quod est absurdum adde infra 99
  17. (92) Si A non est non B,, turc A est B. Esto falsum A esse non B
  18. equentia.
  19. Ergo A est
  20. seu A non sit B, jam A non est non B ex Hypothesi Ergo A
  21. seu Animal esse non hominem falsum est, quidem; sed
  22. tamen hinc non sequitur omne animali esse hominem
  23. (93) si A est B non B est non A. Eo A sit R per Hypothesun
  24. Aeri potest
  25. jam non B est id quod non est B non B e Falsum esto non B
  26. 64) Si non B est non A, A est B. falsum esto si fieri potest
  27. esse B. ergo A erit non B. Ergo quoddam non B erit A
  28. per conversionem.) Ergo falsum est quoddam non B esse non A (per 91)
  29. Ergo multo magis fulsum est omne non B esse non A, contratus
  30. (95) idem est A esse B idem est quod non B esse non A,
  31. au no
  32. Vrtendint niticau
  33. propositio 95. demonstrari possit per se sine 93 et 94 tion posiu
  34. (98) Bredius: omne A est B. Ergo omne non non A est B Ergo
  35. id est Nullum t est B id est nullum B est non A.
  36. id est omne non B est non A. Ita demonstratio propositionis
  37. 95 non supponit 94 et 95 93 et94. Sed praedemoi-
  38. strunde ist avertionem coversio uuniversalis negativae
  39. iet esse tantum negationem particularis
  40. et praeclemonstratum est omne non L est M
  41. quae patet gdo
  42. affirmativae
  43. esse idem quod falsum est quoddam L esse M
  44. (96) NNon non A _ = A.
  45. A est B, idem est qu A non est non B
  46. B idem est quod A est non B (per 87
  47. illum
  48. (per 87
  49. o A est B idem est quod A non est non B quod Nullum A est non B(87)
  50. Eroo nullumi non B es A, id est nullum non B est A (per conuersionem
  51. universalis negativae) id est (per 87) Omne non B est non A.
  52. uod eat diu
  53. 19 A est B idem est quod Nullum A est non B si A est B sequitur A. t
  54. non esse non B, seu falsum esse omne A esse non B. Nam est A est B
  55. utique nullum A est non B seu falsum est quoddam A esse non B. (per 87)
  56. Ergo (per 10d) multo imagis falsum est omne A esse non B. Adde 91.
  57. 104) Si falsum est quod A, esse B, falsum est Omne A est B
  58. quod
  59. dam A non est B. Ergo omne A non est B. Nam esto falsum postrrius
  60. aliquod
  61. seu ponatur omne A esse B seu si fatsum est AY esse B Nam ponatur
  62. si Feri potest omne A esse B sin fatsum esse posteriau Ergo quoddam A est B (per 29) sed
  63. oc est lontria ais pottesur patera futui, ero er susir prs
  64. esse non BA, seu non B non esse A, verum erit non B esset
  65. non B esse A. Ergo quoddam A est non B. Ergo falsum est
  66. Omne A esse B. contra Hyp. F
  67. contra hypothesin.
  68. patet ex 9 93. 94. juncto 30
  69. ides
  70. imo puto posse
  71. eliminari
  72. Bd antiormandi
  73. modus seu ducendi
  74. ad absurdum jam
  75. in praecedentibus
  76. est fa opin
  77. stablitus
  78. videndum
  79. =meliu direoe omne A est B
  80. ergo
  81. Bc) quoddam
  82. un es non B non essest
  83. quoddam B non est non A
  84. Ergo Nullum B est non A
  85. Ergo Omne non B est Ronse
  86. supponitur negationemuve
  87. ulis
  88. tva
  89. diculoris affirma.
  90. univr
  91. satem pegati-
  92. vam
  93. et Nallum B idem esse
  94. quod ogne non B
  95. Nullum non -A, idem
  96. est quod solum A
  97. (98) Omne A est B
  98. idem est quod Nullum
  99. A est non B, seu quo
  100. quoddam A non esse Bon B
  101. 44 patet ex 97 vel 87
  102. tantum pro B ponendo non B
  103. et pro non B ponendo n
  104. non non B seu B

Cite

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