Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 6, 13, fol. 1v

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

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

The machine reads it as

  1. Videndum jam est, quaenam illa sint, quae
  2. vere resati affirmari negarique possint unde
  3. et contradictoria eorum falsa esse intelligatur
  4. sunt autem verarum propositionum primae
  5. om quae vulgo dicuntur ideaticae, ut
  6. A est A,: non A est non A. si vera
  7. est propositio L, sequitur quod vera est propositio L.
  8. Et quamvis loccysmus inutilis in his enuntiationibus
  9. esse videatur, levi tamen mutatione utilia
  10. inde Axiomata nascuntur. Exemplicansa ex eo
  11. quod A est A, seu quod tripedale exempli cansa) verbi gratia
  12. est tripedale, manifestum est unum quodque tantum (nunc)
  13. esse quantum est, seu esse psibi ipsi aequale. Unde
  14. (ut exemplo usum ostendam identicarum demonstratum est jam dudum a philosophis
  15. partem esse Minorem Toto; posita hac definitione:
  16. Minus est quod parti alterius (majoris) aequale est.
  17. demonstratio ita absolvitur: Pars est aequalis
  18. parti totius (nempe sibi; per axioma identicum)
  19. quod parti totius aequale est id toto minus est
  20. (per definitionem minoris) ergo pars toto minor
  21. est. Quod erat demonstrandum. Similiter ope
  22. propositionis identicae demonstratur Subelternatio
  23. seu collectio particularis, ex universali. Omne A est B
  24. ergo quoddam A est B collectio talis est:
  25. Omne A est B. quoddam (ex hypothesi)
  26. quoddam A est A (per identicam) Ergo (per
  27. collectio syllogismum primae figurae) quoddam A est B.
  28. quae etsi non sint hujus loci, tamen exempli causa
  29. affero, ut appareat identicas quoque suum usum habere.
  30. nullamque veritatem utcunque tenuis esse videatur
  31. imo identreas esse fundamenta caeterarum
  32. contineri huox apparebre
  33. plane sterile
  34. sit Identicae propositiones
  35. omnium primae sunt, omnisque probationis incapaces, ad atque adeo per se verae
  36. in his )
  37. nihil enim utique reperiri potest, quod au mediia..
  38. instar aliquid secum ipso connectat, ita pro
  39. per consequentiam verae sunt, virtualiter identicae
  40. quae scilicet per analysin terminorum si
  41. sciticet (Sipro termino alii aequivalentes notio vel aequivalens vel inclusa
  42. aequimtens substituatur) ad identicas reducuntur
  43. formales sive expressas reducuntur. Manifestuluque
  44. est omnes propositiones necessarias sive
  45. aeternae veritatis virtualiter identicas esse,
  46. quippe quae ex solis ideis sive definitionibus
  47. hoc est terminorum resolutione) demonstrari
  48. se ad
  49. enitates is
  50. ictionem, ete cum is
  51. Generaliter Omnis propositio verabt
  52. potest proburi (quae identica sive per se vera
  53. oppositum
  54. seu propositionum per se verarum, et ope definitionum seuidearum
  55. Quotiescunque enim proffositio aliqua vere
  56. praedicatum vere affirmatur desubjecto, utique censetur
  57. aliqua esse connexio realis inter praedicatum et
  58. subjectum, ita ut notio vel idea praedicati in propositione quacunque Aest et A est B
  59. seu B vere praedicatur de A) utique B insit ipsi A, seu notio ejus
  60. in rolione ipsus At aliguo modo contircatur, idque vel
  61. supposito syllogisimo primae figurae
  62. supposito syllogismoprimae sigurae
  63. notarunt veritates quae sunt tn
  64. absolutae seu metaphysicae necessitatis
  65. ex terminis posse demonstruri, opposito qui
  66. poivente
  67. (ut

Cite

Leibniz-Handschriften zur Philosophie LH 4, 6, 13, fol. 1v. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068637:0002?run=74