t. II (PL 64)

847 AN. MANL. SEV. BOETIIpotest;non igitur si b non fuerit.erit a.Hic est ergoprimus modus talium syllogisraorum,qui es inter-dicimus, si dies non est, nox est, sive non fueritempta parte.consequentipropositionis fiunt.qui non t> dies, nox erit, sive non fuerit nox, dies erit, sivein prima propositione consequens fuerat,in assum- A. cum non sit A,non sit a.Gonsequitur igitur,ut curaptione est interemptuSjUt a terminus qui propositionisprima pars fuerat interimetur,eaque necessitasnon sit 6,sit a:quod si prior pars propositionis quaepraecedens est auferatur,nullus est syllogismus,hoctali rationeprobabitur,propositum namque est,siaconsequensmodo: cum enim dioemus, si a non est, esseassumamus: atquib, sisit, b esse; et assumptio facta est ut est a, nihil evenit necessariumpars propositionis interimeretur,id est non essefc. ut vel sit b, non sit secundum ipsius complexio-Dico quia consequitur non esse a,nam si potest esseo,cum non sit 6,!rustra erit prima propositio qureait, si asit, b esse. Atqui ea propositio valet, cumigitur sit a, est i.Quod si cum non sit b,s\t a,quodscilicet ex assumptione proponitur, idem b erit etnon erit: non erit,quia b non esse proponitassumptio;erit autem, quia si est a,eritfi,quod fieri nonnis naturam.Nam hic quoque,ut in his in quibus inassumptione secundus terminus ponebatur,dicendumest,secundum ipsius nuidccc complexionis naturam.nullumfieri syllogiHmum;secundum terminosvero in quihus solis dioi potest. necesse est si afuerit, b non esse, in contrariis enim tantum el inhis immediatis,id est medium non habentibus,hsecsola propositio vere poterit prEedioari, velut cumsunt perfecti neque ex se cogniti, sed indigent velejus quam superius proposui.velalteriuscujuslibetprobationis,ut veri essemonstrentur.Quod si prima[pars]propositionisinterimatur,noneritsyllogismus;age enira ita dicamus, si est a, est b; atqni nonest a,non sequitur ut sit vel non sit b; ut etiam demonstraturexemplo. Sit enira propositio, si homoest.animal esl; sed horao non est, non necesse eritvel esse animal,vel non esse. Secundus modus percontradictionemassumptionis,quiasecundapropositionedesoendit,ille est cum ita proponimus,si esta,nonest i;atqui5est,igitur renonest.Hic cnimrursussecundaparspropositionisinterempta,namcumsecunda pars prcpositionis b uon essediceret, si adiesfuerit, nox non erit, sive nox fuerit, die.snonerit. Quartus modus est horum syllogismorum exquarla propositione descendens, cujus haec primapropositio est, si non est a, non est b, est autem b,erit igitur a;hic quoque secundaparspropositionisassumpta est, et quoniam eadem negatione fueratposita,affirmatione est interempta;affirmatio enimvim negationis interimit. Hic quoque eodem modosyllogismi necessitas co!itinetur,nam si posito,oumnon sit a, non esse b, sumatur esse b, dico quiaconsequens est etiam a esse.Nam si potest,cum sitb,uon essea,frustra est prima propositio, qu8e,cuma non sit,ft non esse pronunliat;fiet igitur rursus utidem 6 sit ac non sit.Ex assumptione namque eritfuisset assumptio,6 esse pronuntiat. Affirmatio au- b, ita enim dicitur, atqui b est. Si voro hoo posito1 _ •! J.: *;„„«.« n„r>teroperimitnegationera,quamperassu]Dptionei]consequitur,,^ni.oU r.nr, »«..» n n.,„r...o h n r, r. n»! t „.,; o r, «;.,,.. r.,.n _possitnon esse a,rursus bnoa erit,quiaprimH pro-^Jut a non sit hoo triodo.Sit enim proposipositioait, si non sit o,non est b, quod estimpos-tio, si a est, b non est, et sit b. Dico quia non erita, nam si erit a, oum sit fc,idem b erit et non erit;non erit quidem ex prima propositionequ3edioit,siest a, non est i;eritautem perassumptionem,quadicimus esse b. At si preecedens pars propositionisauferatur,non fiet ulla necessitas, Age enim in hujusmodipropositione, si a esl, 6 non est, ita dicamus:atqui non est a,non consequitur utsit vel nonsit i.Id vero tali arguitur exemplo.Dicamus enimsinigrum est,album non est,assumamusque non essenigrum, non statim consequitur ut vel album sit,sibile; quod si ea portio propositionis quaj praecedensest auferatur, nihil evenit neoessarium. Ageeaim ita dicamus, si non est a,non est b, assumamusque,atqui est a.non oonsequitur ut 6 vel essevel non esse necessario concludatur,ut in hoc syllogismo:si non est animal, noQ est homo, atqui estanimai, non necesse est vel esse hominem vel nonesse.Hi igitur quatuor syllogismi imperfecti dicuntur,idcirooquoniam per se non habent apertam atqueperspicuam oonsequentiae neoessitatera, eaqueex probationeconficitur.Ut igiturbreviter concludendumillisvel non sit,pctest enim esse aliquod mediorum.Tertiussit,in hypolheticissimplicibussyllogis-modus ille est ex tertia propositione deductus. mis connexas habentibus propositiones, quoquocum ita proponimus, si a non est, b est, b autem, D modo faclis,si quidem prima pars proposilionis asnonest, a igitur est. Hic quoque consequens pars sumitur,si eaponatur, fient quatuor syllogismi perpropositionis assumpta est, et oum in propositione se noti alque perfecti; si vero id quod consequituraffirmaretur,in assumptione negata est, etestrata assumatur, nulli est syllogismo necessitas, nisi inconsequentia.et perficiens sjllogismum hoo modo: tortio tantummodo,qui non propter complexionisnam si verum est, cum non sit a, esse b, dico quia naturam, sed propter terminorum contrarietatem,si b non sit, est a: nam si poterit, cum 6 non sit,non esse a, frustra est prima propositio,qu8e dicit,cum non sit a esse b, eritque b ac non erit : nonerit quidem ex ea assumptione quae proponit nonesse b; erit autem, quia, si a terminus esse negabitur,positonon esseb termino,cum nonsita^eritb, quod est impossibile. Non igitur potest fieri utin quibus solis dici potest,videtur conolusionisneoessitatemtenere.ltaque siquid in assumptione exhis quaa in propositione sunt pronuntiata ponantur,quatuor vel quinque fieri neoesse est syllogismosperfectos: quatuor, ubi prima pars propositionis,quinque vero, ubi secunda pars propositionis ponendoassumitur,si non ad complexionis naturam,