The champion of division might here urge that though these lapses do occur, yet we can solve that difficulty if all the attributes we assume are constituents of the definable form, and if, postulating the genus, we produce by division the requisite uninterrupted sequence of terms, (30) and omit nothing; and that indeed we cannot fail to fulfil these conditions if what is to be divided falls whole into the division at each stage, and none of it is omitted; and that this—the dividendum—must without further question be (ultimately) incapable of fresh specific division. Nevertheless, we reply, division does not involve inference; if it gives knowledge, it gives it in another way. Nor is there any absurdity in this: induction, perhaps, is not demonstration any more than is division, yet it does make evident some truth. (35) Yet to state a definition reached by division is not to state a conclusion: as, when conclusions are drawn without their appropriate middles, the alleged necessity by which the inference follows from the premisses is open to a question as to the reason for it, so definitions reached by division invite the same question. [92a] Thus to the question ‘What is the essential nature of man?’ the divider replies ‘Animal, mortal, footed, biped, wingless’; and when at each step he is asked ‘Why?’, he will say, and, as he thinks, prove by division, that all animal is mortal or immortal: but such a formula taken in its entirety is not definition; so that even if division does demonstrate its formula, (5) definition at any rate does not turn out to be a conclusion of inference.
6 Can we nevertheless actually demonstrate what a thing essentially and substantially is, but hypothetically, i. e. by premising (1) that its definable form is constituted by the ‘peculiar’ attributes of its essential nature; (2) that such and such are the only attributes of its essential nature, and that the complete synthesis of them is peculiar to the thing; and thus—since in this synthesis consists the being of the thing—obtaining our conclusion? Or is the truth that, (10) since proof must be through the middle term, the definable form is once more assumed in this minor premiss too?
Further, just as in syllogizing we do not premise what syllogistic inference is (since the premisses from which we conclude must be related as whole and part),4 so the definable form must not fall within the syllogism but remain outside the premisses posited. It is only against a doubt as to its having been a syllogistic inference at all that we have to defend our argument as conforming to the definition of syllogism. (15) It is only when some one doubts whether the conclusion proved is the definable form that we have to defend it as conforming to the definition of definable form which we assumed. Hence syllogistic inference must be possible even without the express statement of what syllogism is or what definable form is.
The following type of hypothetical proof also begs the question. (20) If evil is definable as the divisible, and the definition of a thing’s contrary—if it has one—is the contrary of the thing’s definition; then, if good is the contrary of evil and the indivisible of the divisible, we conclude that to be good is essentially to be indivisible. The question is begged because definable form is assumed as a premiss, and as a premiss which is to prove definable form. ‘But not the same definable form’, you may object. That I admit, for in demonstrations also we premise that ‘this’ is predicable of ‘that’; but in this premiss the term we assert of the minor is neither the major itself nor a term identical in definition, (25) or convertible, with the major.
Again, both proof by division and the syllogism just described are open to the question why man should be animal-biped-terrestrial and not merely animal and terrestrial, since what they premise does not ensure that the predicates shall constitute a genuine unity and not merely belong to a single subject as do musical and grammatical when predicated of the same man. (30)
7 How then by definition shall we prove substance or essential nature? We cannot show it as a fresh fact necessarily following from the assumption of premisses admitted to be facts—the method of demonstration: we may not proceed as by induction to establish a universal on the evidence of groups of particulars which offer no exception, (35) because induction proves not what the essential nature of a thing is but that it has or has not some attribute. [92b] Therefore, since presumably one cannot prove essential nature by an appeal to sense perception or by pointing with the finger, what other method remains?
To put it another way: how shall we by definition prove essential nature? He who knows what human—or any other—nature is, (5) must know also that man exists; for no one knows the nature of what does not exist—one can know the meaning of the phrase or name ‘goat-stag’ but not what the essential nature of a goat-stag is. But further, if definition can prove what is the essential nature of a thing, can it also prove that it exists? And how will it prove them both by the same process, since definition exhibits one single thing and demonstration another single thing, (10) and what human nature is and the fact that man exists are not the same thing? Then too we hold that it is by demonstration that the being of everything must be proved—unless indeed to be were its essence; and, since being is not a genus, it is not the essence of anything. Hence the being of anything as fact is matter for demonstration; and this is the actual procedure of the sciences, (15) for the geometer assumes the meaning of the word triangle, but that it is possessed of some attribute he proves. What is it, then, that we shall prove in defining essential nature? Triangle? In that case a man will know by definition what a thing’s nature is without knowing whether it exists. But that is impossible.
Moreover it is clear, if we consider the methods of defining actually in use, that definition does not prove that the thing defined exists: since even if there does actually exist something which is equidistant from a centre, (20) yet why should the thing named in the definition exist? Why, in other words, should this be the formula defining circle? One might equally well call it the definition of mountain copper. For definitions do not carry a further guarantee that the thing defined can exist or that it is what they claim to define: one can always ask why. (25)
Since, therefore, to define is to prove either a thing’s essential nature or the meaning of its name, we may conclude that definition, if it in no sense proves essential nature, is a set of words signifying precisely what a name signifies. But that were a strange consequence; for (1) both what is not substance and what does not exist at all would be definable, since even non-existents can be signified by a name: (2) all sets of words or sentences would be definitions, (30) since any kind of sentence could be given a name; so that we should all be talking in definitions, and even the Iliad would be a definition: (3) no demonstration can prove that any particular name means any particular thing: neither, therefore, do definitions, in addition to revealing the meaning of a name, also reveal that the name has this meaning. (35) It appears then from these considerations that neither definition and syllogism nor their objects are identical, and further that definition neither demonstrates nor proves anything, and that knowledge of essential nature is not to be obtained either by definition or by demonstration.
8 [93a] We must now start afresh and consider which of these conclusions are sound and which are not, and what is the nature of definition, and whether essential nature is in any sense demonstrable and definable or in none.
Now to know its essential nature is, as we said, the same as to know the cause of a thing’s existence, and the proof of this depends on the fact that a thing must have a cause. (5) Moreover, this cause is either identical with the essential nature of the thing or distinct from it;5 and if its cause is distinct from it, the essential nature of the thing is either demonstrable or indemonstrable. Consequently, if the cause is distinct from the thing’s essential nature and demonstration is possible, the cause must be the middle term, and, the conclusion proved being universal and affirmative, the proof is in the first figure. So the method just examined of proving it through another essential nature would be one way of proving essential nature, (10) because a conclusion containing essential nature must be inferred through a middle whi
ch is an essential nature just as a ‘peculiar’ property must be inferred through a middle which is a ‘peculiar’ property; so that of the two definable natures of a single thing this method will prove one and not the other.6
Now it was said before7 that this method could not amount to demonstration of essential nature—it is actually a dialectical proof of it—so let us begin again and explain by what method it can be demonstrated. (15) When we are aware of a fact we seek its reason, and though sometimes the fact and the reason dawn on us simultaneously, yet we cannot apprehend the reason a moment sooner than the fact; and clearly in just the same way we cannot apprehend a thing’s definable form without apprehending that it exists, since while we are ignorant whether it exists we cannot know its essential nature. (20) Moreover we are aware whether a thing exists or not sometimes through apprehending an element in its character, and sometimes accidentally,8 as, for example, when we are aware of thunder as a noise in the clouds, of eclipse as a privation of light, or of man as some species of animal, or of the soul as a self-moving thing. As often as we have accidental knowledge that the thing exists, (25) we must be in a wholly negative state as regards awareness of its essential nature; for we have not got genuine knowledge even of its existence, and to search for a thing’s essential nature when we are unaware that it exists is to search for nothing. On the other hand, whenever we apprehend an element in the thing’s character there is less difficulty. Thus it follows that the degree of our knowledge of a thing’s essential nature is determined by the sense in which we are aware that it exists. Let us then take the following as our first instance of being aware of an element in the essential nature. (30) Let A be eclipse, C the moon, B the earth’s acting as a screen. Now to ask whether the moon is eclipsed or not is to ask whether or not B has occurred. But that is precisely the same as asking whether A has a defining condition; and if this condition actually exists, we assert that A also actually exists. Or again we may ask which side of a contradiction the defining condition necessitates: does it make the angles of a triangle equal or not equal to two right angles? When we have found the answer, if the premisses are immediate, (35) we know fact and reason together; if they are not immediate, we know the fact without the reason, as in the following example: let C be the moon, A eclipse, B the fact that the moon fails to produce shadows9 though she is full and though no visible body intervenes between us and her. Then if B, failure to produce shadows in spite of the absence of an intervening body, is attributable to C, and A, eclipse, is attributable to B, it is clear that the moon is eclipsed, but the reason why is not yet clear, and we know that eclipse exists, but we do not know what its essential nature is. [93b] But when it is clear that A is attributable to C and we proceed to ask 5 the reason of this fact, we are inquiring what is the nature of B: is it the earth’s acting as a screen, or the moon’s rotation or her extinction? But B is the definition of the other term, viz., in these examples, of the major term A; for eclipse is constituted by the earth acting as a screen. Thus, (1) ‘What is thunder?’ ‘The quenching of fire in cloud’, and (2) ‘Why does it thunder?’ ‘Because fire is quenched in the cloud’, are equivalent. Let C be cloud, A thunder, B the quenching of fire. Then B is attributable to C, cloud, (10) since fire is quenched in it; and A, noise, is attributable to B; and B is assuredly the definition of the major term A. If there be a further mediating cause of B, it will be one of the remaining partial definitions of A.
We have stated then how essential nature is discovered and becomes known, (15) and we see that, while there is no syllogism—i. e. no demonstrative syllogism—of essential nature, yet it is through syllogism, viz. demonstrative syllogism, that essential nature is exhibited. So we conclude that neither can the essential nature of anything which has a cause distinct from itself be known without demonstration, nor can it be demonstrated; and this is what we contended in our preliminary discussions.10 (20)
9 Now while some things have a cause distinct from themselves, others have not. Hence it is evident that there are essential natures which are immediate, that is, are basic premisses; and of these not only that they are but also what they are must be assumed or revealed in some other way. This too is the actual procedure of the arithmetician, who assumes both the nature and the existence of unit. (25) On the other hand, it is possible (in the manner explained) to exhibit through demonstration the essential nature of things which have a ‘middle’,11 i. e. a cause of their substantial being other than that being itself; but we do not thereby demonstrate it.
10 Since definition is said to be the statement of a thing’s nature, obviously one kind of definition will be a statement of the meaning of the name, or of an equivalent nominal formula. (30) A definition in this sense tells you, e. g. the meaning of the phrase ‘triangular character’.12 When we are aware that triangle exists, we inquire the reason why it exists. But it is difficult thus to learn the definition of things the existence of which we do not genuinely know—the cause of this difficulty being, as we said before,13 that we only know accidentally whether or not the thing exises. (35) Moreover, a statement may be a unity in either of two ways, by conjunction, like the Iliad, or because it exhibits a single predicate as inhering not accidentally in a single subject.14
That then is one way of defining definition. Another kind of definition is a formula exhibiting the cause of a thing’s existence. [94a] Thus the former signifies without proving, but the latter will clearly be a quasi-demonstration of essential nature, differing from demonstration in the arrangement of its terms. For there is a difference between stating why it thunders, and stating what is the essential nature of thunder; since the first statement will be ‘Because fire is quenched in the clouds’, while the statement of what the nature of thunder is will be ‘The noise of fire being quenched in the clouds’. (5) Thus the same statement takes a different form: in one form it is continuous15 demonstration, in the other definition. Again, thunder can be defined as noise in the clouds, which is the conclusion of the demonstration embodying essential nature. On the other hand the definition of immediates is an indemonstrable positing of essential nature. (10) We conclude then that definition is (a) an indemonstrable statement of essential nature, or (b) a syllogism of essential nature differing from demonstration in grammatical form, or (c) the conclusion of a demonstration giving essential nature.
Our discussion has therefore made plain (1) in what sense and of what things the essential nature is demonstrable, (15) and in what sense and of what things it is not; (2) what are the various meanings of the term definition, and in what sense and of what things it proves the essential nature, and in what sense and of what things it does not; (3) what is the relation of definition to demonstration, and how far the same thing is both definable and demonstrable and how far it is not.
11 We think we have scientific knowledge when we know the cause, (20) and there are four causes: (1) the definable form, (2) an antecedent which necessitates a consequent,16 (3) the efficient cause, (4) the final cause. Hence each of these can be the middle term of a proof, for17 (a) though the inference from antecedent to necessary consequent does not hold if only one premiss is assumed—two is the minimum—still when there are two it holds on condition that they have a single common middle term. (25) So it is from the assumption of this single middle term that the conclusion follows necessarily. The following example will also show this.18 Why is the angle in a semicircle a right angle?—or from what assumption does it follow that it is a right angle? Thus, let A be right angle, B the half of two right angles, C the angle in a semicircle. Then B is the cause in virtue of which A, (30) right angle, is attributable to C, the angle in a semicircle, since B = A and the other, viz. C, = B, for C is half of two right angles. Therefore it is the assumption of B, the half of two right angles, from which it follows that A is attributable to C, i. e. that the angle in a semicircle is a right angle. Moreover, B is identical with (b) the defining form of A, since it is what A’s definition19 signifies. Moreover, the formal cause h
as already been shown to be the middle.20 (35) (c) ‘Why did the Athenians become involved in the Persian war?’ means ‘What cause originated the waging of war against the Athenians?’ and the answer is, ‘Because they raided Sardis with the Eretrians’, since this originated the war. [94b] Let A be war, B unprovoked raiding, C the Athenians. Then B, unprovoked raiding, is true of C, the Athenians, and A is true of B, since men make war on the unjust aggressor. So A, having war waged upon them, (5) is true of B, the initial aggressors, and B is true of C, the Athenians, who were the aggressors. Hence here too the cause—in this case the efficient cause—is the middle term. (d) This is no less true where the cause is the final cause. e. g. why does one take a walk after supper? For the sake of one’s health. Why does a house exist? For the preservation of one’s goods. The end in view is in the one case health, (10) in the other preservation. To ask the reason why one must walk after supper is precisely to ask to what end one must do it. Let C be walking after supper, B the non-regurgitation of food, A health. Then let walking after supper possess the property of preventing food from rising to the orifice of the stomach, (15) and let this condition be healthy; since it seems that B, the non-regurgitation of food, is attributable to C, taking a walk, and that A, health, is attributable to B. What, then, is the cause through which A, the final cause, inheres in C? It is B, the non-regurgitation of food; but B is a kind of definition of A, for A will be explained by it. Why is B the cause of A’s belonging to C? Because to be in a condition such as B is to be in health. (20) The definitions must be transposed, and then the detail will become clearer. Incidentally, here the order of coming to be is the reverse of what it is in proof through the efficient cause: in the efficient order the middle term must come to be first, (25) whereas in the teleological order the minor, C, must first take place, and the end in view comes last in time.
The Basic Works of Aristotle (Modern Library Classics) Page 25