Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 7C, fol. 23v

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

The machine reads it as

  1. pollatid sust fac sin sunt
  2. estve
  3. sen A non continet ton
  4. (43) Falsum st B continere non B est falla Utcunque enim nesolvas, ut robi
  5. mavet id solum discrimem patet ex praecedenti. Nam p utcunque
  6. fB.. Patet et ex 4
  7. forma nunquam pe
  8. (44) Non B continere B est falsa, patet eodem modo.
  9. 48) B et non B coincidere est falsa. patet ex 43 et 44.
  10. Supponunt autem haec terminum B esse possibilem.
  11. 45) AB ontinere nom B est fassa Suppono autem AB esse possibilem
  12. hinc rem ita demonstro: Anon continet non B, alioqui AB contineret
  13. B non B adeoque (per 34) foret impossibile contra hypothesin. At B etiam
  14. non continet non B. Ergo superest ut pars ipsius contineatum in non A
  15. non B contineatur in A pars in B, sunt duae illius B partes Cet D. ergo ipsius
  16. non B partes erunt non C non D, ex his deberet una verbi gratia no
  17. seu AB non continet non B
  18. 46) AB continere non B est falsa suppono autem ACs AB esse
  19. possibilem. Nam si A non est falsa erit vera Namsi seu A non continet
  20. non B Nam si A continet non B demonstratur ut, 43. Nam AB continet B
  21. ergo non continet non B, ((quia est non impossibilis (per 32).
  22. (47) A continet B est universalis affirmativa respectu ipsius A subjecti
  23. (48) AY continet B est particularis Affirmativn respectu ipsius A
  24. (49) Erg A A Si AB est C, etiam sequitur quod AY est C, seu sequi
  25. tur quoddam A est C. nam assumi potest A = Y per 23.
  26. (50) AY non continet B est universalis Negativa.
  27. 50) AY non eest B, est unirersalis affirmation negativa
  28. 51) Hinc Sequitur Universalem negativam et particularem Affirmativam, esse
  29. oppositas seu si una est vera altera est falsa. (ex 48 et 50)
  30. 52) sei t Unjs particularis affirmativa versi potest simpliciter
  31. AY continet B, sequitur quod BY continet Ad Hoc ita demonstro: AY continem
  32. seux si quoddam A est B sequiturqu
  33. (53) S Universalis Negativa demo convertitur simpliciter se
  34. seu si si Nullum A. est B sequitur quod Nullum B est A. Nam
  35. AY non est B (ex hypothesi) ergo AY non coincidit BY (per 16). Ergor BY non
  36. coincidit AY (per 6) Ergo (per 16) BY e non est A. Quod erat dem-
  37. (54) Universalis asfirmativa convertitur secundum quid per accidens, seu si omn
  38. A est B sequitur quod quoddam B est A. Nam A est B ex hyposthesi
  39. Ergo quodd. A est B (per 29) Ergo quoddam D est AG per 3 Ergo (per 53)
  40. quoddam B est A. idem brevius. A coincidit BY (per 16) Ergo BY coincid
  41. (per 6) Ergo (per 36) BY est A. Ca Operae pertium erit conferre has
  42. uas definitiones, ut appareat au demonstrationes, al ut appareat
  43. atrum eodem recidant, an vero detegant veritatem alicujus propositionis
  44. hactenus sine demonstratione assumtae.
  45. (55) Fatsa si Si A continet B, et A, est falsa, etiam A est tabsa. per
  46. veram vel fapossu te literam intelligo vel terninum falsum, (seu impossibilem, seu qui est
  47. non - Ens) vel propositionem falsam. Et per verum eodem modo intelligi possit
  48. terminus possibilis, vel propositio vera. Et ut postea explicabo, totus syllogis mymitu
  49. etiam propositio est. Caeterum quod hic assero etiam sic enuntiari potest
  50. quaelibet pars veri, est vera seu quod continetur in vero, est verum.
  51. Generaliter enim defuiri derum in quo quicquid continetur reduci potest ad
  52. primo vera (per (40)) sit ergo verum A, in eo contineatur B, jam verum reduci
  53. potet B reduci potest ad primo vera
  54. (56) Verum in genere definio, quicquid resolvi potst in primo vera
  55. seu ita ut si pro conine continente ponantur Verum est A si pro quo-
  56. libet contento ea, ponendo ponatur ut B si pro A ponetudo valorem,
  57. et quode leb quodlibet quod ingreditur valorem ipsius A rursus ita tractand
  58. ut A, se quidem donec incidatur nisi aliquod occurrat quod valorem non habet
  59. seu quod est primo verum; aut nisi nihil occurrat si quidem id fieri
  60. Hinc sequitur ut certi simus
  61. potest, nunquam occurrat B et non B
  62. veritatis vel continuandam esse resolutionem usque ad primo vera, vel demon
  63. strandum esse ex ipsa progressione resolutionis, seu ex relatione auquadam
  64. generali inter quasdam resolutiones praecedentes et sequentem, nunquam tale quid
  65. occursurum, utcunque resolutio continuetur. Hoc valde memorabile est, ita enim
  66. saepe a longa continuatione liberari possumus. Et fieri potest, ut resolutio ipsa
  67. literarum aliquid circa resolutiones sequentium contineat, ut hic resolutio Veri
  68. ex Hypotresi, id est (per 16) AY coicidit ipsi BY. Ergo (per 6) BY coinciditipsi AY.
  69. Ergo (per 16) BY est A. quod erat dem.
  70. eA est vera etiam B est vera
  71. t den t
  72. alsimes e B contnere non B,
  73. intelligendum est ae de proposittione
  74. B quae non ptinet contradictoriam
  75. Cavendum est nesyllogisinis
  76. utamur, quos legitinos
  77. essi nondum demonstra
  78. Majusculis nolentur
  79. propotitiones supustiati
  80. (vet sime nie
  81. dicendum de collatione horum
  82. Nullum A est B et omne
  83. item dequeisime perotra
  84. positionem ipsius Blardersat
  85. = seu contradictionem
  86. pro tractata, aut quae
  87. pab
  88. constat esse dera

Cite

Leibniz-Handschriften zur Philosophie LH 4, 7C, fol. 23v. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00068652:0046?run=74