1 |
inveniatur b., quod non sequitur quoniam auferatur a., ut inveniatur b., quod |
VIEW AND COMPARE
|
2 |
est, quia si non aufertur a. sit igitur inventum, sed quoniam est a. inven- |
VIEW AND COMPARE
|
3 |
tum sicut iam posuimus est inventum b., igitur erit b. quoniam aufertur |
VIEW AND COMPARE
|
4 |
consequens, ut inveniatur et hoc est contrarium et quoniam sit firma huius radix. |
VIEW AND COMPARE
|
5 |
Dicamus ergo, quod quando sunt tres termini primus secundus et tertius |
VIEW AND COMPARE
|
6 |
et est secundus sequens primum et tertius sequens secundum, qui |
VIEW AND COMPARE
|
7 |
tertius est etiam sequens primum, dico quod non sequitur necessario, quod quando |
VIEW AND COMPARE
|
8 |
aufertur inveniatur b. ergo simul quando non invenitur b. invenitur b., quod |
VIEW AND COMPARE
|
9 |
est contrarium et impossibile et ideo non sequitur quoniam sint falsae pro- |
VIEW AND COMPARE
|
10 |
positiones, ut sit vera conclusio. Sed veritas quidem eius est per modum |
VIEW AND COMPARE
|
11 |
accidentis et hoc est, quod volumus demonstrare. Et similiter apparet |
VIEW AND COMPARE
|
12 |
etiam, quod non sequitur ex ablatione a. ut auferatur b., quia sequitur, ut |
VIEW AND COMPARE
|
13 |
sit inventum a. consequens ex inventione b. Iamque fuit b. consequens ex in- |
VIEW AND COMPARE
|
14 |
ventione a. ergo erit consequentia alternata et convertibilis et impossibile |
VIEW AND COMPARE
|
15 |
et propter hoc non sequitur quoniam sunt falsae propositiones, ut sit falsa |
VIEW AND COMPARE
|
16 |
conclusio, sed quando est falsa conclusio, oportet, ut sint falsae propositiones, quia |
VIEW AND COMPARE
|
17 |
quoniam aufertur b., aufertur a. |
VIEW AND COMPARE
|
|
Capitulum 4 |
|
18 |
Capitulum 4 |
VIEW AND COMPARE
|
19 |
[277] Et accidit syllogismo, ut cadat in eo ostensio per cir- |
VIEW AND COMPARE
|
20 |
culationem et ut accipiatur conclusio ipsius et convertatur una |
VIEW AND COMPARE
|
21 |
propositionum eius et ostendatur per eam propositio secunda. Verbi gratia quia |
VIEW AND COMPARE
|
22 |
quoniam concluditur hoc, quod a. est inventum in omni g. per medium b. per hoc, ut |
VIEW AND COMPARE
|
23 |
ponatur a. in omni b. et b. in omni g. et concludatur ei ex hoc, quod a. est inven- |
VIEW AND COMPARE
|
24 |
tum in omni g. Et voluntas sit, ut ostendatur per hanc conclusionem, quae est a. |
VIEW AND COMPARE
|
25 |
in omni g., quod a. est in omni b., quoniam accipit, quod a. est in omni g. et g. in omni |
VIEW AND COMPARE
|
26 |
b., quae est conversa propositionis secundae. Et concluditur ei ex hoc, quod a. est in |
VIEW AND COMPARE
|
27 |
omni b., quae est propositio secunda, cuius intendit ostensio. Et similiter accidit |
VIEW AND COMPARE
|
28 |
ei, quoniam quaeritur, ut concludatur per hanc conclusionem eandem propositio alia, quae |
VIEW AND COMPARE
|
29 |
est b. in omni g. eritque conclusio hoc b. in omni g. et hoc propositio quidem intenditur |
VIEW AND COMPARE
|
30 |
conclusioni ex duabus propositionibus syllogismi. et ostendemus, quod non est |
VIEW AND COMPARE
|
31 |
possibile, ut ostendatur propositiones ex conclusionibus per modum alium prae- |
VIEW AND COMPARE
|
32 |
ter hunc, quoniam accipitur propositio una extranea et additur conclusioni et |
VIEW AND COMPARE
|
33 |
illud ita, ut accipiatur terminus medius, qui non unus terminorum, |
VIEW AND COMPARE
|
34 |
qui sunt in propositionibus non concluditur ex illo aliquid ex propositionibus |
VIEW AND COMPARE
|
35 |
acceptis in illa conclusione. Verbi gratia, quia si additur conclusioni, quae est a. in omni g., |
VIEW AND COMPARE
|
36 |
quod g. est in omni e. non concluditur ex hoc nisi, quod a. est in omni e. et hoc est praeter |
VIEW AND COMPARE
|
37 |
dictum nostrum: a. est in omni b. aut b. in omni g., quae sunt propositiones huius con- |
VIEW AND COMPARE
|
38 |
clusionis et quia non est possibile, ut accipiamus cum conclusione propositio extra- |
VIEW AND COMPARE
|
39 |
nea. Iam ergo remansit, ut accipiamus cum ea unam duarum propositionum syl- |
VIEW AND COMPARE
|
40 |
logismi, quoniam si accipimus easdem duas propositiones redit conclusio, |
VIEW AND COMPARE
|
41 |
ad quam proposuimus propositionem. Et quoniam acceperimus etiam unam |
VIEW AND COMPARE
|
42 |
propositionum syllogismi sicut est cum conclusione, non concluditur etiam no- |
VIEW AND COMPARE
|
43 |
bis ex illo propositio alia, quod est, quia si addiderimus conclusioni, quae est |
VIEW AND COMPARE
|
44 |
a. est in omni g. dictum nostrum a. de omni b., quae est propositio maior erit |
VIEW AND COMPARE
|
45 |
dictum nostrum ex duabus affirmativis in secunda figura, quod est |
VIEW AND COMPARE
|
46 |
non concludens. Et si addiderimus ei minorem, quae est dictum nostrum |
VIEW AND COMPARE
|
47 |
b. de omni g. proveniet ex hac ordinatione syllogismus ex dua- |
VIEW AND COMPARE
|
48 |
bus affirmativis in figura tertia concludens, quod a. est in quodam b. Et |
VIEW AND COMPARE
|
49 |
propter hoc oportet, ut accipiamus quam addimus conclusioni conversam |
VIEW AND COMPARE
|
50 |
sicut si addamus, scilicet dictae conclusioni, quae est a. est in omni g. b. est in omni |
VIEW AND COMPARE
|
51 |
a., concluditur nobis minor, quae est b. est in omni g. Et similiter si addamus |
VIEW AND COMPARE
|
52 |
conversam minoris concluditur propositio maior. |
VIEW AND COMPARE
|
53 |
[278] Et ideo apparet, quod hoc |
VIEW AND COMPARE
|
54 |
species ostensionis est possibilis in propositionibus convertibilibus. Et quando |
VIEW AND COMPARE
|
55 |
sunt duae propositiones convertibiles et conclusio convertibilis sunt ibi sex |
VIEW AND COMPARE
|
56 |
propositiones, quia duae propositiones syllogismi et conversae ipsarum et co- |
VIEW AND COMPARE
|
57 |
nclusio et conversa eius. Et est possibile, ut demonstremus unam- |
VIEW AND COMPARE
|
58 |
quamque harum propositionum per quandam, scilicet ex conclusione cum quadam alia |
VIEW AND COMPARE
|
59 |
donec non remaneat in eis aliquid quando ostendatur per syllogismum ac- |
VIEW AND COMPARE
|
60 |
ceptum ab ipsis eisdem et concluduntur ibi sex syllogismi et conclud- |
VIEW AND COMPARE
|
61 |
untur sex syllogismi et sex modi conclusionum, cuius exemplum est |
VIEW AND COMPARE
|
62 |
termini a. b. g. tres convertibiles quidam super quosdam. Et similiter est conclusio |
VIEW AND COMPARE
|
63 |
nata ex eis, sicut si sit omne a. b. et omne b. a. et similiter omne b. g. et omne b. |
VIEW AND COMPARE
|
64 |
b. et similiter omne a. g. et omne g. a., quoniam quando ostenderimus, quod a. est inven- |
VIEW AND COMPARE
|
65 |
tum in omni g. et acceperimus a. inventum in omni b. et b. in omni g. est |
VIEW AND COMPARE
|
66 |
quidem possibile, ut ostendamus etiam propositionem a. in omni b., quae |
VIEW AND COMPARE
|
67 |
est maior per conclusionem et conversam propositionis b. g., quae est minor, |
VIEW AND COMPARE
|
68 |
ut dicamus a. est in omni g. et g. in omni b. et concluditur nobis ergo a. |
VIEW AND COMPARE
|