Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre, page 114
Paiz., V, 8, f, 23.
r recto (feuille prise pour cou-
verture). Paie, V, 8, f 24-27.
24 recto
84 CALCULUS CONSEQUENTIARUM EE EEEEEEZEZEZEZ—Z—_]_—_——…—_—_————
debent. Quod ut fiat primum ipse medius accommodetur uni extremorum, Majori scilicet vel minori termino, sed alter extremus postea ipsi accommodetur. Ubi notandum præstare subjectum accommodare prædicato quàm contra, ut ex regulis superioribus consideranti constabit. Itaque si qua sit præmissa in qua Medius terminus sit subjectum, ab ea incipiatur et prædicati ejus numeris pro arbitrio assumtis accommodentur ei numeri subjecti seu medii termini; inventis jam ita medii termini numeris, his numeri alterius termini in altera præmissa etiam accommodentur. Habitis jam <ita >> Majoris ac Minoris termini numeris characteristicis, facile apparebit an eam inter se legem servent, quam conclusionis forma præscribit, id est an conclusio vi formæ ex præmissis ducatur.
| Sed uthæc numerorum assumtio facilius fiat certas quasdam regulas
præscribam.
Puiz., V, 8, f, 24-27 (6 p. in-folio). Calculus consequentiarum.
uo sunt quæ in omni argumentatione dijudicari debent : Forma, D nimirum et Materia. Contingere enim potest ut argumentum aliquando succedat in certa materia quod aliis omnibus exemplis ejusdem formæ applicari non potest. Exempli causa si ita ratiocinemur :
[Omnis pius est felix
Quidam pius non est fortunatus
Ergo quidam fortunatus non est felix]
Omne Triangulum est trilaterum
Quoddam Triangulum non est æquilaterum
Ergo quoddam Aequilaterum non est Trilaterum >
Conclusio bona est sed vi materiæ, non formæ, nam exempla similis
formæ afferri possunt, quæ non succedunt, exempli causa :
Omne metallum est minerale Quoddam metallum non est aurum Ergo quoddam aurum non est minerale.
Itaque et calculus qui Materiam tangit à calculo formali separari potest.
date