Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre, S. 94
Puiz., V, 8, c, 15.
16 recto,
64 CALCULI UNIVERSALIS ELEMENTA
——————]—]—]—]_
omittuntur in notione meteori, et requiruntur in notione nivis. Eodem modo dici potest quidam lapis non est homo, quia quiddam requiritur ad hominem quod non requiritur ad lapidem. Cum ergo posito # esse genus, # esse speciem, sit propositio <universalis affirmativa generis de specie >> # est m, in qua # habet signum universale, et #7 quale habeat nihil refert; æquatio autem inde fit # æqu. sw” inter numeros # et 5.
Ergo dividendo pers fit = æq- #7. quam æquationem multiplicando per x,
xn . fit! æqu. xm. Unde' regulam mutandarum æquationum in proposis 2, . 1 n . : . : tiones supra artic. 5 fiet : x est* . Jam F significat idem quod quiddam
non #, uti #n significat quoddam #. < Quia multiplicatio per literam est terminus affirmatus particularis, adeoque necessario divisio per literam est terminus negatus particularis >. Habemus ergo quoddam meteorum est quoddam non-nix. Jam in omni propositione nihil refert quoddam * signum sit prædicati, itaque habemus quoddam meteorum est non
. | _. . | nl __ nix. Imd < facilius adhuc dicemus tantum : 72 est = facilius adhuc
Omissa x possumus uti hac regula, quod propositio est particularis si subjectum multiplicatur per literam indeterminatam, et quod eadem est particularis si prædicatum dividitur per literam indeterminatam. Atque hoc modo satis constituisse videmur naturam particularis negativæ. Data
quacunque fractione : dici potest Ç SE negationem cujuscunque Spe-
ciei ipsius s. sive numeri per s divisibilis sive ipsius +5. seu idem esse quod nullum s. Itaque dicere homo non est lapis idem est ac dicere homo est id quod est nullus lapis. Ita quoddam animal est nullus homo. Ergo quidam nullus homo est animal.
| Colligamus expressiones nostras hactenus constitutas. # vel #1 absolutè positum est terminus indefinitus, si subjectum sit sm propositio est
: ne . 1 _ . ‘ particularis. Si prædicatum sit — propositio est particularis negativa *. s Vel sic potius : si ex æquationis cujusdam termino fiat subjectum . Suppléer : per. . Leibniz a voulu écrire : quodnam.
. En marge d'un passage barré, on lit : caritativus sapiens justus prudens.
SD