Barbara, Baroco, Bocardo;
[AAI, AEO, Felapton;]
Celarent, Festino, Disamis;
[EAO, EAO, Darapti;]
Darii, Camestres, Ferison;
Ferio, Cesare, Datisi.
The corresponding antilogisms are AAO, [AAE,] EAI, [EAA,] AIE, EIA.[362]
[362] The position of the terms in these antilogisms corresponds to that of figure 1, the major premiss being stated first.
267. The Moods of Figure 4 in their relation to one another.—We have seen that in the equivalent trios of syllogisms yielded by the process of indirect reduction we never have in any one trio more than one syllogism in figure 1, or in figure 2, or in figure 3. Figure 4 is, however, self-contained in the sense that if we start with a syllogism in this figure, both the other syllogisms will be in the same figure. Proceeding as in the last section, we may shew this as follows, the major premiss being stated first:[363]
| P ⎯ M, M ⎯ S, ∴ (S ⎯ P)ʹ; | (1) |
| M ⎯ S, S ⎯ P, ∴ (P ⎯ M)ʹ; | (2) |
| S ⎯ P, P ⎯ M, ∴ (M ⎯ S)ʹ. | (3) |