Plato. Hence it is not unlikely that the list was taken over by Aristotle as one which would be familiar to pupils who had read their Plato, and therefore convenient for practical purposes. The fivefold classification does depend on a principle pointed out by Aristotle which guarantees its completeness, and is therefore likely to have been thought out by him for himself, and to be the genuine Aristotelian scheme. Consider an ordinary universal affirmative proposition of the form "all xs are ys." Now if this statement is true it may also be true that "all ys are xs," or it may not. On the first supposition we have two possible cases, (1) the predicate may state precisely what the subject defined is; then y is the Definition of x, as when I say that "men are mortal animals, capable of discourse." Here it is also true to say that "mortal animals capable of discourse are men," and Aristotle regards the predicate "mortal animal capable of discourse" as expressing the inmost nature of man. (2) The predicate may not express the inmost nature of the subject, and yet may belong only to the class denoted by the subject and to every member of that class. The predicate is then called a Proprium or property, an exclusive attribute of the class in question. Thus it was held that "all men are capable of laughter" and "all beings capable of laughter are men," but that the capacity for laughter is no part of the inmost nature or "real essence" of humanity. It is therefore reckoned as a Proprium.

Again in the case where it is true that "all xs are ys," but not true that all "ys are xs," y may be part of the definition of x or it may not. If it is part of the definition of x it will be either (3) a genus or wider class of which x forms a subdivision, as when I say, "All men are animals," or (4) a difference, that is, one of the distinctive marks by which the xs are distinguished from other sub-classes or species of the same genus, as when I say, "All men are capable of discourse." Or finally (5) y may be no part of the definition of x, but a characteristic which belongs both to the xs and some things other than xs. The predicate is then called an Accident. We have now exhausted all the possible cases, and may say that the predicate of a universal affirmative proposition is always either a definition, a proprium, a genus, a difference, or an accident. This classification reached the Middle Ages not in the precise form in which it is given by Aristotle, but with modifications mainly due to the Neo-Platonic philosopher Porphyry. In its modified form it is regarded as a classification of terms generally. Definition disappears from the list, as the definition is regarded as a complex made up of the genus, or next highest class to which the class to be defined belongs, and the differences which mark off this particular species or sub-class. The species itself which figures as the subject-term in a definition is added, and thus the "Five Words" of mediæval logic are enumerated as genus, species, difference, proprium, accident.

The one point of philosophical interest about this doctrine appears alike in the scheme of the "Categories" in the presence of a category of "substance," and in the list of "Predicaments" in the sharp distinction drawn between "definition" and "proprium." From a logical point of view it does not appear why any proprium, any character belonging to all the members of a class and to them alone, should not be taken as defining the class. Why should it be assumed that there is only one predicate, viz. man, which precisely answers the question, "What is Socrates?" Why should it not be equally correct to answer, "a Greek," or "a philosopher"? The explanation is that Aristotle takes it for granted that not all the distinctions we can make between "kinds" of things are arbitrary and subjective. Nature herself has made certain hard and fast divisions between kinds which it is the business of our thought to recognise and follow. Thus according to Aristotle there is a real gulf, a genuine difference in kind, between the horse and the ass, and this is illustrated by the fact that the mule, the offspring of a horse and an ass, is not capable of reproduction. It is thus a sort of imperfect being, a kind of "monster" existing contra naturam. Such differences as we find when we compare e.g. Egyptians with Greeks do not amount to a difference in "kind." To say that Socrates is a man tells me what Socrates is, because the statement places Socrates in the real kind to which he actually belongs; to say that he is wise, or old, or a philosopher merely tells me some of his attributes. It follows from this belief in "real" or "natural" kinds that the problem of definition acquires an enormous importance for science. We, who are accustomed to regard the whole business of classification as a matter of making a grouping of our materials such as is most pertinent to the special question we have in hand, tend to look upon any predicate which belongs universally and exclusively to the members of a group, as a sufficient basis for a possible definition of the group. Hence we are prone to take the "nominalist" view of definition, i.e. to look upon a definition as no more than a declaration of the sense which we intend henceforward to put on a word or other symbol. And consequently we readily admit that there may be as many definitions of a class as it has different propria. But in a philosophy like that of Aristotle, in which it is held that a true classification must not only be formally satisfactory, but must also conform to the actual lines of cleavage which Nature has established between kind and kind, the task of classificatory science becomes much more difficult. Science is called on to supply not merely a definition but the definition of the classes it considers, the definition which faithfully reflects the "lines of cleavage" in Nature. This is why the Aristotelian view is that a true definition should always be per genus et differentias. It should "place" a given class by mentioning the wider class next above it in the objective hierarchy, and then enumerating the most deep-seated distinctions by which Nature herself marks off this class from others belonging to the same wider class. Modern evolutionary thought may possibly bring us back to this Aristotelian standpoint. Modern evolutionary science differs from Aristotelianism on one point of the first importance. It regards the difference between kinds, not as a primary fact of Nature, but as produced by a long process of accumulation of slight differences. But a world in which the process has progressed far enough will exhibit much the same character as the Nature of Aristotle. As the intermediate links between "species" drop out because they are less thoroughly adapted to maintain themselves than the extremes between which they form links, the world produced approximates more and more to a