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 the body as well has its virtue and vice. But this much at least is true, that the differentiae of contraries are either contrary or else the same. If, then, the contrary differentia to that given be predicated of the contrary term and not of the one in hand, clearly the differentia stated must be predicated of the latter. Speaking generally, seeing that the definition consists of genus and differentiae, if the definition of the contrary term be apparent, the definition of the term before you will be apparent also: for since its contrary is found either in the same genus or in the contrary genus, and likewise also the differentiae predicated of opposites are either contrary to, or the same as, each other, clearly of the term before you there will be predicated either the same genus as of its contrary, while, of its differentiae, either all are contrary to those of its contrary, or at least some of them are so while the rest remain the same; or, vice versa, the differentiae will be the same and the genera contrary; or both genera and differentiae will be contrary. And that is all; for that both should be the same is not possible; else contraries will have the same definition.
Moreover, look at it from the point of view of its inflexions and coordinates. For genera and definitions are bound to correspond in either case. Thus if forgetfulness be the loss of knowledge, to forget is to lose knowledge, and to have forgotten is to have lost knowledge. If, then, any one whatever of these is agreed to, the others must of necessity be agreed to as well. Likewise, also, if destruction is the decomposition of the thing’s essence, then to be destroyed is to have its essence decomposed, and ‘destructively’ means ‘in such a way as to decompose its essence’; if again ‘destructive’ means ‘apt to decompose something’s essence’, then also ‘destruction’ means ‘the decomposition of its essence’. Likewise also with the rest: an admission of any one of them whatever, and all the rest are admitted too.
Moreover, look at it from the point of view of things that stand in relations that are like each other. For if ‘healthy’ means ‘productive of health’, ‘vigorous’ too will mean ‘productive of vigour’, and ‘useful’ will mean ‘productive of good.’ For each of these things is related in like manner to its own peculiar end, so that if one of them is defined as ‘productive of’ that end, this will also be the definition of each of the rest as well.
Moreover, look at it from the point of and like degrees, in all the ways in which it is possible to establish a result by comparing two and two together. Thus if A defines a better than B defines and B is a definition of so too is A of a. Further, if A’s claim to define a is like B’s to define B, and B defines B, then A too defines a. This examination from the point of view of greater degrees is of no use when a single definition is compared with two things, or two definitions with one thing; for there cannot possibly be one definition of two things or two of the same thing.
<
div id="section67" class="section" title="4">
4
The most handy of all the commonplace arguments are those just mentioned and those from co-ordinates and inflexions, and these therefore are those which it is most important to master and to have ready to hand: for they are the most useful on the greatest number of occasions. Of the rest, too, the most important are those of most general application: for these are the most effective, e.g. that you should examine the individual cases, and then look to see in the case of their various species whether the definition applies. For the species is synonymous with its individuals. This sort of inquiry is of service against those who assume the existence of Ideas, as has been said before.’ Moreover see if a man has used a term metaphorically, or predicated it of itself as though it were something different. So too if any other of the commonplace rules is of general application and effective, it should be employed.
<
div id="section68" class="section" title="5">
5
That it is more difficult to establish than to overthrow a definition, is obvious from considerations presently to be urged. For to see for oneself, and to secure from those whom one is questioning, an admission of premisses of this sort is no simple matter, e.g. that of the elements of the definition rendered the one is genus and the other differentia, and that only the genus and differentiae are predicated in the category of essence. Yet without these premisses it is impossible to reason to a definition; for if any other things as well are predicated of the thing in the category of essence, there is no telling whether the formula stated or some other one is its definition, for a definition is an expression indicating the essence of a thing. The point is clear also from the following: It is easier to draw one conclusion than many. Now in demolishing a definition it is sufficient to argue against one point only (for if we have overthrown any single point whatsoever, we shall have demolished the definition); whereas in establishing a definition, one is bound to bring people to the view that everything contained in the definition is attributable. Moreover, in establishing a case, the reasoning brought forward must be universal: for the definition put forward must be predicated of everything of which the term is predicated, and must moreover be convertible, if the definition rendered is to be peculiar to the subject. In overthrowing a view, on the other hand, there is no longer any necessity to show one’s point universally: for it is enough to show that the formula is untrue of any one of the things embraced under the term.
Further, even supposing it should be necessary to overthrow something by a universal proposition, not even so is there any need to prove the converse of the proposition in the process of overthrowing the definition. For merely to show that the definition fails to be predicated of every one of the things of which the term is predicated, is enough to overthrow it universally: and there is no need to prove the converse of this in order to show that the term is predicated of things of which the expression is not predicated. Moreover, even if it applies to everything embraced under the term, but not to it alone, the definition is thereby demolished.
The case stands likewise in regard to the property and genus of a term also. For in both cases it is easier to overthrow than to establish. As regards the property this is clear from what has been said: for as a rule the property is rendered in a complex phrase, so that to overthrow it, it is only necessary to demolish one of the terms used, whereas to establish it is necessary to reason to them all. Then, too, nearly all the other rules that apply to the definition will apply also to the property of a thing. For in establishing a property one has to show that it is true of everything included under the term in question, whereas to overthrow one it is enough to show in a single case only that it fails to belong: further, even if it belongs to everything falling under the term, but not to that only, it is overthrown in this case as well, as was explained in the case of the definition. In regard to the genus, it is clear that you are bound to establish it in one way only, viz. by showing that it belongs in every case, while of overthrowing it there are two ways: for if it has been shown that it belongs either never or not in a certain case, the original statement has been demolished. Moreover, in establishing a genus it is not enough to show that it belongs, but also that it belongs as genus has to be shown; whereas in overthrowing it, it is enough to show its failure to belong either in some particular case or in every case. It appears, in fact, as though, just as in other things to destroy is easier than to create, so in these matters too to overthrow is easier than to establish.
In the case of an accidental attribute the universal proposition is easier to overthrow than to establish; for to establish it, one has to show that it belongs in every case, whereas to overthrow it, it is enough to show that it does not belong in one single case. The particular proposition is, on the contrary, easier to establish than to overthrow: for to establish it, it is enough to show that it belongs in a particular instance, whereas to overthrow it, it has to be shown that it never belongs at all.
It is clear also