Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

The machine reads it as

  1. est in R F) RX seul in fix
  2. Si idem adficatur contente et consinenti factum rig in est posteriori
  3. prop Si B est in L erit ADB in ACL
  4. quilaterpun in est seu NamlEL ∞ B + N (per definimaxistentis) et ADB est in BD N A (pe
  5. seatitu renulari tribuitur regulari eandem) hoc est in LDA
  6. Ergo quadrilaterum aequi
  7. seu hritnitur quadrilatem AC
  8. scholium. Hac propositio converti non potest nequenim si
  9. rs entio nsquriss aile ectum et inest
  10. Nam B est in LDB (per definitionem in existentis) et L(B∞
  11. siequadrato per. prov. 13
  12. sex hyp). Ergo (per
  13. biquid altexi ipest pectum es
  14. santis
  15. si D et in LnBP adL (per def. inex A) L ∞ BD
  16. sit L parrallelogrammum (cujus quodlibet latus alimilateri parectet est Ergo (per prop. 9. Y) LDB ∞ BD PB hoc est (per ax
  17. ∞ BDP. quod ex hyp) ∞ L.
  18. Si A4 N est in A, etiam N est in A
  19. AYO AX ∞RX Ergo RY in RX.
  20. RY in RX Ergo RYO RX ∞ RX
  21. Quadritatenum isse in est paretlolo grammo
  22. Ergo paralle grammum quatrilaterum idem est quod paralledograum
  23. Nam si A Contntum contenti et cententu css
  24. Ergo quadrilaterum esse in est paralleloguerammo
  25. vicissim quatrilaterum esse inest parallogrimmo
  26. Ergo paallelo grammum quadrilaterumi sem est quod
  27. prop. 15 si A est in B et B est in C etiam A est in C
  28. Nam A est in B Ergo ACG L ∞B (per def. nexist,
  29. similiter quia B est in C, erit B(M ∞ C. Ergo in
  30. qua assertione pro B ponendo ADL (quae coincidere ostendimus)
  31. 3 X RT est in R5 et RS in RX Ergo
  32. A quadoilaterum B parallelogiammum fiet A L D M ∞C Ergo A est in C (per def.
  33. oss uc mitis
  34. Quadrilaterum esse inest paralle logramar, et paral
  35. tenomraramum esse in est aectangulo (hoc est figurae
  36. cujus omnis angulus rectus) Ergo quadrilaterum esse
  37. quanguam si individua non
  38. de notionie o intelligamus
  39. si pro notionibus perse consideratis, spectenus sin–
  40. gularia sub notione comprehensa, et fieri potest
  41. carelb si AD N est in B, etiam N est in B
  42. Nam N est in ADN Cex def. in exist.) et A+ N est in
  43. ex hopu) Ergosper preced.) N est in B.
  44. A rectangulum Bparallelogrammum, C quadrolaterum.)
  45. se B
  46. sic ACDBC erit A on e B v
  47. Nam omnia restangula sunt in omnibus parallelogramm asi estn B et B es inA erit A∞ B
  48. comprehensa, et omnia par allolo gramma innumer (Nam si A est in B erit AN ∞B ( definiexit7. jam
  49. quadrilateres Ergo et rectang uta omnia sul qua
  50. in quadrilateris continentur. Quemadmodum
  51. omnes homines continentur in omnibus animalibus
  52. et omnia animalia in omnibus corporibus, ergo
  53. et omnes homin substantiis corporeis, ergo et
  54. omnes homines in substantiis corporiis continentur
  55. Licet contra notio substantia corporeae in notione animu
  56. lis, seu corpore notio animalis in notione hominis
  57. A 15 Gulum esse imest trilatero, Ergo coincidunt
  58. triangulum et trilateru
  59. B est in A (ex hyp.) Ergo A+ N est in A Ergo (per, praecedo) etiam
  60. N est in A. Ergo porro (perprop m) A A∞A+N,
  61. + A est in C et B est in C etiam A+B est in C
  62. Prop. 16 ssi A est in R, et B est in C et R est in D etiam A est int
  63. Et ita porro. contentum contenti a contento est contentum continent
  64. Nam si A est in B et B est in etiam A est in C (per praeced)
  65. Unde si C est in D runcus A er tunc (cursus per praeced.) etiam
  66. quae se mutuo continent coincidunt
  67. Nam si A est in B erit AD N ∞B (per def. inexist.) jam B est Solutio: sumantur quaecunque et quotcunque inter se diversa,
  68. prop. 17 si A est in B et B est in A erit A∞B.
  69. in A (ex hyp.) Ergo A N est in A (per prop. s.) Ergo (per
  70. coroll. prop. 15.) etiam N est in A. Ergo porro (per prop. 1
  71. A00 ACGN seu Aa B.
  72. sit in altero, fiat RS DTX ∞ NM
  73. DC. A erit RS(D RX idem quod YX (F RX
  74. semper enim componitur reoca fix
  75. Csit seu ADB, erit rectangulum, eritque parallelogrammum
  76. rectangulum, idem quod rectangulum aequiangulum. Generaliter
  77. sit Maevius A, Titius B; par hominum ex utroque compositum C,
  78. e erit Maevius ut pari huio erit Maevius una
  79. cum hoc pari, idem quod Trtius icum hoc pari, utrobique enim
  80. nihil aliud prodit, quam ipsum par. Alia adhuc solutio dari
  81. potest, quae est elegantior se specillior sid specialior si A et B
  82. habeant aliquid commune, idque datum sit adeoque datum su
  83. etiam quod utrique est proprium, sit igitur ipsi A proprium M
  84. et ipsi B progrium N, et fiat M+ N ∞0D commune autem
  85. sunt RS et YX disparata. ita ut neulvum
  86. utrique sit . Dico A+ hore ∞ B+D. Cum enum sit
  87. Ae PDM et B∞ PE) N erit A(F D ∞ RFMD N,
  88. et B+ etiam 1∞ p(D M() N

Cite

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