Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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. 9v); this page is its right half.

The machine reads it as

  1. Calculus Ratiocinator
  2. seu artificum facile et infallibiliter
  3. ratiocinandi. Res hactemus ignorata.
  4. Hurasuestq q.
  5. Propositio: a est b.. seu verb.grat. Omnis homo est animal
  6. subjecum a. in exemplo praecedenti, omnis homo. Semper enim signum universale subjecto praefixum intelligatur
  7. espraedicatum. b. in eodem exemplo praecedenti: animal
  8. Regulae calculi:
  9. propositio per se vera, seu quae probari nec potest nec debet, a me vocatur identica, qualis
  10. necedet, haec est:
  11. ab est a. vel ab est b. ac denique a est a
  12. sit enim a. animal et b rationalis item est
  13. ac si dicamus: omne animal ratinale est animal
  14. tunc (ab est a idem est quod hac: animal
  15. rationale est animal. et (ab est b) idem
  16. quod: ammal rectionale est rationale
  17. Denique a est a) idem est quanimal est animal.
  18. Onsequentia per se vera ha seu
  19. quae demonstrari nec potest, nec debet, haec est.
  20. Si a est b, et b est C, Ergo a est C
  21. id est subjectum semper in locum sui praedicati, vice
  22. subjecti in alia propositione funigentis, substitui
  23. potest ut homo est animal animal est
  24. mE substantia. Ergo homo est substantia
  25. seu Deus est perfectus. Perfectus est sapiens.
  26. Ergo Deus est sapiens. Haec nempe est dofinitio Prae dicati
  27. Propositio ece vera est, quaevel
  28. per se vera est, vel per consequentiam ad
  29. per se veram reduci potest. ut haec
  30. ac est b. aqu.
  31. posito Ex consequentia per se vera sequitur
  32. haec: si at est bd. et b est C,
  33. etiam a est C. quia loco propositionis
  34. a est bd poni potest proprositio a est b.
  35. Unde fiet per pee artio 4 quia Nam si
  36. a est bd, et prr Y per hypothesin, et bd
  37. est b per artiae 4. erit a etiam a erit
  38. sandens a est b et b est
  39. une
  40. etiam a erit C per artic. 5. ergo. si a
  41. est bd etiam a erit c per prop quod erate
  42. demonstrandum.
  43. DIdem est quod ubique in alterius locum substitui
  44. potest salva, veritate.. Ex. p. aequilaterum aequiangulum quadrangulum, aequilatatum rectangulum
  45. vadritate
  46. (8) Si a est b et b est a erunt a et b
  47. idem. Nam semper b substitui poterit.
  48. in locum ipsius a. vel contra. Ostendaro.
  49. autem semper substitui, si substitui possit sive
  50. a ditse daljetum sive praicatuus aliemus
  51. et:
  52. quadrilaterum
  53. et denique quadratum haec tria sunt idem et
  54. unum pro altero substitui potest. Nam
  55. eademres quae quadrata est, etiam quaequi
  56. latera trectangula quadrilatera est et
  57. contra. (Hinc patet dub priora esse velut
  58. degits na

Cite

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