Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

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

The machine reads it as

  1. explicando pradit
  2. A d. Ef B nonB. Hoc posito, A est impossibile
  3. A ∞
  4. (1) Si A explicando prodit B non B, A est impossibile. vel ecthe-
  5. fice magis si A ∞ L.. B non B. A est impossibile
  6. (1) Ens vel possibile est quod non est impossibile, uesi A non ∞ L. Bnon B
  7. 13) Si non A est impossibile, A est necessarium
  8. 1) non non A ∞ A. Hc est usus TE non v+C add. 6
  9. 1) A est, id est A est Ens
  10. Enmatiatio A est B it est A∞ L.B
  11. (vid. 10
  12. Falsa Enuntiatio A est B si inde sequitur A∞ L. B non B
  13. Encntiatio A est B. A∞ B. Itm si A est B, seqi-
  14. cur quod C est D. item A non est B. Item si A est B
  15. s) A est B, sic exponitur literaliter A∞ LB, ubi L idem
  16. non sequitur quod C est d.
  17. quod indefinitum quoddam potest etiam sic exponi A∞ AB
  18. ut non sit opus assumi tertium ad hoc requiritur randum
  19. si amen est B, idem est quod A est non B, sequitur ex 6
  20. alidem est dicere: Propositio A est B, est Falsa, et dicere A non est B
  21. sisi A est B, et A est C, _ sequitur A est BC. sebi .
  22. est
  23. i) Eadem sunt, quorum unum alteri substitui potest salva
  24. anum autem est ∞. ut A∞ B.
  25. V Sequitur, A ex B, si A substitui potest pro B
  26. veritate inei
  27. etsi
  28. Ergo vel terminum vel propositionem enuntiationem
  29. s A est B, idem est at quod si ac si diceres: Si L est A
  30. i idem est in hoc calculo quod A. Exempli causa sit
  31. sequiim quod L est D
  32. B∞ AC et B∞ d ∞ AE erit BC ∞ ACAE ∞ ACE. V. d. 8
  33. 15) A est B, idem est ac dicere si L est A su sequi-
  34. tur quod es L est B. Hoc demonstrabimu: Assumamus
  35. quod L est B quia A est B ergo A∞ AB per 8 jam si L estA
  36. ne
  37. demonstr
  38. etur erit L∞ LA. E pro A substrtuendo valorem AB) fit L∞ LAB
  39. s est AB. Ergo L est B per 8. Vicissim assumamus
  40. Ergo demonstratum est, _ ex hac: A est B, sequi hanc
  41. si L est A sequitur L est B. Nunc inverse demon-
  42. oanir, ex posteriore hac: si L est A sequitur quod L est B,
  43. fer
  44. A est B.
  45. Intelligitur, agtem Lquaecunque
  46. ermimus de quo, dit
  47. ian s Lest A L∞ LA
  48. E s B sequitur L est Z
  49. L est 4 coincidit cum L ∞L A, et L est B coiincidit cum +LB
  50. LB ponamus illud esse verum, et tamen hoc esse falsum,
  51. eire quod si inde inferrtar absurdum, utique inferetur
  52. quod ms est Lemma hoc ex illo (per Lemma prop.
  53. sequentis) statuatur ergo haec enuntiatio. si L est A,
  54. seqit quod L est B, A est non B QA est non B
  55. jun ZA est A erl L (quia L est Omnis terminus
  56. (quia pro L substitui Ergo _A substitui pt pro L. Ergo
  57. s Ae est Ergo QA est B (quia ZA comprerenditur sub L)
  58. ergo QA est B non B quod est abs.
  59. 16) aede praemittendum fuerat hoc: si ex A
  60. cequitur non A.
  61. cavitur B, ex nne per non A intelligo
  62. 15) si A sit propositio
  63. ropositionem A esse falsam Et cum dico A est B, et
  64. et B sunt propositiones, intelligo ex A sequi B. sed
  65. monstrandus erit harum substitutionum successus. Iltile
  66. si A est B, non A est non B etiam hoc ad com-
  67. pciose demonstrandum, ut si pro A est L est A dixissemus
  68. 1
  69. C et pro L est B dixissemus D, sit pro ista si
  70. L est A sequitur quod L est B, substitui potuisset C est D.
  71. in praecedente. Si A est B dicatur C, ert C idem, quod
  72. esse B. Itaque cum dicimus Ex A est B sequitur
  73. et _est Eeppidem ec est ac si diceremus A esse B
  74. es esse F. est E esse F. differt tamen
  75. A esse B, et B Beitas ipsius A, quia haec signi-
  76. ficat A esse B qualenus tale. Itaque essi sequa
  77. sapiens
  78. s etsi exhoc quod _ est justus, sequatur quod Deus
  79. ies plioi
  80. eamen; non vatel sequitur hac ideo
  81. Ei ui est DEi misetodia. Nam Et licet omnis
  82. sapicas sit justus, non ideo tamen et adeo sapientem
  83. alse sit jnstum esse, non ideo tamin sapintia est jostita
  84. ene
  85. Dicere A est B, falsa es, idem est quod dicere
  86. A non est B. pertinet ad usum 78 non
  87. cd d. 4
  88. si A sit B non B A est non Ens
  89. propositio falsa est ex qua sequitur A est non A

Cite

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