1 2 3 4 5 6 7 8 9 10 11 12✔ 13
Since (1) this is a possible account of the matter, and (2) if it were not true, the world would have proceeded out of night and ‘all things together’ and out of non-being, these difficulties may be taken as solved. There is, then, something which is always moved with an unceasing motion, which is motion in a circle; and this is plain not in theory only but in fact. Therefore the first heaven must be eternal. There is therefore also something which moves it. And since that which moves and is moved is intermediate, there is something which moves without being moved, being eternal, substance, and actuality. And the object of desire and the object of thought move in this way; they move without being moved. The primary objects of desire and of thought are the same. For the apparent good is the object of appetite, and the real good is the primary object of rational wish. But desire is consequent on opinion rather than opinion on desire; for the thinking is the starting-point. And thought is moved by the object of thought, and one of the two columns of opposites is in itself the object of thought; and in this, substance is first, and in substance, that which is simple and exists actually. (The one and the simple are not the same; for ‘one’ means a measure, but ‘simple’ means that the thing itself has a certain nature.) But the beautiful, also, and that which is in itself desirable are in the same column; and the first in any class is always best, or analogous to the best.
That a final cause may exist among unchangeable entities is shown by the distinction of its meanings. For the final cause is (a) some being for whose good an action is done, and (b) something at which the action aims; and of these the latter exists among unchangeable entities though the former does not. The final cause, then, produces motion as being loved, but all other things move by being moved. Now if something is moved it is capable of being otherwise than as it is. Therefore if its actuality is the primary form of spatial motion, then in so far as it is subject to change, in this respect it is capable of being otherwise,-in place, even if not in substance. But since there is something which moves while itself unmoved, existing actually, this can in no way be otherwise than as it is. For motion in space is the first of the kinds of change, and motion in a circle the first kind of spatial motion; and this the first mover produces. The first mover, then, exists of necessity; and in so far as it exists by necessity, its mode of being is good, and it is in this sense a first principle. For the necessary has all these senses-that which is necessary perforce because it is contrary to the natural impulse, that without which the good is impossible, and that which cannot be otherwise but can exist only in a single way.
On such a principle, then, depend the heavens and the world of nature. And it is a life such as the best which we enjoy, and enjoy for but a short time (for it is ever in this state, which we cannot be), since its actuality is also pleasure. (And for this reason are waking, perception, and thinking most pleasant, and hopes and memories are so on account of these.) And thinking in itself deals with that which is best in itself, and that which is thinking in the fullest sense with that which is best in the fullest sense. And thought thinks on itself because it shares the nature of the object of thought; for it becomes an object of thought in coming into contact with and thinking its objects, so that thought and object of thought are the same. For that which is capable of receiving the object of thought, i.e. the essence, is thought. But it is active when it possesses this object. Therefore the possession rather than the receptivity is the divine element which thought seems to contain, and the act of contemplation is what is most pleasant and best. If, then, God is always in that good state in which we sometimes are, this compels our wonder; and if in a better this compels it yet more. And God is in a better state. And life also belongs to God; for the actuality of thought is life, and God is that actuality; and God’s self-dependent actuality is life most good and eternal. We say therefore that God is a living being, eternal, most good, so that life and duration continuous and eternal belong to God; for this is God.
Those who suppose, as the Pythagoreans and Speusippus do, that supreme beauty and goodness are not present in the beginning, because the beginnings both of plants and of animals are causes, but beauty and completeness are in the effects of these, are wrong in their opinion. For the seed comes from other individuals which are prior and complete, and the first thing is not seed but the complete being; e.g. we must say that before the seed there is a man,-not the man produced from the seed, but another from whom the seed comes.
It is clear then from what has been said that there is a substance which is eternal and unmovable and separate from sensible things. It has been shown also that this substance cannot have any magnitude, but is without parts and indivisible (for it produces movement through infinite time, but nothing finite has infinite power; and, while every magnitude is either infinite or finite, it cannot, for the above reason, have finite magnitude, and it cannot have infinite magnitude because there is no infinite magnitude at all). But it has also been shown that it is impassive and unalterable; for all the other changes are posterior to change of place.
It is clear, then, why these things are as they are. But we must not ignore the question whether we have to suppose one such substance or more than one, and if the latter, how many; we must also mention, regarding the opinions expressed by others, that they have said nothing about the number of the substances that can even be clearly stated. For the theory of Ideas has no special discussion of the subject; for those who speak of Ideas say the Ideas are numbers, and they speak of numbers now as unlimited, now as limited by the number 10; but as for the reason why there should be just so many numbers, nothing is said with any demonstrative exactness. We however must discuss the subject, starting from the presuppositions and distinctions we have mentioned. The first principle or primary being is not movable either in itself or accidentally, but produces the primary eternal and single movement. But since that which is moved must be moved by something, and the first mover must be in itself unmovable, and eternal movement must be produced by something eternal and a single movement by a single thing, and since we see that besides the simple spatial movement of the universe, which we say the first and unmovable substance produces, there are other spatial movements-those of the planets-which are eternal (for a body which moves in a circle is eternal and unresting; we have proved these points in the physical treatises), each of these movements also must be caused by a substance both unmovable in itself and eternal. For the nature of the stars is eternal just because it is a certain kind of substance, and the mover is eternal and prior to the moved, and that which is prior to a substance must be a substance. Evidently, then, there must be substances which are of the same number as the movements of the stars, and in their nature eternal, and in themselves unmovable, and without magnitude, for the reason before mentioned. That the movers are substances, then, and that one of these is first and another second according to the same order as the movements of the stars, is evident. But in the number of the movements we reach a problem which must be treated from the standpoint of that one of the mathematical sciences which is most akin to philosophy-viz. of astronomy; for this science speculates about substance which is perceptible but eternal, but the other mathematical sciences, i.e. arithmetic and geometry, treat of no substance. That the movements are more numerous than the bodies that are moved is evident to those who have given even moderate attention to the matter; for each of the planets has more than one movement. But as to the actual number of these movements, we now-to give some notion of the subject-quote what some of the mathematicians say, that our thought may have some definite number to grasp; but, for the rest, we must partly investigate for ourselves, Partly learn from other investigators, and if those who study this subject form an opinion contrary to what we have now stated, we must esteem both parties indeed, but follow the more accurate.
Eudoxus supposed that the motion of the sun or of the moon involves, in either case, three spheres, of which the first is the sphere of the fixed stars, and the second moves in the circle which runs along the middle of the zodiac, and the third in the circle which is inclined across the breadth of the zodiac; but the circle in which the moon moves is inclined at a greater angle than that in which the sun moves. And the motion of the planets involves, in each case, four spheres, and of these also the first and second are the same as the first two mentioned above (for the sphere of the fixed stars is that which moves all the other spheres, and that which is placed beneath this and has its movement in the circle which bisects the zodiac is common to all), but the poles of the third sphere of each planet are in the circle which bisects the zodiac, and the motion of the fourth sphere is in the circle which is inclined at an angle to the equator of the third sphere; and the poles of the third sphere are different for each of the other planets, but those of Venus and Mercury are the same.
Callippus made the position of the spheres the same as Eudoxus did, but while he assigned the same number as Eudoxus did to Jupiter and to Saturn, he thought two more spheres should be added to the sun and two to the moon, if one is to explain the observed facts; and one more to each of the other planets.
But it is necessary, if all the spheres combined are to explain the observed facts, that for each of the planets there should be other spheres (one fewer than those hitherto assigned) which counteract those already mentioned and bring back to the same position the outermost sphere of the star which in each case is situated below the star in question; for only thus can all the forces at work produce the observed motion of the planets. Since, then, the spheres involved in the movement of the planets themselves are — eight for Saturn and Jupiter and twenty-five for the others, and of these only those involved in the movement of the lowest-situated planet need not be counteracted the spheres which counteract those of the outermost two planets will be six in number, and the spheres which counteract those of the next four planets will be sixteen; therefore the number of all the spheres — both those which move the planets and those which counteract these — will be fifty-five. And if one were not to add to the moon and to the sun the movements we mentioned, the whole set of spheres will be forty-seven in number.
Let this, then, be taken as the number of the spheres, so that the unmovable substances and principles also may probably be taken as just so many; the assertion of necessity must be left to more powerful thinkers. But if there can be no spatial movement which does not conduce to the moving of a star, and if further every being and every substance which is immune from change and in virtue of itself has attained to the best must be considered an end, there can be no other being apart from these we have named, but this must be the number of the substances. For if there are others, they will cause change as being a final cause of movement; but there cannot he other movements besides those mentioned. And it is reasonable to infer this from a consideration of the bodies that are moved; for if everything that moves is for the sake of that which is moved, and every movement belongs to something that is moved, no movement can be for the sake of itself or of another movement, but all the movements must be for the sake of the stars. For if there is to be a movement for the sake of a movement, this latter also will have to be for the sake of something else; so that since there cannot be an infinite regress, the end of every movement will be one of the divine bodies which move through the heaven.
(Evidently there is but one heaven. For if there are many heavens as there are many men, the moving principles, of which each heaven will have one, will be one in form but in number many. But all things that are many in number have matter; for one and the same definition, e.g. that of man, applies to many things, while Socrates is one. But the primary essence has not matter; for it is complete reality. So the unmovable first mover is one both in definition and in number; so too, therefore, is that which is moved always and continuously; therefore there is one heaven alone.) Our forefathers in the most remote ages have handed down to their posterity a tradition, in the form of a myth, that these bodies are gods, and that the divine encloses the whole of nature. The rest of the tradition has been added later in mythical form with a view to the persuasion of the multitude and to its legal and utilitarian expediency; they say these gods are in the form of men or like some of the other animals, and they say other things consequent on and similar to these which we have mentioned. But if one were to separate the first point from these additions and take it alone-that they thought the first substances to be gods, one must regard this as an inspired utterance, and reflect that, while probably each art and each science has often been developed as far as possible and has again perished, these opinions, with others, have been preserved until the present like relics of the ancient treasure. Only thus far, then, is the opinion of our ancestors and of our earliest predecessors clear to us.
The nature of the divine thought involves certain problems; for while thought is held to be the most divine of things observed by us, the question how it must be situated in order to have that character involves difficulties. For if it thinks of nothing, what is there here of dignity? It is just like one who sleeps. And if it thinks, but this depends on something else, then (since that which is its substance is not the act of thinking, but a potency) it cannot be the best substance; for it is through thinking that its value belongs to it. Further, whether its substance is the faculty of thought or the act of thinking, what does it think of? Either of itself or of something else; and if of something else, either of the same thing always or of something different. Does it matter, then, or not, whether it thinks of the good or of any chance thing? Are there not some things about which it is incredible that it should think? Evidently, then, it thinks of that which is most divine and precious, and it does not change; for change would be change for the worse, and this would be already a movement. First, then, if ‘thought’ is not the act of thinking but a potency, it would be reasonable to suppose that the continuity of its thinking is wearisome to it. Secondly, there would evidently be something else more precious than thought, viz. that which is thought of. For both thinking and the act of thought will belong even to one who thinks of the worst thing in the world, so that if this ought to be avoided (and it ought, for there are even some things which it is better not to see than to see), the act of thinking cannot be the best of things. Therefore it must be of itself that the divine thought thinks (since it is the most excellent of things), and its thinking is a thinking on thinking.
But evidently knowledge and perception and opinion and understanding have always something else as their object, and themselves only by the way. Further, if thinking and being thought of are different, in respect of which does goodness belong to thought? For to he an act of thinking and to he an object of thought are not the same thing. We answer that in some cases the knowledge is the object. In the productive sciences it is the substance or essence of the object, matter omitted, and in the theoretical sciences the definition or the act of thinking is the object. Since, then, thought and the object of thought are not different in the case of things that have not matter, the divine thought and its object will be the same, i.e. the thinking will be one with the object of its thought.
A further question is left-whether the object of the divine thought is composite; for if it were, thought would change in passing from part to part of the whole. We answer that everything which has not matter is indivisible-as human thought, or rather the thought of composite beings, is in a certain period of time (for it does not possess the good at this moment or at that, but its best, being something different from it, is attained only in a whole period of time), so throughout eternity is the thought which has itself for its object.
We must consider also in which of two ways the nature of the universe contains the good, and the highest good, whether as something separate and by itself, or as the order of the parts. Probably in both ways, as an army does; for its good is found both in its order and in its leader, and more in the latter; for he does not depend on the order but it depends on him. And all things are ordered together somehow, but not all alike,-both fishes and fowls and plants; and the world is not such that one thing has nothing to do with another, but they are connected. For all are ordered together to one end, but it is as in a house, where the freemen are least at liberty to act at random, but all things or most things are already ordained for them, while the slaves and the animals do little for the common good, and for the most part live at random; for this is the sort of principle that constitutes the nature of each. I mean, for instance, that all must at least come to be dissolved into their elements, and there are other functions similarly in which all share for the good of the whole.
We must not fail to observe how many impossible or paradoxical results confront those who hold different views from our own, and what are the views of the subtler thinkers, and which views are attended by fewest difficulties. All make all things out of contraries. But neither ‘all things’ nor ‘out of contraries’ is right; nor do these thinkers tell us how all the things in which the contraries are present can be made out of the contraries; for contraries are not affected by one another. Now for us this difficulty is solved naturally by the fact that there is a third element. These thinkers however make one of the two contraries matter; this is done for instance by those who make the unequal matter for the equal, or the many matter for the one. But this also is refuted in the same way; for the one matter which underlies any pair of contraries is contrary to nothing. Further, all things, except the one, will, on the view we are criticizing, partake of evil; for the bad itself is one of the two elements. But the other school does not treat the good and the bad even as principles; yet in all things the good is in the highest degree a principle. The school we first mentioned is right in saying that it is a principle, but how the good is a principle they do not say-whether as end or as mover or as form.
Empedocles also has a paradoxical view; for he identifies the good with love, but this is a principle both as mover (for it brings things together) and as matter (for it is part of the mixture). Now even if it happens that the same thing is a principle both as matter and as mover, still the being, at least, of the two is not the same. In which respect then is love a principle? It is paradoxical also that strife should be imperishable; the nature of his ‘evil’ is just strife.
Anaxagoras makes the good a motive principle; for his ‘reason’ moves things. But it moves them for an end, which must be something other than it, except according to our way of stating the case; for, on our view, the medical art is in a sense health. It is paradoxical also not to suppose a contrary to the good, i.e. to reason. But all who speak of the contraries make no use of the contraries, unless we bring their views into shape. And why some things are perishable and others imperishable, no one tells us; for they make all existing things out of the same principles. Further, some make existing things out of the nonexistent; and others to avoid the necessity of this make all things one.
Further, why should there always be becoming, and what is the cause of becoming?-this no one tells us. And those who suppose two principles must suppose another, a superior principle, and so must those who believe in the Forms; for why did things come to participate, or why do they participate, in the Forms? And all other thinkers are confronted by the necessary consequence that there is something contrary to Wisdom, i.e. to the highest knowledge; but we are not. For there is nothing contrary to that which is primary; for all contraries have matter, and things that have matter exist only potentially; and the ignorance which is contrary to any knowledge leads to an object contrary to the object of the knowledge; but what is primary has no contrary.
Again, if besides sensible things no others exist, there will be no first principle, no order, no becoming, no heavenly bodies, but each principle will have a principle before it, as in the accounts of the theologians and all the natural philosophers. But if the Forms or the numbers are to exist, they will be causes of nothing; or if not that, at least not of movement. Further, how is extension, i.e. a continuum, to be produced out of unextended parts? For number will not, either as mover or as form, produce a continuum. But again there cannot be any contrary that is also essentially a productive or moving principle; for it would be possible for it not to be. Or at least its action would be posterior to its potency. The world, then, would not be eternal. But it is; one of these premisses, then, must be denied. And we have said how this must be done. Further, in virtue of what the numbers, or the soul and the body, or in general the form and the thing, are one-of this no one tells us anything; nor can any one tell, unless he says, as we do, that the mover makes them one. And those who say mathematical number is first and go on to generate one kind of substance after another and give different principles for each, make the substance of the universe a mere series of episodes (for one substance has no influence on another by its existence or nonexistence), and they give us many governing principles; but the world refuses to be governed badly.
‘The rule of many is not good; one ruler let there be.’
WE have stated what is the substance of sensible things, dealing in the treatise on physics with matter, and later with the substance which has actual existence. Now since our inquiry is whether there is or is not besides the sensible substances any which is immovable and eternal, and, if there is, what it is, we must first consider what is said by others, so that, if there is anything which they say wrongly, we may not be liable to the same objections, while, if there is any opinion common to them and us, we shall have no private grievance against ourselves on that account; for one must be content to state some points better than one’s predecessors, and others no worse.
Two opinions are held on this subject; it is said that the objects of mathematics-i.e. numbers and lines and the like-are substances, and again that the Ideas are substances. And (1) since some recognize these as two different classes-the Ideas and the mathematical numbers, and (2) some recognize both as having one nature, while (3) some others say that the mathematical substances are the only substances, we must consider first the objects of mathematics, not qualifying them by any other characteristic-not asking, for instance, whether they are in fact Ideas or not, or whether they are the principles and substances of existing things or not, but only whether as objects of mathematics they exist or not, and if they exist, how they exist. Then after this we must separately consider the Ideas themselves in a general way, and only as far as the accepted mode of treatment demands; for most of the points have been repeatedly made even by the discussions outside our school, and, further, the greater part of our account must finish by throwing light on that inquiry, viz. when we examine whether the substances and the principles of existing things are numbers and Ideas; for after the discussion of the Ideas this remans as a third inquiry.
If the objects of mathematics exist, they must exist either in sensible objects, as some say, or separate from sensible objects (and this also is said by some); or if they exist in neither of these ways, either they do not exist, or they exist only in some special sense. So that the subject of our discussion will be not whether they exist but how they exist.
That it is impossible for mathematical objects to exist in sensible things, and at the same time that the doctrine in question is an artificial one, has been said already in our discussion of difficulties we have pointed out that it is impossible for two solids to be in the same place, and also that according to the same argument the other powers and characteristics also should exist in sensible things and none of them separately. This we have said already. But, further, it is obvious that on this theory it is impossible for any body whatever to be divided; for it would have to be divided at a plane, and the plane at a line, and the line at a point, so that if the point cannot be divided, neither can the line, and if the line cannot, neither can the plane nor the solid. What difference, then, does it make whether sensible things are such indivisible entities, or, without being so themselves, have indivisible entities in them? The result will be the same; if the sensible entities are divided the others will be divided too, or else not even the sensible entities can be divided.
But, again, it is not possible that such entities should exist separately. For if besides the sensible solids there are to be other solids which are separate from them and prior to the sensible solids, it is plain that besides the planes also there must be other and separate planes and points and lines; for consistency requires this. But if these exist, again besides the planes and lines and points of the mathematical solid there must be others which are separate. (For incomposites are prior to compounds; and if there are, prior to the sensible bodies, bodies which are not sensible, by the same argument the planes which exist by themselves must be prior to those which are in the motionless solids. Therefore these will be planes and lines other than those that exist along with the mathematical solids to which these thinkers assign separate existence; for the latter exist along with the mathematical solids, while the others are prior to the mathematical solids.) Again, therefore, there will be, belonging to these planes, lines, and prior to them there will have to be, by the same argument, other lines and points; and prior to these points in the prior lines there will have to be other points, though there will be no others prior to these. Now (1) the accumulation becomes absurd; for we find ourselves with one set of solids apart from the sensible solids; three sets of planes apart from the sensible planes-those which exist apart from the sensible planes, and those in the mathematical solids, and those which exist apart from those in the mathematical solids; four sets of lines, and five sets of points. With which of these, then, will the mathematical sciences deal? Certainly not with the planes and lines and points in the motionless solid; for science always deals with what is prior. And (the same account will apply also to numbers; for there will be a different set of units apart from each set of points, and also apart from each set of realities, from the objects of sense and again from those of thought; so that there will be various classes of mathematical numbers.
Again, how is it possible to solve the questions which we have already enumerated in our discussion of difficulties? For the objects of astronomy will exist apart from sensible things just as the objects of geometry will; but how is it possible that a heaven and its parts-or anything else which has movement-should exist apart? Similarly also the objects of optics and of harmonics will exist apart; for there will be both voice and sight besides the sensible or individual voices and sights. Therefore it is plain that the other senses as well, and the other objects of sense, will exist apart; for why should one set of them do so and another not? And if this is so, there will also be animals existing apart, since there will be senses.
Again, there are certain mathematical theorems that are universal, extending beyond these substances. Here then we shall have another intermediate substance separate both from the Ideas and from the intermediates,-a substance which is neither number nor points nor spatial magnitude nor time. And if this is impossible, plainly it is also impossible that the former entities should exist separate from sensible things.
And, in general, conclusion contrary alike to the truth and to the usual views follow, if one is to suppose the objects of mathematics to exist thus as separate entities. For because they exist thus they must be prior to sensible spatial magnitudes, but in truth they must be posterior; for the incomplete spatial magnitude is in the order of generation prior, but in the order of substance posterior, as the lifeless is to the living.
Again, by virtue of what, and when, will mathematical magnitudes be one? For things in our perceptible world are one in virtue of soul, or of a part of soul, or of something else that is reasonable enough; when these are not present, the thing is a plurality, and splits up into parts. But in the case of the subjects of mathematics, which are divisible and are quantities, what is the cause of their being one and holding together?
Again, the modes of generation of the objects of mathematics show that we are right. For the dimension first generated is length, then comes breadth, lastly depth, and the process is complete. If, then, that which is posterior in the order of generation is prior in the order of substantiality, the solid will be prior to the plane and the line. And in this way also it is both more complete and more whole, because it can become animate. How, on the other hand, could a line or a plane be animate? The supposition passes the power of our senses.
Again, the solid is a sort of substance; for it already has in a sense completeness. But how can lines be substances? Neither as a form or shape, as the soul perhaps is, nor as matter, like the solid; for we have no experience of anything that can be put together out of lines or planes or points, while if these had been a sort of material substance, we should have observed things which could be put together out of them.
Grant, then, that they are prior in definition. Still not all things that are prior in definition are also prior in substantiality. For those things are prior in substantiality which when separated from other things surpass them in the power of independent existence, but things are prior in definition to those whose definitions are compounded out of their definitions; and these two properties are not coextensive. For if attributes do not exist apart from the substances (e.g. a ‘mobile’ or a pale’), pale is prior to the pale man in definition, but not in substantiality. For it cannot exist separately, but is always along with the concrete thing; and by the concrete thing I mean the pale man. Therefore it is plain that neither is the result of abstraction prior nor that which is produced by adding determinants posterior; for it is by adding a determinant to pale that we speak of the pale man.
It has, then, been sufficiently pointed out that the objects of mathematics are not substances in a higher degree than bodies are, and that they are not prior to sensibles in being, but only in definition, and that they cannot exist somewhere apart. But since it was not possible for them to exist in sensibles either, it is plain that they either do not exist at all or exist in a special sense and therefore do not ‘exist’ without qualification. For ‘exist’ has many senses.
For just as the universal propositions of mathematics deal not with objects which exist separately, apart from extended magnitudes and from numbers, but with magnitudes and numbers, not however qua such as to have magnitude or to be divisible, clearly it is possible that there should also be both propositions and demonstrations about sensible magnitudes, not however qua sensible but qua possessed of certain definite qualities. For as there are many propositions about things merely considered as in motion, apart from what each such thing is and from their accidents, and as it is not therefore necessary that there should be either a mobile separate from sensibles, or a distinct mobile entity in the sensibles, so too in the case of mobiles there will be propositions and sciences, which treat them however not qua mobile but only qua bodies, or again only qua planes, or only qua lines, or qua divisibles, or qua indivisibles having position, or only qua indivisibles. Thus since it is true to say without qualification that not only things which are separable but also things which are inseparable exist (for instance, that mobiles exist), it is true also to say without qualification that the objects of mathematics exist, and with the character ascribed to them by mathematicians. And as it is true to say of the other sciences too, without qualification, that they deal with such and such a subject-not with what is accidental to it (e.g. not with the pale, if the healthy thing is pale, and the science has the healthy as its subject), but with that which is the subject of each science-with the healthy if it treats its object qua healthy, with man if qua man:-so too is it with geometry; if its subjects happen to be sensible, though it does not treat them qua sensible, the mathematical sciences will not for that reason be sciences of sensibles-nor, on the other hand, of other things separate from sensibles. Many properties attach to things in virtue of their own nature as possessed of each such character; e.g. there are attributes peculiar to the animal qua female or qua male (yet there is no ‘female’ nor ‘male’ separate from animals); so that there are also attributes which belong to things merely as lengths or as planes. And in proportion as we are dealing with things which are prior in definition and simpler, our knowledge has more accuracy, i.e. simplicity. Therefore a science which abstracts from spatial magnitude is more precise than one which takes it into account; and a science is most precise if it abstracts from movement, but if it takes account of movement, it is most precise if it deals with the primary movement, for this is the simplest; and of this again uniform movement is the simplest form.
The same account may be given of harmonics and optics; for neither considers its objects qua sight or qua voice, but qua lines and numbers; but the latter are attributes proper to the former. And mechanics too proceeds in the same way. Therefore if we suppose attributes separated from their fellow attributes and make any inquiry concerning them as such, we shall not for this reason be in error, any more than when one draws a line on the ground and calls it a foot long when it is not; for the error is not included in the premisses.
Each question will be best investigated in this way-by setting up by an act of separation what is not separate, as the arithmetician and the geometer do. For a man qua man is one indivisible thing; and the arithmetician supposed one indivisible thing, and then considered whether any attribute belongs to a man qua indivisible. But the geometer treats him neither qua man nor qua indivisible, but as a solid. For evidently the properties which would have belonged to him even if perchance he had not been indivisible, can belong to him even apart from these attributes. Thus, then, geometers speak correctly; they talk about existing things, and their subjects do exist; for being has two forms-it exists not only in complete reality but also materially.
Now since the good and the beautiful are different (for the former always implies conduct as its subject, while the beautiful is found also in motionless things), those who assert that the mathematical sciences say nothing of the beautiful or the good are in error. For these sciences say and prove a great deal about them; if they do not expressly mention them, but prove attributes which are their results or their definitions, it is not true to say that they tell us nothing about them. The chief forms of beauty are order and symmetry and definiteness, which the mathematical sciences demonstrate in a special degree. And since these (e.g. order and definiteness) are obviously causes of many things, evidently these sciences must treat this sort of causative principle also (i.e. the beautiful) as in some sense a cause. But we shall speak more plainly elsewhere about these matters.
So much then for the objects of mathematics; we have said that they exist and in what sense they exist, and in what sense they are prior and in what sense not prior. Now, regarding the Ideas, we must first examine the ideal theory itself, not connecting it in any way with the nature of numbers, but treating it in the form in which it was originally understood by those who first maintained the existence of the Ideas. The supporters of the ideal theory were led to it because on the question about the truth of things they accepted the Heraclitean sayings which describe all sensible things as ever passing away, so that if knowledge or thought is to have an object, there must be some other and permanent entities, apart from those which are sensible; for there could be no knowledge of things which were in a state of flux. But when Socrates was occupying himself with the excellences of character, and in connexion with them became the first to raise the problem of universal definition (for of the physicists Democritus only touched on the subject to a small extent, and defined, after a fashion, the hot and the cold; while the Pythagoreans had before this treated of a few things, whose definitions-e.g. those of opportunity, justice, or marriage-they connected with numbers; but it was natural that Socrates should be seeking the essence, for he was seeking to syllogize, and ‘what a thing is’ is the starting-point of syllogisms; for there was as yet none of the dialectical power which enables people even without knowledge of the essence to speculate about contraries and inquire whether the same science deals with contraries; for two things may be fairly ascribed to Socrates-inductive arguments and universal definition, both of which are concerned with the starting-point of science):-but Socrates did not make the universals or the definitions exist apart: they, however, gave them separate existence, and this was the kind of thing they called Ideas. Therefore it followed for them, almost by the same argument, that there must be Ideas of all things that are spoken of universally, and it was almost as if a man wished to count certain things, and while they were few thought he would not be able to count them, but made more of them and then counted them; for the Forms are, one may say, more numerous than the particular sensible things, yet it was in seeking the causes of these that they proceeded from them to the Forms. For to each thing there answers an entity which has the same name and exists apart from the substances, and so also in the case of all other groups there is a one over many, whether these be of this world or eternal.
Again, of the ways in which it is proved that the Forms exist, none is convincing; for from some no inference necessarily follows, and from some arise Forms even of things of which they think there are no Forms. For according to the arguments from the sciences there will be Forms of all things of which there are sciences, and according to the argument of the ‘one over many’ there will be Forms even of negations, and according to the argument that thought has an object when the individual object has perished, there will be Forms of perishable things; for we have an image of these. Again, of the most accurate arguments, some lead to Ideas of relations, of which they say there is no independent class, and others introduce the ‘third man’.
And in general the arguments for the Forms destroy things for whose existence the believers in Forms are more zealous than for the existence of the Ideas; for it follows that not the dyad but number is first, and that prior to number is the relative, and that this is prior to the absolute-besides all the other points on which certain people, by following out the opinions held about the Forms, came into conflict with the principles of the theory.
Again, according to the assumption on the belief in the Ideas rests, there will be Forms not only of substances but also of many other things; for the concept is single not only in the case of substances, but also in that of non-substances, and there are sciences of other things than substance; and a thousand other such difficulties confront them. But according to the necessities of the case and the opinions about the Forms, if they can be shared in there must be Ideas of substances only. For they are not shared in incidentally, but each Form must be shared in as something not predicated of a subject. (By ‘being shared in incidentally’ I mean that if a thing shares in ‘double itself’, it shares also in ‘eternal’, but incidentally; for ‘the double’ happens to be eternal.) Therefore the Forms will be substance. But the same names indicate substance in this and in the ideal world (or what will be the meaning of saying that there is something apart from the particulars-the one over many?). And if the Ideas and the things that share in them have the same form, there will be something common: for why should ‘2’ be one and the same in the perishable 2’s, or in the 2’s which are many but eternal, and not the same in the ‘2 itself’ as in the individual 2? But if they have not the same form, they will have only the name in common, and it is as if one were to call both Callias and a piece of wood a ‘man’, without observing any community between them.
But if we are to suppose that in other respects the common definitions apply to the Forms, e.g. that ‘plane figure’ and the other parts of the definition apply to the circle itself, but ‘what really is’ has to be added, we must inquire whether this is not absolutely meaningless. For to what is this to be added? To ‘centre’ or to ‘plane’ or to all the parts of the definition? For all the elements in the essence are Ideas, e.g. ‘animal’ and ‘two-footed’. Further, there must be some Ideal answering to ‘plane’ above, some nature which will be present in all the Forms as their genus.
Above all one might discuss the question what in the world the Forms contribute to sensible things, either to those that are eternal or to those that come into being and cease to be; for they cause neither movement nor any change in them. But again they help in no wise either towards the knowledge of other things (for they are not even the substance of these, else they would have been in them), or towards their being, if they are not in the individuals which share in them; though if they were, they might be thought to be causes, as white causes whiteness in a white object by entering into its composition. But this argument, which was used first by Anaxagoras, and later by Eudoxus in his discussion of difficulties and by certain others, is very easily upset; for it is easy to collect many and insuperable objections to such a view.
But, further, all other things cannot come from the Forms in any of the usual senses of ‘from’. And to say that they are patterns and the other things share in them is to use empty words and poetical metaphors. For what is it that works, looking to the Ideas? And any thing can both be and come into being without being copied from something else, so that, whether Socrates exists or not, a man like Socrates might come to be. And evidently this might be so even if Socrates were eternal. And there will be several patterns of the same thing, and therefore several Forms; e.g. ‘animal’ and ‘two-footed’, and also ‘man-himself’, will be Forms of man. Again, the Forms are patterns not only of sensible things, but of Forms themselves also; i.e. the genus is the pattern of the various forms-of-a-genus; therefore the same thing will be pattern and copy.
Again, it would seem impossible that substance and that whose substance it is should exist apart; how, therefore, could the Ideas, being the substances of things, exist apart?
In the Phaedo the case is stated in this way-that the Forms are causes both of being and of becoming. Yet though the Forms exist, still things do not come into being, unless there is something to originate movement; and many other things come into being (e.g. a house or a ring) of which they say there are no Forms. Clearly therefore even the things of which they say there are Ideas can both be and come into being owing to such causes as produce the things just mentioned, and not owing to the Forms. But regarding the Ideas it is possible, both in this way and by more abstract and accurate arguments, to collect many objections like those we have considered.
Since we have discussed these points, it is well to consider again the results regarding numbers which confront those who say that numbers are separable substances and first causes of things. If number is an entity and its substance is nothing other than just number, as some say, it follows that either (1) there is a first in it and a second, each being different in species,-and either (a) this is true of the units without exception, and any unit is inassociable with any unit, or (b) they are all without exception successive, and any of them are associable with any, as they say is the case with mathematical number; for in mathematical number no one unit is in any way different from another. Or (c) some units must be associable and some not; e.g. suppose that 2 is first after 1, and then comes 3 and then the rest of the number series, and the units in each number are associable, e.g. those in the first 2 are associable with one another, and those in the first 3 with one another, and so with the other numbers; but the units in the ‘2-itself’ are inassociable with those in the ‘3-itself’; and similarly in the case of the other successive numbers. And so while mathematical number is counted thus-after 1, 2 (which consists of another 1 besides the former 1), and 3 which consists of another 1 besides these two), and the other numbers similarly, ideal number is counted thus-after 1, a distinct 2 which does not include the first 1, and a 3 which does not include the 2 and the rest of the number series similarly. Or (2) one kind of number must be like the first that was named, one like that which the mathematicians speak of, and that which we have named last must be a third kind.
Again, these kinds of numbers must either be separable from things, or not separable but in objects of perception (not however in the way which we first considered, in the sense that objects of perception consists of numbers which are present in them)-either one kind and not another, or all of them.
These are of necessity the only ways in which the numbers can exist. And of those who say that the 1 is the beginning and substance and element of all things, and that number is formed from the 1 and something else, almost every one has described number in one of these ways; only no one has said all the units are inassociable. And this has happened reasonably enough; for there can be no way besides those mentioned. Some say both kinds of number exist, that which has a before and after being identical with the Ideas, and mathematical number being different from the Ideas and from sensible things, and both being separable from sensible things; and others say mathematical number alone exists, as the first of realities, separate from sensible things. And the Pythagoreans, also, believe in one kind of number-the mathematical; only they say it is not separate but sensible substances are formed out of it. For they construct the whole universe out of numbers-only not numbers consisting of abstract units; they suppose the units to have spatial magnitude. But how the first 1 was constructed so as to have magnitude, they seem unable to say.
Another thinker says the first kind of number, that of the Forms, alone exists, and some say mathematical number is identical with this.
The case of lines, planes, and solids is similar. For some think that those which are the objects of mathematics are different from those which come after the Ideas; and of those who express themselves otherwise some speak of the objects of mathematics and in a mathematical way-viz. those who do not make the Ideas numbers nor say that Ideas exist; and others speak of the objects of mathematics, but not mathematically; for they say that neither is every spatial magnitude divisible into magnitudes, nor do any two units taken at random make 2. All who say the 1 is an element and principle of things suppose numbers to consist of abstract units, except the Pythagoreans; but they suppose the numbers to have magnitude, as has been said before. It is clear from this statement, then, in how many ways numbers may be described, and that all the ways have been mentioned; and all these views are impossible, but some perhaps more than others.
First, then, let us inquire if the units are associable or inassociable, and if inassociable, in which of the two ways we distinguished. For it is possible that any unity is inassociable with any, and it is possible that those in the ‘itself’ are inassociable with those in the ‘itself’, and, generally, that those in each ideal number are inassociable with those in other ideal numbers. Now (1) all units are associable and without difference, we get mathematical number-only one kind of number, and the Ideas cannot be the numbers. For what sort of number will man-himself or animal-itself or any other Form be? There is one Idea of each thing e.g. one of man-himself and another one of animal-itself; but the similar and undifferentiated numbers are infinitely many, so that any particular 3 is no more man-himself than any other 3. But if the Ideas are not numbers, neither can they exist at all. For from what principles will the Ideas come? It is number that comes from the 1 and the indefinite dyad, and the principles or elements are said to be principles and elements of number, and the Ideas cannot be ranked as either prior or posterior to the numbers.
But (2) if the units are inassociable, and inassociable in the sense that any is inassociable with any other, number of this sort cannot be mathematical number; for mathematical number consists of undifferentiated units, and the truths proved of it suit this character. Nor can it be ideal number. For 2 will not proceed immediately from 1 and the indefinite dyad, and be followed by the successive numbers, as they say ‘2,3,4’ for the units in the ideal are generated at the same time, whether, as the first holder of the theory said, from unequals (coming into being when these were equalized) or in some other way-since, if one unit is to be prior to the other, it will be prior also to 2 the composed of these; for when there is one thing prior and another posterior, the resultant of these will be prior to one and posterior to the other. Again, since the 1-itself is first, and then there is a particular 1 which is first among the others and next after the 1-itself, and again a third which is next after the second and next but one after the first 1,-so the units must be prior to the numbers after which they are named when we count them; e.g. there will be a third unit in 2 before 3 exists, and a fourth and a fifth in 3 before the numbers 4 and 5 exist.-Now none of these thinkers has said the units are inassociable in this way, but according to their principles it is reasonable that they should be so even in this way, though in truth it is impossible. For it is reasonable both that the units should have priority and posteriority if there is a first unit or first 1, and also that the 2’s should if there is a first 2; for after the first it is reasonable and necessary that there should be a second, and if a second, a third, and so with the others successively. (And to say both things at the same time, that a unit is first and another unit is second after the ideal 1, and that a 2 is first after it, is impossible.) But they make a first unit or 1, but not also a second and a third, and a first 2, but not also a second and a third. Clearly, also, it is not possible, if all the units are inassociable, that there should be a 2-itself and a 3-itself; and so with the other numbers. For whether the units are undifferentiated or different each from each, number must be counted by addition, e.g. 2 by adding another 1 to the one, 3 by adding another 1 to the two, and similarly. This being so, numbers cannot be generated as they generate them, from the 2 and the 1; for 2 becomes part of 3 and 3 of 4 and the same happens in the case of the succeeding numbers, but they say 4 came from the first 2 and the indefinite which makes it two 2’s other than the 2-itself; if not, the 2-itself will be a part of 4 and one other 2 will be added. And similarly 2 will consist of the 1-itself and another 1; but if this is so, the other element cannot be an indefinite 2; for it generates one unit, not, as the indefinite 2 does, a definite 2.
Again, besides the 3-itself and the 2-itself how can there be other 3’s and 2’s? And how do they consist of prior and posterior units? All this is absurd and fictitious, and there cannot be a first 2 and then a 3-itself. Yet there must, if the 1 and the indefinite dyad are to be the elements. But if the results are impossible, it is also impossible that these are the generating principles.
If the units, then, are differentiated, each from each, these results and others similar to these follow of necessity. But (3) if those in different numbers are differentiated, but those in the same number are alone undifferentiated from one another, even so the difficulties that follow are no less. E.g. in the 10-itself their are ten units, and the 10 is composed both of them and of two 5’s. But since the 10-itself is not any chance number nor composed of any chance 5’s — or, for that matter, units — the units in this 10 must differ. For if they do not differ, neither will the 5’s of which the 10 consists differ; but since these differ, the units also will differ. But if they differ, will there be no other 5’s in the 10 but only these two, or will there be others? If there are not, this is paradoxical; and if there are, what sort of 10 will consist of them? For there is no other in the 10 but the 10 itself. But it is actually necessary on their view that the 4 should not consist of any chance 2’s; for the indefinite as they say, received the definite 2 and made two 2’s; for its nature was to double what it received.
Again, as to the 2 being an entity apart from its two units, and the 3 an entity apart from its three units, how is this possible? Either by one’s sharing in the other, as ‘pale man’ is different from ‘pale’ and ‘man’ (for it shares in these), or when one is a differentia of the other, as ‘man’ is different from ‘animal’ and ‘two-footed’.
Again, some things are one by contact, some by intermixture, some by position; none of which can belong to the units of which the 2 or the 3 consists; but as two men are not a unity apart from both, so must it be with the units. And their being indivisible will make no difference to them; for points too are indivisible, but yet a pair of them is nothing apart from the two.
But this consequence also we must not forget, that it follows that there are prior and posterior 2 and similarly with the other numbers. For let the 2’s in the 4 be simultaneous; yet these are prior to those in the 8 and as the 2 generated them, they generated the 4’s in the 8-itself. Therefore if the first 2 is an Idea, these 2’s also will be Ideas of some kind. And the same account applies to the units; for the units in the first 2 generate the four in 4, so that all the units come to be Ideas and an Idea will be composed of Ideas. Clearly therefore those things also of which these happen to be the Ideas will be composite, e.g. one might say that animals are composed of animals, if there are Ideas of them.
In general, to differentiate the units in any way is an absurdity and a fiction; and by a fiction I mean a forced statement made to suit a hypothesis. For neither in quantity nor in quality do we see unit differing from unit, and number must be either equal or unequal-all number but especially that which consists of abstract units-so that if one number is neither greater nor less than another, it is equal to it; but things that are equal and in no wise differentiated we take to be the same when we are speaking of numbers. If not, not even the 2 in the 10-itself will be undifferentiated, though they are equal; for what reason will the man who alleges that they are not differentiated be able to give?
Again, if every unit + another unit makes two, a unit from the 2-itself and one from the 3-itself will make a 2. Now (a) this will consist of differentiated units; and will it be prior to the 3 or posterior? It rather seems that it must be prior; for one of the units is simultaneous with the 3 and the other is simultaneous with the 2. And we, for our part, suppose that in general 1 and 1, whether the things are equal or unequal, is 2, e.g. the good and the bad, or a man and a horse; but those who hold these views say that not even two units are 2.
If the number of the 3-itself is not greater than that of the 2, this is surprising; and if it is greater, clearly there is also a number in it equal to the 2, so that this is not different from the 2-itself. But this is not possible, if there is a first and a second number.
Nor will the Ideas be numbers. For in this particular point they are right who claim that the units must be different, if there are to be Ideas; as has been said before. For the Form is unique; but if the units are not different, the 2’s and the 3’s also will not be different. This is also the reason why they must say that when we count thus-’1,2’-we do not proceed by adding to the given number; for if we do, neither will the numbers be generated from the indefinite dyad, nor can a number be an Idea; for then one Idea will be in another, and all Forms will be parts of one Form. And so with a view to their hypothesis their statements are right, but as a whole they are wrong; for their view is very destructive, since they will admit that this question itself affords some difficulty-whether, when we count and say — 1,2,3-we count by addition or by separate portions. But we do both; and so it is absurd to reason back from this problem to so great a difference of essence.