Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

Original at the GWLB · Page image · Annotations (IIIF) · Download text

The machine reads it as

  1. Nota in his
  2. primae consequentiae se eguntio
  3. A est B ergo A est B. Iteu Anon est B ergo Amoc est B.
  4. A est B et C est D ergo A est B vel ergo C est D.
  5. (A est C et B est B ergo AB est C
  6. A es B ergo A est BY et By est A, ponatum
  7. y esse nationem0. quae ipsi B addita fac ae quifollet
  8. notuni ipsius A. sed si ja tunc aeque lase paseant
  9. ea potio erit ut Ens.
  10. quentiis, quando
  11. A est B ergo B est C. Ergo A est C.
  12. s B est C ergo AB est C
  13. B est AC pugo R e A
  14. o
  15. Omni seu propositionis universatis.
  16. ut quia genus seu quodrabet A est C etiame pecies
  17. seu AB sive aliquod A, sit C.
  18. A est BC ergo A est B. pendet ex definitione
  19. praedicato compositi
  20. omne
  21. Axiomati l du
  22. si Omne A es Merg ou R
  23. esse signum utroa
  24. (2) omne
  25. Omne AB est A
  26. siiA est B ergo quoddum A est B. i
  27. sm
  28. si omne e est B ergo omne A est B. A si A est B et B est C As
  29. si A est BC etiam A est B. pendet ex natura predicati
  30. Si Propositioni Universalis Affirmativae haec natura est
  31. definitio seu natura est, ut praedicatum praedicati sit
  32. praedicatum subjecti. Seu cum dico Anin Omne
  33. animal est corpus, vole id volo id omne de quodict
  34. dicetur quod sit animal, de eo etiam dicetur quod
  35. sit corpus. Itaque e e definitione definitio
  36. propositionis universalis dic exprimit hanc
  37. Omne B Omne B est C significat: si
  38. C
  39. est
  40. qu
  41. hinc
  42. est atu loste
  43. (4) Si omine A est B etiam quoddam A et B
  44. 5) Si A est BC etiam A est B. Haec propositio jam potest
  45. exhiy pothesil
  46. demonstrari. Nam _ ex hypothesi A esto BC, jam omne BC
  47. si omne e idem est B Po
  48. si est C et B est C
  49. Si omne A est B etiam quoddam A est B.
  50. signo tam in ante consequentiam seu
  51. ponitur livera sine
  52. intelligitur idem
  53. Hinc demonstratur
  54. A est B et B est (C, ergo A est C natio R est
  55. BN.
  56. ommes est C ergu AB est C est dictum a
  57. Nota in his conse-
  58. cedente quam
  59. in consequlente,
  60. N. idem
  61. omne
  62. (6) si A est C ergo AD etiam AB est C. Demon
  63. stratio: Nam AB est A per prop. 2omu est C per hypothesin.
  64. Ergo per prop. Y. A AB est C. quod E. D.
  65. (7) Si A est B et A est C etiam dm
  66. A est B C est
  67. quia
  68. ipsa definitio seu significatio formulae BC
  69. si A est C et B est D etiam AB est CD nam si A est C etiam
  70. B est Cergo
  71. B y est C
  72. pendet ex sefi-
  73. nitione subjecti
  74. propositions um
  75. versalis
  76. Fcorollar. Ergo
  77. etiam ABeste
  78. illud vero non sequitur
  79. si quoddam A est C, etiam
  80. quoddam 1 pC.)

Cite

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