Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

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

The machine reads it as

  1. Exempli gratia Triangulum et Trilaterum; in omnibus enim propositionibus
  2. de Triangulo, substitui potest Trilaterum lva veritate; vel contra; it etiam endem
  3. Defez. E u recta Xrer recta YX dicenu: YL ∞XXH coinqcidere viam bitislinam Mobulis b X ad Y Af abra
  4. diversa sunt quae non sunt eadem, seu in
  5. A non a Nignificat A et B esse diversantra quo tamen quadratum perfectum
  6. (ex Hyp.) Ergo in prop. propositione
  7. ex Hypd poterit substitui B in locum A, et A in locum B
  8. Alioqui sit B∞ A. Ergo (per praeced) erit A ∞ D
  9. uet alteri isit ai comudem insit respectu leop. 3 si A ∞B et B ∞ C erit A∞ C
  10. si quia sdem st atteri alterimo idem eric ipsi
  11. si A sit ∞ B atiam B erit A.
  12. ost pluribus ei mexistentibus 4, bop. + Si A non ∞ B. etiam non ∞ A. Ms si quid diversum sit ab altero, alterum erit diversum ab ps
  13. Tadem, sunt quorum unum postest substitui
  14. significat A et B esse eadem
  15. componere unum, cum unol; adeqet bin quae jam ostentim substitutio aliquando non procedit, verbi gratia talia sunt, circulus et quadnalum triangulum; quodratum perfectum
  16. ut concludatur quarum libet periodorum vitas coincidere
  17. eadem unifertio sunt eadem inter se
  18. Nam si in A ∞B (vera ex Hyp) substituatur
  19. C in locum B fiet (per def. 1Fdem) propositio vera
  20. Coroll. si A∞ B et B∞ C et C∞ D erit A∞D. et il
  21. Him tum aequalia sint mognifudiis eadem consenens
  22. ose si A ∞ B et B non a C erit A non co C pertiore am ulterum ab eodem erit dirersum
  23. A∞ C. Nam AeB C Ergo ABCCprop. hiC) Nansus Aa CN Dergo (proporic) Ad
  24. Nam si in propositione B non aC (vera ex Hyp.)
  25. substituatur A in locum B fiet per defH
  26. ob A∞ B.) propositio vera A non ∞C.
  27. De subatrpantia voco quorum unum alteri inest, ut A et B
  28. dessDisparota quorum neutrum alteri inest
  29. seu A L continete R, tunc pr d Bo
  30. l poni La antensi dut e l ertu o
  31. respecta ipsius L composstirel constituti disparale
  32. B(+) N ∞ L significat B esse in L seu L continere B; at B et Nsi constituer idem est in pluribus
  33. ixion. 1.B _ rocidem siset quo N(F) Bsen tranpositio hienilmatae. Potulatu . ut uom asturi nst libet insit
  34. Si A est in B et sit B e C etiam A erit in C
  35. Nam in pt A est in B pro B substituendo C, fit
  36. u i
  37. quiomo (+ A ∞ A simt qutitu
  38. pulumi am smet dumema
  39. rop. 9 Si A ∞B erit A(+) C ∞ B(+) C sie comvarntia
  40. Nam si in propositione A(+C ∞ ADC (per se vera)
  41. pro A semel substituas coincidens B,
  42. se Hoc popos Scholium haec propositio converti
  43. oupote multoqu minus duae sequentes
  44. Si DB aL erit B in instautiam reperiendi
  45. Nam B est in LDB (per de f. inexistentis) argo
  46. et LDB d L (ex Hyp) Ergo (per prop) Best int.
  47. si B est in L erit (DB ∞ L
  48. Nam si B est in L erit BD PC L (per
  49. Ergo (per prop ) B+ B+P ∞ t p
  50. L+ B ∞ B + P + B B quod (per Ap )
  51. prop. E si A est in B et sit A∞C etiam C est in B. cencdens merer
  52. pe de coihudentinm quia A exhp)
  53. prytee si cest in et sit Aa B an E sit in A ud incon
  54. fit:Aesse in B. (Est coliversa praecedent
  55. emp. d est in 1 tu E lo pra ants
  56. si A∞L et B∞M, erit ABB ∞M
  57. Nam quia BeoM erit (per prop. praeced. AM
  58. ADB ae AsM et pro posterion A ponendo+ (quia
  59. si Aast et B∞M et c∞ N erit
  60. ex praeced sex praece. quia Ac L et BC M)
  61. jam C oas Ergo fiet AOB∞ LD M. unde quia
  62. LC∞ N firt Trursus per praecedentem) A(DB( C ∞ LDM
  63. prop. 10 Si A L. fa et B∞ M erit ABB ∞ LDM. si coincidentibus adjicidntur coincidentia fiuut coincidensia
  64. Nam quia B∞ M. erit (per prae Ced.) ADB ∞ A(D) M, et
  65. pro posteriori A ponendo L (quia A∞ L ex Hyp.) fiet A(DB
  66. recti non poteste
  67. sse Bab M. et sequanis multo minus converti potust.
  68. A∞L et B ∞ M et C ∞ N. erit ADBDC
  69. ∞ L M N. Et ita porro. Si sint quotaque prs
  70. obita, etto idem alia espective coincidentia singula singulis ompo
  71. Nam (ex praeced quia A ∞ L et B ∞ M) siet ADB∞ BF M
  72. tar
  73. esrai iA
  74. poblecio
  75. Nam D est in LB (per def inexistentis et L(B e L (ex hyp. ). Ergo Term idem plinitar, quam struatur dom
  76. Ntam si Best in L erit DP ∞ L Cxer def. ... ) Ergo (per prop .....
  77. RLDBa BDPB, quod (per ax . . . ) ∞ BD P, quod
  78. est ae qualia uni tertio essola inter de. Mundes
  79. is mea periodo semper duarum proximarum
  80. Druique tsi multum refent inreali asectione, cum de vebus generum
  81. dis agitur, quis sit ordo, prius enim damus formanda fundamenta
  82. ipsius RX. patit nomnitudines mburum, ut si RX sit S pedum
  83. et R5 4 pedum, et KYX 3 pedum, patet magnitudines
  84. eanum compoudere partium componere magnitudinem
  85. nihil aliud componnt quam hasen B1B XAX

Cite

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