t. II (PL 64)

PBIORUM ANALYTICORUM ARIST0TELI8 INTERPRBTATIO. 650universalis propositio. Sit autem primo universalis ^ sunt, cnon inerit i. Rursura sit prsedicativa, et uninccessaria,et a quidem omni b insit ex necessitate,6autem alicui c insit solum, necesse est ergoaalicuic inesse e.xnecessitate,nam csuhb est,ft autem omnia inerat exnecessitate. Similiter autem et si privativussyllogismussit, nameadem erit demonstratio.Si autem p.-irticularis est necessaria, non erit conclusionecessaria nihil enim impossibile evenit,quemadmodum nec in universalibus syllogismis,similiter autem et in privativis. Termini, motus,animai, album.GAPUT X.Be mixlis ex una necessaria et altera absoluta in seeundafigura.In seeunda autem flgura siprivativa quidem proversalis,et necessaria. etponatur ad b quidem praedicativum,si ergo a omni b ex necessitate inest, cautem alicui non inest,quoniam non inerit b alicui cmanifestum, sed non ex necessitats. Nam iidem termini.eruntaddemonstrationem,quiin universalibussyllogismis : sed necsi privativa necessaria est partioularitersumpta, erit conolusio necessaria.Namper eosdem terminos demonstratio.CAPUT XI.Dc syllogismis mixlis ex altera necessaria et alteraabsoLuta in tertia figura.In poslrema autemflguraterniinis quidemuniversalibusad medium, et prEedicativis utrisque propositionibus,si utralibet sit necessaria, et conclusionam si a c nulli contingit, et c nulli a poterit inesse,aulem omni b inest. Quare nulli eorum qu» sunt bcontingit c, flt enim prima flgura. Rursum non ergoneque b ipsi c, convertiturenim similiter. Si autempraedicativapropositio est necessaria, non erit conclusionecessaria, insit enim a omni b ex necessitate,c aulem nulli insittantum, conversaergoprivativa,flt prima flgura. Ostensum est autem in prima quoniamcum non est neoessaria quae ad majorem estpositio univ»rsalis sit et necessaria, conclusio erit erit necessaria. Si autem hffio quidem sit privativa.necessaria. Si autem praedicativa, non neoessaria. illavero pr8edicativa,quandoprivativa quidemfueritSit enim primum privativa necessaria.et a b quidemnulli contingat,cautem insittantum; quoniamergoconvertitur privativa; et b nulli a oontingit, a autemnecessaria, et conclusio erit necessaria,quando autempr8edicativa,non erilnecessaria. Sint enim priraumutrceque prffidicativa propositiones, et a et ftomni c inest, quare nulli c oontingit b, nam c sub a omni c insint, necessaria autem sit a c, quoniamest. Similiter autem et si ad cponatur privativum, ergo b omni c inest, et c alicni b inerit, eo quod consertituruniversalisparticulariter.Quare si a inestomni c ex necessitate, et c alicui b, et a alicui b necessariuminesse, nam b sub c est. Fit igitur jirimafigura. Similiter autem ostendetur, et si 6 c est necessaria,converliturenim calicui u,quare si omni cinest b e.x necessitate, et a alioui b inerit ex necessitate.Rursumsit nc quidem privativa, 6 c veroafflrmativa,necessaria autem privativa, quoniam ergoconvertiturafflrmativa, eritcalicui b, «autem nullicprivativa, nec conclusio erit necessaria, 'quare nec C ex necessitate, neque aalioui A inerit exnecessitate,in his erit ei necessitate, Amplius autem si conclusioest necessaria, accidit c alioui a non inesse exnam b sub c est. Si autem prEedicativa sit necessaria,noneritconcIusionecessaria.SitenimiJcpraedicativanecessitate, si enim 6 nulli c inest ex necessitate, et necessaria, a cautemprivativaet non necessario,neque c nulli 6 ineritexneoessitate, ftaulem alicuionecesse est inesse, siquidem eta omni b ex necessitateinerat, quare c neoesse est alicui anon inesse,sed nihil probibet a hujusmodi acoipere, cui omni ccontingat ines^ie.Amplius et si terminos ponentes sitquoniam ergo convertitur afflrmativa, inerit etcalicuib ex necessitate. Quaresi a quidem nullieorumquoe sunt c inest,cautem alicui eorum quae sunt 6 etaalicuieorum quce sunt 6non inerit.sed nonex neoessitate.Ostensumest enim in prima figura quoniamostendere, quoniam conclusio non esl necessaria privativa propositione necessaria, nec conclusio eritsimpliciter. Ethis existentibus, necessarium utsitn necessaria. Ampliusautemetper terminos sit manifestum,animal, b vero homo, c autem album, et siuiilitersit enim aquidem bonum in quo h animal,propositiones sumptcs sint, contingit enim animal c autem equus, ergo bonum quidem contingit nullinulli albo inesse, non inerit ergo nec homo nulli equo inesse, animal vero necesse est omni equoalbo, sed non ex necessitate. Contin^it enim homineminesse, sed non necesse est aliquod animal non essefieri album, non tamendonec animal nulli albo j) bonum, siquidem conlingit omne esse bonum. Autinsit, quare cum haec sint, necessaria erit conclusio, sinonhocpossibile, sed vigilare, veldormire termisimpliciter autemnon neoessaria.Similiter autemse num ponendum. Omneenim animal susceptibile esthabebit et in particuIaribussyllogismis,quando pri-horum. Si igitur termini universaliter ad mediumvativa quidem propositio, et universalis fuerit, etnecessaria, et conclusio erit necessaria. Quandoautem prsedicativa universalis fuerit necessaria,privativavero particularis non necessaria, non eritconclusio necessaria. Sit enim primum privativa,etuniversalis necessaria, et aft quidem nuUicontingatinesse, c autem alicui insit, quoniam ergo oonvertiturprivativa, et b nuUi a continget inesse, a autemaliouicinest, quare exnecessitate alioui eorum quaePA«ftOL. LXIV.sint, dictum est quando erit conclusio necessaria.Siautem hic quidem universalis, ille vero particularispreedicativusuterque, quando universalis fuerit necessariuSjet conclusio erit necessaria. Demonstratioautem eadem quae prius,convertitur enimet particularisafflrmativa. Si ergo neoesse est b omni cinesse, a autem sub c est, neoesse est b alicui ainesse.Si autem b alicui a, et a alicui b inesse necessarium,convertitur enim. Similiter autem etsi21