t. II (PL 64)

875 AN. MANL. 8KV. BOETIInegabiturhoomodo:Nam si sanus e3t,nonest seger: A. nihil estneoegsarium.Id veroin his terminis approbabimur,si non est sanus.est 85ger;si Eeger est,non est sanus;si non sger est, est sanus. Item ea propositio disjunctivasi quis ita proponat, aut animal est, autnon homo, si igilur animal non sit, non ent homo ;quae proponit, aut a non est, aut b non si homo sit, animal est ; sive auteoi animal sit, nonest, fit quidem de hiis quae quolibet modo simul neoesse estesse hominem, sive homo non sit, nonesse non possunl, etiamsi non alterum eorum neoesse est animal interire.Ea vero propositio quaeesse neossse sit,similisque est si propositioni connex«per quam ita proponitur, si est a, non est 6.Quae enim sic enuntiat,aut non est a,aut non est 6,id nimirum sentit, quod si a sit, h esse non possit,idita probabitur.Gum enim proponitur hoo modo,aut non est a, aut non est /),cum si assumaturessea,non erit b. Quocirca ei propositioni connexse similisest qus ita enuntial, si sit a, non esse b. Inhac vero propositione, duae tantum complexionesByliogismos procreabant.Nam si esset o, non erat bet si esset b, non erat a. Si cum non esset a, nonnecesse erat esse vel non esse b. Sive autem nonesset 6, non necesse erat esse vel non esse a. Quocircaet in disjunotiva propositiones totidem syllogismosesse necesse est, totidem vero in collectibilescomplexiones; nam cum ita proponitur.aut nonesta,aut noa est b, ita dicilur, si sit a, non erit i:et si sit a,non erit b. Sive autem non sit a, non necesseerit esse vel non esse b. Sive non sit b, nonneoesseerit csse vel non esse a,velut in hisapparetexeraplis. Si enim quis dicat, aul non est alburo,aut non est nigrum, sed assumat,atqui est album,non eril nigrum;vel rursus, atqui est nigrum,nonerit album. Sive album non esse assumpserit, nonneoesse erit esse vel non esse nigrum; sive nigrumnonesse assumpserit, ut sivelnon sit album.nullamfaoietnecessitatem.Itemea propositio per quamita proponitur, aut est a.aut non est i.dicitur quidemde sibimet adhasrentibus proponituri|iie in hispropositionibus qua? de majoribus ad minora tendunt,similisque est ei propositioni oonnexa qu8Benuntiat,si non est a, non est i.Nam si quis dicit,aut est a, aut non b, si assumat, atqui non est a,modis omnibus aon erit b. Si igitur non sit a, nonerit b. Id enim haac disjunctio praemittebal, in haovero siquidem a negaretur,vel affirmaretur 6,fiebataliquis syllogismus.Sive autem a affirmaretur,sive6negaretur,nulla eratin conolusione neces3itas:idemprovenit in disjunctiva. Nam cum proponitur,autesta, aut noniest 6, siquidem non sit a,non erit b.Si vero sit b, erit o: quod si sit a, vel non sit b,dioit,aut non est o, aut est b, in his qua adhaerentproponi potest,et a minoribus admajora oontendi,et est similis ei propositioni connexce qu»dicit : si est o, est b. Namoum itaquis enuntiet,siqnidemassumaturessen,statim oonsequitur ut sitfr.8ed in hacpropositione siquidem affirmaretur esse a,scquebatur ut esset i. Quod si negaretur 6, sequebaturut non esset a.Sive autem negaretur o, siveaffirmareturft.nihil neoessariumvidebituraccidere.T. Et in ea igitur propositione di3juncta,qus dicit, autnon e3t o,aut est 6,siquidem fuerit a, erit b\ ai non'-Ifuerit b, non erita.Sive autem non sit a, sive sit b,nulla est neoessitas syllogismi,ut inhoo declaraturexemplo,aut non est homo,aut animalest.Si igiturassumamus,atquiest homo.erit animal.Si negemuse8seanimal,non erit homo ; si autem hominera negemus,velanimal affirmemus.nihil necessarium cadet.Quooiroa exhisquce superius dicta sunt deolaraturquot disjunotarum propositionum syllogismisint, vel quibus abhis quae oonnexae sunt differentiissegregentur.Quaeenimoonnexae sunt quamdamin eo quod est esse vel non esse consequenliammonstrant; quae vero per disjunotionem proponunturita suntjUt sibimet consentire non possint.Inveniasquoque perconnexionem propositiones,quaeid intelligi volunt,ut a se nequeant separari,ut cumita proponimu3,si esl o, est 6.1d nimirum haeo propositiointelligit,quod3iessepotuerit o,statim oonsequilurut sit etiam b. Nulla vero earum quse indisjunctione sunt ita proponitur, ut simul esse videantur.Cum enim dioimus,aut est o,aut b esl,auteaedem propositiones quolibet alio modo variamus,id aut conjuncto quae disjunctiva ponitur, sentit simuleas esse non posse. Et cum lateearum pateatdifrerentia,idoiroo nunodeeisdera pauoa subjunximus,quoniam totidem syllogismos fieri dicebamusin hia propositionibus quae per disjunolionem flerentquot etiam fuerunt in oonnexis. Et quoniamde omnibus qui quoquo modo possint fieri hypothctioissyllogismis suffioienter diotum est. Hiolongitudinem terminemus.operisLIBER DE DIVISIONE.Quam magnos studiosis afferat fructus scientia D probatus,et in libri Platonis,qui Sophistes inseribidividendi,quaiiqueapudperipateticamdisciplinam, tur,oommentariis a Porphyrio repetitus, et ab eosemperhffic fuerit in honore notitia,docet et Andro- dem per hanc,iatroduotionislaQdata in Categoriasnici, diligentissimi senis, de divisione liber editus, utilitas.Dicit enim fore necessarium generis^specieiet hic idem a Plotino gravissimo philoaopho com- differentiae proprii, aocidentiBque peritiam, cum