FIGURE III.
§ 636. CANON. If two terms include another term in common, or if the first includes the whole and the second a part of the same term, or vice versâ, the first of these two terms partly includes the second; and if the first is excluded from the whole of a term which is wholly or in part included in the second, or is excluded from part of a term which is wholly included in the second, the first is excluded from part of the second.
Here it is evident from the statement that six cases arise—
(1) Total inclusion of the same term in two others (Darapti).
[Illustration]
All B is A. All B is C. .'. some C is A.
(2) Total inclusion in the first and partial inclusion in the second (Datisi).
[Illustration]
All B is A. Some B is C. .'. some C is A.
(3) Partial inclusion in the first and total inclusion in the second (Disamis).
[Illustration]
Some B is A. All B is C. .'. some C is A.
(4) Total exclusion of the first from a term which is wholly included in the second (Felapton).
[Illustration]
No B is A. All B is C. .'. some C is not A.
(5) Total exclusion of the first from a term which is partly included in the second (Ferison).
[Illustration]
No B is A. Some B is C. .'. some C is not A.
(6) Exclusion of the first from part of a term which is wholly included in the second (Bokardo).
[Illustration]
Some B is not A.
All B is C.
.'. Some C is not A.