Search the Nachlass

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

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

The machine reads it as

  1. enunttationem
  2. B posse formari propost
  3. A est B significat _ substitui posse in locum ipsius B.
  4. Ex A sequitur B, significat in locum propositionis A
  5. posse substitui propositionem B
  6. ABC signeficat A∞
  7. A∞ B signisim A et B eete a idem, sive sibi mutuo
  8. nantiatio
  9. a
  10. s2
  11. substitutiones permissas ex illis orritur
  12. (3) Implsba cest A es A ∞ B significat A et B esse
  13. idem, seu ubique sibi posse substitui. Nisi
  14. prohibeatur, quod sit in iis, ubi terminus aliquis certo respectu
  15. considerari declaratur, it verg. licet trilaferum et triangulum
  16. sint idem, tamen si dicas trilaterum quatenus tale habet circum
  17. amb circumferentiam triangulum quatenos tale, habet efradus
  18. 1180 gradus, non potest substitui trilaterum. Est in eo aliquid
  19. (3) contradictorium est B non B
  20. inateriale
  21. () impossibilis est term terminus, quo posito sequitur poni
  22. posse qui si pontur esse, sequiter qui si ponitur esse, sequi-
  23. contradictorium. Possibilis autem est termi-
  24. piopr
  25. tet en. oenea ni hil tale sequitur
  26. nus exq
  27. 5) Falsa Enantiatio est, qua a
  28. ex terminis possibilibus e admissis sequatur admitti
  29. impossibile; quod tamen ipsa non ad concessa ex positis
  30. non sequeretur. Fats vera autem est ex qua nihil
  31. (6) - Ae CB Non, A est B, vel A non est B, idem signifi-
  32. tale sequitur
  33. cat, quod A est falsa est haec Enuntiatio A est B. ipsa
  34. autem partienta Nox, sibi prefixa duo autem Non immediate
  35. conjuncta se mutuo totlunt. Non
  36. (6) Non significat aliquid esse rejiciendum; et ideo
  37. Non non seu rejectio rejectionis signe sive sit terminus
  38. sive enuntiatio (6) Non significat exclusionem, ad eoque
  39. Non Non () Particula Non hunc habet usum, ut significet
  40. Terminum vel enuntiationem cui praefigitur non habere locum, et
  41. sinc si sibi ipsi praefigitur semet destruit, quasi ipsamet
  42. et
  43. posita non fuisset itaque Non Non A idem est quod si
  44. iaqueX Non, A est B, vel A non est B idem est, quod falsa est
  45. nuntiatio: A est B, Et Non Non A idem est quod A. et
  46. summa aequivalent. Omniscius et substantia mens sapientissima
  47. aequivalent. E Ergo pro Mens omniscia poterit substitur
  48. Omniscius et spiritus sapientissimus aeqiuatent. Hinc pe
  49. si dicas spiritus omniscius, et pro omniscio substituas spiri-
  50. tum sapientissimumsiet spiritus spiritus omniscius, sed ha
  51. tum sapientissimum pa duplicatio et sufficit dici: spiritus sapi-
  52. entissimus quod secut est in numeris, et magnitudinibus, ubi
  53. foret sed inutilis e
  54. repetitum A, eat designat non idem sed aequale priori
  55. (8) A est B idem est quod A∞ LB nempe A continet B
  56. A continet B et quidem simpliciter ut adeo dicere licent A ∞ AB
  57. A ∞ AB, _ nempe quia A sic continet B A est B idem esse
  58. quod A ∞ AB, nam cum A sit A ∞ A per 2. et D ontine.
  59. A contineat B _ simpliciter ex hyp. pro A substitui potest AB,
  60. quoniam per 7. geminatio nil mutat ergo ex A tfieri potest A∞a
  61. seu ex A xfieri potest A∞ AB. Ita cum dicitur Deus est rtis
  62. etiam dici potest Deus est Deus zelotes, et haec duo coincidunt interse.
  63. Ita rem ab Enuntiatione traduximus ad aequipollentiam, quae
  64. calculo nostro est aptior. Idem aliter confici poterat hoc modo:
  65. pidici potest A ∞ LB, nempe si A et B aequipollent
  66. dostitim ipsum A nam si L ∞A fiet A ~ AB, et Ens ve
  67. aliud quiddam quod jam in A continetur; si non aequipollent, erit L
  68. cum A est
  69. notest spi
  70. id omne quod in A est praeter B. jam quia A ∞ LB, fiet etiam
  71. A ∞ LBB (per 7) Ergo pro LB ponendo A, fiet A∞ AB. malo
  72. autem adhibere A ∞ AB, quam A∞ LB, ne tertium assumi sit opus
  73. (9) si A est B sequitur non A est non B Demonstratio:
  74. 1 A est B ex hyp. Ergo E. A∞ AB per S Fa lsum est Non B esse A.
  75. Nam E A est B ex hyp. ergo Esto enim verum Non B est A ex hyp.
  76. adversarii. jam A est B ex hyp. concessa. Ergo 3 A∞ AB per . Ergo
  77. Non B est AB ex 1 per 4. hic. Ergo 5 Non B est AB non Bper
  78. quod est abs. per 5. Ergo falsa Hyp. 1. posita 3. hic. Quod erat sem.
  79. (10) poterant praedemonstrari si _ B est non B vel B est A non B,
  80. vel non B est B vel non B est BA, vel non B est B non A esse
  81. absurdas, idque communi hac methodo fit, quod perunu. reducitur esse
  82. ad B non B in eodem termino. v.g. C non B est AB a A, per
  83. C reducitur ad C non B ∞ C non B. B A AB
  84. (10) A est B ergo AC est B. D _ I A est B sxhyp.
  85. ix li pero1 400 6. coni. de cotoc ex A B sudidum
  86. si prs Enuntiation, A sequitur enunt. B, et vicissum
  87. coincidunt A et B
  88. Si A est B non B, A est nonEns fie
  89. et pubi euiatur est B nn B
  90. Si AB est non Ens sequitur
  91. et geo Babnon A
  92. A continere non B posito A et B ed Entia
  93. Non AB et Cas Etsi AB esset Ens, tamen etiam Non AB
  94. proestat abstinere Termins possibilis
  95. a impossit
  96. potestesse Ens.
  97. Enuntiatio negativa nihil aliud est, quam quae falsam
  98. dict Affirmativam. Hypothetica nihil aliud est quam
  99. Caleyorica, vertendo autecedens in subjectum, et consequens
  100. A est B, ergo C est d
  101. d sit M, dicemus L est M
  102. in praedicatum. Cx. gr.
  103. e
  104. Cesse
  105. AEt sufsiceient Categoriae eirmatus
  106. 2

Cite

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