BOOK VI
Lecture 1
No continuum is composed of indivisibles
750. After the Philosopher has finished dividing niotion into its species and discussing the unity and contrariety of motions and of states of rest, he proposes in this Sixth Book to discuss the things that pertain to the division of motion precisely as it is divisible into quantitative parts.
The whole book is divided into two parts.
In the first he shows that motion, as every continuum, is divisible;
In the second he shows how motion is divided, at L. 5.
The first part is subdivided into two sections:
In the first he shows that no continuum is composed solely of indivisibles; at L. 4.
In the second that no continuum is indivisible, near the end
The first is further subdivided into two parts:
In the first he shows that no continuum is composed of indivisibles only;
In the second (because the proofs for the first seem to be applicable mainly to magnitudes) he shows that the same proofs apply to magnitudes, to motion and to time, at L, 2.
In regard to the first part he does two things:
First he recalls some definitions previously given, with a view to using them in demonstrating his proposition;
Secondly, he proves the proposition, at 752.
751. He says therefore first (562) that if the previously given definitions of continuum, of that which is touched, of that which is consecutive to are correct (namely, that continua are things whose extremities are one; contigua are things whose extremities are together; consecutive things are those between which nothing of the same type intervenes), then it would follow that it is impossible for any continuum to be composed solely of indivisibles; i.e., it is impossible, for example, for a line to be composed of points only, provided, of course, that a line is conceded to be a continuum and that a point is an indivisible. This proviso is added to prevent other meanings being attached to point and line.
752. Then at (563) he proves the proposition:
First he gives two proofs of the proposition;
Secondly, he explains things that might be misunderstood in his proofs, at 756.
In regard to the first proof he does two things:
First he shows that no continuum is composed solely of indivisibles, either after the manner of continuity or of contact;
Secondly, or after the manner of things that are consecutive, at 754.
In regard to the first he gives two reasons, of which the first is: Whatever things a unit is composed of, either after the manner of continuity or of contact, the extremities must either be one or they must be together. But the extremities of points cannot be one, because an extremity is spoken of in relation to a part, whereas in an indivisible it is impossible to distinguish that which is an extremity and something else that is a part. Similarly, it cannot be said that the extremities are together, because nothing can be the extremity of a thing that cannot be divided into parts, whereas an extremity must always be distinct from that of which it is the extremity. But in a thing that cannot be divided into parts, there is no way of distinguishing one thing and another. It follows therefore that a line cannot be composed of points either after the manner of continuity or after the manner of contact.
753. The second reason is given at (564). If a continuum is composed solely of points, they must be either continuous with one another or touch (and the same is true of all other indivisibles, i.e., that no continuum is composed solely of them).
To prove that they are not continuous with one another, the first argument suffices.
But to prove that they cannot touch one another, another argument is adduced, which is the following: Everything that touches something else does so either by the whole touching the other wholly, or by a part of one touching a part of the other or the whole of the other. But since an indivisible does not have parts, it cannot be said that part of one touches either a part or the whole of the other. Hence if two points touch, the whole point touches another whole point. But when a whole touches a whole, no continuum can be formed, because every continuum has distinct parts so that one part is here and another there, and is divisible into parts that are different and distinct in regard to place, i.e., position (in things that have-position)—whereas things that touch one another totally are not distinguished as to place or position, It therefore follows that a line cannot be composed of points that are in contact.
754. Then at (565) he shows that no continuum is composed of indivisibles after the manner of things that are consecutive. For no point will be consecutive to another so as to form a line; and no “now” is consecutive to another “now” so as to form a period of time, because consecutive things are by definition such that nothing of the same kind intervenes between any two. But between any two points there is always a line, and so, if a line is composed of points only, it would follow that between any two points there is always another, mediate, point. The same is true for the “now’s’”. if a period of time is nothing but a series of “now’s”, then between any two “now’s” there would be another “now”. Therefore, no line is composed solely of points, and no time is composed solely of “now’s”, after the manner of things that are consecutive.
755. The second reason is given at (566) and is based on a different definition of continuum—the one given at the beginning of Book III—that a continuum is “that which is divisible ad infinitum ”. Here is the proof: A line or time can be divided into whatsoever they are composed of. If, therefore, each of them is composed of indivisibles, it follows that each is divided into indivisibles. But this is false, since neither of them is divisible into indivisibles, for that would mean they would not be divisible ad infinitum. No continuum, therefore, is composed of indivisibles.
756. Then at (567) he explains two statements he made in the course of his proofs. The first of these was that between two points there is always a line and that between two “now’s” there is always time. He explains it thus:
If two points exist, they must differ in position; otherwise, they would not be two, but one. But they cannot touch one another, as was shown above; hence they are distant, and something is between them. But no other intermediate is possible, except a line between two points, and time between “now’s”: for if the intermediate between two points were other than a line, that intermediate must be either divisible or indivisible. If indivisible, it must be distinct from the two points—at least in position—and, since it touches neither, there must be another intermediate between that indivisible and the original extremities and so on ad infinitum, until a divisible intermediate is found. However, if the intermediate is divisible, it will be divisible into indivisibles or into what are further divisible. But it cannot be divided into indivisibles only, because then the same difficulty returns—how a divisible can be composed solely of indivisibles. It must be granted, then, that the intermediate is divisible into what are further divisible. But that is what a continuum is. Therefore, that intermediate will be a continuum. But the only continuous intermediate between two points is a line. Therefore, between any two points there is an intermediate line. Likewise, between two “now’s” there is time; and the same for other types of continua.
757. Then at (568) he explains the second statement referred to at the beginning of 756, that every continuum is divisible into divisibles. For on the supposition that a continuum is divisible solely into indivisibles, it would follow that two indivisibles would have to be in contact in order to form the continuum. For continua have an extremity that is one, as appears from the definition thereof; moreover, the parts of a continuum must touch, because if the extremities are one, they are together, as was stated in Book V. Therefore, since it is impossible for two indivisibles to touch, it is impossible for a continuum to be divided into indivisibles.
First he proposes his intention;
Secondly, he proves his proposition at 759.
759. Then at (570) he proves this proposition:
First in regard to magnitude and motion;
Secondly in regard to time and magnitude, in L. 3.
About the first he does three things:
First he presents his proposition;
Secondly, he gives an example, at 760;
Thirdly, he proves his proposition, at 761.
Then at (572) he proves his proposition. About which he does three things:
First he lays down some premisses necessary for his proof;
Thirdly, he shows that it is impossible for motion to be composed of moments, at 763.
Time follows magnitude in divisibility and conversely
In the first he shows that division of time follows upon division of magnitude, and vice versa;
In the second that the infinity of one follows upon the infinity of the other, in L. 4.
About the first he does two things:
First he states his proposition;
Secondly, he demonstrates it, at 767.
767. Then he proves his proposition, giving three reasons:
The first of which is based on things equally fast;
The second is based on the faster and the slower, at 769;
The third uses one and the same mobile, at 776.
But first he lays down some presuppositions to be used in proving his proposition.
Secondly, he proves the proposition at 774.
About the first he does two things:
Secondly, how they compare with regard to being moved over an equal magnitude, at 772.
About the first he does two things:
Secondly, he demonstrates his proposition, at 770.
770. Then at (581) he proves his two presuppositions:
First, that a faster thing is moved a greater distance in equal time;
Secondly, that it is moved a greater distance in less time, at 771.
First he states his intention;
Secondly, he proves his proposition here at 772.
Thus, we have proved that necessarily the faster traverses an equal magnitude in less time.
First he lays down premisses to be used in the proof;
Secondly, he states his proposition at 775;
It is plain that A, which is faster, traverses the same magnitude in less time ZT.
Proof that no continuum is indivisible
First he states the proposition;
Secondly, from this he settles a doubt at 779;
Thirdly, he proves the proposition at 780.
78C. Then at (592) he proves what he stated above as a proposition.
First he restates the proposition;
Secondly, he proves it at 781.
Then at (593) he proves the proposition:
First that the time cannot be infinite, if the magnitude is finite;
Secondly, that if the length is infinite, the time cannot be finite at 784.
785. Then at (597) he proves that no continuum is indivisible.
First he says that an inconsistency would otherwise follow;
Secondly, he gives the demonstrations that lead to that inconsistency, at 786.
Therefore, it is clear that no continuum can be indivisible.
The “now” as the indivisible of time. Everything that moves is divisible. Difficulties solved
First he states certain facts necessary for the division of motion;
Secondly, he treats of the division of motion, L. 6.
About the first he does two things:
First he shows that in an indivisible of time, there is neither motion nor rest;
Secondly, that an indivisible cannot be moved, at 796.
About the first he does two things:
First he shows that the indivisible of time is the “now”;
Secondly that in the “now” nothing is being moved or is at rest, at 794.
About the first he does three things:
First he states his intention;
Secondly, he states facts from which his proposition can be reached, at 789.
Thirdly, he shows what follows from his proposition, ?90.
790. Then he shows what follows from these premisses. About this he does two things:
About the first he does two things:
794. Then at (607) he shows that in the Now there can be neither motion nor rest.
Two manners of dividing motion. What things are co-divided with motion
In the first he treats of the division of motion;
In the second he uses his conclusions to refute errors about motion, at L. 11.
The first part is divided into two sections:
In the first he discusses division of motion;
In the second, division of rest, at L. 10.
The first section is divided into two parts:
In the first he deals with division of motion;
The first is divided into two parts:
In the first he shows how motion is divided;
In the second he treats of the order of the parts of motion, at L. 7.
In regard to the first he does two things:
First he lists two ways by which motion is divided;
Secondly, he mentions what else is divided when motion is divi-ded, at 812.
In regard to the first he does two things:
First he mentions the ways in which motion is divided;
Secondly, he explains them, at 808.
808. Then at (613) he explains these ways of dividing motion:
First he shows that motion is divided according to the parts of the mob-ile;
Secondly, that it is divided according to the parts of time, 8-1.71.
First he mentions five things that are co-divided;
Thirdly, he shows in which of them is first found division and infinite, at 817.
About the first he does two things:
First he states his proposition;
Secondly, he explains the proposition, at 813.
813. Then at (618) he explains what he has said:
First the statement that time and motion are co-divided;
Secondly, that motion and the t1act of being moved” are, at 814.
Thirdly, that motion and the sphere of motion are, at 815,
About the first he does two things:
First he shows that with division of time, motion is divided;
First he shows that “being moved” is divided according to the division of motion;
Secondly, that motion is divided in accordance with the division of “being moved”, at 814.
First he asks whether there is a first in motion;
Secondly, he shows how the factors involved in motion precede one another, in L. 8.
About the first he does two things:
First he shows that that into which something is first changed is indivisible;
Secondly, how in motion a first can and cannot be found, 822.
About the first he does two things:
First he mentions facts to be used in explaining the proposition;
Secondly, he proves the proposition, at 821.
About the first he does two things:
First he mentions his proposition;
Secondly, he proves it, at 819.
Secondly, he proves it at 823.
First with an argument from time;
Secondly, with an argument from the mobile, at 824;
Thirdly, with an argument from the sphere in which the motion occurs, at 825.
Before every “being moved” is a “having been moved,” and conversely
First he premises facts needed for explaining the proposition;
Secondly, he explains the proposition, at 828.
828. Then at (634) he sets about proving the main proposition. And about this he does two things:
First he introduces the proofs of the proposition;
Secondly, he concludes to the truth, at 838.
About the first he does two things:
First he shows that before each state of being moved there was a state of completed motion;
First he proves it from the viewpoint of the time;
Secondly, from the viewpoint of the sphere in which the motion occurs, at 836.
About the first he does three things:
First he states the proposition;
Secondly, he proves certain things needed for proving the proposition, at 833.
Thirdly, he gives the proof of the main proposition, at 835.
836. Then at (640) he proves the same point with an argument based on the sphere of motion.
First as to motions in quantity;
Secondly, as to other changes, at 837.
838. Then at (642) he concludes to the main proposition:
Secondly, with special application to generation and ceasing-to-be, at 839.
Finite and infinite are found simultaneously in magnitude, time, mobile, and motion
First he shows that the infinite is found in the same way in magnitude and in time;
Secondly, that it is found in the same way in the mobile, 846;
Thirdly, and in motion, at 652.
About the first he does two things:
First he shows that if a magnitude is finite, the time cannot be infinite;
Secondly, that if the time is finite, the magnitude cannot be infinite, at 845.
in regard to the first he does two things:
First he proposes what he intends;
Secondly, he proves his proposition, at 843.
843. Then at (645) he proves his proposition:
First by assuming a mobile of equal speed being moved over the whole magnitude;
Secondly, if it is not being moved with a regular and uniform motion, at 844.
First he shows that the mobile is not infinite, if the magnitude is finite and the time finite;
Secondly, that the mobile is not infinite, if the magnitude is infinite and the time finite, at 848;
Things pertaining to the division of “coming to a stand” and “rest”
First he determines the things that pertain to coming to rest;
Secondly, the things that pertain to rest, at 856.
About the first he does three things:
First he shows that whatever is coming to rest is being moved!
Secondly, whatever is coming to rest does so in time, at 853;
Thirdly, how a first is spoken of in coming to rest, at 854.
Secondly, he shows that in coming to rest, it is not possible to discern a first part, at 855.
856. Then at (657) he shows the same thing is true for rest. About this he does two things:
First he shows that there is no first in rest;
Secondly, he gives a method to distinguish motion from rest,
Secondly, he proves it, at 858.
Zeno's arguments excluding all motion are resolved
First he answers the arguments of Zeno who absolutely denies that motion exists;
About the first he does two things:
Secondly, he explains all his arguments in order, at 863.
First he shows how he destroyed local motion with his arguments;
Secondly, how he destroyed the other types of change, at 870;
Thirdly, how in particular he destroyed circular motiong at 871.
867. He sets out the fourth argument at (664). Concerning which he doea three things:
First he sets out the argument;
Secondly, the solution, at 868;
Thirdly, he explains it by an example, at 869.
What is indivisible according to quantity is moved only per accidens
First he proposes his intention;
Secondly, he proves his proposition, at 876.
By nature, no change is infinite. How motion may be infinite in time
First he shows that no change is infinite according to its own species;
Secondly, how there can be infinites in time, at 883,
About the first he does two things: