A System of Logic: Ratiocinative and Inductive by John Stuart Mill (good beach reads .txt) 📖

these two classifications, the one answers to a much more radical distinction in the things themselves, than the other does. And if any one even chooses to say that the one classification is made by nature, the other by us for our convenience, he will be right; provided he means no more than this: Where a certain apparent difference between things (though perhaps in itself of little moment) answers to we know not what number of other differences, pervading not only their known properties, but properties yet undiscovered, it is not optional but imperative to recognise this difference as the foundation of a specific distinction; while, on the contrary, differences that are merely finite and determinate, like those designated by the words white, black, or red, may be disregarded if the purpose for which the classification is made does not require attention to those particular properties. The differences, however, are made by nature, in both cases; while the recognition of those differences as grounds of classification and of naming, is, equally in both cases, the act of man: only in the one case, the ends of language and of classification would be subverted if no notice were taken of the difference, while in the other case, the necessity of taking notice of it depends on the importance or unimportance of the particular qualities in which the difference happens to consist.

Now, these classes, distinguished by unknown multitudes of properties, and not solely by a few determinate ones—which are parted off from one another by an unfathomable chasm, instead of a mere ordinary ditch with a visible bottom—are the only classes which, by the Aristotelian logicians, were considered as genera or species. Differences which extended only to a certain property or properties, and there terminated, they considered as differences only in the accidents of things; but where any class differed from other things by an infinite series of differences, known and unknown, they considered the distinction as one of kind, and spoke of it as being an essential difference, which is also one of the current meanings of that vague expression at the present day.

Conceiving the schoolmen to have been justified in drawing a broad line of separation between these two kinds of classes and of class-distinctions, I shall not only retain the division itself, but continue to express it in their language. According to that language, the proximate (or lowest) Kind to which any individual is referrible, is called its species. Conformably to this, Sir Isaac Newton would be said to be of the species man. There are indeed numerous sub-classes included in the class man, to which Newton also belongs; for example, Christian, and Englishman, and Mathematician. But these, though distinct classes, are not, in our sense of the term, distinct Kinds of men. A Christian, for example, differs from other human beings; but he differs only in the attribute which the word expresses, namely, belief in Christianity, and whatever else that implies, either as involved in the fact itself, or connected with it through some law of cause and effect. We should never think of inquiring what properties, unconnected with Christianity either as cause or effect, are common to all Christians and peculiar to them; while in regard to all Men, physiologists are perpetually carrying on such an inquiry; nor is the answer ever likely to be completed. Man, therefore, we may call a species; Christian, or Mathematician, we cannot.

Note here, that it is by no means intended to imply that there may not be different Kinds, or logical species, of man. The various races and temperaments, the two sexes, and even the various ages, may be differences of kind, within our meaning of the term. I do not say that they are so. For in the progress of physiology it may almost be said to be made out, that the differences which really exist between different races, sexes, &c., follow as consequences, under laws of nature, from a small number of primary differences which can be precisely determined, and which, as the phrase is, account for all the rest. If this be so, these are not distinctions in kind; no more than Christian, Jew, Mussulman, and Pagan, a difference which also carries many consequences along with it. And in this way classes are often mistaken for real Kinds, which are afterwards proved not to be so. But if it turned out that the differences were not capable of being thus accounted for, then Caucasian, Mongolian, Negro, &c. would be really different Kinds of human beings, and entitled to be ranked as species by the logician; though not by the naturalist. For (as already noticed) the word species is used in a different signification in logic and in natural history. By the naturalist, organized beings are not usually said to be of different species, if it is supposed that they could possibly have descended from the same stock. That, however, is a sense artificially given to the word, for the technical purposes of a particular science. To the logician, if a negro and a white man differ in the same manner (however less in degree) as a horse and a camel do, that is, if their differences are inexhaustible, and not referrible to any common cause, they are different species, whether they are descended from common ancestors or not. But if their differences can all be traced to climate and habits, or to some one or a few special differences in structure, they are not, in the logician's view, specially distinct.

When the infima species, or proximate Kind, to which an individual belongs, has been ascertained, the properties common to that Kind include necessarily the whole of the common properties of every other real Kind to which the individual can be referrible. Let the individual, for example, be Socrates, and the proximate Kind, man. Animal, or living creature, is also a real Kind, and includes Socrates; but, since it likewise includes man, or in other words, since all men are animals, the properties common to animals form a portion of the common properties of the sub-class, man. And if there be any class which includes Socrates without including man, that class is not a real Kind. Let the class for example, be flat-nosed; that being a class which includes Socrates, without including all men. To determine whether it is a real Kind, we must ask ourselves this question: Have all flat-nosed animals, in addition to whatever is implied in their flat noses, any common properties, other than those which are common to all animals whatever? If they had; if a flat nose were a mark or index to an indefinite number of other peculiarities, not deducible from the former by an ascertainable law, then out of the class man we might cut another class, flat-nosed man, which according to our definition, would be a Kind. But if we could do this, man would not be, as it was assumed to be, the proximate Kind. Therefore, the properties of the proximate Kind do comprehend those (whether known or unknown) of all other Kinds to which the individual belongs; which was the point we undertook to prove. And hence, every other Kind which is predicable of the individual, will be to the proximate Kind in the relation of a genus, according to even the popular acceptation of the terms genus and species; that is, it will be a larger class, including it and more.

We are now able to fix the logical meaning of these terms. Every class which is a real Kind, that is, which is distinguished from all other classes by an indeterminate multitude of properties not derivable from one another, is either a genus or a species. A Kind which is not divisible into other Kinds, cannot be a genus, because it has no species under it; but it is itself a species, both with reference to the individuals below and to the genera above (Species Prædicabilis and Species Subjicibilis.) But every Kind which admits of division into real Kinds (as animal into mammal, bird, fish, &c., or bird into various species of birds) is a genus to all below it, a species to all genera in which it is itself included. And here we may close this part of the discussion, and pass to the three remaining predicables, Differentia, Proprium, and Accidens.

§ 5. To begin with Differentia. This word is correlative with the words genus and species, and as all admit, it signifies the attribute which distinguishes a given species from every other species of the same genus. This is so far clear: but we may still ask, which of the distinguishing attributes it signifies. For we have seen that every Kind (and a species must be a Kind) is distinguished from other Kinds not by any one attribute, but by an indefinite number. Man, for instance, is a species of the genus animal: Rational (or rationality, for it is of no consequence here whether we use the concrete or the abstract form) is generally assigned by logicians as the Differentia; and doubtless this attribute serves the purpose of distinction: but it has also been remarked of man, that he is a cooking animal; the only animal that dresses its food. This, therefore, is another of the attributes by which the species man is distinguished from other species of the same genus: would this attribute serve equally well for a differentia? The Aristotelians say No; having laid it down that the differentia must, like the genus and species, be of the essence of the subject.

And here we lose even that vestige of a meaning grounded in the nature of the things themselves, which may be supposed to be attached to the word essence when it is said that genus and species must be of the essence of the thing. There can be no doubt that when the schoolmen talked of the essences of things as opposed to their accidents, they had confusedly in view the distinction between differences of kind, and the differences which are not of kind; they meant to intimate that genera and species must be Kinds. Their notion of the essence of a thing was a vague notion of a something which makes it what it is, i. e. which makes it the Kind of thing that it is—which causes it to have all that variety of properties which distinguish its Kind. But when the matter came to be looked at more closely, nobody could discover what caused the thing to have all those properties, nor even that there was anything which caused it to have them. Logicians, however, not liking to admit this, and being unable to detect what made the thing to be what it was, satisfied themselves with what made it to be what it was called. Of the innumerable properties, known and unknown, that are common to the class man, a portion only, and of course a very small portion, are connoted by its name; these few, however, will naturally have been thus distinguished from the rest either for their greater obviousness, or for greater supposed importance. These properties, then, which were connoted by the name, logicians seized upon, and called them the essence of the species; and not stopping there, they affirmed them, in the case of the infima species, to be the essence of the individual too; for it was their maxim, that the species contained the "whole essence" of the thing. Metaphysics, that fertile field of delusion propagated by language, does not afford a more signal instance of such delusion. On this account it was that rationality, being connoted by the name man, was allowed to be a differentia of the class; but the peculiarity of cooking their food, not being connoted, was relegated to the class of accidental properties.

The distinction, therefore, between Differentia, Proprium, and Accidens,