Seite - 196 - in The Complete Aristotle

already been shown that these will be found indemonstrable; either the basic premisses will be demonstrable and will depend on prior premisses, and the regress will be endless; or the primary truths will be indemonstrable definitions. But if the definable and the demonstrable are not wholly the same, may they yet be partially the same? Or is that impossible, because there can be no demonstration of the definable? There can be none, because definition is of the essential nature or being of something, and all demonstrations evidently posit and assume the essential nature-mathematical demonstrations, for example, the nature of unity and the odd, and all the other sciences likewise. Moreover, every demonstration proves a predicate of a subject as attaching or as not attaching to it, but in definition one thing is not predicated of another; we do not, e.g. predicate animal of biped nor biped of animal, nor yet figure of plane-plane not being figure nor figure plane. Again, to prove essential nature is not the same as to prove the fact of a connexion. Now definition reveals essential nature, demonstration reveals that a given attribute attaches or does not attach to a given subject; but different things require different demonstrations-unless the one demonstration is related to the other as part to whole. I add this because if all triangles have been proved to possess angles equal to two right angles, then this attribute has been proved to attach to isosceles; for isosceles is a part of which all triangles constitute the whole. But in the case before us the fact and the essential nature are not so related to one another, since the one is not a part of the other. So it emerges that not all the definable is demonstrable nor all the demonstrable definable; and we may draw the general conclusion that there is no identical object of which it is possible to possess both a definition and a demonstration. It follows obviously that definition and demonstration are neither identical nor contained either within the other: if they were, their objects would be related either as identical or as whole and part. 4 So much, then, for the first stage of our problem. The next step is to raise the question whether syllogism-i.e. demonstration-of the definable nature is possible or, as our recent argument assumed, impossible. We might argue it impossible on the following grounds:-(a) syllogism proves an attribute of a subject through the middle term; on the other hand (b) its definable nature is both ‘peculiar’ to a subject and predicated of it as belonging to its essence. But in that case (1) the subject, its definition, and the middle term connecting them must be reciprocally predicable of one another; 196