Deductive Logic
by George William Joseph Stock, M.A.
Part 3: Chapter 15
Additional Information
 Year Published: 1888
 Language: English
 Country of Origin: England
 Source: Stock, G. W. J. (1888). Deductive Logic. Oxford, England; Pembroke College.

Readability:
 Flesch–Kincaid Level: 11.0
 Word Count: 1,401
 Genre: Informational
 Keywords: math, math history
 ✎ Cite This
Downloads
PART III.—OF INFERENCES
CHAPTER XV.
Of the Special Canons of the Four Figures.
633. So far we have given only a negative test of legitimacy, having shown what moods are not invalidated by running counter to any of the special rules of the four figures. We will now lay down special canons for the four figures, conformity to which will serve as a positive test of the validity of a given mood in a given figure. The special canon of the first figure—will of course be practically equivalent to the Dictum de Omni et Nullo. All of them will be expressed in terms of extension, for the sake of perspicuity.
Special Canons of the Four Figures.
FIGURE 1.
634. CANON. If one term wholly includes or excludes another, which wholly or partly includes a third, the first term wholly or partly includes or excludes the third.
Here four cases arise—
[Illustration]
(1) Total inclusion (Barbara).
All B is A.
All C is B.
.’. All C is A.
[Illustration]
(2) Partial inclusion (Darii).
All B is A.
Some C is B.
.’. Some C is A.
[Illustration]
(3) Total exclusion (Celarent).
No B is A.
All C is B.
.’. No C is A.
[Illustration]
(4) Partial exclusion (Ferio).
No B is A.
Some C is B.
.’. Some C is not A.
FIGURE II.
635. CANON. If one term is excluded from another, which wholly or partly includes a third, or is included in another from which a third is wholly or partly excluded, the first is excluded from the whole or part of the third.
Here we have four cases, all of exclusion—
(1) Total exclusion on the ground of inclusion in an excluded term (Cesare).
[Illustration]
No A is B.
All C is B.
.’. No C is A.
(2) Partial exclusion on the ground of a similar partial inclusion (Festino).
[Illustration]
No A is B.
Some C is B.
.’. Some C is not A.
(3) Total exclusion on the ground of exclusion from an including term (Camestres).
[Illustration]
All A is B.
No C is B.
.’. No C is A.
(4) Partial exclusion on the ground of a similar partial exclusion (Baroko).
[Illustration]
All A is B.
Some C is not B.
.’. Some C is not A.
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 versa, 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.
FIGURE IV.
637. CANON. If one term is wholly or partly included in another which is wholly included in or excluded from a third, the third term wholly or partly includes the first, or, in the case of total inclusion, is wholly excluded from it; and if a term is excluded from another which is wholly or partly included in a third, the third is partly excluded from the first.
Here we have five cases—
(1) Of the inclusion of a whole term (Bramsntip).
[Illustration]
All A is B.
All B is C.
.’. Some C is (all) A.
(2) Of the inclusion of part of a term (DIMARIS).
[Illustration]
Some A is B.
All B is C.
.’. Some C is (some) A,
(3) Of the exclusion of a whole term (Camenes).
[Illustration]
All A is B.
No B is C.
.’. No C is A.
(4) Partial exclusion on the ground of including the whole of an excluded term (Fesapo).
[Illustration]
No A is B.
All B is C.
.’. Some C is not A.
(5) Partial exclusion on the ground of including part of an excluded term (Fresison).
[Illustration]
No A is B.
Some B is C.
.’. Some C is not A.
638. It is evident from the diagrams that in the subaltern moods the conclusion is not drawn directly from the premisses, but is an immediate inference from the natural conclusion. Take for instance AAI in the first figure. The natural conclusion from these premisses is that the minor term C is wholly contained in the major term A. But instead of drawing this conclusion we go on to infer that something which is contained in C, namely some C, is contained in A.
[Illustration]
All B is A.
All C is B.
.’. all C is A.
.’. some C is A.
Similarly in EAO in figure 1, instead of arguing that the whole of C is excluded from A, we draw a conclusion which really involves a further inference, namely that part of C is excluded from A.
[Illustration]
No B is A.
All C is B.
.’. no C is A.
.’. some C is not A.
639. The reason why the canons have been expressed in so cumbrous a form is to render the validity of all the moods in each figure at once apparent from the statement. For purposes of general convenience they admit of a much more compendious mode of expression.
640. The canon of the first figure is known as the Dictum de Omni et Nullo—
What is true (distributively) of a whole term is true of all that it includes.
641. The canon of the second figure is known as the Dictum de Diverse—
If one term is contained in, and another excluded from a third term, they are mutually excluded.
642. The canon of the third figure is known as the Dictum de Exemplo et de Excepto—
Two terms which contain a common part partly agree, or, if one contains a part which the other does not, they partly differ.
643. The canon of the fourth figure has had no name assigned to it, and does not seem to admit of any simple expression. Another mode of formulating it is as follows:—
Whatever is affirmed of a whole term may have partially affirmed of it whatever is included in that term (Bramantip, Dimaris), and partially denied of it whatever is excluded (Fesapo); whatever is affirmed of part of a term may have partially denied of it whatever is wholly excluded from that term (Fresison); and whatever is denied of a whole term may have wholly denied of it whatever is wholly included in that term (Camenes).
644. From the point of view of intension the canons of the first three figures may be expressed as follows.
645. Canon of the first figure. Dictum de Omni et Nullo—
An attribute of an attribute of anything is an attribute of the thing itself.
646. Canon of the second figure. Dictum de Diverso—
If a subject has an attribute which a class has not, or vice versa, the subject does not belong to the class.
647. Canon of the third figure.
1. Dictum de Exemplo—
If a certain attribute can be affirmed of any portion of the members of a class, it is not incompatible with the distinctive attributes of that class.
2. Dictum de Excepto—
If a certain attribute can be denied of any portion of the members of a class, it is not inseparable from the distinctive attributes of that class.