t. II (PL 64)

839tur;et cum quarurnlibet earura propositionum quaeex simplioi et hypothetica constant syllogismorumnatura perspecta sit,etiam conversi ordinis propositionumnaturaqualesfaciatsyirllogisrrosostenditur.Est etiamaliaspecies propositionum in connexionepositarum,qu8e media quodammodo sitearum propositionumquaeex hypotheticissimplicibusqupjungunlur,etearum quaj ex duabus hypolbelicis copulantur.Namsi ad numerum respioias terminorum,quasi ex tribus terminis constant;et si ad conditionalesanimumreferas.quasiexduabusconditionali-bus videntur esse compositae:quae medietas evenit idcircoquoniam unus in histerminis communis utrisqueconditionalibus invenitur.Proponunlur vero haevel per primam flguram.vel per secundam,vel pertertiam. Per primam hoc modo : si est n, est b, etsi est 6,est c,igitur 6 in utrisque numeratur,et suntquidem tres termini hi, a est, 6 est, c est, dusvero conditionales hoc modo : si est a, est b, si estfc,est c.namque b utrisque communis est: atque ideointer propositiones qus ex tribus terminis, et easquaeexquatuorcomponunturmediaesunthujusmodipropositiones.Per secundam vero figuram proponiturhoc modo : si est a, est b, si non est a, est c.Per tertiam vero figuram sic : est b, est a, si estc,non est a.Ac de coonexis quidem ista sufficiant.Disjunctivae propositiones semper ex contrariisconstant, ut hoc:aut est a, aut 6 est, altero enimposito alterum tollitur,et interempto altero ponitur sunt affirmativse, aliaenegativee. Afflrmativa inessealterum. Nam si est a, non est fc.Si non esl a, est signifloans est quae dicit,Socrales est.Negativaquaeb Eodem modo etiam si sit 6,non erit a, si non proponit, Socrates non est. Necessarium vero proest6,erit a.His igitur expeditis,ad connexas revertamur,^ positionum affirmativarum duae videnturesse nega-in illis enim vel propositio propositionem, tiones, una contraria, altera vero opposita. Ejusvelconditioconditionem,velpropositioconditionem, namque,quae dicit necesse esse a,quolibet modo exvel conditio propositionem sequitur. Dicendum estigiturquaepropositiones quarumpropositionum consequentesesse videantur, quae contrarietatis modoquam longissime a se differant,quffi vero oppositioniscontradictionedissentiant.Simplicium namque,AN, MANL. SEV, BOETII. 840A. cesse est Sooratem sedere, dum sedct. Haec enimeamdem vim obtinet ei qui dicit, Socrates sedet.Aiia veronecessitatissignificatio est,cum hoc modoproponimus, hominem necesse est cor habere dumest atque vivit:hoc enim signilicarevidetur baec dictio,quoniam tandiu necesse sit habere quandiuhabetjSed quoniam eum necesse est tandiu haberequandiu fuerit ille qui habel.Alia vero necessitatissignificatio est universalis et propria,quo absolutepraedicat necessitatem, ut cum dicimus, necesseest Deum esse immortalem,nulla conditionedeterminationisopposita. Possibile autem idem tribusdicitur modis : aut enim quod est possibile esse dicitur,utpossibile estSocratem sedere, dum sedet;autquod omni tempore contingere potest, dum eaT> res permanetcui aliquidcontingereposse proponitur,utpossibile est Socratem legere,quandiu enimSocrales est,potest legere; item possibiie est quodabsolute omni tempere contingere potest, ut avemvolare.Ex bis igitur apparet alias propositiones esseinesse signiflcantes, alias necessarias, alias contingentesatque possibiles, quarum necessariarumcontingentiumque cum sittrinapartitio,singul8e exiisdem partitionibus ad eas quae inesse signiflcantreferuntur. Restant igitur duaa necessariae et duaecontingentes,quae cum eaquae inesse signiflcat enumerat«,quinqueomnes propositionum faciuntdifferenlias.Omniumvero harum propositionum alieeutrisque qui dicit, sunt, aut ea est negotio quae dicit,necesse est non esse a, aut ea quae dicit, nonnecesse est esse a. Quarum quidem ea quoe dicit,necesse est non et se a, contraria est ei quae dicit,necesse est esse a.Utraequeenim falsaepoterunt in-id est praedicativarum propositionum, ali» praeter veniri, veluti cum dicimus, necesse est Socratemmodum proponuntur, aliae cum niodo ;prsetcr modumlegere, necesse est Socratem non legere, utraquesunt quajcunque purum esse significant hoc mentitur.Namet cum legit,non ex necessitate legit,modo, dies est, Socrates philosophus est, et quse et cum non legit, nulla ne legat necessitate constringitur,similiter proponuntur.Quaeverocum modosunt,itased est utrumque possibile. At vero eaproponuntur : Socrates vere philosophus est. Hic quae dicit, non necesse esse a,opposita est ei quasenim vere modus est propositionis : sed maximas proponit.necesse est esse a;una enim semper verasyllogismorum faciunt dilTerentias ha3c propositionesest,semper falsa altera reperitur.In contingentibusj)cum modo enuntiat*, quibus necessitatis aut vero atque possibilibus eadem ratio est.huic enimpcissibilitatisnomenadjungiturnecessitatishocmodo.cumdicimus ignem necess e est calere; possibilitatis.utcumita pri>ponimus,possibile est aGraecisquaa dicii,contingit esse a, tum ea videtur objectaqus d(cit,contingit non esse o,tum ea quae proponit,noncontingit esse a. Atque ea quidem quae dicit,contingit non esse a, contingens negatio, nun-superari Trojanos. (Juo fit ut omnis propositio autinesse signiflcet,aut inesse necessario.aut cum non cupatur, veraque esse potest cum ea alfirmationesit aliquid, tamen enuntiet posse contingere; quarumquae dicit, contingit esse a, veluti cum dicimus,quidem ea qus inesse significat simplex est,neque In nullas partes alias deduci potest. Ea verocontingit sedere Socratem,eontingit non sedereSocratem.Ethaecquidem non dicunturessecontrariae,quae ex necessitate aliquid inesse designat, tribus quoniam simul verae esse possunt.At vero oppositaedicitur modis:uno quidem quo ei similis est propositionisunt quoties ipsum contingens negatur,ut si adver-quae iaesse signiflcat, ut cum dicimus, ne- sus eam quae dicit, contingit esse a, eaopponatur