장음표시 사용
261쪽
Non valet conuersa , per AX. 6.9.Th. .
Valet conuersa, ilicet aliquod amania Ax.6.
. Tibeorema 218. I Α Ο,non valet, quia distribuitur praedicatum conclusionis, p.r M.to. sed hoc est contra Ax. 9. Theorema Zi'.
Conuersa non valet, per eandem rationem. ,
Conuersa non valet, per eandem rationem. .
Theorema 2 26. I E Q, valet,'.g. a iquod C B,nullum B A, igitur aliquod C, non est A. Vel Alio si amia est iamo,nullin homo .st lapis, sibi uia non r
262쪽
Theorema 2 l. III,non valet, per Ax. s. 8. Th. 1. nec eius conuersa. Neorema 232. II Ο, non valer, per Ax. s. 8. 9.& Th. 1. nec eius conuersa. Neorema 2 3. . I Ο Α, non valet, per Ax. s. 8. Th. 1. 3. . nec eius conuersa- Theorema 23 . I O Ε, non valet, per Ax. s. g. s. Th. 2. 3. nec eius conuersa Theorema 23 - Ι Ο Ι,non valet,per Ax. s.8.yah.2.4 nec eius Conuersa. Theorema 236. I O Ο, non valet, per Ax. s.8.Th.2. nec eius conuersa. Theorema 2 T. O A A.non valet, per Ax.s.' Th. 3. nec eius conuersa. Theorema Σ38. Ο Α Ε, non valet, per M.f.9.Th. 3. nec eius conuersa. Theoremata 2 9. O A Iinon valet , per Ax. s.& Th. .nec eius conuersa. Theorema 2 O. O A Ο,non valet per Ax. s.f. nec eius conuersia. Theorema 24LO E A,Ο E E,o E I,Ο E O,non valent, per Th. r. nec conuertais Theorema 2 2. ΟΙ Α,o I E,C II,ΟI non valent, per Th. 2. nec conuersit Theorema 243. OO A,ΟOE,Ο ΟΙ,Ο Ο Ο non valent,per Th. Iarec conuersis.
Obseruabis dem stratos esse in tanto modorum muricini 1 modos INLximos , quorum sex inimediate demonstrantur per prinet a Dictum de omni, & Dictum de nullo,s cilicet A A A,A A I, I A I ter Dimis de omni : & A E E, A E O,IE O, per Dicti.mis nullo Vialm vocant ut Gargara Gargari, Dirat, Calerem, Calero , Fireo. Sex alij reducuntur quidem ad praediri princiria , sed mediate vi di ctum est supra de aliis modis secundumj Aristoteleti . Sunt aute A A I, I A I,A E E,AE E AO,E I Ο.Vulsa vocantur Garalip, Dibatis, Calentes,Calentos Fesipo. Fresi nom. Hinc colliges in tota Prima gura siue consideretur uno modo, sit eario esse 24 modos Iephimos; inter quos haud Albae ix. s int aliis persectiores, ne ripe illi qui immediate red cuntur ad priticipia syllogistica, Dictum de de nullo. Porto cha cterem cuiuslibet modi legitimi insta defituemun
263쪽
Dὸ Artificis Syllog mi cathegorici. am Modi secundae s urar.
Α Α Α,A A E , Α Α Ι,Α Α Ο, non valent ,rr Ax. 8.& Th. .non valent etiam in conclusione conuersi , nec in praemiuis transpositis. Theorema 243. ΑEA, non valet, per Tli. 3.e nec A E I,per Th. .nec etiam in conuersa. Teorema A E valet,v.g. Omnis homo est Mimia, null- lapis est animal, ergo nulliuiamo sinis. Uia ex secunda sequitur nullum ammia Ulapis , per Ax.6. ex qua de prim a sequitur, Nulius homo es IV per Ax.-Th. Is 8 .& s .
Valet in conclusione conueris,nullus bomo est is-AX C. Theorema 248. A E O,valet. Vt O-is homo est animal, vivir iapis es animia, ergo a Mishomo non est lapis. Quia ex secunda sequitur, mulum animal est luis , per
Neorema 249. Valet in conclusione conuersa, Aliquis lapis non es homo, quae sequitur 'illa, Nallus homo es lapis , per Ax. 6.
Obseruabis poni fem x a nobis in hac figura primo loco in praedicaro conciti sonis,extremum illud de quo negatur medium,quia tunc syllogismux immediatius reducitur , de quo insta. Theorema aso. A I A, A I E,A I IAE I Ο,non valent, per Ax. 3.Th. 7. nec eorum con
Theorema 2 2. A o Ο,valet,vQ.O-is homo os animal, Hiquod corpuν non es iam ergo aia. quod corp- non est animal. Probatur quia c um animal praedicetur uniuerse de homine, in prima,certe est terminus ui perior & homo inferior , per Def.1: LI.n Sed negatnr animal de aliquo corpore , in secunda igitur de aliquo corpore debet negari homo, per Ax. 3.
obserua non posse probari Barocis per Dim de e-ἰ ,quia conelnso est . -ga tua, nec Per Dictumdemuta , qu tamen aliqui minus considerate di-
264쪽
Theorema ZII. Non valet eius conuersa,Aliquis ho- ma-ωτα quia esum distribue.
Neorema 1I E A A , non valet, per Th. . Nec E A I, petri. . Nec coarciesce. Theorema 233. E A E,valet.ve Nullis Iaplas Imat,omnis homo est ammas, itur missi-s dio stapis, quia ex prima sequitia, miliam animaι est ι M. Igutar per dimis de nulla nullus homo est lapis. Theorema 236. Valet eius conuersa, Nullinivis est homo, per Ax.ε. Theorema ΣΠ.E A Ο, valet quia ex eadem mutam animal est lapis,vel Nuum L m. 67 lip t, sequitur aliquis somo non est lapis, per Dictum de muti. Theorema ZJ8. Valet conuersa, Aliquis lapis non est bonis,cFe sequitur ex illa , Nictui pis est homo.
E E A,E ERE EI,E E Ο,non valent,per Tli. I.Nec conuerse , nec tan Theorema 26o. EI A, E I I,nod valent, per Tii. .nec E I E,per ThH. nec conuersam neorema 261. E IO,valet.Vt Nullus lapis est animal , aliquod comines animal,ergo aliquia orpur non est iam quia ex prima sequirur,Nullam animal es lapis, Per Ax. F.& ex hoc AiiDod corpus non es lapis ,per A X. 2. i . Theorema 262. Non valet conuersa, Aliquis lapis non si corpus, quia corpuι distribueretur,
Theorema I A A,non valet, per Th. .nec I A E,I A I,Ι Α Ο , per idem, nec con
IE O,valet.vt Aliquod corpus es risinistinatur lapis est Mimal gitur Hiquod corpus non est lapis, pax secunda conuersa sequitur , Per ΑI. R., Theorema 266. Non valet conuersa, quia corpus distribueretur in conclusione , contra Axioma p. Dissiliam by Cooste
265쪽
de Arificio Syllogismi eatlagorici.
Theorema 267. II A,IIE,IIIIIo non valent, per Th.2Q.nec eorum conuerse, neque transpositae. Theorema 268. 'i IOA,IOE,IOI,IOO, non valent, per Th. a.nec con Isae. Theorema 269.s OA A, non valet, per Th. nec Ο ΑΕ, per Α. nec O AI, per nec
obserua hunc etiam modum nullo modo probari,per DEIam de millo mediate vel immediaIE. neorema 272. O E KO E E,O EIM E O,non valent, per Th.I. nec conuersae. Theorema 273. . o I A,ΟI E,O II,ΟΙ Ο non valent, per Th. 2.nec conuersaeWTheorema 274. O O A, O O E,Ο Ο Ι,Ο Ο Ο,non Valent, per Th. I. a. nec conuersae nec
Obserua demonstratos esse in secunda sigura ii.modos legitimos, scilicet 6 qui reducuntur ad Dim vi nullo, conuersione unius praemissae: qui sunt E Α E,E Α Ο Ε Ε,Α E O,E IO,I E o.Vocentur Cesare,osaro, re stre, mes o,Festino,Fiιωσο. tuor ver , reducuntur ad Dictum δε-llo postgςminam conuersionem alterius, scilicet, praemissae & conclusionis: hi sunt E Λ E,E A O, A E E;A E O. vocemur Cos res, mesres,Cesviro , CAEmes s. Dφὸλique a. qui sine conuersione , sed immediate reducitntur ad Ax.ε. De quocumque negatur superius,negatur inferius: hi sunt ΑΟO, O AO. v CCnxur Barac Boraeo. De quorum persectione dicemus infra.
Ncc conuerse mes transpositae. Triare
266쪽
T leorema 276. A A I,valet. Vt onmisiama est animat,omnis Oomo estIubstantia, stisur MLqMaIustam, a est amnia, quia ex secunda sequitur. Aliqua substantia est homo , per Αx 6.& ex hac prim Aliquas.bstinuia est Mimal, per Dictam de omia. Theorema ET . Valet etiam si transponamur praemissae,quod eodem modo probatur , qui est Donus modus, per Def. I. Theorema 278. Valet in conuersa conclusione ichi non fiat transpositio, v.g. ominis 5 est animal, omnis homo essiustam , ergo aliq- animal estIubstantia. Quia ei prima tequitur se liquodammae est homo e & ex hac & ieeunda uitur Alpquod Umae e , -- , per Dictum de omm. 8c Truxi 6. Neorema 27'. Valet etiam iri conuersia conclusione oc transpositis praemissis. per Di i
Hinc vides esse vi modos legitimos in A A I,tertiae figurae. Theorema 28O. A A o, non valet, ser Ax. i. nec A E A, AE E,per Th. to.NGAELm iri . Nec etiam conuersae vel transpositae. lneorema 28 I.
Α E Ο,valet, V.g. Omnis homo est animia , minus homo est equas , isit. ἀγφιοd animal non est equus. Quia ex prima sequitur Aliquod animal intonis, paΑx.6. & ex his Aliquod amminan est equin, per Ax. 2. Theorema 282. Non valet ,AEquu equur non es a limat, per Ax. I.& 9.
Theorema 28, AI Α, AI E, non valent, per Th. io. Nec A I O , per Ax.o Nee cost
AI I alet,V.Domus est animal alι quis homo est ausu 'o aliquod is .ium est animal, nam ex secunda sequi tui Aliquod album es homo, pex Ax. ex his Aliquod album nons animae, per Dictum de omni.
Theorema 28 S. Valet conuersa , Aliquod animal est album, per Ax.6. Theorema 286. A o A, AOE,non valent , per Th. io. Nec A O I,per 4. Nec conuerta Theorema 287. AΟ Ο,valet, V.g. Omno es corpus, liquod animae non es homo. Hi quod corput non stismo.Cum enim corpus sit iuperti infeci , R
267쪽
De Artificio Sylogi mi cathegorici. Σορ
Des. 2.l. . n. 3.certe quidquid negatur de inferiori particulari,negari ἡebet dc superiori particulari,per Ax. . igitur debet negari homo de aliquo corpore, cum negetur de aliquo animali.
Obserua hunc modum non probari per Dictum de nullo , mediate vel
Non valet conuersa, Aliquis homo non es corp- , per AX. 9. Theorema 289. E A A,E A E,non valent, per Th. io.E AI,non valet,per Th. Nec conueris.
E O A,valet, v.g. Nullur homo est e us,omnis homo est animat,igitur aliquod animal non es equus: nam ex secunda sequitur Aliquod animal es homo, & ex bis Aliquod aηimae non es equus, per Dictum de nullo. Theorema a. 91. Non valet conuersa, is quis equus non es animal,per Ax. I. & ' Theorema 292. E E AS E E,E E I,E E O,non valent,per Th. I.Nec conuersae.Nec trans
Theorema 293. EIA, E I E , non valent, per Th. io. Nec EII, per η. Nec con
Theorema 294 E I Ο,valet,v. g. Nullus homo est iapis,aliquis homo Abus, ergo inquia inum mons iapu:nam ex secunda sequitur, quod tabum est homo,&ex his Aliquod inbum non es lapis,per Dictum de nullo. Theorema 29 s. e Non valet conuersa , Aliqui. lvu non es .ibus, per Ax. 9. Theorema 296. E O A,E O E,E OI,EO O, non valent, per Th. I. cconuerse. Tneorema 297. I A A, IA E , non valent, per Th. io. Nec I A O, per Ax. 9.Nec con-
Theorema 298. I AI, valet, ut AI quis haemo es albus,omnu homo est anἰmes ergo aliquod H- δέ - est animal, m ex prima sequitur Aliquod albam is homo, α ex his Aliquod ribum es arimae,ser Dictum de omni. Theorema 292. Valeteonuersia Aliquod animessaebum. per Ax. 6. 3c per η. D d Neorema
268쪽
O,valet, v.g. Aliquis horno es aluus,nullus homo est lapis,erga aliquod .d bum non es Iapu,Quia ex prima sequitur Aliquod album est homo Ax. 6. Ze ex his Aliquod album non es Iapis, Ax. a. Theorema O 2. Non valet conuersa. Aliquis lapis non es albus, Ax.9
II A,IIE, III, II O , non valent, pcr Di. 2. Nec conuersae. Nec trant. positae
O A Aliquod animal non Hi homo,omne Mimal est corp-. aliquod corpus non ψ bomo. Probatur ut Th. 287. per A X. 4. Eius convcria non ivalet, per Ax.9.Non reduchur hic modus ad Dictum de nullo.
Obleruabis in s. figura esse i . modos legitimos hactenus demonstratos, Io. quidem qui reducuntur ad principia Dictum de omni,&Dictum de nullo, polh unicam alterius privmissae conuersionem, sex scilicet ad Dictum de omni A A quater OA Il,l A I. Vocentur Darapti, Daparti, Arapti, Θρπιν, Dati Dirami. . vexo ad Dictum de nullo, Duo vero ad Ax. . Quidquid dicitur vel negatur de in seriori particulariter: dcc. Et lii porro sunt O A Ο, Α Ο Ο. Vocemur Procardo,Bracordo. Denique duo qui reducuntur ad Dictym de omni, post geminam conuersionem ait rius, scilicet praemissae & conclusionis: & hi sunt IA I, A I I, vocentur Di mis, Darisis. Hinc concludo esse so . modos legitimos in omnibus figuris, scilicet aa. in prima virqque modo considerata : I 2. in secunda , A. in tertia ει ex his reduci tantum immediate ad Dictum de omni sex Barbara,Gargara, Gamsari,Barbari, Daris, Dirai. Et totidem ad Dictum de nullo Celarem, Cesa ,Ferio ,Calerem, Cauers, Fireo. Hinc tam sim reducuntur immediate Ia. octo veto taediate pei unicam concitationis conuersonem, scilicet ad Dictum de om-
269쪽
ni. 4. scilicet Parat', Garitis, Totidem ad Dictum de.nullo,
Celantes,Celantos,Calentes, emos. Sexdecim praetere a reducuntur per unicam conuersionem alterius praetri illa. Sexad Dictu de omni: Darapti,Daparti, Arapti, arat, Uigami,Datisi,dcro.ad Dictu de nullo, Ore,Came Ere, saxo, camesis, Festino, Foesio, Felap ton,Fapleto, Ferisu , Horon. Deinde . ad Dictum de nullo , per geminam conuersionem alterius,scilicet praemissae & conclusionis,scilicet Cesareι, Ccoros, mestres, Mestros. Duos vero ad Dictum de omni, Di amis Dat M. Hi ured ultimi duo immediate reducuntur ad Ax. . Denique quatuor supersum qui reducuntur ito mediatc. h. quidem ad Ax. 3. scilicet Baraco,Roraco. 2. vero ad Ax. 4. scilicet Braeardo, & Bracordo, qui ad Dictum de nullo reduci non possunt mediate vel immediate.
Vt duae propositiones de communi subiecto accommodentur primae figinrae secunddin Aristotelem debet conuerti secunda, secundum Galenum, prima: ut vero secundae debet conuerti utraque, ut tertiae nulla. Pater ex Def. r. Sunt autem Io. coniugationes, per Th. . l. h. ex quibus haec habes. Ad pri. mum secundum Aristotelem valent A A,in Darii,E A,in Feris. A l, in Dard, Α Ε, in rape o A E, in Frisismssiri I,in Femo,secundum Galenum : A A , in . . . Disai: A E,in Calerem. I A,in Diras: EI, in Fresi m .E A, in FH o.Reliquae non valent. . . '
Vt duae propositiones de communi praedicato accomodentur primae figurae secundum Aristotelem,debet prima conuerti, ut secundum Galenum, sc-cunda,ut tertiae utraque;vt secundae neutra,per Def. 7.Hinc habes Ad primam Aristotelicam istas coniugationes valere:A E,in Friseson: EA, in Celarem: EI in Ferio. I E in Friseson: Ad Galenicam: AE in Calerem E A, in Fr n: E l, in F sen: I E, in Fim.Reliquae non valent. Ad tertiam valent A E,in Fires inEA,in nrion: E I,in Feri m. I E,in Fir son. Reliquae non valent.
Ad secundam valent, A E , AO, E A, E I , O A, I E. Rcliquae nou
T Ieorema si O. Vt duae propositiones determino communi, in quarum prima est st.biectuna, in secunda praedicatum accommodentur, primae liquiae Arist. neutra debet conuerti, ut secundum G.denum debent transponi, ut secundae prima debet conuerti, ut tertiae secunda, per Def. 7. Hinc ad primum val t A A, i D Barbara,Barbari: A I Darti: E A Celarem Celaro : A E Fapesno, E Ι Ferio: L E Frisism. Secundum Galenum transponantur eaedem. Reliquae sunt inutiles.
Ad secundam valent A E , in F era : E A in Cesare, E I in Fsino. I E.
in F e . Reliqiuae non valent. Ad tertiam valent A A, in Datisi : A E in Braeordo seii raptiton : Al in Datisi: E A in Ferisin: EI in Fὸrison: I E in FVeron. Reliquae non valent. Dd 1 Theorema Dissiligod by Corale
270쪽
Si verti primae sit praedicatum , secundae sit subicctum , ille termin a comi nimis ut accommodetur primae Galenicae, neutra debet conuerti, ut pi mae Arist. utraque debet transponi, ut secundae secunda debet conuerti ut tetriae prima, per Def. 7. Hinc valent ad primam Galen. Α Α in E Caderemi A Gpasis E I Fresiuem, i A Dirat, I E Fireo. Ad primam Arist. transponamur praemitae. Reliquae non valent. Ad lucundam A E Cam/Hre, E A Festino , I E Fitesno. Reliquae sunt in L tiles. Ex quibus intellectis, datam quancumque coniugationem , ad suam x: suas figuras facile reduces.
Character Barbara de Gargara est ad probandam quaestionem in matella necessaria , cuius praedicatum consequenter iit superius subiecto. Vixei:: et accidit ut propolitiones uniuersales in materia contingenti, sint verae ; qaei probatur ex eo quod medium in prinia figura debeat elle superius at reto et- tremo, de quo praedicatur uniuerso,& inferius altero quod de eo praedicate uniuerse, per Def. 7. sed praedicatum propositionis A , ex natura sua: ita Peritis, quia tantum accidentarib est ternuntis conuertibilis : Hine nectb. Tium est hoc argumentationis genus ad demonstrandam proprietatem , quae ialicui subiecto inest, quippe si proprietas est , omni inest. Theorema II 3.
Character Celarem, Calorem, Cesare, Camestre est ad Probandam quaesti,nem E, quae constet terminis repugnantibus , quorum subiectum sit antecedens medii, quod de illo uniuerse praedicatur, per Def. T. Hoc argumentationis genus requiritur ad probandum aliquid non inesse omni alteri. Theorema II 4. - Dari , DIGL Darapti,recte sunt instituti ad piobandam quaestionem paril-cularem in materia necessaria , cuius praedicatum sit in serius sebiecto. Fc,stra enim si esset superius, conclusio est et particularis , aliquando accidit in Daris, Se Diraἰ, probetur quaestio in materia contingenti , cum scilicet illa propositio in qua medium est subiectum , constat duobus terminis quo tu et praedicatum est superius terque vero est contingens alteri extremo.
C Gamti, Dais, sunt instituti ad probandam quaestionem I, contingeriter . maxime per conuersionem conchisionis: aliquando tamen ad probandom in serius de superiori, per Ax. Aliquod animal est homo, ergo aliquod comm ebomo. de tunc reducitur ad BaraIU, aholam in Dari , sec da est et Pateacu 3 i , quae posset elle uniuersalis.
Dabitis, Dibatis, Daparti, valent ad probandam quastionem I , iri qri a s rerius praedicatur de uaseriori. Quod vitandum est quansum sicci pote 1t,oni .. Dissiligod by Corale