1 |
quando sint propositiones universales simul aut una earum uni- |
VIEW AND COMPARE
|
2 |
versalis et alia particularis. Iamque possibile est, ut non sit in |
VIEW AND COMPARE
|
3 |
eis syllogismus. [63] Sintque primo ambae duae propositiones uni- |
VIEW AND COMPARE
|
4 |
versales et sint affirmativae. Verbi gratia dictum nostrum: Omne b. |
VIEW AND COMPARE
|
5 |
est g. et omne b. est a. Dico itaque concluditur, quod quoddam g. |
VIEW AND COMPARE
|
6 |
est a., quoniam convertitur minor universalis, quae est dictum no- |
VIEW AND COMPARE
|
7 |
strum: Omne b. est g. particulariter et sit quoddam g. est b. et |
VIEW AND COMPARE
|
8 |
nobiscum est, quod omne b. est a., concluditur ergo in figura prima, |
VIEW AND COMPARE
|
9 |
quod quoddam g. est a., sicut expositum est ibi. Iamque exponitur hoc |
VIEW AND COMPARE
|
10 |
quidem per impossibile et per positionem. Per impossibile |
VIEW AND COMPARE
|
11 |
quidem, ut accipiamus conclusionis contradictoriam et adiun- |
VIEW AND COMPARE
|
12 |
gamus ei unam duarum propositionum. Et sequitur ex eis contradi- |
VIEW AND COMPARE
|
13 |
ctorium propositionis alterius. Sed quod sequitur, si non est |
VIEW AND COMPARE
|
14 |
factum, sed per positionem est, ut ponamus, ut quoddam b. |
VIEW AND COMPARE
|
15 |
sit z. et quia g. est in omni b. et z. pars est ex b., igitur z. de neces- |
VIEW AND COMPARE
|
16 |
sitate est pars ex g. et quia a. est in omni b. et z. est pars ex |
VIEW AND COMPARE
|
17 |
b., ergo z. necessario est pars ex a. Iamque fuit pars ex g., ergo |
VIEW AND COMPARE
|
18 |
quoddam g. est a. |
VIEW AND COMPARE
|
19 |
[64]Et similiter quando est propositio maior |
VIEW AND COMPARE
|
20 |
negativa et minor affirmativa erit etiam syllogismus, cuius |
VIEW AND COMPARE
|
21 |
exemplum est dictum nostrum: Omne b. est g. et nullum b. est |
VIEW AND COMPARE
|
22 |
a. Dico, quod concluditur quoddam g. non est a., scilicet negativa parti- |
VIEW AND COMPARE
|
23 |
cularis, quia quoniam convertitur affirmativa universalis par- |
VIEW AND COMPARE
|
24 |
ticulariter, componetur sic sermo noster: Quoddam g. est b. |
VIEW AND COMPARE
|
25 |
et nullum b. est a., ergo quoddam g. non est a. et hoc in figu- |
VIEW AND COMPARE
|
26 |
ra prima. [65] Sed quando est universalis non affirmativa minor |
VIEW AND COMPARE
|
27 |
et universalis affirmativa maior, sicut dictum nostrum: Nullum |
VIEW AND COMPARE
|
28 |
b. est g. et omne b. est a., non erit quidem syllogismus conclu- |
VIEW AND COMPARE
|
29 |
dens quaesitum, quia concludit duo contraria in materiis et |
VIEW AND COMPARE
|
30 |
exemplum terminorum, quibus concluditur affirmativa: equus, |
VIEW AND COMPARE
|
31 |
homo et animal, et minor est equus et medius homo, quod |
VIEW AND COMPARE
|
32 |
est, quia nullus homo est equus et omnis homo est animal |
VIEW AND COMPARE
|
33 |
et conclusio: Omnis equus est animal, quae est affirmativa ve- |
VIEW AND COMPARE
|
34 |
ra. Et termini, quibus negativa: inanimatum, homo, animal |
VIEW AND COMPARE
|
35 |
et est, quia homo non est inanimatus et homo est animal, |
VIEW AND COMPARE
|
36 |
concluditur quidem, quod nullum inanimatum est animal. [66] Et quod sunt |
VIEW AND COMPARE
|
37 |
quidem propositiones universales negativae, non erit ex eis |
VIEW AND COMPARE
|
38 |
penitus syllogismus, quia concluduntur duo contraria. Et termini, |
VIEW AND COMPARE
|
39 |
quibus concluditur affirmativa sunt: equus, inanimatum, animal et equus |
VIEW AND COMPARE
|
40 |
est minor, et inanimatum est medius, quod est, quia inanimatum non est |
VIEW AND COMPARE
|
41 |
equus et inanimatum non est animal et equus est animal. Et quibus con- |
VIEW AND COMPARE
|
42 |
cluditur negativa: equus, inanimatum, homo et equus est minor et in- |
VIEW AND COMPARE
|
43 |
animatum medius et homo maior, quod est, quia inanimatum non est equus |
VIEW AND COMPARE
|
44 |
et inanimatum non est homo et equus non est homo. [67] Iamque ostensum est, |
VIEW AND COMPARE
|
45 |
quando erit syllogismus in hac figura, quando sint simul ambae propositio- |
VIEW AND COMPARE
|
46 |
nes universales et quando non erit, quod est, quia quando erunt affirmativae erit |
VIEW AND COMPARE
|
47 |
syllogismus concludens affirmativam particularem et similiter quando |
VIEW AND COMPARE
|
48 |
erit maior negativa et minor affirmativa, erit syllogismus |
VIEW AND COMPARE
|
49 |
concludens particularem negativam, sed quando erunt ambae negativae aut erit |
VIEW AND COMPARE
|
50 |
minor universalis negativa et maior affirmativa non erit syllogismus. |
VIEW AND COMPARE
|
|
Capitulum 11 |
|
51 |
Sermo in syllogismis particularibus universalibus. Capitulum 11 |
VIEW AND COMPARE
|
52 |
[68] Et quando erunt una ipsarum quidem universalis et alia particu- |
VIEW AND COMPARE
|
53 |
laris quaecumque duarum sit, et erunt affirmativae, erit |
VIEW AND COMPARE
|
54 |
syllogismus concludens affirmativam particularem, cuius |
VIEW AND COMPARE
|
55 |
exemplum est, quoniam quando posuimus, quod omne b. est g. et quoddam b. est a., dico, |
VIEW AND COMPARE
|
56 |
quod quoddam g. est a., scilicet quando minor est universalis et maior particularis, quod est, quia |
VIEW AND COMPARE
|
57 |
convertitur: Quoddam b. est a., eritque nobiscum, quoddam a. est b. et omne b. est g., |
VIEW AND COMPARE
|
58 |
ergo concluditur in figura prima, quod quoddam a. est g., deinde convertitur haec |
VIEW AND COMPARE
|
59 |
conclusio et concluditur hoc quaesitum, quod est: [69] Quoddam g. est a. et hoc |
VIEW AND COMPARE
|
60 |
concluditur per duas conversiones. Et similiter est etiam, quoniam |
VIEW AND COMPARE
|
61 |
est particularis minor et universalis maior, erit syllogismus concludens. |
VIEW AND COMPARE
|
62 |
Verbis gratia, ut ponamus, quod quoddam g. est b. et omne b. est a., |
VIEW AND COMPARE
|
63 |
dico, quod concluditur, quod quoddam g. est a. et illud est, quia convertitur |
VIEW AND COMPARE
|
64 |
hoc particularis et est nobiscum quoddam g. est b. et omne b. est |
VIEW AND COMPARE
|
65 |
a. Et concluditur in figura prima, quod quoddam g. est a. Iamque osten- |
VIEW AND COMPARE
|
66 |
ditur hoc per positionem et illud est, quoniam posuimus, quod quod- |
VIEW AND COMPARE
|
67 |
dam b. sit z. et erit omne z. est g. et omne z. est a reditque ad |
VIEW AND COMPARE
|