t. II (PL 64)

639 AN. MANL. SBV. BOETH 640possit amplius requiri, priorum et posleriorum Ana- A. dona/os, adjunximus, ubique studenles ne nosLro ojlylicorumAristotelis libros Lalinilate ab hoc auctore ficio defuisse videamur.PRIORUM ANALYTIGORUM ARISTOTELISLIBRI DUOAN. MANL. SEV. BOETIO INTERPRETE.GAPUT PRIMUM.De propositione,termino el syllogismo.Priraum dicendum circa quid etde quo estintentio,quoniamcirca demonstrationem et de disoiplinaLIBER PniMUS.demonstrativa est.Deindedeterminandum quidpropositio,praedicari, quando nihil est sumere subjecti, deet quid terrainus, quid syllogismus, quis B quo non dicatur alterum, et de nuUo similiter.perfectus, et quis imperfectus.Postea veroquidestin toto esse, vel non esse hoc in illo,et quid dicirausCAPUT II.De conversione absolularum propositionum.de omni, aut de nullo praedicari. Propositio ergo est Quoniam autem omnis propositio est, aut deoratio affirmativa, vel negativa alicujus de aliquo. inesse, aut ex necessitate inesse, aut contingereHaecauiemautuniversalis,autparticularis,autindefinita.Dico autemuniversalem quidem, cum aliquidomni, aut nuUi inesse; particularem vero, cumalicui,aut non alicui.aut non omni inesse. Indefinitamautem, cumquid inesse, vel non inesse significat,sive universali, vel particulari, ut conlrariorumeamdemessedisciplinam,autvoluptalemnonesse bonum.Differt autem demonstrativapropositioa diiilectica,quoniara demonstrativaquidenj sumplioalterius partis contradictionisest. Non enim interrogpt,sedsumit, qui demonstrat.Dialectica vero interrogatio,contradictionisest. Nihilautera refertutfiate.x utraque syllogismus; namet qui deraonstrat,et qui interrogat,syllogizat,sumen8aliquiddealiquoesse, vel non esse. Quare erit syilogistica quidempropositio,simp!iciteraffirmatio velnegatioalicujusde aliquosecundum dictummodum.Demonstrativavero si vera sit,et per primas propositiones sumpta.Dialectica autem percontanti quidem interrogatiocontradictionisest, syllogizanti vero sumptio apparentiset probabilis,quemadmodum in Topicisdicturaest. Quid est ergo propositio, et quid differtsyllogistica a demonstrativa et dialectica, diligen-quae nunc dicta sunt. Terminum autem voco, inquera resolviturpropositio,utpraedicatura,et de quopraedieatur, vel apposito, vel separato esse, vel nonesse.Syllogismus est oratio in qua, quibusdam positis,aliudquiddam ab his quse posita sunt ex ne-quidem necessaria per subjectos terminos,non au»tem surapta sunt per propositiones. In toto autemesse alterura in altero, et de omni praedicari alterumde altero idem est. Dicimus aulem de omniinesse ; harura autem,hae quidem affirraativae, illaeautem negativae secundum unara.quamque appellationem; rursus autem affirmativarum et negalivarum,aliaesunt universales,alise particulares,aliaeindefinitoe:universalemquidemprivativam deeoquodest inesse, necesse est in terminis converti. Ut sinullii voluptasestbonum.nequebonum nullum,erilvoluptas. Praedicativam autem converti quidemnecessariumest,non tamen universaliter,sed in parle,ut, si omnis voluptas est bonum,et bonura aliquodC voluptas.Particularem autem affirmativam quidemconverti necesse est particulariter.Nam si voluptasaIiqua,bonum,et bonum aliquod erit voluptas.Privativamvero nonestnecessarium. Non enim si homonon inestalicuianimali,etanimal non inestalicuihomini.iPrimum ergo sit privativa universalisa b propositio, si erso nulli b inest a, neque a nulliinerit fc.Nam si alicuiinest ut c,non verum erit nullumb esse a.Nara c eorum quse sunt b aliquod est.Siveroomni ftinest a,elfc alicuioinest,nam si nullineque a nulli b inerit,sed positum erat omni inesse.Sirailiter autemetsiparticularis estpropositio,namsi inest a alicui 6,el b alicui eorum quae suntone-tius quidem in sequentibus dioetur. Ad praesentem cesse est inesse ; si enim nulli,nec a nulli ineriti.veroutilitatem, sufficienter nobis determinata sint, Si autem o alicui eorum quae sunt b non inest,nonri necesse est et b alicui o non inesse,ut si b quidemsitanimal,a vero homo,homo enim non omni animali,animal vero omni horaini inest.CAPUT III.De conversione proposilionum de modoEodem autemmodose habebit innecessariispro-cessitate accidit, eo quod haec sunt. Dico autem eoquod haec sunt, propter haec accidere. Propter heec positionibus, nam universalis quidem privativa universaliterconvertitur.Affirmativaruraautemutraquevero accidere.est nullius extrinsecus termini indigcre,utHat necessarium.Perfectum vero voco syllogismum,qui nullius alius indiget, prfeter ea quaesumpta sunt,ut appareat necessarium.Imperfectumparticulariter. Nam si necesse est a nuUi b inesse,necesse est et b nulli a inesse ; si enim alicui contingit,etnalicuift continget. Siautemexnecessitatevero, quiindiget aut uniua aut plurinm, quae sunt o omni vel alicui b inest, et b alicui a necesse est