potentially and by reduction. It exists fully in the sense in which we say ‘it is day’ or ‘it is the games’; and potentially as matter exists, not independently as what is finite does.
By addition then, also, there is potentially an infinite, namely, what we have described as being in a sense the same as the infinite in respect of division. For it will always be possible to take something ah extra. Yet the sum of the parts taken will not exceed every determinate magnitude, just as in the direction of division every determinate magnitude is surpassed in smallness and there will be a smaller part.
But in respect of addition there cannot be an infinite which even potentially exceeds every assignable magnitude, unless it has the attribute of being actually infinite, as the physicists hold to be true of the body which is outside the world, whose essential nature is air or something of the kind. But if there cannot be in this way a sensible body which is infinite in the full sense, evidently there can no more be a body which is potentially infinite in respect of addition, except as the inverse of the infinite by division, as we have said. It is for this reason that Plato also made the infinites two in number, because it is supposed to be possible to exceed all limits and to proceed ad infinitum in the direction both of increase and of reduction. Yet though he makes the infinites two, he does not use them. For in the numbers the infinite in the direction of reduction is not present, as the monad is the smallest; nor is the infinite in the direction of increase, for the parts number only up to the decad.
The infinite turns out to be the contrary of what it is said to be. It is not what has nothing outside it that is infinite, but what always has something outside it. This is indicated by the fact that rings also that have no bezel are described as ‘endless’, because it is always possible to take a part which is outside a given part. The description depends on a certain similarity, but it is not true in the full sense of the word. This condition alone is not sufficient: it is necessary also that the next part which is taken should never be the same. In the circle, the latter condition is not satisfied: it is only the adjacent part from which the new part is different.
Our definition then is as follows:
A quantity is infinite if it is such that we can always take a part outside what has been already taken. On the other hand, what has nothing outside it is complete and whole. For thus we define the whole-that from which nothing is wanting, as a whole man or a whole box. What is true of each particular is true of the whole as such-the whole is that of which nothing is outside. On the other hand that from which something is absent and outside, however small that may be, is not ‘all’. ‘Whole’ and ‘complete’ are either quite identical or closely akin. Nothing is complete (teleion) which has no end (telos); and the end is a limit.
Hence Parmenides must be thought to have spoken better than Melissus. The latter says that the whole is infinite, but the former describes it as limited, ‘equally balanced from the middle’. For to connect the infinite with the all and the whole is not like joining two pieces of string; for it is from this they get the dignity they ascribe to the infinite-its containing all things and holding the all in itself-from its having a certain similarity to the whole. It is in fact the matter of the completeness which belongs to size, and what is potentially a whole, though not in the full sense. It is divisible both in the direction of reduction and of the inverse addition. It is a whole and limited; not, however, in virtue of its own nature, but in virtue of what is other than it. It does not contain, but, in so far as it is infinite, is contained. Consequently, also, it is unknowable, qua infinite; for the matter has no form. (Hence it is plain that the infinite stands in the relation of part rather than of whole. For the matter is part of the whole, as the bronze is of the bronze statue.) If it contains in the case of sensible things, in the case of intelligible things the great and the small ought to contain them. But it is absurd and impossible to suppose that the unknowable and indeterminate should contain and determine.
<
div id="section25" class="section" title="7">
7
It is reasonable that there should not be held to be an infinite in respect of addition such as to surpass every magnitude, but that there should be thought to be such an infinite in the direction of division. For the matter and the infinite are contained inside what contains them, while it is the form which contains. It is natural too to suppose that in number there is a limit in the direction of the minimum, and that in the other direction every assigned number is surpassed. In magnitude, on the contrary, every assigned magnitude is surpassed in the direction of smallness, while in the other direction there is no infinite magnitude. The reason is that what is one is indivisible whatever it may be, e.g. a man is one man, not many. Number on the other hand is a plurality of ‘ones’ and a certain quantity of them. Hence number must stop at the indivisible: for ‘two’ and ‘three’ are merely derivative terms, and so with each of the other numbers. But in the direction of largeness it is always possible to think of a larger number: for the number of times a magnitude can be bisected is infinite. Hence this infinite is potential, never actual: the number of parts that can be taken always surpasses any assigned number. But this number is not separable from the process of bisection, and its infinity is not a permanent actuality but consists in a process of coming to be, like time and the number of time.
With magnitudes the contrary holds. What is continuous is divided ad infinitum, but there is no infinite in the direction of increase. For the size which it can potentially be, it can also actually be. Hence since no sensible magnitude is infinite, it is impossible to exceed every assigned magnitude; for if it were possible there would be something bigger than the heavens.
The infinite is not the same in magnitude and movement and time, in the sense of a single nature, but its secondary sense depends on its primary sense, i.e. movement is called infinite in virtue of the magnitude covered by the movement (or alteration or growth), and time because of the movement. (I use these terms for the moment. Later I shall explain what each of them means, and also why every magnitude is divisible into magnitudes.)
Our account does not rob the mathematicians of their science, by disproving the actual existence of the infinite in the direction of increase, in the sense of the untraversable. In point of fact they do not need the infinite and do not use it. They postulate only that the finite straight line may be produced as far as they wish. It is possible to have divided in the same ratio as the largest quantity another magnitude of any size you like. Hence, for the purposes of proof, it will make no difference to them to have such an infinite instead, while its existence will be in the sphere of real magnitudes.
In the fourfold scheme of causes, it is plain that the infinite is a cause in the sense of matter, and that its essence is privation, the subject as such being what is continuous and sensible. All the other thinkers, too, evidently treat the infinite as matter-that is why it is inconsistent in them to make it what contains, and not what is contained.
<
div id="section26" class="section" title="8">
8
It remains to dispose of the arguments which are supposed to support the view that the infinite exists not only potentially but as a separate thing. Some have no cogency; others can be met by fresh objections that are valid.
(1) In order that coming to be should not fail, it is not necessary that there should be a sensible body which is actually infinite. The passing away of one thing may be the coming to be of another, the All being limited.
(2) There is a difference between touching and being limited. The former is relative to something and is the touching of something (for everything that touches touches something), and further is an attribute of some one of the things which are limited. On the other hand, what is limited is not limited in relation
