Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

The machine reads it as

  1. Ne AC ∞ BC, ila ni non si A∞B
  2. (11) A est Be ergo A est B. dem. Nam I. Rest BC ex hyp. Ergo 2.
  3. Nest (8) (per p B (per num ) A est ABC. A∞d ABC AC est BC
  4. Ergo (per num. 8) A ex A ∞ ABC
  5. (11) AB A ∞ BC ergo AB ∞ BC. demonstratio. Nam
  6. AA AC ∞ BCC L ex hyp. A ∞ BC Ergo
  7. 12
  8. (11) A ∞ B ergo AC ∞ BC. pat sequitur ex rec
  9. natur (1) Si A ∞ BC Ergo A sequitur AB ∞ BC. Na
  10. dem. Nam Iexhyp) A ∞ BC. ergo _E (per 11) AC ∞ BCB BCC
  11. id est 3 (per 7) AC ∞ BC Quod evat dem.
  12. (13) Non sequitur AC est BC Ergo A est B. hoc
  13. demonstrabitur exhibendo easum ubi illo vero, tamen
  14. hoc non est verum, quod est quem casum exhibere, est
  15. problema solvere. sit AC ∞ BC et A non
  16. ∞ et A non ∞ B. Nempe si A∞ BC nec A∞C
  17. erit (per 12) AC ∞ BC, Quod erat Fac.
  18. (14) A est BC ergo Aest B. demonstratio
  19. a (per hypi) A est BC Ergo 2 (per num. 8) A est ABC A ∞ ABC
  20. Ergo 3 (per num. 11) AB ∞ ABC. Ergo B 4 (per num. 8)
  21. AC est B (sed verum est etiam A esse B
  22. (1) A est BC. Ergo A est B omne BC est B,
  23. (15) AB est A. Dem. T. AB + exhuss AB est A. Hoc initio ponendum erat
  24. 3 AB ∞ AB 2. Ergo (peri 7) AB∞ AAB.
  25. 3 Ei Ergo 3 (per Num. 8) AB est A.
  26. (16) A est B, et B est C ergo AA est C Nam
  27. Ae A∞ AB et B ∞ BC Ergo AWABC
  28. Ergo AB ∞ (ABBC rg ∞) ABC. Ergo per num. 8 AB est C
  29. Sed verum est etiam A esse C) sed A. B ae Ergo
  30. demonstratio (ex hyp.) A est B. Ergo (per num 8) E. A ∞ AB
  31. similiter 3. (exhyp.) B est C. Ergo (per num. 8) 4. B∞ BC.
  32. Hines (per 2 et 4) ABe ABBC) ABC AB ∞ (ABBC 1 per num. 7.) ∞ ABC
  33. B Ex 5 per num. 8. F AB ∞C. _ Et denque ex 6 per 2. 7 A est C
  34. quod erat dem.
  35. (17) AC A A est BC, . Ergo A est B. dem.
  36. A est E F x Ex Hyp. A est BC jam per num. 15. 2. BC est B.
  37. Ergo ex 1 et 2 per num. 16. 3. A est B. qQuod erut dem.
  38. (18) A est B et A est C Ego A est BC.
  39. A∞ AB Et A ∞ BC. Ergo (AA id est) A ∞ (ABBC ∞ ABC
  40. Ergo (per num 8) A= A est BC
  41. (19) Hinc similiter A est B et A est C et A est d, ErgoA
  42. Ergo A est BCd
  43. simul
  44. (20) Ex 17 et 18 patet coincidere has dua A est B et Aest C
  45. siul cum ista. A est BC. idem est in pluribus
  46. (21) A non est B idem est quod A est non B. Nempe
  47. si A non est B, falsa est A est B. Ergo falsa est A∞ AB
  48. Ergo per num. 4 AB est impossib. non Ens. Ergo
  49. seu A est non B. Ergo seu A∞ A non B. Ergo per num. 8
  50. AB est non B. A 5B A non B A est non B. Kursus A est
  51. (22) videndum an et deminstrari possit ut nom non A est A
  52. (21) non A
  53. B et B est A, idem est quod A∞B.
  54. Nemje A ∞ AB et B ∞ AB. Erum A ∞ B
  55. A et rursus A ∞ B Ergo (per 7) AA ∞ AB
  56. seu per num. 7. A∞ B
  57. (22) A est B ergo non B est non A.
  58. (22 si A non est B sequitur quod A est non B.
  59. Nam A non est B, idem est quod fulsa est A est B.
  60. seu fatsa est A _ AB. Ergo A est non B
  61. (22) A est B Ergo non A est non B. Nam per num.10
  62. Nam A est B ex hyp. Ergo per num 9. A B non est A
  63. non B non est A. Ergo per =F num. 2Y non B est non A
  64. (23) Non non A eA.
  65. Nam non
  66. non non A est A et qta (l. A non non A ∞ A. hoc osten-
  67. dendum. Quaeritur an reperiri possit Q non non A quod sit ot A
  68. in sit A

Cite

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