Philosophiae tomus primus qui complectitur scientiarum methodum sex libris explicatam logicam analyticam, duodecim libris demonstratam, & aliquot Controuersias logicas, breuiter disputatas. Auctore Petro Mosnerio doctore medico. Cuncta excerpta ex pr

발행: 1646년

분량: 536페이지

출처: archive.org

분류: 철학

391쪽

neeessari. alteri. Similis est dissicultas alteri iam propositae in Th. 1i .sed eodem modo soluenda.

Corrigarium.

Hinc sunt quinquaginta modi legitimi ex tribus de necesse. Adde totidem, quia etiam conclatio potest esse A. neorema r. In prima figura,in omnibus modis directis de indirectis,ex C B,non sequitur conclu sio de necesse. V .g. Necesse est omne currens mouerisia Petrus cureis. ergo necesse est Petrum moueri, quod falsum est , quia eam necesse est moueti quam currere, sed non necesse est currere , ergo neque moueri.

Scholium.

Equidem multi coni farium censetat, & dicunt in conclusione Petrum poni pro Petro currente,de quo deinde dicitur quod necelsario currat,scilicet in sensu composito , ita ut non possit currere , nisi moueatur. Sed quis hoe negare audeat eodem modo Petrum moueri quo currit, eum sequatur tantum moueri ex eo quod currat, atqui contingenter currit, ergo contingenter mouetur. Si enim dicas necessario moueri, ex suppositione quod currat, id est quod moueatur : similiter dicam necessiario currere est suppositione quod currat, ac proinde omnis propositio contingens necessaria diei potest, quod ridiculum est . . Itaque si minor sit de inesse,sed in materia necessaria,conclusio poterit esse de ireecsse : quia minor, licet de inesse , cum sit necessaria de necesse esse potest, si veri, minor sit de inesse in materia contingenti,conclusio erit de inesse, vel de contingente. Clim minorem dico , illam praemissam appello , in qua medium praedicatur, igitur uniuersu ex C d , non sequitur conclusio de necesse.

In secunda figura in omnibus modis ex C B . Don sequitur conclusio de necelse.V.g. Necesse est nullum sedens moueri,sed om, homo mouetur, ergo ne cesse es nullum hominem Iedere: quod falsum est. Igitur uniuerse ex C B , non sequitur concluso de necelse. Vnde si assirmativa sit in materia necessaria, conclusio est de C: si in contingenti de N : sin verd uniuerse accipiatur de L, de Baraco, idem prorsus dicendum est, ut considerami patebit. Theorema 26. In tertia figura in omnibus modis ex C B,non sequitur conclusio de C,sed de L,uniuerse loquendo. V. g. Necesse est omnem hominem esse animal, sed omnis homo est albus, ergo necesse est aliquod animal esse album, falsum est. Igitur ex C E,non sequitur conclusio de C.Recolatur eadem regula quae in alijs Theorematis definita est.

Corollarium.

Igitur sunt 1 o. modi legitimi ex prima de C, & duabus vltimis de L. Theorema 27. In omni figura ex L D, non sequitur conclusio de C,sed de L.v.g. in prim a ligura Diqiti by Corale

392쪽

figura , Omms Γoma curris, nees, Pemim use hominem , ergo neeesse es Petri cinere, quochtasula H. Is sociarii. a v. ili lium careenses homo, necesse est Petram ἐδουλmlium isse n/cs spetram Arrere , quod falsum est. In rectia figura, v.g. Omnis homo cur itinecesse es omnem iaminem esse animal, ergo necesses aliquod animes euinoe, quod falsum et . Itaque in prima figura si maior est valitum de linesse , sitque in materi Gntingenti ; certe cum ipsa conclutio sit particularis maioris, per Ax. 3. eodem modo inest maius extremum subie hq conclusionis , quo inest subiecto maioris: huic tantum contingenter inest , ergo & illi ; ergo de necesse esse noli potest. Si vero maior de ineste sit in materia necessiria, aequivalet mo

dali de necesse. . .

In secunda figura potest utraque esse de inesse in materia contingenti ;Conclusio tamen erit in materia necessaria , va potius impossibili. VK. μι-

ωή ώomo currit, omnis eq3 ἡs eurrit, ego nullus equar es homo, quod semper accidit chira duo extrema tulit termisit repugnantes. Cum vero alterum alteri

est contingςns conclusio est continge s . atqui polsiant extrema osse vel termini repugnantes, ut patet in praemissis exemplo ; vel contingentes , V. g. NAllum currens es homo , Petrus est homo. In tertia figura idem proi sius dicit ut de extremis , quae regula est certissi

corollar/um. Igitur sunt so. modi legitimi ex prima de inesse, secunda de necdine, tertia Minesse. . . r.eorema 28. . Ex L, F. non sequitur M in omni figura. In prima, v. g. Omnis homo curris, impossunte est equum esse hominem, ergo im libile est equum eurrere , quod sal sum est. Vel, Impossibile est nullum animal ego σοmiclem, ergo impossibile est nullum animal currere, quod falsum est,quia est in materia continuenti.

. In secunda' figura , O1 is homo est albus , impossibile est nigrum es e album, erga impossibile est nigrum esse hominem, quod talium est.' In tertia figura, omnis homo currit, im sibile est homiηem Ue equum, ero mi sibile est quum curem - hi prima figura ratio est , quia si minor est assimistiua . debet constare terminis repugnantibus, cum sit de impossibili; igitur stibiectum minoris non includitur in subiecto maioris, igitur potest illi inesse vel mon inesse maius extremum, ut patet in primo exemplo, igitur conclusio non potest esse de impossibili. Si verd subdelium minoris incinditur in subiecto minoris, c in scilicet minor est negatitia; certε clim maior possit esse in materia contingenti, non poterit conclusio 8sse de impossibili. Eadem ratio vales in secunda & tertia figura, quia exitema positant esse remini eontinge res, ut patet in exemplis propositis ; igitur eonclusio non

mi est esse de impossibili. Conclusio potest sequi de inesse ex L,F. quia siue sit in matella contingeriri , siue in necessariapropositio de inesse semper est vera. Hinc sunt alii so.

393쪽

corollarium

obseritabis autem seeundam praemissam quae est δε impossibili , variare dictum syllogisini eategorici ; nam si minor est A,mutat in Ο : si E mutat in I. Si o mutat in A, si E mutat in I. v. g. sit syllogismus in Cesare- : Nullum

animia lapis, sonis homo ammai: ergo nullus homo lapis. S, fiat minor de impossibili, dictiun erit O. Impossibile es aliquem hominem non esse animai. Obseruabis praeterea cuni minorem appello, vel secundam praemissam, itilam intelligendam esse in prima figura , in qua medium praedicatur,ta dua bus aliis figuris utramuis. i, Theorema 29. Ex M, B. non sequitur M sed L, quod eodem modo probatur.

. Corollarium.

Vnde totidem modi legitimi, s o.scilicet aliis accedunt. Theorema 3Ο. Ex L, H. sequitur primo conclusito G, in omni fiPra, & modo; quia siue conclusio syllogismi eategorici sit in materia necet 1aria, vel contingenti; si fiat modalis de possibili, quae abstrahit a dicto necessario & contingenti, per Def. semper erit vera. Sequitur sGundo concluso L, ut patet. Corollarium. Hinc centum accedunt modi legitimi. Theorema II. Ex G, B. sequitur etiam G. & L. quod eodem modo probatur.

Hinc centum eatam accedunt aliis modi legitimi. ' ' .

. Ex L, K. non sequitur concluso N. V. g. Oxme arimal es erepus, eo ingens. est aliquod album esse animai, ergo contingens est aliquod album esse corpus, quod nilium est. Nutas iamo mouetur ,sontingens est omnem Angelum miseri I ergo contingens es nullum Asngelum esse corpiia. Ratio est,quia duo extrema -ssunt e termini repugnantes, vel necessarii, quibus tamen idem medium ti com

corollarium. Hinc addi possint quinqnaginta noui modi legitimi. Ttiorema I -

, Ex N, B non se suir uniuerso conclusio, N. v. g. Comium somν προβ si esse eo ratum sed onmε album es corpus,erg. ςontingeην est, a m -- es coloratum, quod falsiim est. Ratio est , quia fieri potest,ut iterum extremum alteri si necessarium, ipsique medio contingens, ut p- - ς smplo p

sequitur tamen concluso L,,ex N, B, ut patet.

394쪽

De Anificio fullo sim modalis.

Ex C F, sequitur conclusio Cin omnibus figuris, quia modalis de impossibili aequivalet contradictoriae de necesie: contradictoriae inquam ratione dicti. V. g. Impossibila est aliquem homDem non esse animal , aeqiii pollet huic. Necesses omnam hominem esse animat: igitur si ea duabus C D, sequitur concluso C; ex duabus etiam C F, sequi ncccsse est. U.g. Neres est omne aniniat esse corp- , sed impossibile'aliquem hominem non eo arimia. vrgo necesse es omnem hominem eine corpus. Exempla in aliis modis facile occurrent,pro qua tantum obterua, ut fiat propositici de impossibili, assumendam.esse contra, dictoliam illius,quae illi respondet in modo appellareo Salim ι ιαλε .

co Parium. Hinc addantur 16.modi legitimi , & totidem , si eoncluso sit de inesse,

qualis reuera esse potest.

Theorema 3 F.

Ex C F, sequitur conclusio M. v. g. ee duabus C F, in praemisib exemplo. sequitur haec conclusio ς Impossibile est quem hominem non esse eo p-. Ratio est, quia aequivalet modali de necesse. coraliarium. Hinc sunt addendi so. modi legitimi , & totidem si concluso sit de inesse.

eorema 36. Ex MD, sequitur concluso C&M. Patet ex dictis. 'Corollarium. Hinc accedunt Io . modi legitimi , & totidem si covcluso sit de

inesse.

Theorema VI

Ex CH,non sequitur C, quia secunda potest esse de inesse ; quippe omnis de inesse, vera est de possibili; sed ex C B,non sequitur C,per Th. 1 .sequis

tur tamen de inesse. ' . .

corostarium.

Hi ne accedunt so. modi legitimi.

EX C H.sequitur G qnia cum sequatur de inesse, dc omnis de inesse sit de possibili, certe sequitur G. corollarium. Hinc addantur Io. modi legitimi. T 1 Tb rem Diuitigod by Corale

395쪽

33x Liber Nonas Theorema 39.

Ex G D, non sequitur C. Probatur, per Th. 2 s. sequitur tamen G. modeodem modo probatur quo supra. Corostarium. Hine accedunt so. modi legitimi, & so. alij, quia ex G D,sequitur etiam conclusio de inesse., Theorema AO.1 Ex CK,non sequitur C.v.g. Necesse est omnem hominem esse animia,eontis em est omne album hominem, ero necesse est omne album esse ambrat,quod falsum est. Vel in negariuis, Neces es nutam lapidem esse animal, eotuingens est omne album ese ammal, ergo neceses nullam adbam esse lapidem , quod salsum est. In Baroco , Necesse es omne alb/m se eoioratum,comingen3 es aliquod corpur non se colo--,ergo neces e es aliquod corpus non esse album, quod satisum est. Porrb licet non sequatur ex C Κ C, sequitur tamen L.

Corollarium. Hinc accidunt so. noui modi legitimi modalibus Theorema 4 I.

Ex C Κ, non sequitur N,v. g. Neaaesse est omnem hominem esse crepus sed eum tingens es aliquod album esse hominem, ergo comingens est aliquod album esse corripus,quod falsum est. Vel Necesse est nullam Angerum ese hominem, sied contingens aliquod album non esse ho=mnem , ergo contingens est aliquod albam non esse Angelum,quod falsum est.

Ex non sequitur C. Patet ex dictis,nec etiam N. v. g. in tertia si ratnam pro duabus primis exempla praemissa susscient) Contingens es omnem hominem esse album, necesse es ommem hominem esse eorpus , ergo contis em eses aliquod album esse eorpus, quod falsum est. Sequitur tamen de inin.

Coroliarium.

Hinc addi possunt so. modi legitimi. Ratio communis est istorum omnium, quia unum extremum potest esse alteri contingens, liceta unum medio necessario & aliud contingenter insit; igitur non sequitur uniuerse ex N D,vel C k, conclusio C. Seeundo potest unum medium alteri necessario illelle,licet unum medio contingemer insiti quod altera necesi arid inest. Res in praemisita exemplis constat.

Theorema que Ex M IJ,& G F,idem prorsus sequitur,quod ex C H,& G D,scilicet GAEL. quia M,aequi ualet Q ut iam saepius dictum est. Corollarium. Uine accedunt a o. modi legitimi

396쪽

Theorema 4 Ex M Κ, & Np, idem etiam sequitur quod ex C Κ,& N D,propter rationem explicatam. 'corostarium. Hinc addi possum Ioo. modi legitimi, Theorema 4y. Ex G Κ,non sequitur N,quia G, potest aequivalereC. Nam proposito de possibili potest este in materia necessaria. V. g. Possibile es homnem esse sequitur G,& L , quia omnis propositio vera In quacumque ut materia, potest esse de possibii. coroliarium. Hinc addantur I cio. modi legitimi, scilicet 1 o. in conclusione de possibili , & so. de inesse. Ttiorema 46. Ex N H, non sequitur N , quod probatur eodem modo, sequitur tamen G&L.

corallarium.

Hinc adduntur icio. modi legitimi: . .

Corosiarium.

Hinc addantur 1ω. modi legitimi neorema 48.

Ex N Κ,in tertia fgura non sequitur N. v. g. Comἰngenr est omne albinnese rimat, comIngens est aliquod album embomnem, erga cominpenses aliquod animal Hie - 1em , quod falsum est. Ratio est, quia in hac figura, duo extrema pol sunt habete necessariam eonnexionem inter se,& habere tantum continis gentem cum eodem medio. Quod et iam valet in syllogismo negati uo. V. g. Contingens nullism album esse equum, contingens es omne album esse H mmergo contingens es aliquem hominem non esse equum, quod fusum est. eorema 4'. Ex N Κ, in secunda figura non sequitur N- v. g. Contingens es nasium ho Min m esse album , contingens es omnem equum esse Abum , ergo contingeni est naulMm equum esse honis nem,quod falsum est. Ratio eadem est.. Theorema SO.. sit N u, in prima figura uniuerse non sequitur N. v. g. contIngens est Nium album ese hominem , eontingens es omnem equum esse album, ergo eontingentes nullam equum esse homin/m, quod falsum est. Pro affirmativis. V . g. aetingem est omne album este anima , contingens es omnem hominem Ore albin,

397쪽

eo gens es amηem hominem ego imal, quod fusum est. Ratio est

Sequitur tamen G&L, ex NK, ut constat. .,

Coralianum I. Bine accedunt modi legitimi noui tota t rotarium, L. Hine sunt modi legitimi hactenus emimeratio Loeso. Probatur per addi

Sobolium.

obsecitabis plures adhuc modos legitimos enunaerari posse di, scilicet smquia G, sequitur ex L B. Totidem ex L D.Totidem ex L F.Totidem ex L Κ. Totidem ex UB. Totidem ex C D. Totidem ex C F. Totidem ex Cia. Totidem ex M B. Totidem ex M D. Totidem ex M F. Totidem ex M K. Totidem ex N B. Totidem ec N D. Totidem ex N F. Igiter accedent aliis Iso. simul omnes collecti sunt 28 oo. Obseruabis praeterea quasdam regulas desiderari quibus scilicet clarissiline discet natur, quid ex qualibet coiribinatione secundum diuersa terminorum

genera consequatur.

vlide obsei uabis vlterius. Primo duo termini possunt esse inter se necti sa-rij, licet uterque sit medio continger v. g..Omis album animal, omnis rimo

arbus , ergo ometis homo Mimal Secundδ duo termini possunt esse inter se repugnantes, Vel contingen- res, licet utrique tertius teminus necessario insit. v.g. Homo, equus, animal, vel homo,albus.corpus. - Tertii potest vi lius extrenuum e Te contingenς modio,& medium necessarium minori extremo ; Sc huic contingens maius extremum. v. g. Omnissema est ribus aliquod corpus est homσ , ergo a quod eor us es album. Vel eidem necessarium maius extruin liri. V .g. Omne coryas est coloratum, omne aliam e corpus, ego omete album est coloratum. melio , de hoc contingens minori extremo , cui maius extremum sit vel necetiarium. Us. Omnis Iomo est corpuό, amete album est irama , ergo Omete album est corpus. vel contin- Seu S. V.g..ometis homa saetim ii, om re album es hama, ergo omue Ebum es

animal.

Quinto Maius extremum potest else contingens medio, & hoc minori extremo; cui etiam maius extremum vel sit contingens, ut Omete larest album, aliquod dulce est lac, eo aliquod dulce est album. Ven necessarium , ut Omne a tam est homst , aliquod avim ri es album, ergo aliquod animal est homo. Sextδ potest maius extremum elise necetiarium medio, & hoc minori extremo , & huic neceitatum maius extremam absolute , ut patet in his G pus, vin mal. Corpus potest etiam esse contingetis absolestE . licti sit necessa-cium hypothetice. V.g. Um acalisatum est eo τέ , omne arb/-est courauum reto ad'uod albam es comas. De quo sati.

Vn is absolute loquendo ex a. de necesse sequi potest conclusio de contingenti Di iij od by Corale

398쪽

eontingenti, sed indirectὶ , absolutὶ inquam non liuotheticὸ. Alia connexio esse non potest, nam materia impossibilis concluditur in

necessaria.

Ex his eolligo. Primδ in prima figura , si maius extremum sit genus minoris & medii, semper sequitur conclusio de necesse, vel in particularibus si

sit species minoris. Secundo Modus indirectus eodem modo concludit, quo direchis, si comnexio sit mutua inter extrema.Sim v.g.homo,inti mal.Diuerso verδ,si connexio non est mutua. Sint v. g. albkm covus, ex his reliqua facile intelligentur.

Theorema I.

Reducitur syllogismus modalis indirectus, primae figurae dc omnis secundae & tertiae figurae ad directos seu pei sectos primae , per reductionem dicti. V.g. Necesse est nkllum ista messe animal, necessees omnim hominem esse ansemia, ergo necesse es nullis hominem esse lapidem. Comiertatur dictum maioris , necesse es nudium animal esse lapidem; & habebitur persectus in Celarem. Igitur ut reducatur syllogismus modalis, debet tantum reduci dictum.

Seholium.

Obseruabis tamen esse aliquod genus dictorunt, quae reductionem non pa- iuntur,quia comaerti non possiim seruato eodem modo, i monuimuSCOr. I. Th.9.V.g. Necese omne album esse e . us, non potest absolut Econuerti seruato eodem modo , in hanc, Nere1 e es aliquod corpuι esse albam , quae abs luid cons derata est falsa. Dixi abiblute, quia si fiat hypothetica, est vera, v. g. Galiquod albώm es, necesse es aliquod corpus esse album. Idem dico in aliis modis, usi. Impo bile est nullum album esse eorpus, non sequitur absistute, ergo impossibile est nasium corpus esse aibum. Et iam in contingenti, V. g. Contingens es aliquod corpus esse album, ergo contingens es aιλ- quod album esse corpus, unde adhibenda est illa cautio, quando modalis dictum constat huiusmodi terminis, quorum virus negari potest 3c affirmari uniuersaliter de alio, V. g. A ullum corpus es Abum,dc omne corrui est album, nam utraque potest esse vera. Alitis vero potest quidem uniuerse assirmari de alio, sed nullo modo negari , v.g. Omne album eu corpus,non verb aliquod albamnon es co*us. Hinc obseruabis ulterius nouum terminorum genus V .g. corpus,album,nec onim corpus est terminus superior , nec conuertibilis, nec repugnans, nec mere contingens, igitur est mixtum senus ex contingente,&necessario: habet a necessario, quod unus necessario alteri inst: habet a contingent quod 'mus alteri possit inesse,& non inesse, unus ouidem alteri necessarid inest,sed, non vicissim , & vnus alteri contingenter, sed non vicissim.

Obseruabis praeterea dictum illud , Omne album es corpus, non supponere mustenti subiecti, unde est tacite hypotheticum si album es,ce Fus est, ex M9 sequi ur consequeri .eιiam hypotheticum ejusdem scilices Pneris cum 'N Menteurgos alba.'s,ali ad eorwalnm est. Similiter, quando dicitur eorpus es album , baud dubiε haee prsepositio supponit constantiam subiecti,& aequivalet huic copulatiuae , o ιγod - - ω sit quod es album, contingens est aliquod eorpus existere quod est

399쪽

336 Liber Nonus,

est album , igitur consequens quod sequitur, debet esse eiusdem generis, sela licet aliquosalbum existit qaod est corpus, quae reuera contingens est: vere enim dicit , eontingens es aliquod album existere quia es corpus perinde atque dicitur eomingem est Petruin exsere sui est animalo Licet entiri ultima pars sit trecelsaria,quia tamen priina est contingens, tota dicitur contingens, quippe modus de necesse perfectus est,& modus de contingenti imperfectus. Percfectum est, cui nihil deest, imperfectum verδ cui quodlibet deest,igitur modus de necelle dicit totum quod est de neeelle. Modus vero de contingenti aliquid saltem de contingenti. Vnde vides analogiam ad dictum illud coitia mune, Bonum ex img co malum vero ex quolibet djectu. Hinc etiam notabilem fatis differentiam inter antecedens S consequens, quia sicilicet an- recedens contingens est de utraque parte,v.g. Aliquod corpus exsit'albuis est, coii sequens vero de altera tantum, v .g. Album existit ct coipui s.Paulo fusius totam rem illam prosequutus sum , ut scilicet modus ille latis difficilis

solueretur.

Theorema S 2.

- Porest reduet syllogismus modalis per reductionem modi, sic modus de impossibili reducitur ad modum de necesse . & vicissim ut iam dictum est si pri. 1 dus e contingenti ad αυ,dum de possibili: trie vero in materia neri cellaria ad modum de necesse; in contingenti ad modum de contitis

Datur etiam syllogismus modalis expositorius,ut patet, & cum snt 3 o. legitimi modi in omnibus figuris per regulam trium, habebo modos legitimos modales expositorios. Sic autem disponentur numeri, si so. dant 28 . quid dabunt 3 α& habeo io D. QDd etiam ex eo probatur , quia cum sint 2 s.connexiones detracta L B quae modalis non est, supersunt 1 . quaelibet primo dat so. scilicet 3 o. de inelle, & 3o.'de possibili.C D, dat insit per 6o. scilicet 3 o. 'de C & 3o. de M. C,F,6o 'M F,6o. M D, 6o. igitur habes quinquagesies sexies 3 o. Igitur si ducas 3 o. in 16. prodoctus erit I 68o. qui si addaiatur prioribus erit summa o.

Datur etiam Enthymema modale, v. g. Nec se est omnem homixem esse miri es , ergo necesse es omnem hominem esse corpus. Patet.

Sebolium.

Enthymema modale voco,quod constat una, vel duabus propositionibus modalibus , quod triplicis generis esse potest. Primd cum ex antecedentemodali sequitur consequens modale , ut in exemplo proposito. Secundo cum ex a medonte modali, sequitur consequens de ineise , v. g. Necesse est omnem hominem esse co Iut erro omnis homo est eamus. Tertiis clim ex ante.

400쪽

vn quolibet genere sunt 6. figurae, quia sunt totidem connexiones terminorum. Patet ex lib. 1. Prima est iii qua sunt tantdm a. termini in eademitae. Secunda tantum in diuelsa sede. Tertia tres, sed qui bis ponitur est talis tuita subiectum. inarta semper praedicatum. Quintx est subiectum in antecedente & praedicatum in consequente. Sexta est praedicatum in antecede ere,oc subiectum in consequente.

Theorema 36.

Ex C, in prima figura coem dicto Asequitur primδ C, cum dicto INecesse est omnem hominem esse animal, ergo nec e est aliquem hominem esse animal. Secundo sequitur M. Cum dicto E,. Ergo impossibile est nullum homino esse animal. Et cum dicto O, Eeto impossibile est aliquem hominem non esse animal. Tertio sequitur G, cum dicto A & I. Quartis tequitur de inesse in dicto Α & I. Ex C,vero eum dicto E, primo sequitur C,cum dicto O, V .g. Nec se est mulum hominem esse lapidem, ergo necese est aliquem hominem non viae lapidem. Secundo sequitur M,cum dicto A & I.Tettio sequitur G,cum dicto E deo.Quarto de inesse in dicto E& o. Ex C,in dicto I, sequitur primo M,cuna dicto E. Secundo G , cum dicto I. Tertio de inelse eum dicto I. Denique ex C , in dicto o. Primo sequitur M,cum dicto A. Secundo G , cum dicto O. Tettio de inesse eum dicto O. Haec omnia probantur,per Th. II. I 2.1 3. I . Corollarium. Hinc ex C,in prima figura sunt io. modi legitimi.

Ex M, in prima figura cum dicto A,primὁ sequitur C, cum dicto O,v. g. Impossibile es omne animal esse hominem, ergo neces e est aliquod animal non esse hominem. Secundo sequitur G , in O. Tertiis de inesse eum dicto O. Ex M. cum dicto E,sequitur primo C, cum dicto I. Secundo G,cum dicto I.Tertio. ae inesse eum dicto I. Ex M, cum dicto I ,sequitur M,in A,C,cum E & Ο,G, cum E & O,de inesse cum E & O. Ex M,demum cum dicto O, quitur M,in AGG,&de inesse cum dicto A I. Probantur per Th. r 1. I 6. II. I 8. 'Corollarium.

Hinc ex M,in ptima figula sunt modi legitimi iis.

Ex G,in A,sequitur G in I. Adde aequipollcntes. Ex G in E ,sequitur G, in Ο. Ex G in I, & Ο, nihil sequitur, nisi praemisia negatione. Probantur per

corollarium.

Hine sunt ex G,in prima figura modi legitimi 2. . Theorema Sy. Ex N, in prima figura eum dicto A, primo sequitur N,cum dicto I, secun- db Reum A IZO. Ex N,cum dicto E,sequitur N , cum dicto G , cx'm V u dicis

SEARCH

MENU NAVIGATION