" We call that de omni predication, where it is not possible to take any individual denoted by the subject of which the other [i.e. the attribute denoted by the predicate] is not predicated; and de nullo predication is to be defined likewise." Farther on (25 632- 40), a definition and illustration are given of the syllogism in the first figure ; and the syllogism of the first mode is based directly upon the preceding definition of de omni predication: —
"When, therefore, three terms are so related that the minor in its whole extent is the subject of the middle taken affirmatively, and the middle in its whole extent the subject of the major taken affirmatively or negatively, there must be a perfect syllogism of the two extreme terms. . . . For if A is predicated of all B and B of all C, A must be predicated of all C, for we have defined above what is meant by de omni predication."
It is thus seen that Aristotle bases the syllogism upon the dictum de omni et nullo, which is a definition and has nothing to say about the compatibility or incompatibility of the positive and its negative. A still clearer case of Aristotle's reducing the syllogism to -a definition of de omni and de nullo predication can be made out by a reference to his treatment of the syllogism in the contingent mode (32 b 38-33 a 5):—
"When, therefore, A may belong to all B and B to all C, there will be a perfect syllogism that A may belong to all C. This is evident from the definition, For this is what we defined de omni contingent predication to mean. Similarly if A may belong to no B and B to all C, it follows that A may belong to no C. For the premiss, 'A may not belong to whatever B may belong to,' has been defined to mean that nothing should be excluded which may come under B."
Similarly in the Posterior Analytics (73 a 28 sq.) Aristotle defines the dictum de omni, and as an illustration gives a syllogism ((Greek characters) . . . ) .
But it would be wrong to infer from all this that Aristotle assigns no importance to the principles of contradiction and ex- cluded middle. Quite the contrary. He devotes the entire second part of the fourth ((Greek characters)), and a few chapters of the eleventh ((Greek characters)) book of the Metaphysics to show that we cannot get along without them, and they are the basis of all (Greek characters) and (Greek characters)