Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

The machine reads it as

  1. propositionis.
  2. Sit ergo propositio
  3. C est a, (in qua a est praedicatum), jam
  4. ex hypothesi a est b. Ergo per artic. 5.
  5. C est b. et in prop c’est a. potuit
  6. b substitui in locum ipsius a. Sit
  7. alia propositio a est d. jam
  8. exhypothesi b est a. Ergo per articis
  9. b est d. sive in prop. a est d, poterit b
  10. Substitui in locum ipsius a.
  11. Cum ergo
  12. tam in propositione C est a, quam-
  13. in propositione a est D. possit substitui
  14. b in locum a, patet ubique substitui posse
  15. adeoque esse idem Eadem Quod autem
  16. de Dactum de b ostendimus respectu
  17. a, etiam de a patet rispectu b
  18. nam eodem modo se invicem habent
  19. itaque sunt eadem.
  20. appellamus.
  21. sen
  22. Propositio vera est, quae substitutionibus aequivalentium e
  23. et chiraclerum
  24. quae vel per se vera est, vel substitutionibus seu consequentus per se veris Explicationibus
  25. reduci potest ad per se veram atjam probatam aut arbitrariam
  26. ut hac a est d. Ponamus enim
  27. a fiet bcessea, fet (ides, a
  28. et ex ta est d) substituendo fiet: bc est d.
  29. bc.
  30. ponamus pono d esse bcae et fie eq posotumum p ti ip
  31. substitue ex prop. (bc est d. )fiet bc est b.
  32. id est hanc esse defixenum
  33. artic. 6.
  34. tda
  35. quae propositio identica est. Assut Hinc patet verus usus analyseos, quomodo
  36. artem propositiones, ut bc est a et d est b
  37. vel jam sunt ver sil probatae, vel sunt assumtae
  38. pro arbitrio per modum definitionis Licet enim
  39. mihi definitionem hauc ipsius a assumere a est bc.
  40. Bob propositionum veritas
  41. ostendi possit, reducendo ecas
  42. ad veras, si scilicet substituent
  43. aequivalentia ita enim semper
  44. Regressus locum habet.
  45. verbi gratia animal rationabe, compendii potest et sic defineri. Propositio
  46. Causa vocamus hominem est dicimus homo
  47. estbamimal rationale tque ita dicere
  48. a. est bc nihil est aliud quam characterem
  49. a explicare.
  50. est
  51. c
  52. dicau compo
  53. tributum reciprocum es cum
  54. simplicis
  55. idem est cum subjectis verbi gratia:
  56. a et bc. erit be attributum recipro et
  57. bc est a erit bc attributum reciprocum.
  58. titum
  59. oanis Definitio est Attributum recistrocum.
  60. vera est quae ex propositionibus
  61. per se veris per definitiones et consequen
  62. tias seu substitutiones pe rectas
  63. deduci potest sit fieri potest.
  64. Ex pluribus Attributis unum etigi esse
  65. polest quod sit definitio ex quo caetera
  66. poterunt demonstrari.
  67. ita
  68. Hanc definitionem praefenomagis
  69. capit vulgus t sufficit ad judicium,
  70. sed prior utilior est ad inventionem.
  71. e Indiget tamen prior praedicatis
  72. recipiocis, cum posserior contenta sit proebi–
  73. catis commanibus. Si tamen ef
  74. in analysi volumus uti solis attributis
  75. com praedicatis communibus debemus
  76. EX unoquoque attributo recipioco omnia subjecti
  77. prae dicata inveniri et demonstrari possunt.
  78. uti deductionb ad absurdum. quia
  79. ex vero sequi potest falsum sed
  80. etsi ex falso verum. Hinc et
  81. sota attributas communiedeam
  82. velimus et quaeramus constructionem res
  83. Requisitum est attributum non recistrocum+
  84. ponamus rem non adesse
  85. et inde Calculandus et resol.
  86. vendo assumamus aliquid quo ducamur
  87. ad abfurdum, patebit
  88. pei oste
  89. assumti
  90. hoc modo stracties
  91. quae non ut probanda sed
  92. sassumta ponitur
  93. as compendii cansa
  94. ratio
  95. peitio ests tamntis unus explo
  96. et sont
  97. per alios plures, ut a est oritra
  98. vel
  99. d est bce (sive d est aC) it a definitum
  100. be definitio; vel d definitum bce (vel des
  101. definitio. Est enim definitio idem quod defi–
  102. nitum hano idem quod animal rationale
  103. nam compendii causa uno vocabulo hominem

Cite

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