Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

The machine reads it as

  1. Baiba Barbam omne R est B omne d est C Eogo omne dest B
  2. C = BC
  3. D = CD ostendendum D = Bd
  4. in 2 pro C ponando valorem ex (1 fit d = BCd. ergo per 2 fit D = B
  5. clarent
  6. etarent Nullum CestB. Omne dest C Ergo Null. d est
  7. cplarent
  8. CB non = BC
  9. D = cd ostendendum DB non = Bd
  10. Nam si esset DB = Bd fara per 2 foret CDD CdB = BCd. Ergo omissa D
  11. tuns
  12. fiet CB = BC contra 1. nempe omittere utrobius eandem literam
  13. licet ascribere, nisi de ombinabilitate constet, non licet
  14. arii Omne C est B Qu. d est C Ergo Zu. d est B
  15. DC = Cd. ostendendum est DB = Bd
  16. sane patet quia B et C combinabilia sunt et in C est B etiam B esd
  17. C = BC
  18. combinabilia esse. Sed nostro calculo ns sic patebit Ex 2 per 1. sit
  19. DBC = BCd et omissa C fit DB = BC
  20. it cumeNtull. C esB Quod est C Ergo Q) non est B
  21. C
  22. CB non =BC DC = cd ostendendum D non = Bd
  23. si D esset Bd forit per 2 forel BdC = CBd Ergo CB = BC contra 1
  24. tunc
  25. Babapi vid ita negativae ostenduntur refutando coppositum
  26. Q00d
  27. Barbari omne C est B omne dest CG Ergo omne D est B
  28. C = BC DA C D = cd; ostendendum DB = Bd.
  29. nam ex pere
  30. Ergo DB =
  31. Celaro in celerent est
  32. celaro Aieum C est B one d est C. Ergo quodd D non est B
  33. inoent ex praemissis conclusimus
  34. D = Cd S ostendendum D mon = BC
  35. CB non BC
  36. nimirum si esset D = Bd foret _ F1 tunc per 2 foret CD = BCC
  37. Ergo D= Bd ergo et BC - B C = BC. Ergo EB = BC contra
  38. An invertendo siC CB non = BC. ergo C non = BC. Ergo Cd non
  39. ErgoF CD non = BCd ergo (per 2) D non = Bd. Hac patel
  40. video nempe combinationem semper fieri posse in negatior,
  41. sc ut si sit C non =BC, dico D adscici posse utrobius
  42. ut fiat Cd non = BCd nam si ponan d esse incompatibilem
  43. cum B. quid tum respondeo quid tum tanto magis enim negeanda
  44. propositio in qua hoc absurdum sed in negativis omittere
  45. eandem utrobique literam non licet fortasse quidem ex ea ipsa
  46. citeia ascripta oritur incompabibilitas et ratio negeandi
  47. Emo tandem habemus praeclaraum Calculi regulam: in affi,ma,
  48. tiois coincidenti amittere literam utrobique eandem literam licet
  49. ascribere eandem nisi de combinabilitate constet non licet. Se i
  50. negatione coincidenbiae ascribere utrobius eandem literam ricet, omibere
  51. non licet nisi de ejus cum caeteris combinabilitate constat. ita enium
  52. contat ob ipsam non fieri negationem.
  53. patet
  54. nates etiam hinc etsi inulytice negativa demonstretur assumendo
  55. regresse
  56. ornositum, tamen hac methodo, dum combinatur in negativis dic
  57. eam errecte posse demonstrari ut vel in hoc exemplo patet sic
  58. in caelarent CB non = BC per 1. Er. dB non =Bcd Ergo per 2. ibi dB non L Bd
  59. Et in Ferio CB non =BC per 1. ibi. Ergo BD( non = CBd sed DC = CD. Ergo d non
  60. alioqui ex sic = Cd fieret cuu sraet coincidentia quae tamen negatur; ub
  61. amen video admisceri aliquid indiroctum. Praestat erga oppositum ae trestane
  62. Comtinando
  63. imo subest
  64. ut mex
  65. dicetu

Cite

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