Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre

ELEMENTA CHARACTERISTICÆ UNIVERSALIS 43

< numerus subjecti v. g. hominis > denominator vero P <numerus prædicati v. g. animalis >>) illa fractio debet æquivalere integro, ut : est 2.

Si propositio particularis affirmativa est vera, sufficit ut vel numerus prædicati exacte dividi possit per numerum subjecti, vel numerus subjecti per numerum prædicati.

P. A. vel vel > succedit

Si propositio Universalis Negativa est vera, necesse est ut neque numerus subjecti dividi possit exacte per numerum prædicati neque numerus prædicati per numerum subjecti.

U. N. neque ù neque à succedit

Si propositio particularis negativa est vera, necesse est ut numerus sub-

jecti non possit exacte dividi per numerum prædicati. P. N. > non succedit P

Hæ quatuor Regulæ sive definitiones propositionum << categoricarum > verarum (adeoque et falsarum, nam quæ veræ non sunt falsæ sunt) secundum quantitatem (sive signa) et qualitatem (sive affirmationem et negationem) differentium sufficiunt ad totam Logicam vulgarem quatenus de forma propositionum et syllogismorum [categoricorum] agit uno mentis ictu cognoscendam; ita ut hinc statim cognosci possint Subalternationes, Oppositiones, Conversiones Propositionum, et Figuræ ac modi legitimi syllogismorum. Statim enim in numeris examinabuntur propositiones, tum illæ ex quibus fit conclusio, tum illæ quæ ex aliis concluduntur. Quin imo ostendam aliquid amplius, quomodo statim per calculum demonstrari possint omnes formæ Logicæ categoricæ, etiamsi ponamus nondum dari hos qui desiderantur Terminorum seu Notionum < singularum >> numeros. Quemadmodum enim in Algebra literali calculamus circa numeros generales < literis expressos, qui notos vel ignotos speciales quoscunque designant >, ita hic quoque pro numeris illis literas adhibendo præclara Logicæ artis theoremata demonstrabimus. [taque tanta est hujus inventi nostri Mirabilis præstantia, ut vel solum votum

Puiz., V,8,a,2-