t. II (PL 64)

873 DE SYLLOaiSMO HYPOTHETICO. 874duodecima, si cum non sit a, est b, cum non sit c, A c, non est d, cum igitur con sit, a, est c ; vel ita,iion est rf,atqui cum non sita,est b, cumigitur non atqui cum non sit c.est rf,cum igiturnon sit a, nonsit c, non est d;vel ita, atqui cum non sit c, est d,cum igiturnon sit a, non est b. Ex tertia decima,qus quatuor coliigit syllogismos hoc modo ; si cumnon est a, non est 6,fcum sit c, est d. Atqui cumnon sit a, non est b, cum sit c, estrf; vel ita, atquicum non sit a,est 6, cum igitur c, non est d ;velita,atqui cum sit c, est (i,cum igiturnon sit a, nonest J; vel ila,atquicum sit c, non est d, cum igiturnon sita,est ft.Item ex quarta dfioima, si cum nonest a, non esib, cum sit c, non est d. Atqui cumnon est a,non est b,cnm igitur sit c, non estrf; velita,atquicum sit c,est d,cum igitur nonsit a, est b.esl b. Ex sexta decima proposilione;si cum non sita,non est b, cum non c, non est d. Atqui cum nonsit a, non cst b, cum igitur Lon sit c, non est d; velita atqui cum non sit c, est d. Cura igitur non sit a,est b.Ex quibus omnibus quadragintaconclusionesfiunt.Sedecim quidem assumpta prima conditione,itautin prima propositione est posita.Sedecim veroassumpta secunda conditionecontrario modo atquein propositione est collocata. Ooto vero ex quinta,septima,lertia decima el quinta decima propositionibusfiunt assumptisprimisquidem condilionibuscontrario modo,alqueinpropositioneproferebanturQuinta decima rursusquatuor colligit syllogismos. secundis verocondiiionibuseodemmodoassumptia,hoo modo : si cura non est a,non est 6, cum non sit „ ut in propositione fuerant collocatffi.Ut igitur omc,est d.Atqui cum non sita,non est fc, cum igitur nium propositionuraconclusionumque ratio claresnonsit e, est d; vel ita, atqui cum non sit a, est b, cat,oranes hujusmodi enuntiationes cum propriiscum igitur non sit c,estd;velita, atqui cum non sit proposuimus exemplis.Si cum sit a homo, est b medicus, cum sit c animatum, est d artifex.Si cum sit a homo, est b niger, cum sit c animatus, non est d albus.Si cum sit a animatum, est b medicus, cum non sit c inanimatum, est d artifex.Si cum sit ahomo, est 5 niger, cum non sit c inanimatus, non est d albus.Si cum sit a homo, non est b aeger, cum sit c animatus, est d sanus.Si cum sit a homo, non est b artifex, cum sit c animatus,non est rf medicus.Si cum sit aanimal, non est b sanus,cum non sitc inanimatum, est d aegrum.Si cum sit a animatum, non est b artifex, cum non sit c inauimatum, non est d medicus.Si cum non sit a iijanimatum, est 6 medious, cum sit c animatura, est d artifex.Si cum non sit a inanimatum, est b niger, cum sit c inanimatum, non est d album.Si cum non sit a inanimatum, est b medicus, cum non sit c invitale, est d artifex.Si cum non sit a inanimatum, est b album, cum sit c invitale, non est rf nigrura.Si cum non sit a irrationale, non est b asgrum, cum silc rationale, est d aanum.Si cum non sit a inanimatum, non est b artifex, cum sit c aniraatum, non est d medicus.Si cum non sit a irrationale, non est b sanum, cum non sit c inaniraaturo, est d segrum.Si cum non sit a inanimatum, non est b artifex, cum non sit c invitale, non est d modicus.Ac dehis quidem qui per connexionera fiunthaeo C in contrariis medietatecarentibus, similisqueest eidicta sint. Hi vero qui in disjunctione sunt positi propositioni qucB dicit : si non est a, est b. Quaeillis videntur adjuncti,eorumque modos formasque enim proponit aut est a, aut est b, id inlelligit,Buscipiunt,quos superius in connexione positos ex nequesimulutraequeesso posse,et si unum non fuerlt,consequiut sit alterum. Itaque si non sit a, his propositionibusfieri dixiraus quas duabus sim-eritplicibus jungerentur.Siigiturindisiunctionepropositarurapropositionum adcausarum similitudinemmonstravero quae in connexione positce ex simplicibuscopulataesunt, quot modi.qualescunque conclusionessunt in unaquaque illarum, quK per connexionemfiuntpropositionum,totetiam in his esseneoesse est qus per disjunctionera pronuntiatseamdemviraconnexionis habere monstratur. Quatuorigitur superius differentias per connexionemenuntiatarum propositionum esse diximus, si exbjSeA heec una est earum propositionum quas in hisquae per connexionem flunt superius numeravimus.Quicunqueigitursyllogismi ineapropositionefiunt,quffl est.si nonest a, esl b, hi etiara in ea faciendisunt quae per disjunctionem proponetur, ut cumdicimus,autest a, aut est b. Fiunt igitur in superiorequatuor modis.Quamlibetenimpartem propositionisassumpseris, sive pr»cedentem, sive etiamconsequentera,sivenegativomodo,sive affirmativo,faoiet syllogismum.Nam si haec propositio sit,si nonsiraplicibuspropositionibus copularentur,hocmodo q est a, est b, sive non sit a, erit b; sive sit a,noneritsi est a, est b; si non est a, non est b; si esta non est b; si non est a,est b. Per disjunctioneraquoque propositiones quatuor tenent differentiashoc modo : aut est a, aut est b : aut non est a,aut non est 6;aut est a, aut non est b; aut non esta,aut est b. Quarum quidem ea quae prima est etproponit,aut est a,aut est b.ln his tantum dici potestinquibusaUerumeorumessenecesseest, velutPatrol. LXIV.6; sive non sit ft, erit a; sive sit 6, non erit a. Inpropositione quoque disjunctivaidemest. Namcumdicitur,aut esta,aut est 6,siquidem a fuerit, b nonerit;quod si a non fuerit, erit b; et si b non sit, erita;si 6 non fuerit,non erit a.Id quoque tali declaraturexemplo;nam sisit propositio,aut aeger est, autsanus,quidquid horum in assumptione assuraptumfuerit,vel negatum,altera pars velaffirmabitur, vel