t. II (PL 64)

695 AN. MANL. SEV. BOETII656quoniam in media et in tertia qui non per ipsaa ACAPUT IX.fiunt syllogismus,aut non sunt secundum eam quaa De syUogismo conversivo in secunda figura.ciroulo est ostensionem, aut imperfecti sunt.GAPUT VIII.De syllogismo conversivo.In secunda autem figura,eam quidem quaiestadmajorem e.xtremitatem propositionem.non est intenmerecontrarie,quolibftt modo conversione facta,Convertere autem est transponentem oonolusionemfacere syllogismum, quoniam vel extremum autem non fuit in hac syIlogismus,slteram autem insemper erit conolusio in tertia figura, universalismedio non inerit,vGl hocpostremo;necesseestenim hac interimemus,similiter conversione.Dico autemconcusione conversa,et altera remanente propositione,interimi reliquam ;contrariequidemconvertitur.contrarie;nam si erit, et conclusio si opposite,opposite. Insit enim a omni b, c autemerit : diiferl autem opposite aut contrarie oonverterenulIi,conoIusio * c.Si ergasumatur b omni c inesseconclusionem, non enim fit idem syllogismus et a h maneat,a omni c inerit,fltenim primaflgura.utrolibet conversa;paIam autem hoceritpersequentia.Dicoautemopponiquidemomniinessenonomni,flgura postrema.Si autem opposite convertatur b c,aSi autem b omni c, a autem nulli c, a non omni b,et alicui nulli,oontrarie autem omni nulli,et alicu b quidem similifer ostendetur,a c autem opposite :non alicui inesse.Sit enim ostensum a de c per me g nam si b alicui c,a autem nulli c,a alioui b non idium b ; si igitur sumatur a nuili c inesse,omni autemfr,nulli c inerit b,et si a quidem nulli c, b autemomni c,a non omni 6,et non omnino nulli,nonenim ostendebatur universalepertertiam figuram.Omnino autem eam qua3 est ad majorem extremitatempropositionem non est detruere universaliterperconversionem,semper enim interimitur per tertiamfiguram,necesse enim ad postremam extremitatemutrasque sumere propositiones.Et si privalivussit syllogismus similiter: ostendatur enim anuUi c inesse per i,ergo si sumatur a omnicinesse,nulli Hutem ii,nulli c inerit b. Et si a et ii omni c,aalioui 6,sed nulli inerat.Si autem opposite convertaturconolusio, et alii syliogismi oppositi, et nonuniversales erunt,fit enim altera propositio particularis,quare conclusio erit particularis. Sit enim ^prajdicativus syllogismus, et convertatur sic, ergosi a non omni c,b autem omni fc,non omni c. Et sia quidem non omni c,b autem omni a,non omni b.Similiter autem et si privativus sit syIIogismus,namsia alicuic inest,fe autem nulli,ft alicui c non ineritet non simpliciter nulli, et si a quidem alicui c, bautem omni,quemadmodum in principio sumptumest,a alicui b inerit.In particularibus aulem syllogismisquandooppositeconvertiturconclusiOjinterimunturutrseque propositiones,quando vero contrarice,neulra;non enim jam accidit quemadmodum inuniversalibus interimere deflciente conclusionesecundumconversionem,sed necom.nino interimere.Ostendatur enim a de aliquo c per b ; ergo si sumarit;rursum si b alicui c,a autem omni b,a alicuic,quare oppositus fit syllogismus. Bimiliter auteraostendetur et si e converso se habeant propositiones.Siautemparticularisest syllogismus, contrariequidem conversa conclusioneneutrapropositionuminterimitur,quemadmodum neo in prima flgura,oppositeautem, utrfeque. Ponatur enim a b quidemnulli ine?se, c autem alicui,conolusio b c. Si igiturponatur b alicui c inesse, et a b maneat conclusioeritquoniam a alicui c non inesl,sed non interimiturquod ex principio, contingit enim alioui inesseetnon inesse.Rursum si b alicui c,et a alicui c,nonerit syllogismus, neutrura enim universale eorumqus sumpta sunt,quarenon interimitur a fe.Si autemopposite convertatur,interimuntur utroeque, non sib omni c,a autem nulli 6,nuIIi c,a erit autem alicui.Rursum si 6 omni c,aautem alicui c.alicui 6,a*.Eademautem demonstratio etsiuniversalissit praedictiva.CAPUT X.De syllogismo conversivo in iertia figura.In tertia vero figura quandocontrariequidemconvertiturconcIusio,neutrapropositioneminterimitursecundum nullura syllogismorum; quando autem op.posite,utra3que in omnibus.Si enim ostensum a alicui6inesse,medium autem sumptumc,et sintuniversalespropositiones, si ergo sumatur a alicui bnon inesse,/) autem omni c,non fltsyllogismus ejusquod est a de c.Neque s\ a b alicui non inest,c autemomni,non erit ejus quod est fccsyllogismus.Similiterautem ostendetur et si non universales sint protura nuUi c inesse,i autera alicui c,o alicui 6 non D positiones,aut enim utrasque necesse est particulainerit,etsi a nulli c,b autera orani, nulli c inerit bquareinterimenturutrseque.Siautemcontrariecon-Tertantur,neutra ; nam si a alicui c non inest,6 autemomni,ft alioui c non inerit, sed nondum interimiturquod ex principio, contingit enim alicui inesse,etalicui non inesse : universaliautem sublatoa b,omnino non fit syllogisraus. Si enim a quidemalicui c non inest,/; autem alicui inest, neutra propositionumuniversalis est. Similiter autera et siprivativus sit syIlogisraus,si enira sumaturaomnic inesse,interimuntur utrseque; si autem alicui,neutra;demonstratio autem eadem.res esse per conversionem,aut universalem ad minoremextreraitatem fleri, sic aiitem non flet syllogismus.necin prima flgura,nec in media.Si autemopposite convertantur propositiones, interimunturutraeque, nam si a nulli b, b autem omni c, a nuUic.Rursura si a b quidem nulli,c autem omni,S nuUic.Et si altera non sit universalis, similiter; si enim anuUi b,b autem alicui c,a alicui c non inerit.Siautema quidem nuUi, c autem omni, nulli c, b.Similiter et si privativus sit syllogisraus ; ostendalureniraaalicuifi noninesse ;si autem praedicativa qui-' Hic locus aliquo gravi mendo laborat.