Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

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

The machine reads it as

  1. (1) A includere B seu B includi ab A, est de A subjecto universaliter
  2. affirmari B praedicatum. veluti: sapiens includit justum, hoc est omnis
  3. sapiens est justus.
  4. (2) A excluders B, seu B excludi ab A, est de A subjecto universaliter
  5. negari B praedicatum. Veluti: justus excludit miserum hoc est
  6. nullus justus est miser
  7. is de quodam subjecto A pegat praedicatum B
  8. (3) Qui negat A includere B, is affirmat esse pd sbe aliquod A
  9. cui non competat A in aliquo individuo, ubi non sit B in quo non sit B
  10. seu affi enuntiat particularem negativam. Seu qui negat justo
  11. includi fortunatum, enuntiat quendam justum non esse fortunatum
  12. Nam si omnis justus esset fortunatus, (intellige qui est, fuit futurusve est)
  13. jam todici posset poste qui justus est, inesse eum qui est
  14. fortanatum seu justo includi fort justo includi fortunatum seu
  15. fortunatum itaque justus fortunatum includet. contra hypothesin.
  16. subjecsto
  17. A affirmat Braedicatum B
  18. deu epuntiat parficularem affirmativam. Qui negat a sapiente excludi fortunatum, enuntiat
  19. quendam sapientem esse fortunatum
  20. (5) Si explribus si ex pluribus enuntiationibus sequatur nova enuntiatio,
  21. et haec sit falsa, necesse est aliquam exi erit aliqua ex illis falsa. Est collectio per co
  22. (6) Contradictoriae (seu quarum una affirmat quod alter negat)
  23. non possunt simul esse verae, nec simul esse falsa, et hoc vocand oppositionem
  24. (7) Ex universali sequitur particularis ejusdem naturae; quod vocant
  25. se
  26. subalternationem. Nempe: si A includit B, sequitur quod A non (per num. 1) si omne A est B
  27. (seu si omne A est B) sequitur quod A non excludat B (seu quoddam A esse B
  28. seu per num. 4.) quoddam A esse B. simili Rursus si A excludit B
  29. ( seu (per num. 2) si nullum A est B; seqvitur quod A non includat B seu (pernum 3)
  30. queddam A non esse B.
  31. 8) si A excludit B, vicissim B excludit A. Hoc est fundamentum
  32. conversionis simpliciter factae. Nam hinc (per 2) si nullum A est B
  33. etiam nullum B est A., q et (per 4) si quoddam A est B etiam
  34. quoddam B est A
  35. (9) Si A includit B, negatur Bincludere A. B uo tunc B non excludit A
  36. hinc nascitur conversio per accidens, omne A est B, ergo quoddam B est A.
  37. (per 1, et 4
  38. (10) Annotani tamen utile est, posse conversionem demonstrari ope syllo-
  39. gisonorum itaque non fuit opus eam hic praemittere.
  40. (10) Notatu tamen dignum est, tam conversirm tam subalternationem
  41. quam conversionem posse demonstrari ope syllogismorum
  42. 12) Exclusur ec Regula prima Regula prima de
  43. (12) Syllogismus est Categoricus simplex est, qui de inclusione
  44. interse
  45. vel exclusione duorum terminorum, aliquid colligit per initu
  46. data de inclusione vel exclusione tertii respectu singulorum
  47. 14) Regula prima de Medio incluso in subjecto. Medium
  48. subjecto inclusum
  49. 14) inclusum incluso est inclusum includenti, seu si
  50. (13) includens includentis est includens inclusi seu si A includit B
  51. et B includit C, etiam A includet C.
  52. (14) Includens excludentis estetcludens exclusi seu si A includit B
  53. et BcludiL et B excludit C, etiam A excludet C.
  54. (15) Hinc Regula prima de includens excludentis est exclusum vel
  55. exclusi. seu si A includit B et B excludit A, etiam C excludit A
  56. sequitur ex praecedenti per 8 acceddente n. 8. finc mulando C in A et contram
  57. ccce
  58. vel
  59. 16) Excludens inclusi est excludens includentis seu si A excludit B
  60. et B includitur in C, etiam A egpludit C. seu si A excludit B
  61. et C inctudis B, utique A excludis C patet per se Ddi se er disert a 15 nisi modo
  62. exunti ei
  63. A in
  64. Regressum
  65. ineluders exclusi
  66. phabeatur rectus ordot
  67. Exclutam inclusi est exclur
  68. incladentis. B ex cludit A
  69. et Aincludit B. Ergo A
  70. excludit C

Cite

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