Regarding the objects of mathematics, why are the formulae of the parts not parts of the formulae of the wholes; e.g. why are not the semicircles included in the formula of the circle? It cannot be said, 'because these parts are perceptible things'; for they are not. But perhaps this makes no difference; for even some things which are not perceptible must have matter; indeed there is some matter in everything which is not an essence and a bare form but a 'this'. The semicircles, then, will not be parts of the universal circle, but will be parts of the individual circles, as has been said before; for while one kind of matter is perceptible, there is another which is intelligible.
It is clear also that the soul is the primary substance and the body is matter, and man or animal is the compound of both taken universally; and 'Socrates' or 'Coriscus', if even the soul of Socrates may be called Socrates, has two meanings (for some mean by such a term the soul, and others mean the concrete thing), but if 'Socrates' or 'Coriscus' means simply this particular soul and this particular body, the individual is analogous to the universal in its composition.
Whether there is, apart from the matter of such substances, another kind of matter, and one should look for some substance other than these, e.g. numbers or something of the sort, must be considered later. For it is for the sake of this that we are trying to determine the nature of perceptible substances as well, since in a sense the inquiry about perceptible substances is the work of physics, i.e. of second philosophy; for the physicist must come to know not only about the matter, but also about the substance expressed in the formula, and even more than about the other. And in the case of definitions, how the elements in the formula are parts of the definition, and why the definition is one formula (for clearly the thing is one, but in virtue of what is the thing one, although it has parts?),-this must be considered later.
What the essence is and in what sense it is independent, has been stated universally in a way which is true of every case, and also why the formula of the essence of some things contains the parts of the thing defined, while that of others does not. And we have stated that in the formula of the substance the material parts will not be present (for they are not even parts of the substance in that sense, but of the concrete substance; but of this there is in a sense a formula, and in a sense there is not; for there is no formula of it with its matter, for this is indefinite, but there is a formula of it with reference to its primary substance-e.g. in the case of man the formula of the soul-, for the substance is the indwelling form, from which and the matter the so-called concrete substance is derived; e.g. concavity is a form of this sort, for from this and the nose arise 'snub nose' and 'snubness'); but in the concrete substance, e.g. a snub nose or Callias, the matter also will be present. And we have stated that the essence and the thing itself are in some cases the same; ie. in the case of primary substances, e.g. curvature and the essence of curvature if this is primary. (By a 'primary' substance I mean one which does not imply the presence of something in something else, i.e. in something that underlies it which acts as matter.) But things which are of the nature of matter, or of wholes that include matter, are not the same as their essences, nor are accidental unities like that of 'Socrates' and 'musical'; for these are the same only by accident.
Now let us treat first of definition, in so far as we have not treated of it in the Analytics; for the problem stated in them is useful for our inquiries concerning substance. I mean this problem:-wherein can consist the unity of that, the formula of which we call a definition, as for instance, in the case of man, 'two-footed animal'; for let this be the formula of man. Why, then, is this one, and not many, viz. 'animal' and 'two-footed'? For in the case of 'man' and 'pale' there is a plurality when one term does not belong to the other, but a unity when it does belong and the subject, man, has a certain attribute; for then a unity is produced and we have 'the pale man'. In the present case, on the other hand, one does not share in the other; the genus is not thought to share in its differentiae (for then the same thing would share in contraries; for the differentiae by which the genus is divided are contrary). And even if the genus does share in them, the same argument applies, since the differentiae present in man are many, e.g. endowed with feet, two-footed, featherless. Why are these one and not many? Not because they are present in one thing; for on this principle a unity can be made out of all the attributes of a thing. But surely all the attributes in the definition must be one; for the definition is a single formula and a formula of substance, so that it must be a formula of some one thing; for substance means a 'one' and a 'this', as we maintain.
We must first inquire about definitions reached by the method of divisions. There is nothing in the definition except the first-named and the differentiae. The other genera are the first genus and along with this the differentiae that are taken with it, e.g. the first may be 'animal', the next 'animal which is two-footed', and again 'animal which is two-footed and featherless', and similarly if the definition includes more terms. And in general it makes no difference whether it includes many or few terms,-nor, therefore, whether it includes few or simply two; and of the two the one is differentia and the other genus; e.g. in 'two-footed animal' 'animal' is genus, and the other is differentia.
If then the genus absolutely does not exist apart from the species-of-a-genus, or if it exists but exists as matter (for the voice is genus and matter, but its differentiae make the species, i.e. the letters, out of it), clearly the definition is the formula which comprises the differentiae.
But it is also necessary that the division be by the differentia of the diferentia; e.g. 'endowed with feet' is a differentia of 'animal'; again the differentia of 'animal endowed with feet' must be of it qua endowed with feet. Therefore we must not say, if we are to speak rightly, that of that which is endowed with feet one part has feathers and one is featherless (if we do this we do it through incapacity); we must divide it only into cloven-footed and not cloven; for these are differentiae in the foot; cloven-footedness is a form of footedness. And the process wants always to go on so till it reaches the species that contain no differences. And then there will be as many kinds of foot as there are differentiae, and the kinds of animals endowed with feet will be equal in number to the differentiae. If then this is so, clearly the last differentia will be the substance of the thing and its definition, since it is not right to state the same things more than once in our definitions; for it is superfluous. And this does happen; for when we say 'animal endowed with feet and two-footed' we have said nothing other than 'animal having feet, having two feet'; and if we divide this by the proper division, we shall be saying the same thing more than once-as many times as there are differentiae.
If then a differentia of a differentia be taken at each step, one differentia-the last-will be the form and the substance; but if we divide according to accidental qualities, e.g. if we were to divide that which is endowed with feet into the white and the black, there will be as many differentiae as there are cuts. Therefore it is plain that the definition is the formula which contains the differentiae, or, according to the right method, the last of these. This would be evident, if we were to change the order of such definitions, e.g. of that of man, saying 'animal which is two-footed and endowed with feet'; for 'endowed with feet' is superfluous when 'two-footed' has been said. But there is no order in the substance; for how are we to think the one element posterior and the other prior? Regarding the definitions, then, which are reached by the method of divisions, let this suffice as our first attempt at stating their nature.
Let us return to the subject of our inquiry, which is substance. As the substratum and the essence and the compound of these are called substance, so also is the universal. About two of these we have spoken; both about the essence and about the substratum, of which we have said that it underlies in two senses, either being a 'this'-which is the way in which an animal underlies its attributes-or as the matter underlies the complete reality. The universal also is thought by some to be in the fullest sens
e a cause, and a principle; therefore let us attack the discussion of this point also. For it seems impossible that any universal term should be the name of a substance. For firstly the substance of each thing is that which is peculiar to it, which does not belong to anything else; but the universal is common, since that is called universal which is such as to belong to more than one thing. Of which individual then will this be the substance? Either of all or of none; but it cannot be the substance of all. And if it is to be the substance of one, this one will be the others also; for things whose substance is one and whose essence is one are themselves also one.
Further, substance means that which is not predicable of a subject, but the universal is predicable of some subject always.
But perhaps the universal, while it cannot be substance in the way in which the essence is so, can be present in this; e.g. 'animal' can be present in 'man' and 'horse'. Then clearly it is a formula of the essence. And it makes no difference even if it is not a formula of everything that is in the substance; for none the less the universal will be the substance of something, as 'man' is the substance of the individual man in whom it is present, so that the same result will follow once more; for the universal, e.g. 'animal', will be the substance of that in which it is present as something peculiar to it. And further it is impossible and absurd that the 'this', i.e. the substance, if it consists of parts, should not consist of substances nor of what is a 'this', but of quality; for that which is not substance, i.e. the quality, will then be prior to substance and to the 'this'. Which is impossible; for neither in formula nor in time nor in coming to be can the modifications be prior to the substance; for then they will also be separable from it. Further, Socrates will contain a substance present in a substance, so that this will be the substance of two things. And in general it follows, if man and such things are substance, that none of the elements in their formulae is the substance of anything, nor does it exist apart from the species or in anything else; I mean, for instance, that no 'animal' exists apart from the particular kinds of animal, nor does any other of the elements present in formulae exist apart.
If, then, we view the matter from these standpoints, it is plain that no universal attribute is a substance, and this is plain also from the fact that no common predicate indicates a 'this', but rather a 'such'. If not, many difficulties follow and especially the 'third man'.
The conclusion is evident also from the following consideration. A substance cannot consist of substances present in it in complete reality; for things that are thus in complete reality two are never in complete reality one, though if they are potentially two, they can be one (e.g. the double line consists of two halves-potentially; for the complete realization of the halves divides them from one another); therefore if the substance is one, it will not consist of substances present in it and present in this way, which Democritus describes rightly; he says one thing cannot be made out of two nor two out of one; for he identifies substances with his indivisible magnitudes. It is clear therefore that the same will hold good of number, if number is a synthesis of units, as is said by some; for two is either not one, or there is no unit present in it in complete reality. But our result involves a difficulty. If no substance can consist of universals because a universal indicates a 'such', not a 'this', and if no substance can be composed of substances existing in complete reality, every substance would be incomposite, so that there would not even be a formula of any substance. But it is thought by all and was stated long ago that it is either only, or primarily, substance that can defined; yet now it seems that not even substance can. There cannot, then, be a definition of anything; or in a sense there can be, and in a sense there cannot. And what we are saying will be plainer from what follows.
It is clear also from these very facts what consequence confronts those who say the Ideas are substances capable of separate existence, and at the same time make the Form consist of the genus and the differentiae. For if the Forms exist and 'animal' is present in 'man' and 'horse', it is either one and the same in number, or different. (In formula it is clearly one; for he who states the formula will go through the formula in either case.) If then there is a 'man-in-himself' who is a 'this' and exists apart, the parts also of which he consists, e.g. 'animal' and 'two-footed', must indicate 'thises', and be capable of separate existence, and substances; therefore 'animal', as well as 'man', must be of this sort.
Now (1) if the 'animal' in 'the horse' and in 'man' is one and the same, as you are with yourself, (a) how will the one in things that exist apart be one, and how will this 'animal' escape being divided even from itself?
Further, (b) if it is to share in 'two-footed' and 'many-footed', an impossible conclusion follows; for contrary attributes will belong at the same time to it although it is one and a 'this'. If it is not to share in them, what is the relation implied when one says the animal is two-footed or possessed of feet? But perhaps the two things are 'put together' and are 'in contact', or are 'mixed'. Yet all these expressions are absurd.
But (2) suppose the Form to be different in each species. Then there will be practically an infinite number of things whose substance is animal'; for it is not by accident that 'man' has 'animal' for one of its elements. Further, many things will be 'animal-itself'. For (i) the 'animal' in each species will be the substance of the species; for it is after nothing else that the species is called; if it were, that other would be an element in 'man', i.e. would be the genus of man. And further, (ii) all the elements of which 'man' is composed will be Ideas. None of them, then, will be the Idea of one thing and the substance of another; this is impossible. The 'animal', then, present in each species of animals will be animal-itself. Further, from what is this 'animal' in each species derived, and how will it be derived from animal-itself? Or how can this 'animal', whose essence is simply animality, exist apart from animal-itself?
Further, (3)in the case of sensible things both these consequences and others still more absurd follow. If, then, these consequences are impossible, clearly there are not Forms of sensible things in the sense in which some maintain their existence.
Since substance is of two kinds, the concrete thing and the formula (I mean that one kind of substance is the formula taken with the matter, while another kind is the formula in its generality), substances in the former sense are capable of destruction (for they are capable also of generation), but there is no destruction of the formula in the sense that it is ever in course of being destroyed (for there is no generation of it either; the being of house is not generated, but only the being of this house), but without generation and destruction formulae are and are not; for it has been shown that no one begets nor makes these. For this reason, also, there is neither definition of nor demonstration about sensible individual substances, because they have matter whose nature is such that they are capable both of being and of not being; for which reason all the individual instances of them are destructible. If then demonstration is of necessary truths and definition is a scientific process, and if, just as knowledge cannot be sometimes knowledge and sometimes ignorance, but the state which varies thus is opinion, so too demonstration and definition cannot vary thus, but it is opinion that deals with that which can be otherwise than as it is, clearly there can neither be definition of nor demonstration about sensible individuals. For perishing things are obscure to those who have the relevant knowledge, when they have passed from our perception; and though the formulae remain in the soul unchanged, there will no longer be either definition or demonstration. And so when one of the definition-mongers defines any individual, he must recognize that his definition may always be overthrown; for it is not possible to define such things.
Nor is it possible to define any Idea. For the Idea is, as its supporters say, an individual, and can exist apart; and the formula must consist of words; and he who defines must not invent a word (for it would be unknown), but the established words are common to all the members of a class; these then must apply to something besides the thing def
ined; e.g. if one were defining you, he would say 'an animal which is lean' or 'pale', or something else which will apply also to some one other than you. If any one were to say that perhaps all the attributes taken apart may belong to many subjects, but together they belong only to this one, we must reply first that they belong also to both the elements; e.g. 'two-footed animal' belongs to animal and to the two-footed. (And in the case of eternal entities this is even necessary, since the elements are prior to and parts of the compound; nay more, they can also exist apart, if 'man' can exist apart. For either neither or both can. If, then, neither can, the genus will not exist apart from the various species; but if it does, the differentia will also.) Secondly, we must reply that 'animal' and 'two-footed' are prior in being to 'two-footed animal'; and things which are prior to others are not destroyed when the others are.
Again, if the Ideas consist of Ideas (as they must, since elements are simpler than the compound), it will be further necessary that the elements also of which the Idea consists, e.g. 'animal' and 'two-footed', should be predicated of many subjects. If not, how will they come to be known? For there will then be an Idea which cannot be predicated of more subjects than one. But this is not thought possible-every Idea is thought to be capable of being shared.
As has been said, then, the impossibility of defining individuals escapes notice in the case of eternal things, especially those which are unique, like the sun or the moon. For people err not only by adding attributes whose removal the sun would survive, e.g. 'going round the earth' or 'night-hidden' (for from their view it follows that if it stands still or is visible, it will no longer be the sun; but it is strange if this is so; for 'the sun' means a certain substance); but also by the mention of attributes which can belong to another subject; e.g. if another thing with the stated attributes comes into existence, clearly it will be a sun; the formula therefore is general. But the sun was supposed to be an individual, like Cleon or Socrates. After all, why does not one of the supporters of the Ideas produce a definition of an Idea? It would become clear, if they tried, that what has now been said is true.