Liber III.B — Place, the Continuum, Zeno’s Paradoxes & Threefold Dimension¶
Liber III — Physica & De Caelo: Abstraction, Infinite, Place & Continuum · Bekker 208a–213a, 231a–233b, 239b–240a, 268a–b
«ἀδύνατον ἐξ ἀδιαιρέτων εἶναί τι συνεχές, οἷον γραμμὴν ἐκ στιγμῶν, εἴπερ ἡ γραμμὴ μὲν συνεχές, ἡ στιγμὴ δὲ ἀδιαίρετον.»
“It is impossible that anything continuous should be composed of indivisibles: for instance, a line cannot be composed of points, the line being continuous and the point indivisible.” — Physica VI.1, 231a24–26
Physics IV.1 — Existence & Aporiai of Place (Topos) & the Six Directions (208a27–209a30)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 208a27–209a30
The physicist must have a knowledge of Place, too, as well as of the infinite-namely, whether there is such a thing or not, and the manner of its existence and what it is-both because all suppose that things which exist are somewhere (the non-existent is nowhere–where is the goat-stag or the sphinx?), and because ‘motion’ in its most general and primary sense is change of place, which we call ‘locomotion’.
The question, what is place? presents many difficulties. An examination of all the relevant facts seems to lead to divergent conclusions. Moreover, we have inherited nothing from previous thinkers, whether in the way of a statement of difficulties or of a solution.
The existence of place is held to be obvious from the fact of mutual replacement. Where water now is, there in turn, when the water has gone out as from a vessel, air is present. When therefore another body occupies this same place, the place is thought to be different from all the bodies which come to be in it and replace one another. What now contains air formerly contained water, so that clearly the place or space into which and out of which they passed was something different from both.
Further, the typical locomotions of the elementary natural bodies-namely, fire, earth, and the like-show not only that place is something, but also that it exerts a certain influence. Each is carried to its own place, if it is not hindered, the one up, the other down. Now these are regions or kinds of place-up and down and the rest of the six directions. Nor do such distinctions (up and down and right and left, &c.) hold only in relation to us. To us they are not always the same but change with the direction in which we are turned: that is why the same thing may be both right and left, up and down, before and behind. But in nature each is distinct, taken apart by itself. It is not every chance direction which is ‘up’, but where fire and what is light are carried; similarly, too, ‘down’ is not any chance direction but where what has weight and what is made of earth are carried-the implication being that these places do not differ merely in relative position, but also as possessing distinct potencies. This is made plain also by the objects studied by mathematics. Though they have no real place, they nevertheless, in respect of their position relatively to us, have a right and left as attributes ascribed to them only in consequence of their relative position, not having by nature these various characteristics. Again, the theory that the void exists involves the existence of place: for one would define void as place bereft of body.
These considerations then would lead us to suppose that place is something distinct from bodies, and that every sensible body is in place. Hesiod too might be held to have given a correct account of it when he made chaos first. At least he says:
‘First of all things came chaos to being, then broad-breasted earth,’ implying that things need to have space first, because he thought, with most people, that everything is somewhere and in place. If this is its nature, the potency of place must be a marvellous thing, and take precedence of all other things. For that without which nothing else can exist, while it can exist without the others, must needs be first; for place does not pass out of existence when the things in it are annihilated.
True, but even if we suppose its existence settled, the question of its nature presents difficulty-whether it is some sort of ‘bulk’ of body or some entity other than that, for we must first determine its genus.
Now it has three dimensions, length, breadth, depth, the dimensions by which all body also is bounded. But the place cannot be body; for if it were there would be two bodies in the same place.
Further, if body has a place and space, clearly so too have surface and the other limits of body; for the same statement will apply to them: where the bounding planes of the water were, there in turn will be those of the air. But when we come to a point we cannot make a distinction between it and its place. Hence if the place of a point is not different from the point, no more will that of any of the others be different, and place will not be something different from each of them.
What in the world then are we to suppose place to be? If it has the sort of nature described, it cannot be an element or composed of elements, whether these be corporeal or incorporeal: for while it has size, it has not body. But the elements of sensible bodies are bodies, while nothing that has size results from a combination of intelligible elements.
Also we may ask: of what in things is space the cause? None of the four modes of causation can be ascribed to it. It is neither in the sense of the matter of existents (for nothing is composed of it), nor as the form and definition of things, nor as end, nor does it move existents.
Further, too, if it is itself an existent, where will it be? Zeno’s difficulty demands an explanation: for if everything that exists has a place, place too will have a place, and so on ad infinitum.
Again, just as every body is in place, so, too, every place has a body in it. What then shall we say about growing things? It follows from these premisses that their place must grow with them, if their place is neither less nor greater than they are.
By asking these questions, then, we must raise the whole problem about place-not only as to what it is, but even whether there is such a thing.
Physics IV.2 — Place Neither Form nor Matter (Critique of Plato’s Timaeus Receptacle) (209a31–210a13)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 209a31–210a13
We may distinguish generally between predicating B of A because it (A) is itself, and because it is something else; and particularly between place which is common and in which all bodies are, and the special place occupied primarily by each. I mean, for instance, that you are now in the heavens because you are in the air and it is in the heavens; and you are in the air because you are on the earth; and similarly on the earth because you are in this place which contains no more than you.
Now if place is what primarily contains each body, it would be a limit, so that the place would be the form or shape of each body by which the magnitude or the matter of the magnitude is defined: for this is the limit of each body.
If, then, we look at the question in this way the place of a thing is its form. But, if we regard the place as the extension of the magnitude, it is the matter. For this is different from the magnitude: it is what is contained and defined by the form, as by a bounding plane. Matter or the indeterminate is of this nature; when the boundary and attributes of a sphere are taken away, nothing but the matter is left.
This is why Plato in the Timaeus says that matter and space are the same; for the ‘participant’ and space are identical. (It is true, indeed, that the account he gives there of the ‘participant’ is different from what he says in his so-called ‘unwritten teaching’. Nevertheless, he did identify place and space.) I mention Plato because, while all hold place to be something, he alone tried to say what it is.
In view of these facts we should naturally expect to find difficulty in determining what place is, if indeed it is one of these two things, matter or form. They demand a very close scrutiny, especially as it is not easy to recognize them apart.
But it is at any rate not difficult to see that place cannot be either of them. The form and the matter are not separate from the thing, whereas the place can be separated. As we pointed out, where air was, water in turn comes to be, the one replacing the other; and similarly with other bodies. Hence the place of a thing is neither a part nor a state of it, but is separable from it. For place is supposed to be something like a vessel-the vessel being a transportable place. But the vessel is no part of the thing.
In so far then as it is separable from the thing, it is not the form: qua containing, it is different from the matter.
Also it is held that what is anywhere is both itself something and that there is a different thing outside it. (Plato of course, if we may digress, ought to tell us why the form and the numbers are not in place, if ‘what participates’ is place-whether what participates is the Great and the Small or the matter, as he called it in writing in the Timaeus.)
Further, how could a body be carried to its own place, if place was the matter or the form? It is impossible that what has no reference to motion or the distinction of up and down can be place. So place must be looked for among things which have these characteristics.
If the place is in the thing (it must be if it is either shape or matter) place will have a place: for both the form and the indeterminate undergo change and motion along with the thing, and are not always in the same place, but are where the thing is. Hence the place will have a place.
Further, when water is produced from air, the place has been destroyed, for the resulting body is not in the same place. What sort of destruction then is that?
This concludes my statement of the reasons why space must be something, and again of the difficulties that may be raised about its essential nature.
Physics IV.3 — Senses of Being ‘In’ Something & Whether a Thing Can Be in Itself (210a14–210b31)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 210a14–210b31
The next step we must take is to see in how many senses one thing is said to be ‘in’ another.
As the finger is ‘in’ the hand and generally the part ‘in’ the whole.
As the whole is ‘in’ the parts: for there is no whole over and above the parts.
As man is ‘in’ animal and generally species ‘in’ genus.
As the genus is ‘in’ the species and generally the part of the specific form ‘in’ the definition of the specific form.
As health is ‘in’ the hot and the cold and generally the form ‘in’ the matter.
As the affairs of Greece centre ‘in’ the king, and generally events centre ‘in’ their primary motive agent.
As the existence of a thing centres ‘in its good and generally ‘in’ its end, i.e. in ‘that for the sake of which’ it exists.
In the strictest sense of all, as a thing is ‘in’ a vessel, and generally ‘in’ place.
One might raise the question whether a thing can be in itself, or whether nothing can be in itself-everything being either nowhere or in something else.
The question is ambiguous; we may mean the thing qua itself or qua something else.
When there are parts of a whole-the one that in which a thing is, the other the thing which is in it-the whole will be described as being in itself. For a thing is described in terms of its parts, as well as in terms of the thing as a whole, e.g. a man is said to be white because the visible surface of him is white, or to be scientific because his thinking faculty has been trained. The jar then will not be in itself and the wine will not be in itself. But the jar of wine will: for the contents and the container are both parts of the same whole.
In this sense then, but not primarily, a thing can be in itself, namely, as ‘white’ is in body (for the visible surface is in body), and science is in the mind.
It is from these, which are ‘parts’ (in the sense at least of being ‘in’ the man), that the man is called white, &c. But the jar and the wine in separation are not parts of a whole, though together they are. So when there are parts, a thing will be in itself, as ‘white’ is in man because it is in body, and in body because it resides in the visible surface. We cannot go further and say that it is in surface in virtue of something other than itself. (Yet it is not in itself: though these are in a way the same thing,) they differ in essence, each having a special nature and capacity, ‘surface’ and ‘white’.
Thus if we look at the matter inductively we do not find anything to be ‘in’ itself in any of the senses that have been distinguished; and it can be seen by argument that it is impossible. For each of two things will have to be both, e.g. the jar will have to be both vessel and wine, and the wine both wine and jar, if it is possible for a thing to be in itself; so that, however true it might be that they were in each other, the jar will receive the wine in virtue not of its being wine but of the wine’s being wine, and the wine will be in the jar in virtue not of its being a jar but of the jar’s being a jar. Now that they are different in respect of their essence is evident; for ‘that in which something is’ and ‘that which is in it’ would be differently defined.
Nor is it possible for a thing to be in itself even incidentally: for two things would at the same time in the same thing. The jar would be in itself-if a thing whose nature it is to receive can be in itself; and that which it receives, namely (if wine) wine, will be in it.
Obviously then a thing cannot be in itself primarily. Zeno’s problem-that if Place is something it must be in something-is not difficult to solve. There is nothing to prevent the first place from being ‘in’ something else-not indeed in that as ‘in’ place, but as health is ‘in’ the hot as a positive determination of it or as the hot is ‘in’ body as an affection. So we escape the infinite regress.
Another thing is plain: since the vessel is no part of what is in it (what contains in the strict sense is different from what is contained), place could not be either the matter or the form of the thing contained, but must different-for the latter, both the matter and the shape, are parts of what is contained.
This then may serve as a critical statement of the difficulties involved.
Physics IV.4 — Definition of Place as the Innermost Motionless Boundary of the Containing Body (210b32–212a30)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 210b32–212a30
What then after all is place? The answer to this question may be elucidated as follows.
Let us take for granted about it the various characteristics which are supposed correctly to belong to it essentially. We assume then-
Place is what contains that of which it is the place.
Place is no part of the thing. (3) The immediate place of a thing is neither less nor greater than the thing.
Place can be left behind by the thing and is separable. In addition:
All place admits of the distinction of up and down, and each of the bodies is naturally carried to its appropriate place and rests there, and this makes the place either up or down.
Having laid these foundations, we must complete the theory. We ought to try to make our investigation such as will render an account of place, and will not only solve the difficulties connected with it, but will also show that the attributes supposed to belong to it do really belong to it, and further will make clear the cause of the trouble and of the difficulties about it. Such is the most satisfactory kind of exposition.
First then we must understand that place would not have been thought of, if there had not been a special kind of motion, namely that with respect to place. It is chiefly for this reason that we suppose the heaven also to be in place, because it is in constant movement. Of this kind of change there are two species-locomotion on the one hand and, on the other, increase and diminution. For these too involve variation of place: what was then in this place has now in turn changed to what is larger or smaller.
Again, when we say a thing is ‘moved’, the predicate either (1) belongs to it actually, in virtue of its own nature, or (2) in virtue of something conjoined with it. In the latter case it may be either (a) something which by its own nature is capable of being moved, e.g. the parts of the body or the nail in the ship, or (b) something which is not in itself capable of being moved, but is always moved through its conjunction with something else, as ‘whiteness’ or ‘science’. These have changed their place only because the subjects to which they belong do so.
We say that a thing is in the world, in the sense of in place, because it is in the air, and the air is in the world; and when we say it is in the air, we do not mean it is in every part of the air, but that it is in the air because of the outer surface of the air which surrounds it; for if all the air were its place, the place of a thing would not be equal to the thing-which it is supposed to be, and which the primary place in which a thing is actually is.
When what surrounds, then, is not separate from the thing, but is in continuity with it, the thing is said to be in what surrounds it, not in the sense of in place, but as a part in a whole. But when the thing is separate and in contact, it is immediately ‘in’ the inner surface of the surrounding body, and this surface is neither a part of what is in it nor yet greater than its extension, but equal to it; for the extremities of things which touch are coincident.
Further, if one body is in continuity with another, it is not moved in that but with that. On the other hand it is moved in that if it is separate. It makes no difference whether what contains is moved or not.
Again, when it is not separate it is described as a part in a whole, as the pupil in the eye or the hand in the body: when it is separate, as the water in the cask or the wine in the jar. For the hand is moved with the body and the water in the cask.
It will now be plain from these considerations what place is. There are just four things of which place must be one-the shape, or the matter, or some sort of extension between the bounding surfaces of the containing body, or this boundary itself if it contains no extension over and above the bulk of the body which comes to be in it.
Three of these it obviously cannot be: (1) The shape is supposed to be place because it surrounds, for the extremities of what contains and of what is contained are coincident. Both the shape and the place, it is true, are boundaries. But not of the same thing: the form is the boundary of the thing, the place is the boundary of the body which contains it.
The extension between the extremities is thought to be something, because what is contained and separate may often be changed while the container remains the same (as water may be poured from a vessel)-the assumption being that the extension is something over and above the body displaced. But there is no such extension. One of the bodies which change places and are naturally capable of being in contact with the container falls in whichever it may chance to be.
If there were an extension which were such as to exist independently and be permanent, there would be an infinity of places in the same thing. For when the water and the air change places, all the portions of the two together will play the same part in the whole which was previously played by all the water in the vessel; at the same time the place too will be undergoing change; so that there will be another place which is the place of the place, and many places will be coincident. There is not a different place of the part, in which it is moved, when the whole vessel changes its place: it is always the same: for it is in the (proximate) place where they are that the air and the water (or the parts of the water) succeed each other, not in that place in which they come to be, which is part of the place which is the place of the whole world.
The matter, too, might seem to be place, at least if we consider it in what is at rest and is thus separate but in continuity. For just as in change of quality there is something which was formerly black and is now white, or formerly soft and now hard-this is just why we say that the matter exists-so place, because it presents a similar phenomenon, is thought to exist-only in the one case we say so because what was air is now water, in the other because where air formerly was there a is now water. But the matter, as we said before, is neither separable from the thing nor contains it, whereas place has both characteristics.
Well, then, if place is none of the three-neither the form nor the matter nor an extension which is always there, different from, and over and above, the extension of the thing which is displaced-place necessarily is the one of the four which is left, namely, the boundary of the containing body at which it is in contact with the contained body. (By the contained body is meant what can be moved by way of locomotion.)
Place is thought to be something important and hard to grasp, both because the matter and the shape present themselves along with it, and because the displacement of the body that is moved takes place in a stationary container, for it seems possible that there should be an interval which is other than the bodies which are moved. The air, too, which is thought to be incorporeal, contributes something to the belief: it is not only the boundaries of the vessel which seem to be place, but also what is between them, regarded as empty. Just, in fact, as the vessel is transportable place, so place is a non-portable vessel. So when what is within a thing which is moved, is moved and changes its place, as a boat on a river, what contains plays the part of a vessel rather than that of place. Place on the other hand is rather what is motionless: so it is rather the whole river that is place, because as a whole it is motionless.
Hence we conclude that the innermost motionless boundary of what contains is place.
This explains why the middle of the heaven and the surface which faces us of the rotating system are held to be ‘up’ and ‘down’ in the strict and fullest sense for all men: for the one is always at rest, while the inner side of the rotating body remains always coincident with itself. Hence since the light is what is naturally carried up, and the heavy what is carried down, the boundary which contains in the direction of the middle of the universe, and the middle itself, are down, and that which contains in the direction of the outermost part of the universe, and the outermost part itself, are up.
For this reason, too, place is thought to be a kind of surface, and as it were a vessel, i.e. a container of the thing.
Further, place is coincident with the thing, for boundaries are coincident with the bounded.
Physics IV.5 — Place of the Heaven & Resolution of the Topos Aporiai (212a31–213a11)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 212a31–213a11
If then a body has another body outside it and containing it, it is in place, and if not, not. That is why, even if there were to be water which had not a container, the parts of it, on the one hand, will be moved (for one part is contained in another), while, on the other hand, the whole will be moved in one sense, but not in another. For as a whole it does not simultaneously change its place, though it will be moved in a circle: for this place is the place of its parts. (Some things are moved, not up and down, but in a circle; others up and down, such things namely as admit of condensation and rarefaction.)
As was explained, some things are potentially in place, others actually. So, when you have a homogeneous substance which is continuous, the parts are potentially in place: when the parts are separated, but in contact, like a heap, they are actually in place.
Again, (1) some things are per se in place, namely every body which is movable either by way of locomotion or by way of increase is per se somewhere, but the heaven, as has been said, is not anywhere as a whole, nor in any place, if at least, as we must suppose, no body contains it. On the line on which it is moved, its parts have place: for each is contiguous the next.
But (2) other things are in place indirectly, through something conjoined with them, as the soul and the heaven. The latter is, in a way, in place, for all its parts are: for on the orb one part contains another. That is why the upper part is moved in a circle, while the All is not anywhere. For what is somewhere is itself something, and there must be alongside it some other thing wherein it is and which contains it. But alongside the All or the Whole there is nothing outside the All, and for this reason all things are in the heaven; for the heaven, we may say, is the All. Yet their place is not the same as the heaven. It is part of it, the innermost part of it, which is in contact with the movable body; and for this reason the earth is in water, and this in the air, and the air in the aether, and the aether in heaven, but we cannot go on and say that the heaven is in anything else.
It is clear, too, from these considerations that all the problems which were raised about place will be solved when it is explained in this way:
There is no necessity that the place should grow with the body in it,
Nor that a point should have a place, (3) Nor that two bodies should be in the same place, (4) Nor that place should be a corporeal interval: for what is between the boundaries of the place is any body which may chance to be there, not an interval in body.
Further, (5) place is also somewhere, not in the sense of being in a place, but as the limit is in the limited; for not everything that is is in place, but only movable body.
Also (6) it is reasonable that each kind of body should be carried to its own place. For a body which is next in the series and in contact (not by compulsion) is akin, and bodies which are united do not affect each other, while those which are in contact interact on each other.
Nor (7) is it without reason that each should remain naturally in its proper place. For this part has the same relation to its place, as a separable part to its whole, as when one moves a part of water or air: so, too, air is related to water, for the one is like matter, the other form-water is the matter of air, air as it were the actuality of water, for water is potentially air, while air is potentially water, though in another way.
These distinctions will be drawn more carefully later. On the present occasion it was necessary to refer to them: what has now been stated obscurely will then be made more clear. If the matter and the fulfilment are the same thing (for water is both, the one potentially, the other completely), water will be related to air in a way as part to whole. That is why these have contact: it is organic union when both become actually one.
This concludes my account of place-both of its existence and of its nature.
Physics VI.1 — Structure of the Continuum: Why Lines Cannot Be Composed of Indivisible Points (231a21–232a22)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 231a21–232a22
Now if the terms ‘continuous’, ‘in contact’, and ‘in succession’ are understood as defined above things being ‘continuous’ if their extremities are one, ‘in contact’ if their extremities are together, and ‘in succession’ if there is nothing of their own kind intermediate between them-nothing that is continuous can be composed ‘of indivisibles’: e.g. a line cannot be composed of points, the line being continuous and the point indivisible. For the extremities of two points can neither be one (since of an indivisible there can be no extremity as distinct from some other part) nor together (since that which has no parts can have no extremity, the extremity and the thing of which it is the extremity being distinct).
Moreover, if that which is continuous is composed of points, these points must be either continuous or in contact with one another: and the same reasoning applies in the case of all indivisibles. Now for the reason given above they cannot be continuous: and one thing can be in contact with another only if whole is in contact with whole or part with part or part with whole. But since indivisibles have no parts, they must be in contact with one another as whole with whole. And if they are in contact with one another as whole with whole, they will not be continuous: for that which is continuous has distinct parts: and these parts into which it is divisible are different in this way, i.e. spatially separate.
Nor, again, can a point be in succession to a point or a moment to a moment in such a way that length can be composed of points or time of moments: for things are in succession if there is nothing of their own kind intermediate between them, whereas that which is intermediate between points is always a line and that which is intermediate between moments is always a period of time.
Again, if length and time could thus be composed of indivisibles, they could be divided into indivisibles, since each is divisible into the parts of which it is composed. But, as we saw, no continuous thing is divisible into things without parts. Nor can there be anything of any other kind intermediate between the parts or between the moments: for if there could be any such thing it is clear that it must be either indivisible or divisible, and if it is divisible, it must be divisible either into indivisibles or into divisibles that are infinitely divisible, in which case it is continuous.
Moreover, it is plain that everything continuous is divisible into divisibles that are infinitely divisible: for if it were divisible into indivisibles, we should have an indivisible in contact with an indivisible, since the extremities of things that are continuous with one another are one and are in contact.
The same reasoning applies equally to magnitude, to time, and to motion: either all of these are composed of indivisibles and are divisible into indivisibles, or none. This may be made clear as follows. If a magnitude is composed of indivisibles, the motion over that magnitude must be composed of corresponding indivisible motions: e.g. if the magnitude ABG is composed of the indivisibles A, B, G, each corresponding part of the motion DEZ of O over ABG is indivisible. Therefore, since where there is motion there must be something that is in motion, and where there is something in motion there must be motion, therefore the being-moved will also be composed of indivisibles. So O traversed A when its motion was D, B when its motion was E, and G similarly when its motion was Z. Now a thing that is in motion from one place to another cannot at the moment when it was in motion both be in motion and at the same time have completed its motion at the place to which it was in motion: e.g. if a man is walking to Thebes, he cannot be walking to Thebes and at the same time have completed his walk to Thebes: and, as we saw, O traverses a the partless section A in virtue of the presence of the motion D. Consequently, if O actually passed through A after being in process of passing through, the motion must be divisible: for at the time when O was passing through, it neither was at rest nor had completed its passage but was in an intermediate state: while if it is passing through and has completed its passage at the same moment, then that which is walking will at the moment when it is walking have completed its walk and will be in the place to which it is walking; that is to say, it will have completed its motion at the place to which it is in motion. And if a thing is in motion over the whole Kbg and its motion is the three D, E, and Z, and if it is not in motion at all over the partless section A but has completed its motion over it, then the motion will consist not of motions but of starts, and will take place by a thing’s having completed a motion without being in motion: for on this assumption it has completed its passage through A without passing through it. So it will be possible for a thing to have completed a walk without ever walking: for on this assumption it has completed a walk over a particular distance without walking over that distance. Since, then, everything must be either at rest or in motion, and O is therefore at rest in each of the sections A, B, and G, it follows that a thing can be continuously at rest and at the same time in motion: for, as we saw, O is in motion over the whole ABG and at rest in any part (and consequently in the whole) of it. Moreover, if the indivisibles composing DEZ are motions, it would be possible for a thing in spite of the presence in it of motion to be not in motion but at rest, while if they are not motions, it would be possible for motion to be composed of something other than motions.
And if length and motion are thus indivisible, it is neither more nor less necessary that time also be similarly indivisible, that is to say be composed of indivisible moments: for if the whole distance is divisible and an equal velocity will cause a thing to pass through less of it in less time, the time must also be divisible, and conversely, if the time in which a thing is carried over the section A is divisible, this section A must also be divisible.
Physics VI.2 — Isomorphic Divisibility of Magnitude & Time; First Refutation of Zeno (232a23–233b32)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 232a23–233b32
And since every magnitude is divisible into magnitudes-for we have shown that it is impossible for anything continuous to be composed of indivisible parts, and every magnitude is continuous-it necessarily follows that the quicker of two things traverses a greater magnitude in an equal time, an equal magnitude in less time, and a greater magnitude in less time, in conformity with the definition sometimes given of ‘the quicker’. Suppose that A is quicker than B. Now since of two things that which changes sooner is quicker, in the time ZH, in which A has changed from G to D, B will not yet have arrived at D but will be short of it: so that in an equal time the quicker will pass over a greater magnitude. More than this, it will pass over a greater magnitude in less time: for in the time in which A has arrived at D, B being the slower has arrived, let us say, at E. Then since A has occupied the whole time ZH in arriving at D, will have arrived at O in less time than this, say ZK. Now the magnitude GO that A has passed over is greater than the magnitude GE, and the time ZK is less than the whole time ZH: so that the quicker will pass over a greater magnitude in less time. And from this it is also clear that the quicker will pass over an equal magnitude in less time than the slower. For since it passes over the greater magnitude in less time than the slower, and (regarded by itself) passes over LM the greater in more time than LX the lesser, the time PRh in which it passes over LM will be more than the time PS, which it passes over LX: so that, the time PRh being less than the time PCh in which the slower passes over LX, the time PS will also be less than the time PX: for it is less than the time PRh, and that which is less than something else that is less than a thing is also itself less than that thing. Hence it follows that the quicker will traverse an equal magnitude in less time than the slower. Again, since the motion of anything must always occupy either an equal time or less or more time in comparison with that of another thing, and since, whereas a thing is slower if its motion occupies more time and of equal velocity if its motion occupies an equal time, the quicker is neither of equal velocity nor slower, it follows that the motion of the quicker can occupy neither an equal time nor more time. It can only be, then, that it occupies less time, and thus we get the necessary consequence that the quicker will pass over an equal magnitude (as well as a greater) in less time than the slower.
And since every motion is in time and a motion may occupy any time, and the motion of everything that is in motion may be either quicker or slower, both quicker motion and slower motion may occupy any time: and this being so, it necessarily follows that time also is continuous. By continuous I mean that which is divisible into divisibles that are infinitely divisible: and if we take this as the definition of continuous, it follows necessarily that time is continuous. For since it has been shown that the quicker will pass over an equal magnitude in less time than the slower, suppose that A is quicker and B slower, and that the slower has traversed the magnitude GD in the time ZH. Now it is clear that the quicker will traverse the same magnitude in less time than this: let us say in the time ZO. Again, since the quicker has passed over the whole D in the time ZO, the slower will in the same time pass over GK, say, which is less than GD. And since B, the slower, has passed over GK in the time ZO, the quicker will pass over it in less time: so that the time ZO will again be divided. And if this is divided the magnitude GK will also be divided just as GD was: and again, if the magnitude is divided, the time will also be divided. And we can carry on this process for ever, taking the slower after the quicker and the quicker after the slower alternately, and using what has been demonstrated at each stage as a new point of departure: for the quicker will divide the time and the slower will divide the length. If, then, this alternation always holds good, and at every turn involves a division, it is evident that all time must be continuous. And at the same time it is clear that all magnitude is also continuous; for the divisions of which time and magnitude respectively are susceptible are the same and equal.
Moreover, the current popular arguments make it plain that, if time is continuous, magnitude is continuous also, inasmuch as a thing asses over half a given magnitude in half the time taken to cover the whole: in fact without qualification it passes over a less magnitude in less time; for the divisions of time and of magnitude will be the same. And if either is infinite, so is the other, and the one is so in the same way as the other; i.e. if time is infinite in respect of its extremities, length is also infinite in respect of its extremities: if time is infinite in respect of divisibility, length is also infinite in respect of divisibility: and if time is infinite in both respects, magnitude is also infinite in both respects.
Hence Zeno’s argument makes a false assumption in asserting that it is impossible for a thing to pass over or severally to come in contact with infinite things in a finite time. For there are two senses in which length and time and generally anything continuous are called ‘infinite’: they are called so either in respect of divisibility or in respect of their extremities. So while a thing in a finite time cannot come in contact with things quantitatively infinite, it can come in contact with things infinite in respect of divisibility: for in this sense the time itself is also infinite: and so we find that the time occupied by the passage over the infinite is not a finite but an infinite time, and the contact with the infinites is made by means of moments not finite but infinite in number.
The passage over the infinite, then, cannot occupy a finite time, and the passage over the finite cannot occupy an infinite time: if the time is infinite the magnitude must be infinite also, and if the magnitude is infinite, so also is the time. This may be shown as follows. Let AB be a finite magnitude, and let us suppose that it is traversed in infinite time G, and let a finite period GD of the time be taken. Now in this period the thing in motion will pass over a certain segment of the magnitude: let BE be the segment that it has thus passed over. (This will be either an exact measure of AB or less or greater than an exact measure: it makes no difference which it is.) Then, since a magnitude equal to BE will always be passed over in an equal time, and BE measures the whole magnitude, the whole time occupied in passing over AB will be finite: for it will be divisible into periods equal in number to the segments into which the magnitude is divisible. Moreover, if it is the case that infinite time is not occupied in passing over every magnitude, but it is possible to ass over some magnitude, say BE, in a finite time, and if this BE measures the whole of which it is a part, and if an equal magnitude is passed over in an equal time, then it follows that the time like the magnitude is finite. That infinite time will not be occupied in passing over BE is evident if the time be taken as limited in one direction: for as the part will be passed over in less time than the whole, the time occupied in traversing this part must be finite, the limit in one direction being given. The same reasoning will also show the falsity of the assumption that infinite length can be traversed in a finite time. It is evident, then, from what has been said that neither a line nor a surface nor in fact anything continuous can be indivisible.
This conclusion follows not only from the present argument but from the consideration that the opposite assumption implies the divisibility of the indivisible. For since the distinction of quicker and slower may apply to motions occupying any period of time and in an equal time the quicker passes over a greater length, it may happen that it will pass over a length twice, or one and a half times, as great as that passed over by the slower: for their respective velocities may stand to one another in this proportion. Suppose, then, that the quicker has in the same time been carried over a length one and a half times as great as that traversed by the slower, and that the respective magnitudes are divided, that of the quicker, the magnitude ABGD, into three indivisibles, and that of the slower into the two indivisibles EZ, ZH. Then the time may also be divided into three indivisibles, for an equal magnitude will be passed over in an equal time. Suppose then that it is thus divided into KL, Lm, MN. Again, since in the same time the slower has been carried over Ez, ZH, the time may also be similarly divided into two. Thus the indivisible will be divisible, and that which has no parts will be passed over not in an indivisible but in a greater time. It is evident, therefore, that nothing continuous is without parts.
Physics VI.9 — Zeno’s Four Arguments Against Motion (Dichotomy, Achilles, Arrow & Stadium) (239b5–240a18)¶
Oxford Translation by R. P. Hardie & R. K. Gaye · Bekker 239b5–240a18
Zeno’s reasoning, however, is fallacious, when he says that if everything when it occupies an equal space is at rest, and if that which is in locomotion is always occupying such a space at any moment, the flying arrow is therefore motionless. This is false, for time is not composed of indivisible moments any more than any other magnitude is composed of indivisibles.
Zeno’s arguments about motion, which cause so much disquietude to those who try to solve the problems that they present, are four in number. The first asserts the non-existence of motion on the ground that that which is in locomotion must arrive at the half-way stage before it arrives at the goal. This we have discussed above.
The second is the so-called ‘Achilles’, and it amounts to this, that in a race the quickest runner can never overtake the slowest, since the pursuer must first reach the point whence the pursued started, so that the slower must always hold a lead. This argument is the same in principle as that which depends on bisection, though it differs from it in that the spaces with which we successively have to deal are not divided into halves. The result of the argument is that the slower is not overtaken: but it proceeds along the same lines as the bisection-argument (for in both a division of the space in a certain way leads to the result that the goal is not reached, though the ‘Achilles’ goes further in that it affirms that even the quickest runner in legendary tradition must fail in his pursuit of the slowest), so that the solution must be the same. And the axiom that that which holds a lead is never overtaken is false: it is not overtaken, it is true, while it holds a lead: but it is overtaken nevertheless if it is granted that it traverses the finite distance prescribed. These then are two of his arguments.
The third is that already given above, to the effect that the flying arrow is at rest, which result follows from the assumption that time is composed of moments: if this assumption is not granted, the conclusion will not follow.
The fourth argument is that concerning the two rows of bodies, each row being composed of an equal number of bodies of equal size, passing each other on a race-course as they proceed with equal velocity in opposite directions, the one row originally occupying the space between the goal and the middle point of the course and the other that between the middle point and the starting-post. This, he thinks, involves the conclusion that half a given time is equal to double that time. The fallacy of the reasoning lies in the assumption that a body occupies an equal time in passing with equal velocity a body that is in motion and a body of equal size that is at rest; which is false. For instance (so runs the argument), let A, A…be the stationary bodies of equal size, B, B…the bodies, equal in number and in size to A, A…,originally occupying the half of the course from the starting-post to the middle of the A’s, and G, G…those originally occupying the other half from the goal to the middle of the A’s, equal in number, size, and velocity to B, B….Then three consequences follow:
First, as the B’s and the G’s pass one another, the first B reaches the last G at the same moment as the first G reaches the last B. Secondly at this moment the first G has passed all the A’s, whereas the first B has passed only half the A’s, and has consequently occupied only half the time occupied by the first G, since each of the two occupies an equal time in passing each A. Thirdly, at the same moment all the B’s have passed all the G’s: for the first G and the first B will simultaneously reach the opposite ends of the course, since (so says Zeno) the time occupied by the first G in passing each of the B’s is equal to that occupied by it in passing each of the A’s, because an equal time is occupied by both the first B and the first G in passing all the A’s. This is the argument, but it presupposed the aforesaid fallacious assumption.
Nor in reference to contradictory change shall we find anything unanswerable in the argument that if a thing is changing from not-white, say, to white, and is in neither condition, then it will be neither white nor not-white: for the fact that it is not wholly in either condition will not preclude us from calling it white or not-white. We call a thing white or not-white not necessarily because it is be one or the other, but cause most of its parts or the most essential parts of it are so: not being in a certain condition is different from not being wholly in that condition. So, too, in the case of being and not-being and all other conditions which stand in a contradictory relation: while the changing thing must of necessity be in one of the two opposites, it is never wholly in either.
Again, in the case of circles and spheres and everything whose motion is confined within the space that it occupies, it is not true to say the motion can be nothing but rest, on the ground that such things in motion, themselves and their parts, will occupy the same position for a period of time, and that therefore they will be at once at rest and in motion. For in the first place the parts do not occupy the same position for any period of time: and in the second place the whole also is always changing to a different position: for if we take the orbit as described from a point A on a circumference, it will not be the same as the orbit as described from B or G or any other point on the same circumference except in an accidental sense, the sense that is to say in which a musical man is the same as a man. Thus one orbit is always changing into another, and the thing will never be at rest. And it is the same with the sphere and everything else whose motion is confined within the space that it occupies.
On the Heavens I.1 — Completeness of Three Spatial Dimensions: Line, Surface & Solid Body (268a1–268b10)¶
Oxford Translation by J. L. Stocks · Bekker 268a1–268b10
The science which has to do with nature clearly concerns itself for the most part with bodies and magnitudes and their properties and movements, but also with the principles of this sort of substance, as many as they may be. For of things constituted by nature some are bodies and magnitudes, some possess body and magnitude, and some are principles of things which possess these. Now a continuum is that which is divisible into parts always capable of subdivision, and a body is that which is every way divisible. A magnitude if divisible one way is a line, if two ways a surface, and if three a body. Beyond these there is no other magnitude, because the three dimensions are all that there are, and that which is divisible in three directions is divisible in all. For, as the Pythagoreans say, the world and all that is in it is determined by the number three, since beginning and middle and end give the number of an ‘all’, and the number they give is the triad. And so, having taken these three from nature as (so to speak) laws of it, we make further use of the number three in the worship of the Gods. Further, we use the terms in practice in this way. Of two things, or men, we say ‘both’, but not ‘all’: three is the first number to which the term ‘all’ has been appropriated. And in this, as we have said, we do but follow the lead which nature gives. Therefore, since ‘every’ and ‘all’ and ‘complete’ do not differ from one another in respect of form, but only, if at all, in their matter and in that to which they are applied, body alone among magnitudes can be complete. For it alone is determined by the three dimensions, that is, is an ‘all’. But if it is divisible in three dimensions it is every way divisible, while the other magnitudes are divisible in one dimension or in two alone: for the divisibility and continuity of magnitudes depend upon the number of the dimensions, one sort being continuous in one direction, another in two, another in all. All magnitudes, then, which are divisible are also continuous. Whether we can also say that whatever is continuous is divisible does not yet, on our present grounds, appear. One thing, however, is clear. We cannot pass beyond body to a further kind, as we passed from length to surface, and from surface to body. For if we could, it would cease to be true that body is complete magnitude. We could pass beyond it only in virtue of a defect in it; and that which is complete cannot be defective, since it has being in every respect. Now bodies which are classed as parts of the whole are each complete according to our formula, since each possesses every dimension. But each is determined relatively to that part which is next to it by contact, for which reason each of them is in a sense many bodies. But the whole of which they are parts must necessarily be complete, and thus, in accordance with the meaning of the word, have being, not in some respect only, but in every respect.