Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

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

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

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

The machine reads it as

  1. primaria calculi Logici fundamensa
  2. A∞ B idem est quod A ∞ B est vera A non ∞B idam est quod A ∞ B est fassa
  3. eus
  4. AC A A non ∞ B B non A AE non non A
  5. A ∞ non non A A non nen ~ B idem est quod A ∞ B
  6. sunt A∞, B
  7. non A ~ non B
  8. AA∞ A ABEBA
  9. A non ~ non B quod abs.
  10. s A et demonstrati potest saltem enim iptum Apots tes aa ssumi potest Y tale ut sit A∞YB est postalatum sed
  11. si sit A∞
  12. Coincidunt ALBAB
  13. MaBC Cohe lun AcoB
  14. si sit A ∞ YB dequitur A ∞ AB H Htoc it demonstro; A ∞ YB ex hyp. Ergo ABC 10
  15. oustru
  16. A∞ YB (ex hyp.) Ergo AB ∞YBB (per 10). ∞ YB. (per 6) ∞ A (ex hyp)
  17. particularis Affirmatiba Umbersalis affirmativa sic exprimi potest A ∞ AB vel A∞YB
  18. particularis affirmativa sic YA ∞ YAB vet YA ∞ ZB vel etiam AB ∞ AB seu AB est Ens vel stare
  19. particutaris negati Universalis necaliva sic n A ∞ YB vel non A ∞ non AB vel A ni ossunt
  20. Universalis negativa sit: Nullum A est A, sic: A ∞ Y non B. seu A∞ A non B seu ABim es non Eas
  21. quoddam A est non B
  22. Particularis Negativa A e non AB A non ∞ AB in A non B est Ens
  23. Sed videamus an haec solasuficiant _ IA idest AAB HN idest A∞ A neaB PR itest A non A non B
  24. Univ. Af. A∞ AB. Part. Neg. A non ∞AB UMI. Neg. A∞ A non B. Part. Aff. A non ∞ Anon B
  25. qivasi A ∞ AB Ergo A non ∞ Anon B. seu ex un. AF. sequitur Part. Ass.
  26. demonstratio: Esto enm
  27. vel sic vins
  28. c
  29. ex hyp. Ergo A nol B A non B non AB (per 4) E on c A (ex Eyp) Ergotie
  30. ad
  31. Aeqiment: iA ∞ A non B A non ∞ AB. Seu ex Univ. neg. sequitur part Neg.
  32. dec demoistratio. A∞ A non B (ex hyp) C non ∞ AB (per 4) Ergo A non AB.
  33. demonstratio A non B non ∞ AB (per 4). pro A non B substitne A (nam aequivalent ex hyp) et fit Anon 58
  34. Aiquivalent A non ∞ A non B, et B nor ∞; B non A seu particularis affirmativa y verti potest simpliciter
  35. extop
  36. demonstratio: ponatuo A non ∞ A non B sequeur s ajo fore Bnon ∞ B non A
  37. sit enim falsum si fieri potest Ergo verum erit B ∞ B non A. Ergo non B ∞ non B une A
  38. quivala ipsius B non A (ex hyp. contraria) qui valos ipsios B sbstituatur in 1 fet
  39. A non ∞ A non B non A quod est absurvum nam A ∞ A non B non A Et qu et
  40. verum erit Ergo (per 11) et verum erit A∞ A non B. quod est absurdum per t.
  41. idem sic demonstrari pt A non ∞ A non B, (ex hyp.) Ergo (per 9) B non B non A
  42. demonstratio ex A non A non B sequitur (per 9) B non ∞ B non A. Erg et vicissim
  43. vel statim A∞ A non B coincidit cum B ∞ B non A (per 9.) Ergo
  44. et coincidunt earum contradictoraae Z. E. d.
  45. CAh Ex A ∞ A non B videamus an aliter ducere possimus B ∞ B non A.
  46. si A ∞ A non B Ergo AB ∞ AB non B. Ergo AB est non Ens. Quod si ja ex hoc est
  47. si AB est ens, Ergo A non A AB est Ens ducamus A∞ A non B, pari sire et du cernus B ∞ in
  48. Fortasse sic nihil supponendo: sit AB ens Ergo A non ∞ A non B nam si foret A∞ non
  49. Ergo reciprocae.
  50. foret AB ∞ AB non B, adeoque AB foret non Ens contra Hyp. Et parisme B non ∞ B non 4
  51. cum dicitur AB est Ens vel non Ens subintelligitur scil. A et B existentibus Enti suppositis
  52. Entibus. Videamus vicissim ostendi posset A non ∞ A non B Ergo AB est Ens, positis scilicet e
  53. Entibus. Nempe si positis A et B Entibus, firet AB non ens, ergo oportet unum ex ipsis A vel B invoiven
  54. contradictorium alterius ejus quod involvit alterum, ponamus Ergo A involvere C, et B involvere non C
  55. (unde vicissim sequitur B involvere D et A non posito D ∞ non C). sit ergo A∞ EC, et B ∞ F non C
  56. jam Ergo EC ∞ EC non F nonC seu EC continet non F nonC (seu quicquid involvit C, id involvil
  57. negationem ejus quod negat C) id est A∞ A non B contra Hyp. Ergo Aequivalent
  58. seu ex se muluo sequuntur AB est Ens et A non ∞ AR non B, et B non ∞ B non A
  59. similiterque aequivalent AB est non Ens A ∞ A non B B∞ Bnon A
  60. Atque i clavem reperimus, ut liceat eusi reductione complexorum ad incomplex.
  61. rem melius ergo ordinavimus scheda sequente 2 All9. 1690
  62. si non inest si inerit non A, et contra, adeoque aequivalent ava inesses A, et inesse nonAt
  63. in oi termino inest A vel non A (seu aequivalent A ∞ A ∞Y non B, et A non ∞ ZB, vel
  64. aequivabeil coincidunt A∞ A non B et A non ∞ AB. Ergo male
  65. si A∞ BC sit an A: C∞B, ut intelligatur B C removendum ex A? reductis ad
  66. Non AB inest in non B seu Non B ∞ non B non AB
  67. primilion, sit B∞ CE, sit A∞ CEC. Ergo seu A∞ CE, ergo A: C non est B se imper B
  68. sed sic dici potest Aa BC, Ergo A: C ∞ B itaque hoc tantum prcedit in primitivis
  69. uiq uibicunque est generalis EB, ut E mblligatur quaecunque potest et substitui B, nam sumendo
  70. Epro B, fiet EB ∞ BB, ∞B.
  71. rtconta
  72. si Non AB non ∞ A non B erit Non AB ∞ B non A. seu coinci it, hasen aequioulent
  73. seu aequivalent Non AB non ∞ A non B et Non AB ∞ B non A

Cite

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