t. II (PL 64)

693 PRIORUM ANALYTICORUM ARISTOTELIS INTERPRETATIO.ostendere.propterhoc quod prius dietumest, parti-sione utimur ad de.nonstrationem. In privalivis ^ si ergo sumatur b omni a, c autem non omni,conautemsyllogisrais hoc modo monstratur ex se in clusio a alicui c non inerit medium b. Siautem estvioem : sit b quidem omni o inesse,a autem nuDi bt universalis privativa, non ostenditur a propositio,conolusio autem quoniam a nulli c.Si ergo rursum conversa a b, aocidit enim utrasque aut alteramopoiteat conoludere quoniam a nulli 6, quod prius propositionem fieri negativam : quare non eritsyllogismussumptum erat,erit a quidem nulli c, c autem omni;sed similiter ostendetur quemadmodumb, sic enina e oonverso propositio. Si autem quoniamet universalibus, si sumatur, oui ftalicui non inestb ineslc,oporteat conoludere,non jamsimiliter a alicui inesse.convertendum a b, nam eadem propositio est b nullia,et a nulli b inesse,sed sumendum,cui a nuUi in-CAPUT VII.De cyclica ratiocinatione in tertia figura.est, huic b omni inesse. Sit enim a nulli c inesse,quod quidem fuit conolusio,cui autem a nulli b,sisumatur orani inesse,neoesse est ergo b omni c inesse:quare cum sinl tria,unumquodque conclusioest facta, et circulo demonstrare, hoc est conclusionemsumentem et e converao alleram propositionem,reliquamsyllogizare. In particularibus autemsyllogismis universalem quidem propositionem nonest demonstrare per alias,particularem autemest;quoniam autem non est demonstrare universalem,manifestum, nam universale monstratur per universalia,oonclusioautem non est universalis,oportetautem ostendere ex conolusioneet alterapropositione.Amplius, omnino non flt syllogismus conversapropositione,nam particulares fiunt utrKquepropositiones.ParliouIareautemest ostendaturenima de aliquo c per b, si ergo sumatur b omni a, etconolusio maneat, b alicui c inerit, flt enim primaflgura,et est a medium.Si aulem fit privativus syllogismus,universalemquidem propositionem non estIn tertia autem figura, quando utr£eque propositionesuniversaliter sumentur, noncontingit ostendereperseinvicempropositionem. Nam universalisquidem ostenditur per universalia, in hac autemconckisiosemperest partioularis: quaremanifestumquoniam omnino non contingit ostendere per hancgflguram universalem propositionem. Si autem haecquidem universalissit, illa vero partioularis, quandoquequidem erit, quandoque vero non ineritquando ergo utreeque praedicativse sumantur, etuniversalis sit ad minorem extremitatem, eritquando vero ad alteram, non erit. Insit enim aorani c, b autem alicui c, oonclusio a b. Si ergosumatur c omni a inesse conversa universali, et ainesse fc, quod erat conolusio,c quidem ostensumest alicui b inesse, b autem alioui c, non estostensum, quamvis necesse est si c alioui b, et balioui c inesse ; sed non idem est hoc illi, et illudhuic inesse, sed assumendum est, si hoi; alicui illi,etalterumalicuihuio,hocautem sumptojam nonsitex oonclusione etaltera propositione syllogismus.alicui non inest, alterum alicuiinesse,ut si a nullic, b autem alicui, conclusio quoniam a alicui b nonosienditur : insit enim a omni 6,cautem nulli,oon-inest. Si ergo sumatur cui aalicui non inest,eidemclusiaquoniam fc nulli c,si ergosumaturftomnioin- D c alicui inesse, necesse est c alicui b inesse, alitefesse,et nuUi c,necesse est a nuUi c inesse,Qt enim autem non est convertentem universalem propositionemostendere alteram, nuUo enim modo eritseounda flgura, medium b. Si autem a b privativasumpta sit, altera vero prsedicativa, prima erit syllogismus. Manifestum igitur quoniam in primaflgura,nam c quidem omni a,h autem nulli c,quareb nulli a,ergo nec a i,medium c; ergo perconolusionemquidem etunam propositionem non (itsyllogismus,assumptaautem altera erit. Si autem nonV-r T Si autem b quidem omni c, a autem alicui c, eritdum etin universalibus) non est,per assumptionemautem est,ut oui a alioui nun insit, b alioui inesse ;ostendere a c, quando sumaturc quidem omni 6inesse,a autem alioui ; nam sio omni iinest.a autemnam aliter se habentibus non fltsyllogismus,eo quod alioui 6, necesse est a alicui c inesse, medium b.negativa est particularis propositio.Et cum fuerit haec prasdicativa quidem, illa veroCAPUT VI.De eadem cyclica ostensione insecunda figura.In secundaautem figuraafflrmativam quidemnonest ostendere per hunc modum, privativam autemest ; ergo praedioativa quidem non ostenditur, eoquod non sunt utraeque propositiones afflrmativ»,nam conclusioprivativa,pra3dicativaautemexutrisqueostendebatur afflrmativis. Privativa autem sicprivativa,universalisautempr£edicativa, ostendeturaltera. Insit enimfromnic, aautem alioui noninsit,conolusio quoniam a alicui fc non inest. Si ergoassumatur c b omni inesse, inerat autena et a Hdflomni b, necesse est a alicui c non inesse naedium b.Cum autem privativauniversalis sit, non ostenditUraltera nisi siout in prioribus, si sumatur cui hocuniversalis sit syllogismus,quffi in toto quidem estproposiLio non ostenditur,propter eamdem causamquam quidem diximus et prius,qua; autem in parle,ostenditur quando universalis sit praedicativa.Insiteinm a omni b, c autem non omni, conclusio b c;quidera figura per se invicem est ostensio, et perprimam,etpertertiamflguramflt: nam cum prasdicativaquidem estconcIusio,perprimam,cum autemprivaliva, per postremam ,sumitur enim cui hocnulli, allerum omni,inesse. In media autem, cumuniversalis est quidem syllogismus et per ipsam,etperprimam flguram, etper postremam; cum autemparticularis, et per ipsam, et per postremam.In tertia vero per ipsam,?omnes. Manifestumetiam