Page - 320 - in The Complete Aristotle

of the kind as their starting points-both in geometry and in arithmetic and the other studies of that kind. In the second place, to say accurately what a definition is, and how it should be given, belongs to another inquiry. At present it concerns us only so far as is required for our present purpose, and accordingly we need only make the bare statement that to reason to a thing’s definition and essence is quite possible. For if a definition is an expression signifying the essence of the thing and the predicates contained therein ought also to be the only ones which are predicated of the thing in the category of essence; and genera and differentiae are so predicated in that category: it is obvious that if one were to get an admission that so and so are the only attributes predicated in that category, the expression containing so and so would of necessity be a definition; for it is impossible that anything else should be a definition, seeing that there is not anything else predicated of the thing in the category of essence. That a definition may thus be reached by a process of reasoning is obvious. The means whereby it should be established have been more precisely defined elsewhere, but for the purposes of the inquiry now before us the same commonplace rules serve. For we have to examine into the contraries and other opposites of the thing, surveying the expressions used both as wholes and in detail: for if the opposite definition defines that opposite term, the definition given must of necessity be that of the term before us. Seeing, however, that contraries may be conjoined in more than one way, we have to select from those contraries the one whose contrary definition seems most obvious. The expressions, then, have to be examined each as a whole in the way we have said, and also in detail as follows. First of all, see that the genus rendered is correctly rendered; for if the contrary thing be found in the contrary genus to that stated in the definition, and the thing before you is not in that same genus, then it would clearly be in the contrary genus: for contraries must of necessity be either in the same genus or in contrary genera. The differentiae, too, that are predicated of contraries we expect to be contrary, e.g. those of white and black, for the one tends to pierce the vision, while the other tends to compress it. So that if contrary differentiae to those in the definition are predicated of the contrary term, then those rendered in the definition would be predicated of the term before us. Seeing, then, that both the genus and the differentiae have been rightly rendered, clearly the expression given must be the right definition. It might be replied that there is no necessity why contrary differentiae should be predicated of contraries, unless the contraries be found within the same genus: of things whose genera are themselves contraries it may very well be that the same differentia is used of both, e.g. of justice and injustice; for the one is a virtue and the other a vice of the soul: ‘of the soul’, therefore, is the differentia in both cases, seeing that 320