1

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.

(1) 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.

(2) 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.

(3) 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.

(4) 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.

(5) 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.

(6) 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.
2

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.
3

The next step we must take is to see in how many senses one thing is said to be ‘in’ another.

(1) As the finger is ‘in’ the hand and generally the part ‘in’ the whole.

(2) As the whole is ‘in’ the parts: for there is no whole over and above the parts.

(3) As man is ‘in’ animal and generally species ‘in’ genus.

(4) As the genus is ‘in’ the species and generally the part of the specific form ‘in’ the definition of the specific form.

(5) As health is ‘in’ the hot and the cold and generally the form ‘in’ the matter.

(6) As the affairs of Greece centre ‘in’ the king, and generally events centre ‘in’ their primary motive agent.

(7) 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.

(8) 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.
4

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 —

(1) Place is what contains that of which it is the place.

(2) Place is no part of the thing.

(3) The immediate place of a thing is neither less nor greater than the thing.

(4) Place can be left behind by the thing and is separable. In addition:

(5) 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.

(2) 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.

(3) 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.
5

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:

(1) There is no necessity that the place should grow with the body in it,

(2) 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.
6

The investigation of similar questions about the void, also, must be held to belong to the physicist — namely whether it exists or not, and how it exists or what it is — just as about place. The views taken of it involve arguments both for and against, in much the same sort of way. For those who hold that the void exists regard it as a sort of place or vessel which is supposed to be ‘full’ when it holds the bulk which it is capable of containing, ‘void’ when it is deprived of that — as if ‘void’ and ‘full’ and ‘place’ denoted the same thing, though the essence of the three is different.

We must begin the inquiry by putting down the account given by those who say that it exists, then the account of those who say that it does not exist, and third the current view on these questions.

Those who try to show that the void does not exist do not disprove what people really mean by it, but only their erroneous way of speaking; this is true of Anaxagoras and of those who refute the existence of the void in this way. They merely give an ingenious demonstration that air is something — by straining wine-skins and showing the resistance of the air, and by cutting it off in clepsydras. But people really mean that there is an empty interval in which there is no sensible body. They hold that everything which is in body is body and say that what has nothing in it at all is void (so what is full of air is void). It is not then the existence of air that needs to be proved, but the non-existence of an interval, different from the bodies, either separable or actual — an interval which divides the whole body so as to break its continuity, as Democritus and Leucippus hold, and many other physicists — or even perhaps as something which is outside the whole body, which remains continuous.

These people, then, have not reached even the threshold of the problem, but rather those who say that the void exists.

(1) They argue, for one thing, that change in place (i.e. locomotion and increase) would not be. For it is maintained that motion would seem not to exist, if there were no void, since what is full cannot contain anything more. If it could, and there were two bodies in the same place, it would also be true that any number of bodies could be together; for it is impossible to draw a line of division beyond which the statement would become untrue. If this were possible, it would follow also that the smallest body would contain the greatest; for ‘many a little makes a mickle’: thus if many equal bodies can be together, so also can many unequal bodies.

Melissus, indeed, infers from these considerations that the All is immovable; for if it were moved there must, he says, be void, but void is not among the things that exist.

This argument, then, is one way in which they show that there is a void.

(2) They reason from the fact that some things are observed to contract and be compressed, as people say that a cask will hold the wine which formerly filled it, along with the skins into which the wine has been decanted, which implies that the compressed body contracts into the voids present in it.

Again (3) increase, too, is thought to take always by means of void, for nutriment is body, and it is impossible for two bodies to be together. A proof of this they find also in what happens to ashes, which absorb as much water as the empty vessel.

The Pythagoreans, too, (4) held that void exists and that it enters the heaven itself, which as it were inhales it, from the infinite air. Further it is the void which distinguishes the natures of things, as if it were like what separates and distinguishes the terms of a series. This holds primarily in the numbers, for the void distinguishes their nature.

These, then, and so many, are the main grounds on which people have argued for and against the existence of the void.
7

As a step towards settling which view is true, we must determine the meaning of the name.

The void is thought to be place with nothing in it. The reason for this is that people take what exists to be body, and hold that while every body is in place, void is place in which there is no body, so that where there is no body, there must be void.

Every body, again, they suppose to be tangible; and of this nature is whatever has weight or lightness.

Hence, by a syllogism, what has nothing heavy or light in it, is void.

This result, then, as I have said, is reached by syllogism. It would be absurd to suppose that the point is void; for the void must be place which has in it an interval in tangible body.

But at all events we observe then that in one way the void is described as what is not full of body perceptible to touch; and what has heaviness and lightness is perceptible to touch. So we would raise the question: what would they say of an interval that has colour or sound — is it void or not? Clearly they would reply that if it could receive what is tangible it was void, and if not, not.

In another way void is that in which there is no ‘this’ or corporeal substance. So some say that the void is the matter of the body (they identify the place, too, with this), and in this they speak incorrectly; for the matter is not separable from the things, but they are inquiring about the void as about something separable.

Since we have determined the nature of place, and void must, if it exists, be place deprived of body, and we have stated both in what sense place exists and in what sense it does not, it is plain that on this showing void does not exist, either unseparated or separated; the void is meant to be, not body but rather an interval in body. This is why the void is thought to be something, viz. because place is, and for the same reasons. For the fact of motion in respect of place comes to the aid both of those who maintain that place is something over and above the bodies that come to occupy it, and of those who maintain that the void is something. They state that the void is the condition of movement in the sense of that in which movement takes place; and this would be the kind of thing that some say place is.

But there is no necessity for there being a void if there is movement. It is not in the least needed as a condition of movement in general, for a reason which, incidentally, escaped Melissus; viz. that the full can suffer qualitative change.

But not even movement in respect of place involves a void; for bodies may simultaneously make room for one another, though there is no interval separate and apart from the bodies that are in movement. And this is plain even in the rotation of continuous things, as in that of liquids.

And things can also be compressed not into a void but because they squeeze out what is contained in them (as, for instance, when water is compressed the air within it is squeezed out); and things can increase in size not only by the entrance of something but also by qualitative change; e.g. if water were to be transformed into air.

In general, both the argument about increase of size and that about water poured on to the ashes get in their own way. For either not any and every part of the body is increased, or bodies may be increased otherwise than by the addition of body, or there may be two bodies in the same place (in which case they are claiming to solve a quite general difficulty, but are not proving the existence of void), or the whole body must be void, if it is increased in every part and is increased by means of void. The same argument applies to the ashes.

It is evident, then, that it is easy to refute the arguments by which they prove the existence of the void.
8

Let us explain again that there is no void existing separately, as some maintain. If each of the simple bodies has a natural locomotion, e.g. fire upward and earth downward and towards the middle of the universe, it is clear that it cannot be the void that is the condition of locomotion. What, then, will the void be the condition of? It is thought to be the condition of movement in respect of place, and it is not the condition of this.

Again, if void is a sort of place deprived of body, when there is a void where will a body placed in it move to? It certainly cannot move into the whole of the void. The same argument applies as against those who think that place is something separate, into which things are carried; viz. how will what is placed in it move, or rest? Much the same argument will apply to the void as to the ‘up’ and ‘down’ in place, as is natural enough since those who maintain the existence of the void make it a place.

And in what way will things be present either in place — or in the void? For the expected result does not take place when a body is placed as a whole in a place conceived of as separate and permanent; for a part of it, unless it be placed apart, will not be in a place but in the whole. Further, if separate place does not exist, neither will void.

If people say that the void must exist, as being necessary if there is to be movement, what rather turns out to be the case, if one the matter, is the opposite, that not a single thing can be moved if there is a void; for as with those who for a like reason say the earth is at rest, so, too, in the void things must be at rest; for there is no place to which things can move more or less than to another; since the void in so far as it is void admits no difference.

The second reason is this: all movement is either compulsory or according to nature, and if there is compulsory movement there must also be natural (for compulsory movement is contrary to nature, and movement contrary to nature is posterior to that according to nature, so that if each of the natural bodies has not a natural movement, none of the other movements can exist); but how can there be natural movement if there is no difference throughout the void or the infinite? For in so far as it is infinite, there will be no up or down or middle, and in so far as it is a void, up differs no whit from down; for as there is no difference in what is nothing, there is none in the void (for the void seems to be a non-existent and a privation of being), but natural locomotion seems to be differentiated, so that the things that exist by nature must be differentiated. Either, then, nothing has a natural locomotion, or else there is no void.

Further, in point of fact things that are thrown move though that which gave them their impulse is not touching them, either by reason of mutual replacement, as some maintain, or because the air that has been pushed pushes them with a movement quicker than the natural locomotion of the projectile wherewith it moves to its proper place. But in a void none of these things can take place, nor can anything be moved save as that which is carried is moved.

Further, no one could say why a thing once set in motion should stop anywhere; for why should it stop here rather than here? So that a thing will either be at rest or must be moved ad infinitum, unless something more powerful get in its way.

Further, things are now thought to move into the void because it yields; but in a void this quality is present equally everywhere, so that things should move in all directions.

Further, the truth of what we assert is plain from the following considerations. We see the same weight or body moving faster than another for two reasons, either because there is a difference in what it moves through, as between water, air, and earth, or because, other things being equal, the moving body differs from the other owing to excess of weight or of lightness.

Now the medium causes a difference because it impedes the moving thing, most of all if it is moving in the opposite direction, but in a secondary degree even if it is at rest; and especially a medium that is not easily divided, i.e. a medium that is somewhat dense. A, then, will move through B in time G, and through D, which is thinner, in time E (if the length of B is egual to D), in proportion to the density of the hindering body. For let B be water and D air; then by so much as air is thinner and more incorporeal than water, A will move through D faster than through B. Let the speed have the same ratio to the speed, then, that air has to water. Then if air is twice as thin, the body will traverse B in twice the time that it does D, and the time G will be twice the time E. And always, by so much as the medium is more incorporeal and less resistant and more easily divided, the faster will be the movement.

Now there is no ratio in which the void is exceeded by body, as there is no ratio of 0 to a number. For if 4 exceeds 3 by 1, and 2 by more than 1, and 1 by still more than it exceeds 2, still there is no ratio by which it exceeds 0; for that which exceeds must be divisible into the excess + that which is exceeded, so that will be what it exceeds 0 by + 0. For this reason, too, a line does not exceed a point unless it is composed of points! Similarly the void can bear no ratio to the full, and therefore neither can movement through the one to movement through the other, but if a thing moves through the thickest medium such and such a distance in such and such a time, it moves through the void with a speed beyond any ratio. For let Z be void, equal in magnitude to B and to D. Then if A is to traverse and move through it in a certain time, H, a time less than E, however, the void will bear this ratio to the full. But in a time equal to H, A will traverse the part O of A. And it will surely also traverse in that time any substance Z which exceeds air in thickness in the ratio which the time E bears to the time H. For if the body Z be as much thinner than D as E exceeds H, A, if it moves through Z, will traverse it in a time inverse to the speed of the movement, i.e. in a time equal to H. If, then, there is no body in Z, A will traverse Z still more quickly. But we supposed that its traverse of Z when Z was void occupied the time H. So that it will traverse Z in an equal time whether Z be full or void. But this is impossible. It is plain, then, that if there is a time in which it will move through any part of the void, this impossible result will follow: it will be found to traverse a certain distance, whether this be full or void, in an equal time; for there will be some body which is in the same ratio to the other body as the time is to the time.

To sum the matter up, the cause of this result is............