Imperishable things are imitated by those that are involved in change, e.g. earth and fire. For these also are ever active; for they have their movement of themselves and in themselves. But the other potencies, according to our previous discussion, are all potencies for opposites; for that which can move another in this way can also move it not in this way, i.e. if it acts according to a rational formula; and the same non-rational potencies will produce opposite results by their presence or absence.
If, then, there are any entities or substances such as the dialecticians say the Ideas are, there must be something much more scientific than science-itself and something more mobile than movement-itself; for these will be more of the nature of actualities, while science-itself and movement-itself are potencies for these.
Obviously, then, actuality is prior both to potency and to every principle of change.
That the actuality is also better and more valuable than the good potency is evident from the following argument. Everything of which we say that it can do something, is alike capable of contraries, e.g. that of which we say that it can be well is the same as that which can be ill, and has both potencies at once; for the same potency is a potency of health and illness, of rest and motion, of building and throwing down, of being built and being thrown down. The capacity for contraries, then, is present at the same time; but contraries cannot be present at the same time, and the actualities also cannot be present at the same time, e.g. health and illness. Therefore, while the good must be one of them, the capacity is both alike, or neither; the actuality, then, is better. Also in the case of bad things the end or actuality must be worse than the potency; for that which 'can' is both contraries alike. Clearly, then, the bad does not exist apart from bad things; for the bad is in its nature posterior to the potency. And therefore we may also say that in the things which are from the beginning, i.e. in eternal things, there is nothing bad, nothing defective, nothing perverted (for perversion is something bad).
It is an activity also that geometrical constructions are discovered; for we find them by dividing. If the figures had been already divided, the constructions would have been obvious; but as it is they are present only potentially. Why are the angles of the triangle equal to two right angles? Because the angles about one point are equal to two right angles. If, then, the line parallel to the side had been already drawn upwards, the reason would have been evident to any one as soon as he saw the figure. Why is the angle in a semicircle in all cases a right angle? If three lines are equal the two which form the base, and the perpendicular from the centre-the conclusion is evident at a glance to one who knows the former proposition. Obviously, therefore, the potentially existing constructions are discovered by being brought to actuality; the reason is that the geometer's thinking is an actuality; so that the potency proceeds from an actuality; and therefore it is by making constructions that people come to know them (though the single actuality is later in generation than the corresponding potency). (See diagram.)
The terms 'being' and 'non-being' are employed firstly with reference to the categories, and secondly with reference to the potency or actuality of these or their non-potency or nonactuality, and thirdly in the sense of true and false. This depends, on the side of the objects, on their being combined or separated, so that he who thinks the separated to be separated and the combined to be combined has the truth, while he whose thought is in a state contrary to that of the objects is in error. This being so, when is what is called truth or falsity present, and when is it not? We must consider what we mean by these terms. It is not because we think truly that you are pale, that you are pale, but because you are pale we who say this have the truth. If, then, some things are always combined and cannot be separated, and others are always separated and cannot be combined, while others are capable either of combination or of separation, 'being' is being combined and one, and 'not being' is being not combined but more than one. Regarding contingent facts, then, the same opinion or the same statement comes to be false and true, and it is possible for it to be at one time correct and at another erroneous; but regarding things that cannot be otherwise opinions are not at one time true and at another false, but the same opinions are always true or always false.
But with regard to incomposites, what is being or not being, and truth or falsity? A thing of this sort is not composite, so as to 'be' when it is compounded, and not to 'be' if it is separated, like 'that the wood is white' or 'that the diagonal is incommensurable'; nor will truth and falsity be still present in the same way as in the previous cases. In fact, as truth is not the same in these cases, so also being is not the same; but (a) truth or falsity is as follows--contact and assertion are truth (assertion not being the same as affirmation), and ignorance is non-contact. For it is not possible to be in error regarding the question what a thing is, save in an accidental sense; and the same holds good regarding non-composite substances (for it is not possible to be in error about them). And they all exist actually, not potentially; for otherwise they would have come to be and ceased to be; but, as it is, being itself does not come to be (nor cease to be); for if it had done so it would have had to come out of something. About the things, then, which are essences and actualities, it is not possible to be in error, but only to know them or not to know them. But we do inquire what they are, viz. whether they are of such and such a nature or not.
(b) As regards the 'being' that answers to truth and the 'non-being' that answers to falsity, in one case there is truth if the subject and the attribute are really combined, and falsity if they are not combined; in the other case, if the object is existent it exists in a particular way, and if it does not exist in this way does not exist at all. And truth means knowing these objects, and falsity does not exist, nor error, but only ignorance-and not an ignorance which is like blindness; for blindness is akin to a total absence of the faculty of thinking.
It is evident also that about unchangeable things there can be no error in respect of time, if we assume them to be unchangeable. E.g. if we suppose that the triangle does not change, we shall not suppose that at one time its angles are equal to two right angles while at another time they are not (for that would imply change). It is possible, however, to suppose that one member of such a class has a certain attribute and another has not; e.g. while we may suppose that no even number is prime, we may suppose that some are and some are not. But regarding a numerically single number not even this form of error is possible; for we cannot in this case suppose that one instance has an attribute and another has not, but whether our judgement be true or false, it is implied that the fact is eternal.
Book X
WE have said previously, in our distinction of the various meanings of words, that 'one' has several meanings; the things that are directly and of their own nature and not accidentally called one may be summarized under four heads, though the word is used in more senses. (1) There is the continuous, either in general, or especially that which is continuous by nature and not by contact nor by being together; and of these, that has more unity and is prior, whose movement is more indivisible and simpler. (2) That which is a whole and has a certain shape and form is one in a still higher degree; and especially if a thing is of this sort by nature, and not by force like the things which are unified by glue or nails or by being tied together, i.e. if it has in itself the cause of its continuity. A thing is of this sort because its movement is one and indivisible in place and time; so that evidently if a thing has by nature a principle of movement that is of the first kind (i.e. local movement) and the first in that kind (i.e. circular movement), this is in the primary sense one extended thing. Some things, then, are one in this way, qua continuous or whole, and the other things that are one are those whose definition is one. Of this sort are the things the thought of which is one, i.e. those the thought of which is indivisible; and it is indivisible if the thing is indivisible in kind or in number. (3) In number, then, the individual is indivisible, and (4) in kind, that which in intelligibili
ty and in knowledge is indivisible, so that that which causes substances to be one must be one in the primary sense. 'One', then, has all these meanings-the naturally continuous and the whole, and the individual and the universal. And all these are one because in some cases the movement, in others the thought or the definition is indivisible.
But it must be observed that the questions, what sort of things are said to be one, and what it is to be one and what is the definition of it, should not be assumed to be the same. 'One' has all these meanings, and each of the things to which one of these kinds of unity belongs will be one; but 'to be one' will sometimes mean being one of these things, and sometimes being something else which is even nearer to the meaning of the word 'one' while these other things approximate to its application. This is also true of 'element' or 'cause', if one had both to specify the things of which it is predicable and to render the definition of the word. For in a sense fire is an element (and doubtless also 'the indefinite' or something else of the sort is by its own nature the element), but in a sense it is not; for it is not the same thing to be fire and to be an element, but while as a particular thing with a nature of its own fire is an element, the name 'element' means that it has this attribute, that there is something which is made of it as a primary constituent. And so with 'cause' and 'one' and all such terms. For this reason, too, 'to be one' means 'to be indivisible, being essentially one means a "this" and capable of being isolated either in place, or in form or thought'; or perhaps 'to be whole and indivisible'; but it means especially 'to be the first measure of a kind', and most strictly of quantity; for it is from this that it has been extended to the other categories. For measure is that by which quantity is known; and quantity qua quantity is known either by a 'one' or by a number, and all number is known by a 'one'. Therefore all quantity qua quantity is known by the one, and that by which quantities are primarily known is the one itself; and so the one is the starting-point of number qua number. And hence in the other classes too 'measure' means that by which each is first known, and the measure of each is a unit-in length, in breadth, in depth, in weight, in speed. (The words 'weight' and 'speed' are common to both contraries; for each of them has two meanings-'weight' means both that which has any amount of gravity and that which has an excess of gravity, and 'speed' both that which has any amount of movement and that which has an excess of movement; for even the slow has a certain speed and the comparatively light a certain weight.)
In all these, then, the measure and starting-point is something one and indivisible, since even in lines we treat as indivisible the line a foot long. For everywhere we seek as the measure something one and indivisible; and this is that which is simple either in quality or in quantity. Now where it is thought impossible to take away or to add, there the measure is exact (hence that of number is most exact; for we posit the unit as indivisible in every respect); but in all other cases we imitate this sort of measure. For in the case of a furlong or a talent or of anything comparatively large any addition or subtraction might more easily escape our notice than in the case of something smaller; so that the first thing from which, as far as our perception goes, nothing can be subtracted, all men make the measure, whether of liquids or of solids, whether of weight or of size; and they think they know the quantity when they know it by means of this measure. And indeed they know movement too by the simple movement and the quickest; for this occupies least time. And so in astronomy a 'one' of this sort is the starting-point and measure (for they assume the movement of the heavens to be uniform and the quickest, and judge the others by reference to it), and in music the quarter-tone (because it is the least interval), and in speech the letter. And all these are ones in this sense--not that 'one' is something predicable in the same sense of all of these, but in the sense we have mentioned.
But the measure is not always one in number--sometimes there are several; e.g. the quarter-tones (not to the ear, but as determined by the ratios) are two, and the articulate sounds by which we measure are more than one, and the diagonal of the square and its side are measured by two quantities, and all spatial magnitudes reveal similar varieties of unit. Thus, then, the one is the measure of all things, because we come to know the elements in the substance by dividing the things either in respect of quantity or in respect of kind. And the one is indivisible just because the first of each class of things is indivisible. But it is not in the same way that every 'one' is indivisible e.g. a foot and a unit; the latter is indivisible in every respect, while the former must be placed among things which are undivided to perception, as has been said already-only to perception, for doubtless every continuous thing is divisible.
The measure is always homogeneous with the thing measured; the measure of spatial magnitudes is a spatial magnitude, and in particular that of length is a length, that of breadth a breadth, that of articulate sound an articulate sound, that of weight a weight, that of units a unit. (For we must state the matter so, and not say that the measure of numbers is a number; we ought indeed to say this if we were to use the corresponding form of words, but the claim does not really correspond-it is as if one claimed that the measure of units is units and not a unit; number is a plurality of units.)
Knowledge, also, and perception, we call the measure of things for the same reason, because we come to know something by them-while as a matter of fact they are measured rather than measure other things. But it is with us as if some one else measured us and we came to know how big we are by seeing that he applied the cubit-measure to such and such a fraction of us. But Protagoras says 'man is the measure of all things', as if he had said 'the man who knows' or 'the man who perceives'; and these because they have respectively knowledge and perception, which we say are the measures of objects. Such thinkers are saying nothing, then, while they appear to be saying something remarkable.
Evidently, then, unity in the strictest sense, if we define it according to the meaning of the word, is a measure, and most properly of quantity, and secondly of quality. And some things will be one if they are indivisible in quantity, and others if they are indivisible in quality; and so that which is one is indivisible, either absolutely or qua one.
With regard to the substance and nature of the one we must ask in which of two ways it exists. This is the very question that we reviewed in our discussion of problems, viz. what the one is and how we must conceive of it, whether we must take the one itself as being a substance (as both the Pythagoreans say in earlier and Plato in later times), or there is, rather, an underlying nature and the one should be described more intelligibly and more in the manner of the physical philosophers, of whom one says the one is love, another says it is air, and another the indefinite.
If, then, no universal can be a substance, as has been said our discussion of substance and being, and if being itself cannot be a substance in the sense of a one apart from the many (for it is common to the many), but is only a predicate, clearly unity also cannot be a substance; for being and unity are the most universal of all predicates. Therefore, on the one hand, genera are not certain entities and substances separable from other things; and on the other hand the one cannot be a genus, for the same reasons for which being and substance cannot be genera.
Further, the position must be similar in all the kinds of unity. Now 'unity' has just as many meanings as 'being'; so that since in the sphere of qualities the one is something definite-some particular kind of thing-and similarly in the sphere of quantities, clearly we must in every category ask what the one is, as we must ask what the existent is, since it is not enough to say that its nature is just to be one or existent. But in colours the one is a colour, e.g. white, and then the other colours are observed to be produced out of this and black, and black is the privation of white, as darkness of light. Therefore if all existent things were colours, existent things would have been a number, indeed, but of what? Clearly of colours; and the 'one' would have been a particular 'one', i.e. white. And similarly if all existing things were tunes, they would have be
en a number, but a number of quarter-tones, and their essence would not have been number; and the one would have been something whose substance was not to be one but to be the quarter-tone. And similarly if all existent things had been articulate sounds, they would have been a number of letters, and the one would have been a vowel. And if all existent things were rectilinear figures, they would have been a number of figures, and the one would have been the triangle. And the same argument applies to all other classes. Since, therefore, while there are numbers and a one both in affections and in qualities and in quantities and in movement, in all cases the number is a number of particular things and the one is one something, and its substance is not just to be one, the same must be true of substances also; for it is true of all cases alike.
That the one, then, in every class is a definite thing, and in no case is its nature just this, unity, is evident; but as in colours the one-itself which we must seek is one colour, so too in substance the one-itself is one substance. That in a sense unity means the same as being is clear from the facts that its meanings correspond to the categories one to one, and it is not comprised within any category (e.g. it is comprised neither in 'what a thing is' nor in quality, but is related to them just as being is); that in 'one man' nothing more is predicated than in 'man' (just as being is nothing apart from substance or quality or quantity); and that to be one is just to be a particular thing.
The one and the many are opposed in several ways, of which one is the opposition of the one and plurality as indivisible and divisible; for that which is either divided or divisible is called a plurality, and that which is indivisible or not divided is called one. Now since opposition is of four kinds, and one of these two terms is privative in meaning, they must be contraries, and neither contradictory nor correlative in meaning. And the one derives its name and its explanation from its contrary, the indivisible from the divisible, because plurality and the divisible is more perceptible than the indivisible, so that in definition plurality is prior to the indivisible, because of the conditions of perception.