The reason the sum of all the Z-intervals is not an infinitely large distance is that there is no smallest Z-interval. And Zeno does not establish that there is some smallest Z-run. (If there were a smallest Z-run, he wouldnt have been able to show that R had to make infinitely many Z-runs.)
Zenos argument makes a false assumption when it asserts that it is impossible to traverse an infinite number of positions or to make an infinite number of contacts one by one in a finite time (Physics 233a21-24).
Hence, there is a sense in which R has an infinite number of distances to cross. But in that sense he also has an infinite amount of time to do it in. (If a finite distance is infinitely divisible, then why isnt a finite time also infinitely divisible?)
Logical Impossibility: Infinity Machines & Super-Tasks
Russell suggested that a mans skill in performing operations of some kind might increase so fast that he was able to perform each of an infinite sequence of operations after the first in half the time he had required for its predecessor. Then the time required for all of the infinite sequence of tasks would be only twice that required for the first. On the strength of this Russell said that the performance of all of an infinite sequence of tasks was only medically impossible.
But Thomson argues that to assume that a super-task has been performed in accordance with Russells recipe leads to a logical contradiction.
There are certain reading lamps that have a button in the base. If the lamp is off and you press the button the lamp goes on, and if the lamp is on and you press the button the lamp goes off. So if the lamp was originally off, and you pressed the button an odd number of times, the lamp is on, and if you pressed the button an even number of times the lamp is off. Suppose now that the lamp is off, and I succeed in pressing the button an infinite number of times, perhaps making one jab in one minute, another jab in the next half minute, and so on, according to Russells recipe. After I have completed the whole infinite sequence of jabs, i.e. at the end of the two minutes, is the lamp on or off? It seems impossible to answer this question. It cannot be on, because I did not ever turn it on without at once turning it off. It cannot be off, because I did in the first place turn it on, and thereafter I never turned it off without at once turning it on. But the lamp must be either on or off. This is a contradiction.
suppose someone could have occupied every Z-point without having occupied any point external to Z. Where would he be? Not at any Z-point, for then there would be an unoccupied Z-point to the right. Not, for the same reason, between Z-points. And, ex hypothesi, not at any point external to Z. But these possibilities are exhaustive. The absurdity of having occupied all the Z-points without having occupied any point external to Z is exactly like the absurdity of having pressed the lamp-switch an infinite number of times .
Since (b) leads to a contradiction [(c) contradicts (e)], it is logically impossible for (b) to be true. Therefore,
So Thomson’s response to Zeno is that one can make all the Z-runs simply by making a run (e.g., a G-run) that is not a Z-run. To think this is impossible requires an equivocation on the word ‘run’.
It is impossible for R to make all the Z -runs without making a run that is not a Z -run.
This turns out to be a weak reply. For although it shows that Zeno doesn’t get his contradiction from the assumption that R makes all the Z-runs, it concedes too much to Zeno. For it supposes that there is some description of a super-task (“making all the Z-runs and no other runs”) that does lead to a contradiction.
That is, Thomson maintains both:
But as Paul Benacerraf has shown (in the article Tasks, Super-tasks, and the Modern Eleatics, on e-reserve) neither of these entailments holds. That is, we cannot derive a contradiction even from the assumption that R makes all the Z-runs and no others.
We can apply this point to both the lamp and the race course:
It must be one of these, but it does not have to be both. Benacerraf explains why (Tasks, Super-Tasks and the Modern Eleatics, p. 117-118):
any point may be seen as dividing its line either into (a) the sets of points to the right of and including it, and the set of points to the left of it; or into (b) the set of points to the right of it and the set of points to the left of and including it: That is, we may assimilate each point to its right-hand segment (a) or to its left-hand segment (b). Which we choose is entirely arbitrary
Consequently, both of the following situations are possible:
All that R makes all the Z-runs and no others entails is that R reaches every point to the left of G, and no point to the right of G. It entails nothing about whether G itself is one of the points reached or one of the points not reached.
So while Thomson thinks that both entailments (i) and (ii) hold, Benacerraf shows that neither of them holds.
suppose the runner is a genie who vanishes as soon as he makes all the Z-runs. There is a temptation to say that there must be a last point he reaches before he vanishes. And that would have to be G. So how is it possible for him to make all the Z-runs without reaching G?
Benacerraf gives us a beautiful illustration of this possibility by adding one new wrinkle a shrinking genie: [Tasks, Super-Tasks and the Modern Eleatics, p. 119]:
Ours is a reluctant genie. He shrinks from the thought of reaching 1. In fact, being a rational genie, he shows his repugnance against reaching 1 by shrinking so that the ratio of his height at any point to his height at the beginning of the race is always equal to the ratio of the unrun portion of the course to the whole course. He is full grown at 0, half-shrunk at ½, only 1/8 of him is left at 7/8, etc. His instructions are to continue in this way and to disappear at 1. Clearly, now, he occupied every point to the left of 1 (I can tell you exactly when and how tall he was at that point), but he did not occupy 1 (if he followed instructions, there was nothing left of him at 1). Of course, if we must say that he vanished at a point, it must be at 1 that we must say that he vanished, but in this case, there is no temptation whatever to say that he occupied 1. He couldnt have. There wasnt enough left of him.
But this assumption is mistaken. G divides the space R traverses from the space that he does not traverse. But G itself cannot be said to belong to both spaces (even though it is arbitrary which of the two we associate it with). Indeed, if there is such a thing as the last point R (or anyone) reaches, then there cannot be a first point that he does not reach.
The reason is that (as Zeno is assuming) space is a continuum; points in space do not have next-door neighbors. There is no next point after G. Therefore, if G is last point R reaches, then there is no first point R does not reach. Consequently, G cannot be that point. So Thomsons argument fails.
Movement through a continuum, through infinitely divisible space, is indeed a puzzling phenomenon. But it does not lead to Zenos paradox.
Philosophers all too rarely admit their mistakes. But remarkably, Thomson later conceded (in Salmon, Zeno’s Paradoxes, pp. 130-138) that Benacerraf’s criticism is correct:
Benacerraf’s excellent article puts it beyond doubt that much of “Tasks and Supertasks” is mistaken. …
When I wrote “Tasks and Supertasks” I thought that the idea of a super-task being completable was suspect because or to the extent that one could not say what situation would result from its completion. … I thought that there was some conceptual difficulty about the idea of a lamp having been turned on and off infinitely often, because, roughly speaking, of the question about the state of the lamp immediately afterwards. Unfortunately, I tried to make out that there was a difficulty here by arguing that the lamp could not be in either of its two states. This argument was worthless, because (as Benacerraf points out) it ascribed to the crucial time a property that can be ascribed, without circularity, only to earlier times. I also said that the difficulty about the lamp was like that of occupying all the points along the racecourse (the Z-points) without occupying their limit, and this too was wrong.
I am now inclined to think that there are no simple knock-down arguments to show that the notion of a completed super-task is self-contradictory.
Ce page traduit en français
Go to next lecture on Empedocles
Go to lecture on
Zenos Paradox of the Arrow
Go to previous lecture on Zeno against plurality
Return to the PHIL 320 Home Page
Copyright © 2002, S. Marc Cohen