Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 7B, 2, fol. 62v

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

The machine reads it as

  1. 17) in Namerpo 15 assumsimus si posito A, sequitur B,
  2. ex non , B sequi non A. vel generalius, asunnsi
  3. mu secundum nostrum Hypotheticas sub sate
  4. goricis comprenendi modum. assum simus
  5. hanc consequentiam: A est B, ergo non B est nonf.
  6. Hoc jam udemonstremes: Aest B, idem quod A∞ AB
  7. si jam Ergo non A ∞ non AB. Ergo falsum est non B
  8. esse A. Demon stratit: NAEsto: Non B
  9. est A. Ergo A non B ∞ non B. sed
  10. A est B ex concessa. Ergo A∞ AB. Ergo
  11. AB. non B ∞ non B. quod implicat. Ergo (per n. 6)
  12. falsum est non B esse A, posito A esse B.
  13. ex def Aliter sine equipolentia, qui solam.
  14. substitutionem unila teralem. E A est B ex
  15. hypothesi dico non A esse B. Nam quia
  16. isum est
  17. pro A substitui potest B. fit (per 1) substi-
  18. tuatur in 2 fiet non B est B. quod est falsum
  19. per n. 6.
  20. (18) supra 9 dictum est, demonstrandum esse:
  21. An est B et 2A c est non B coincidere
  22. posito esse aliquod seu dicere A non est B, idem
  23. esse ac dicere datur Q, tale ut s QA sit non B
  24. si fassum est A est B, possibile est A non B
  25. id vocetur R, fiet R∞ A non B. jam Ae
  26. Anon B ∞A. sic enim licet assumere et
  27. non B est non B erqu ex hoc falsum est + esses
  28. sequitur eA est no B le
  29. 1
  30. non B vocetur
  31. Ergo
  32. ergo possibile est QA. jam QA est non B
  33. ex hyp itaque possi posito falsum esse A est B
  34. ostendimus 9A esse non B. jam contra ex hoc
  35. ostendamus illud: QA est non B ergo fal sum est
  36. A est B. Nam siverum esset A est B, posset
  37. B substitui in locum ipsius A, et fieret aB est n B
  38. quod est absurdum.

Cite

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