1 |
ille, qui nominatur rectus, possibile est, ut ostendatur per illas easdem |
VIEW AND COMPARE
|
2 |
propositiones per syllogismum contrarii et tunc erit syllogismus contrarii in |
VIEW AND COMPARE
|
3 |
plus syllogismo convertibili, quod est, quia forma eius erit illa |
VIEW AND COMPARE
|
4 |
forma eadem et eam illius, quia syllogismus rectus consideratus non |
VIEW AND COMPARE
|
5 |
reducitur ad contrarium erunt termini et propositiones uni et iidem, cuius exem- |
VIEW AND COMPARE
|
6 |
plum est, ut ponamus, quod a. est inventum in omni b., quando ergo conamur |
VIEW AND COMPARE
|
7 |
ostendere illud per syllogismum contrarii, accipimus contradictorium conclusio- |
VIEW AND COMPARE
|
8 |
nis aut eius contrarium et addimus ei propositionem maiorem aut a. inven- |
VIEW AND COMPARE
|
9 |
tum in omni g. et sequitur necessario in figura secunda, quod sit g. non inven- |
VIEW AND COMPARE
|
10 |
tum in omni b., quod est contradictorium propositionis minoris, quod est impos- |
VIEW AND COMPARE
|
11 |
sibile, ergo suppositum illud, quod est contradictorium conclusionis aut eius contrarium |
VIEW AND COMPARE
|
12 |
est impossibile eius, ergo contradictorium, quod est conclusio est verum et for- |
VIEW AND COMPARE
|
13 |
ma convertibilis syllogismi est eadem cum forma huius. Et similiter acci- |
VIEW AND COMPARE
|
14 |
dit in residuis figuris, quoniam omnis syllogismus recipiens conversio- |
VIEW AND COMPARE
|
15 |
nem recipiet ostensionem conclusionis secundum viam contrarii. |
VIEW AND COMPARE
|
16 |
[305] Et omnia quaesita quat- |
VIEW AND COMPARE
|
17 |
tuor ostenduntur per syllogismum contrarii in omnibus figuris praeter affir- |
VIEW AND COMPARE
|
18 |
mativam universalem, quoniam ipsa non ostenditur in figura prima et ostendit in |
VIEW AND COMPARE
|
19 |
figura secunda et tertia et non ostenditur quidem affirmativa universalis in |
VIEW AND COMPARE
|
20 |
syllogismo contrarii in figura prima. Et illud apparet sic, suppo- |
VIEW AND COMPARE
|
21 |
namus propositionem quam volumus ostendere, sitque a. est in omni b. et |
VIEW AND COMPARE
|
22 |
addiderimus super illud per viam contrarii illud quidem erit ita, ut |
VIEW AND COMPARE
|
23 |
accipiamus contradictoriam eius, quae est, quod a. est non inventum in aliquo |
VIEW AND COMPARE
|
24 |
ex b. Deinde quando addiderimus uni horum duorum oppositorum |
VIEW AND COMPARE
|
25 |
propositionem aliam erit compositio eius cum opposito conclusionis primae |
VIEW AND COMPARE
|
26 |
figurae, quoniam oportet, ut sit praedicatum de a. aut sit subiectum b. si- |
VIEW AND COMPARE
|
27 |
cut si dicamus g. in omni aut b. de omni g., quod si est oppositum po- |
VIEW AND COMPARE
|
28 |
siti contradictorium et est quod a. non est in omni b., est igitur manifestum, quod non est |
VIEW AND COMPARE
|
29 |
syllogismus in prima figura ad quamcumque extremitatem ponatur |
VIEW AND COMPARE
|
30 |
propositio alia, quod est, quia si est verum, quod g. est in omni a. et a. non est in omni |
VIEW AND COMPARE
|
31 |
b. et illud est non concludens in figura prima, propterea quia minor |
VIEW AND COMPARE
|
32 |
est negativa. Et si posuerimus eam ex parte b. habebimus a. |
VIEW AND COMPARE
|
33 |
non est in omni b. et b. in omni g. et hoc etiam est non concludens in figura |
VIEW AND COMPARE
|
34 |
prima, ideo quia maior in ea est particularis. Iamque dictum est, quod |
VIEW AND COMPARE
|
35 |
illud est non concludens, quod si acceperimus contrarium affirmativae quam |
VIEW AND COMPARE
|
36 |
conamur confirmare et addiderimus ei propositionem notam veram |
VIEW AND COMPARE
|
37 |
ex parte sicut si ponamus: a. non in aliquo ex b. et b. in omni g. conclu- |
VIEW AND COMPARE
|
38 |
ditur quidem in figura prima, quod a. non est in aliquo ex g. et hoc est impossi- |
VIEW AND COMPARE
|
39 |
bile, ergo quod posuimus est impossibile et est dictum nostrum: a. non est in aliquo |
VIEW AND COMPARE
|
40 |
ex b., nisi quia non sequitur quasi est falsum dictum nostrum: a. non est in aliquo ex |
VIEW AND COMPARE
|
41 |
b., ut sit verum eius contrarium, quod est dictum nostrum: a. in omni b., quod est nostrum |
VIEW AND COMPARE
|
42 |
quaesitum, quando contraria quandoque sint ambo falsa simul, sicut dictum est in li- |
VIEW AND COMPARE
|
43 |
bro praecedenti. Et si addatur propositio una ex parte a. non renovatur syl- |
VIEW AND COMPARE
|
44 |
logismus, quia erit minor negativa in figura prima, est ergo ma- |
VIEW AND COMPARE
|
45 |
nifestum, quod omnis syllogismus secundum viam contrarii erit quidem per acceptio- |
VIEW AND COMPARE
|
46 |
nem contrarii aut per acceptionem contradictorii et per additionem pro- |
VIEW AND COMPARE
|
47 |
positionis vere uni ipsorum duorum. Et est iam manifestum, quod quando acci- |
VIEW AND COMPARE
|
48 |
pitur contradictorium affirmativae universalis et additur ei propositio universalis vera, quia |
VIEW AND COMPARE
|
49 |
non erit syllogismus et quod quando accipitur contrarium, siquidem aut non sit |
VIEW AND COMPARE
|
50 |
syllogismus aut si sit non concluditur impossibile contrarium falso, cuius |
VIEW AND COMPARE
|
51 |
sequatur verum affirmativae quaesitae. Ad ostendendum ergo non est pos- |
VIEW AND COMPARE
|
52 |
sibile, ut ostendamus affirmativam universalem per syllogismum contrarii, in |
VIEW AND COMPARE
|
53 |
quo sit praedicatum ducens ad impossibile in figura prima. |
VIEW AND COMPARE
|
54 |
[306] Sed particu- |
VIEW AND COMPARE
|
55 |
laris affirmativa possibile quidem est, ut ostendatur per contrarium in figu- |
VIEW AND COMPARE
|
56 |
ra prima, quando acceperimus oppositam eius negativam universalem non |
VIEW AND COMPARE
|
57 |
negativam particularis, quae est ipsius contradictoria et hoc etiam est quando est |
VIEW AND COMPARE
|
58 |
propositio vera ex parte b. et non ex parte a. Ponamus ergo, quod non sit |
VIEW AND COMPARE
|
59 |
vera eius inventio in aliquo ex b., ergo a. non est in aliquo b., deinde ad- |
VIEW AND COMPARE
|
60 |
damus huic, quod b. est in quodam g. et concluditur quidem, quod a. non |
VIEW AND COMPARE
|
61 |
est in aliquo ex g. quod est falsum, igitur illud, ex quo sequitur fal- |
VIEW AND COMPARE
|
62 |
sum, est falsum. Et illud est dictum nostrum, quod a. non est in aliquo |
VIEW AND COMPARE
|
63 |
ex b. et quoniam haec est falsa, est vera eius contradictoria, quae est |
VIEW AND COMPARE
|
64 |
dictum nostrum: a. est in quodam b. et hoc est, quod intendimus de- |
VIEW AND COMPARE
|
65 |
monstrare. Sed quando accipitur propositio vera ex parte a. erit |
VIEW AND COMPARE
|
66 |
quidem minor negativa in figura prima, non igitur erit syllogismus. |
VIEW AND COMPARE
|
67 |
Et similiter quoniam accipitur contraria non erit syllogismus, quoniam si |
VIEW AND COMPARE
|
68 |
ponatur vera propositio affirmativa ex parte a., erit minor negativa |
VIEW AND COMPARE
|