1 |
plum, cuius est quoddam g. non esset b. et omne a. est b. Dico |
VIEW AND COMPARE
|
2 |
igitur, quod sequitur particularis negativa, quae est quoddam g. |
VIEW AND COMPARE
|
3 |
non est a., cuius demonstratio est, quia si non est dictum nostrum: |
VIEW AND COMPARE
|
4 |
Quoddam g. non est a., verum, erit verum contradictorium eius, quod |
VIEW AND COMPARE
|
5 |
est: Omne g. est a., cui adiungemus propositionem secundam quam |
VIEW AND COMPARE
|
6 |
posuimus, quod est dictum nostrum: Omne a. est b. et sequitur ex eo |
VIEW AND COMPARE
|
7 |
in figura prima, ut sit omne g. b., sed iam posuimus, quod quod- |
VIEW AND COMPARE
|
8 |
dam g. non est b. et hoc est falsum et impossibile, ex quo sequitur |
VIEW AND COMPARE
|
9 |
falsum est falsum, si falsum quidem sequitur ex positione nostra, |
VIEW AND COMPARE
|
10 |
quod omne g. est a. ergo dictum nostrum: Omne g. est a., est falsum, igitur |
VIEW AND COMPARE
|
11 |
eius contradictorium est verum, quod est dictum: Quoddam g. non |
VIEW AND COMPARE
|
12 |
est a. et hoc est, quod volumus ostendere. |
VIEW AND COMPARE
|
13 |
[52] Et quando est quidem |
VIEW AND COMPARE
|
14 |
propositio maior in hac figura particularis et minor universalis. |
VIEW AND COMPARE
|
15 |
Estque una ipsarum divisa ab alia in qualitate non erit ex hoc |
VIEW AND COMPARE
|
16 |
syllogismus. Sitque primo maior particularis negativa et minor |
VIEW AND COMPARE
|
17 |
affirmativa universalis, cuius exemplum est: Omne g. est b. et quoddam |
VIEW AND COMPARE
|
18 |
a. non est b. et ostensio eius est, quia invenitur concludere in mate- |
VIEW AND COMPARE
|
19 |
riis diversis duo contraria simul. Et termini concludentes affirma- |
VIEW AND COMPARE
|
20 |
tivam sunt: corvus, animal, substantia, et corvus est minor et animal |
VIEW AND COMPARE
|
21 |
medius, quoniam omnis corvus est animal et quaedam substantia non est |
VIEW AND COMPARE
|
22 |
animal et conclusio est: Omnis corvus est substantia, quae est affirma- |
VIEW AND COMPARE
|
23 |
tiva vera. Et termini quidem concludentes negativam sunt: corvus, |
VIEW AND COMPARE
|
24 |
animal, album, quod est, quia corvus omnis est animal et quoddam albus |
VIEW AND COMPARE
|
25 |
non est animal et concluditur: Nullus corvus est albus et hoc est |
VIEW AND COMPARE
|
26 |
verum. Et similiter etiam non erit syllogismus, quando erit maior |
VIEW AND COMPARE
|
27 |
affirmativa particularis et minor negativa universalis et exemplum |
VIEW AND COMPARE
|
28 |
illius est ex litteris: nullum g. est b. et quoddam a. est b. et termini |
VIEW AND COMPARE
|
29 |
concludentes affirmativam in hac compositione sunt: lapis, animal |
VIEW AND COMPARE
|
30 |
et substantia et lapis est minor et animal medius, quod est, quia |
VIEW AND COMPARE
|
31 |
nullus lapis est animal et quaedam substantia est animal et conclusio: |
VIEW AND COMPARE
|
32 |
Omnis lapis est substantia et termini concludentes negativam |
VIEW AND COMPARE
|
33 |
sunt: scientia, animal et substantia et scientia est maior et secundum nostrum |
VIEW AND COMPARE
|
34 |
ordinem et animal medius, quod est, quia scientia non est animal et quaedam |
VIEW AND COMPARE
|
35 |
substantia est animal et conclusio est: Scientia non est substantia. |
VIEW AND COMPARE
|
36 |
[53] Iam ergo ostensum est, quandoque est propositio universalis in hac figura diver- |
VIEW AND COMPARE
|
37 |
sa a particulari in qualitate, quando erit syllogismus et quando non. |
VIEW AND COMPARE
|
38 |
[54] Sed quando sunt universalis et particularis similes in qualitate, scilicet nega- |
VIEW AND COMPARE
|
39 |
tivae simul aut affirmativae non erit syllogismus penitus. Sit |
VIEW AND COMPARE
|
40 |
conclusio primo negativa et sit universalis propositio maior et particularis |
VIEW AND COMPARE
|
41 |
minor, cuius exemplum est, ut sit b. non in omni g. et nullum a. est |
VIEW AND COMPARE
|
42 |
b., cuius demonstratio est, quia dictum nostrum: b. non est in omni g. est in- |
VIEW AND COMPARE
|
43 |
definitum, cum quo iam verificatur negativa universalis. Iamque verificatur |
VIEW AND COMPARE
|
44 |
cum eo affirmativa particularis et quoniam verificatur cum eo nega- |
VIEW AND COMPARE
|
45 |
tiva universalis, non erit concludens sicut ostensum est. Et inveniuntur ter- |
VIEW AND COMPARE
|
46 |
mini concludentes affirmativa universalem, sed quando verificatur cum eo |
VIEW AND COMPARE
|
47 |
affirmativa particularis et non inveniuntur termini concluden- |
VIEW AND COMPARE
|
48 |
tes universalem affirmativam, quod est, quia si inveniuntur termini con- |
VIEW AND COMPARE
|
49 |
cludentes, quod omne g. est a. Iamque fuit nobiscum, quod omne a. est b., |
VIEW AND COMPARE
|
50 |
oportet, quod nullum g. sit b. et erit particularis negativa per po- |
VIEW AND COMPARE
|
51 |
sitionem non per naturam. Iamque posuimus eam negativam per naturam, |
VIEW AND COMPARE
|
52 |
quae est cum qua verificatur quoddam g. est b. et hoc falsum non est |
VIEW AND COMPARE
|
53 |
possibile. Sed ostensio, quod hoc compositio non est concludens est pro- |
VIEW AND COMPARE
|
54 |
pterea, quia illa negativa particularis est indefinita, scilicet quia |
VIEW AND COMPARE
|
55 |
ipsa est aliquando particularis per naturam et aliquando per posi- |
VIEW AND COMPARE
|
56 |
tionem et erit aliquando concludens et aliquando non concludens non nu- |
VIEW AND COMPARE
|
57 |
meratur syllogismus, quoniam syllogismus sit id, quod concludit conclu- |
VIEW AND COMPARE
|
58 |
sionem unam et semper et necessario. Iamque est possibile, ut agatur, in hoc |
VIEW AND COMPARE
|
59 |
ostensio praecedens, quae apta fuit in syllogismis primae figurae, scilicet ut ac- |
VIEW AND COMPARE
|
60 |
cipiatur ex illo quodam aliquid, de quo verificetur praedicatum quaesiti et |
VIEW AND COMPARE
|
61 |
aliquid, de quo falsificet, cuius exemplum est, ut dicamus: Quoddam |
VIEW AND COMPARE
|
62 |
album non est animal et nullus lapis est animal. Deinde ac- |
VIEW AND COMPARE
|
63 |
cipiamus de quodam albo aliquid, de quo falsificetur lapis, quod |
VIEW AND COMPARE
|
64 |
est penitus album et de quo verificetur lapis, quod est marmor. |
VIEW AND COMPARE
|
65 |
Sed vis huius ostensionis est vis translationis ad negati- |
VIEW AND COMPARE
|
66 |
vam minorem universalem. Et per hoc putatur, quod Aristoteles non exem- |
VIEW AND COMPARE
|
67 |
plificavit eam hic. |
VIEW AND COMPARE
|
68 |
[55] Sint etiam affirmativae, et si universalis maior et |
VIEW AND COMPARE
|
69 |
particularis minor, ita ut sit quoddam g. b. et omne a. b. et |
VIEW AND COMPARE
|