Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

The machine reads it as

  1. ieaque resu Resumamus ergo calculum ab integro.
  2. prop. Univ. AA. omne. B est C in calculo cit
  3. c-
  4. C CB
  5. prop. part. Ney Quadd B non est C, in calculo dublt B non = BF EB
  6. prop. part. Afarm. Quodd. B est C in calculo dabit BC = CB
  7. prop. Univ. Neg. Null. B est in Cdsculo dabil BC non = CB
  8. subalternatio omne B est e E
  9. oppositio patat ex constructione nempe inter Univ. Aff et part Ner
  10. item inter part. Af. et unio Neque
  11. suba ternatio demonstratur ab universale ad particulare
  12. omne B est C. Ergo quodd. B est C
  13. B = RCB. Erqui CB BC = cB BC = CCB = CB. nam
  14. in huc calculo duplicatio literes vel notionis nil addit. ut si
  15. dicerem Homo est animal animal
  16. Nullum B est C Ergo quodd. B non est C
  17. BC non = CB. ostendendum est B non = BC. Nar. seb B P
  18. nam si esset B = BC foret CB = BC (ex praeced.) contra assumtum
  19. Conversio etiam demonstratur et quidem conversio simpliciter
  20. in part. AH. BC = CB Ergo CB = BC
  21. et univ. NCy. BC non = CB Ergo CB non = BC
  22. conversio quoque per accidens in universali affirmativa demonstratir
  23. u ex demonstinta sabalternatione
  24. Nempe Omne B este
  25. Ergo quoddC est B. in calculo B= CB Ergo BC = CB. Er
  26. (quod est subalternatio) Ergo CB = BC (quod est prou particularis aiffir.
  27. matioae quersio simplienter) id est quodd. C est B
  28. Nunc veniamus ad syllogismos
  29. Barbara omne ByrC C est B omne
  30. Barbara omne Cest B omne Das
  31. exalicandu
  32. Ergo omne d est B
  33. C= BC p= CD ergo (tollende C exposen per C) D = BCd = (per 2) Bd
  34. C= BC D2 Cd ostendendum D = BD
  35. in 2 ponatur valor ipsius C per Ex + sit CD = BCd Ergo per 2 fit D = Bd
  36. elirent Nul Cest B O_DD est C Ergo Null. d est B
  37. CB non = BC D = Cd
  38. Ostendendum DB non = Bd
  39. Ex 1 fit CDB non =BCD Ergo ex 2 fit DB non = BD
  40. arii Omne C est B quodd deste Ergo Qu. d est B
  41. DC = Cd. ostendendum DB = BC
  42. Ex Z sit DCB = CBd per 1 sit DCB = BCd et omiso utrobique C frat
  43. F. EV
  44. B = BQ sed sic ratiocinari non licet, quia ita pajor propositio
  45. ingrederetur calculum vereor ergo se in his meeis ratiocinationi
  46. si praecedentibus sit lubricu. Illemp sciendum non liceret literam
  47. adjungere quam non constat ex praemisis esse ingredientibus compatibi
  48. u
  49. lem Ergo non licet sic ratiocinari ut in Barbara Redimus
  50. ibi erat C = BC d = Cd et ostendendum erat d = Bd Dico non licere
  51. ex 1 facere Cd = BCd quia non non constat an nam licet ex Z con-
  52. tet B et C et d esse compatibilia, tamen non constat B et D esse compa
  53. tibilia. Aliter ergo procedendum
  54. quia C et D compatibilia per 2. sernc
  55. 2 ex 1 sit D = BCd Ar goper E si = Bd
  56. itaque Resume mu carculum syllogismorum adhibita
  57. cautione dicta, ne combinemus quae non istat esse cobinabilia

Cite

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