Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

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

The machine reads it as

  1. si B est C, tunc ab erit ac
  2. seu si homo est animal sequitur
  3. sapientem
  4. hominem rationatem esse animal rationale
  5. sapiens. Quod ita demonstratur:
  6. B ab est b. beste Ergo ab est c per regulam consequontiatum gaprimam
  7. ab est c. ab est a. Ergo ab est ac. per demonstrata supra
  8. Rehorsum autem colligi non potest:
  9. Ab est aC ergo b est C. Nam potest
  10. fieri ut set a sit ad, et aB bd sit c.
  11. Sed si a et C nihil habeant commune, valet
  12. consequentia: ab est ac. Ergo b est C.
  13. Nobis autam hoc loco generales tantum consequentias
  14. persequi propositum est. Postea accedemus
  15. ad speciales, quae tamen specialiores, quae tamen
  16. longeme majoris momenti q sunt quam
  17. generales, nec hactenus pro dignitate tacta.
  18. Atu sapee am tota analysis nntitur
  19. consequentiis quibusdam quae videntur peccare
  20. in formam, non peccant tamen ob generalem
  21. quandam terminorum habitudinem semper
  22. observatam.
  23. Si a est b et a est d et d est b
  24. erit ad aequ. bd
  25. Hoc demonstratur ex superiori:
  26. a est b. ay a est C. dest b. d est c.
  27. ponendo C esse e Ergo ad est bc.
  28. ponendo C esse d. Verum ex praecedent
  29. patet ad idem concludenuem non esse opus
  30. tot suppositionibus, et sufficere hanc:
  31. a est 6. Hinc enim sequitur ad est bd
  32. Si a est b et d est C, est tunc ad erit bc
  33. Hoc Hoc est praeclarum theoremai, quod
  34. demonstratur hoc modo:
  35. 1
  36. a est b, ergo ad est bd per priora
  37. d est C ergo bd est bc rursus per priora
  38. ad est bd. Et bd est bc. Ergo ad est bc.
  39. Quod erut demonstrandum.
  40. Generaliter si sint quo tunque propositiones.
  41. a est b
  42. c est d
  43. C est f
  44. inde fieri poterit una: ace est bdf. per
  45. additionem subjectorum hinc praedicatorum.
  46. illi
  47. Generaliter si sint propositio M est bdf
  48. hinc fieri poterunt tres, n est b. mest d. mestf.
  49. si a est b et b est a. tunc a et b dicuntur
  50. es pius est felix. Et omnis se
  51. esse I dem ist pius. Ergo idem est selix et pius
  52. Hinc facile demonstratur alterum in alterius
  53. locum ubique substitui posse salva veritate
  54. seu, si a est b. et b est a.
  55. et b est c. vel d est a. etiam
  56. a esse C. vel d esse b. Ut omnis
  57. pius est felix, et omnis felix est pius. Et
  58. omnis p felix est electus. Et omnis p
  59. martyr est pius. Ergo omnis pins est
  60. electus, et omnis martyr est felix
  61. Nota per pium intelligo perseverantem
  62. seu in gratia morientem.
  63. sunt idem, Unhc CM dilitur ese Uum
  64. Diversa sunt quae non sunt eadem
  65. ut homo et animul, quamvis enim
  66. omnis homo sit animal non tamen
  67. omne animal est homo
  68. Disparata sunt a et b, si a non est b
  69. et b non est a. ut homo et lapis.
  70. Nam homo non est lapis. Et lapis non est
  71. homo. itaque omnia disparata sunt dibersa, contr
  72. Si a est m, et b est m. atque a et b sunt
  73. idem, tunc m dicitur esse Unum.
  74. Ut A. Octavianus est Caesar, et Angustus
  75. est Caesar. Sed quia Oct avianus et
  76. Augustus idem est, hinc quidem non
  77. nisi unus (aesar numerabitur
  78. Si a est m
  79. et b est m
  80. dicuntur esse
  81. et c est m. P
  82. et d est m
  83. duo dia
  84. .. .......
  85. synituom
  86. modo a. b. C. d sint disparata
  87. Sie Tetrinits Siple Terhilis po
  88. situs hrtm simplexqidem
  89. diceter repcitum cem
  90. Si assumsimus terminum aliquem simpli
  91. cem velut composito alicui aegivalentem
  92. seu eandem rem exprimentem, terminus
  93. simplex erit definitum, terminus compositus
  94. erit definitio. Hoc definitum exprepsum
  95. subinde vocabimus rei Nomen. Ut si
  96. pro ab. animal rationale, dicamus nos
  97. compendii causa dicere imposterum velle
  98. C seu homo, tunc C seu homo erit nomen
  99. initio esse
  100. dontne erit no
  101. animal rationale
  102. in propositione univer sali affirmativa
  103. subjectum sit nomen, praedicatum autem
  104. non sit nec definitio, sed alius quidam
  105. terminus, tunc is terminus dicetur esse
  106. Attributum. Ita Dei nomen est
  107. hec torminus DEu, Definitivethns perfectissimu
  108. attributa: misericors. omnipotens. Creator,
  109. Ens, ins a se. Itaque si C sit ve uomen
  110. et ab definitios et C sit d. (et d non sit
  111. a
  112. a
  113. s
  114. t lnitum e quod ab) tunce d acitur atibitur ptus c

Cite

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