WE have already discussed the first heaven and its parts, the moving stars within it, the matter of which these are composed and their bodily constitution, and we have also shown that they are ungenerated and indestructible. Now things that we call natural are either substances or functions and attributes of substances. As substances I class the simple bodies-fire, earth, and the other terms of the series-and all things composed of them; for example, the heaven as a whole and its parts, animals, again, and plants and their parts. By attributes and functions I mean the movements of these and of all other things in which they have power in themselves to cause movement, and also their alterations and reciprocal transformations. It is obvious, then, that the greater part of the inquiry into nature concerns bodies: for a natural substance is either a body or a thing which cannot come into existence without body and magnitude. This appears plainly from an analysis of the character of natural things, and equally from an inspection of the instances of inquiry into nature. Since, then, we have spoken of the primary element, of its bodily constitution, and of its freedom from destruction and generation, it remains to speak of the other two. In speaking of them we shall be obliged also to inquire into generation and destruction. For if there is generation anywhere, it must be in these elements and things composed of them.
This is indeed the first question we have to ask: is generation a fact or not? Earlier speculation was at variance both with itself and with the views here put forward as to the true answer to this question. Some removed generation and destruction from the world altogether. Nothing that is, they said, is generated or destroyed, and our conviction to the contrary is an illusion. So maintained the school of Melissus and Parmenides. But however excellent their theories may otherwise be, anyhow they cannot be held to speak as students of nature. There may be things not subject to generation or any kind of movement, but if so they belong to another and a higher inquiry than the study of nature. They, however, had no idea of any form of being other than the substance of things perceived; and when they saw, what no one previously had seen, that there could be no knowledge or wisdom without some such unchanging entities, they naturally transferred what was true of them to things perceived. Others, perhaps intentionally, maintain precisely the contrary opinion to this. It has been asserted that everything in the world was subject to generation and nothing was ungenerated, but that after being generated some things remained indestructible while the rest were again destroyed. This had been asserted in the first instance by Hesiod and his followers, but afterwards outside his circle by the earliest natural philosophers. But what these thinkers maintained was that all else has been generated and, as they said, is flowing away, nothing having any solidity, except one single thing which persists as the basis of all these transformations. So we may interpret the statements of Heraclitus of Ephesus and many others. And some subject all bodies whatever to generation, by means of the composition and separation of planes.
Discussion of the other views may be postponed. But this last theory which composes every body of planes is, as the most superficial observation shows, in many respects in plain contradiction with mathematics. It is, however, wrong to remove the foundations of a science unless you can replace them with others more convincing. And, secondly, the same theory which composes solids of planes clearly composes planes of lines and lines of points, so that a part of a line need not be a line. This matter has been already considered in our discussion of movement, where we have shown that an indivisible length is impossible. But with respect to natural bodies there are impossibilities involved in the view which asserts indivisible lines, which we may briefly consider at this point. For the impossible consequences which result from this view in the mathematical sphere will reproduce themselves when it is applied to physical bodies, but there will be difficulties in physics which are not present in mathematics; for mathematics deals with an abstract and physics with a more concrete object. There are many attributes necessarily present in physical bodies which are necessarily excluded by indivisibility; all attributes, in fact, which are divisible. There can be nothing divisible in an indivisible thing, but the attributes of bodies are all divisible in one of two ways. They are divisible into kinds, as colour is divided into white and black, and they are divisible per accidens when that which has them is divisible. In this latter sense attributes which are simple are nevertheless divisible. Attributes of this kind will serve, therefore, to illustrate the impossibility of the view. It is impossible, if two parts of a thing have no weight, that the two together should have weight. But either all perceptible bodies or some, such as earth and water, have weight, as these thinkers would themselves admit. Now if the point has no weight, clearly the lines have not either, and, if they have not, neither have the planes. Therefore no body has weight. It is, further, manifest that their point cannot have weight. For while a heavy thing may always be heavier than something and a light thing lighter than something, a thing which is heavier or lighter than something need not be itself heavy or light, just as a large thing is larger than others, but what is larger is not always large. A thing which, judged absolutely, is small may none the less be larger than other things. Whatever, then, is heavy and also heavier than something else, must exceed this by something which is heavy. A heavy thing therefore is always divisible. But it is common ground that a point is indivisible. Again, suppose that what is heavy or weight is a dense body, and what is light rare. Dense differs from rare in containing more matter in the same cubic area. A point, then, if it may be heavy or light, may be dense or rare. But the dense is divisible while a point is indivisible. And if what is heavy must be either hard or soft, an impossible consequence is easy to draw. For a thing is soft if its surface can be pressed in, hard if it cannot; and if it can be pressed in it is divisible.
Moreover, no weight can consist of parts not possessing weight. For how, except by the merest fiction, can they specify the number and character of the parts which will produce weight? And, further, when one weight is greater than another, the difference is a third weight; from which it will follow that every indivisible part possesses weight. For suppose that a body of four points possesses weight. A body composed of more than four points will superior in weight to it, a thing which has weight. But the difference between weight and weight must be a weight, as the difference between white and whiter is white. Here the difference which makes the superior weight heavier is the single point which remains when the common number, four, is subtracted. A single point, therefore, has weight.
Further, to assume, on the one hand, that the planes can only be put in linear contact would be ridiculous. For just as there are two ways of putting lines together, namely, end to and side by side, so there must be two ways of putting planes together. Lines can be put together so that contact is linear by laying one along the other, though not by putting them end to end. But if, similarly, in putting the lanes together, superficial contact is allowed as an alternative to linear, that method will give them bodies which are not any element nor composed of elements. Again, if it is the number of planes in a body that makes one heavier than another, as the Timaeus explains, clearly the line and the point will have weight. For the three cases are, as we said before, analogous. But if the reason of differences of weight is not this, but rather the heaviness of earth and the lightness of fire, then some of the planes will be light and others heavy (which involves a similar distinction in the lines and the points); the earthplane, I mean, will be heavier than the fire-plane. In general, the result is either that there is no magnitude at all, or that all magnitude could be done away with. For a point is to a line as a line is to a plane and as a plane is to a body. Now the various forms in passing into one another will each be resolved into its ultimate constituents. It might happen therefore that nothing existed except points, and that there was no body at all. A further consideration is that if time is similarly constituted, there would be, or might be, a time at which it was done away with. For the indivisible now is like a point in a line. The same consequences follow from composing the heaven of numbers, as some of the Pythagoreans do who make all nature out of numbers. For natural bodies are manifestly endowed with weight and lightness, but an assemblage of units can neither be composed to form a body nor possess weight.