8 - You Can't Get There From Here: Zeno and Melissus

The paradoxes of Zeno and the arguments of Melissus develop the ideas of Parmenides and defend his Eleatic monism.

Press 'play' to hear the podcast: 

You are missing some Flash content that should appear here! Perhaps your browser cannot display it, or maybe it did not initialize correctly.

Further Reading: 

J. Faris, The Paradoxes of Zeno (Aldershot: Ashgate, 1996).

P.S. Hasper, “Zeno Unlimited,” Oxford Studies in Ancient Philosophy 30 (2006), 49-85.

J. Lear, “A Note on Zeno’s Arrow,” in Phronesis 1981, 91-104.

R. McKirahan, “Zeno’s dichotomy in Aristotle,” in Philosophical Inquiry, 23 (2001), 1-24.

J. Palmer, “Melissus and Parmenides,” Oxford Studies in Ancient Philosophy 26 (2004), 19-54.

G.E.L. Owen, “Zeno and the mathematicians,” in Proceedings of the Aristotelian Society, 58 (1958), 199-222.

Stanford Encyclopedia: Zeno of Elea

Elephants in the forest's picture

An interesting take on zeno's paradox

Luke Cash's picture

Zeno's Dichotomy Paradox

Zeno's Dichotomy Paradox is refuted by modern day philosophy, because a distinction is now made between a potential infinity and an "actual infinity". Al-Ghazali first established this when he, amongst his criticism of Islamic philosophers who believed in a universal understanding of Platonic Forms, used similar logic to refute the idea of an actual infinity.

 

And I quote:

 

"What about set theory?

In the other discussion, it was hinted at that in modern set theory the use of actually infinite sets is commonplace. The set of the natural numbers {0,1,2,...} has an actually infinite number of members in it. The number of members in this set is not merely potentially infinite, rather the number of members is actually infinite according to set theory.

But this merely shows that if you adopt certain axioms and rules, then you can talk about actually infinite collections in a consistent way without contradicting yourself. All it does is shows how to set up a certain universe of discourse for talking consistently about actual infinities. But it does nothing to show that such mathematical entities really exist or that an actually infinite number of things can really exist.

This isn't a claim an actually infinite number of things involves a logical contradiction but that it is really impossible. For example, the claim that something came into existence from nothing isn't logically contradictory, but nonetheless it is really impossible.

The absurdities of an actual infinity

First, let's define what absurd means here:

absurd - utterly or obviously senseless, illogical, or untrue; contrary to all reason or common sense

So when we say it results in an absurdity, we don't mean to imply that it's merely "baffling", or that it is "misunderstood" or that it is contrary to our knowledge. But rather, it is because we do understand the concept of actual infinity and the implications of it existing in actuality, that such examples cannot be true (thus, absurd).

German mathematician David Hilbert used the following illustration to show why an actual infinity is impossible. It's called "Hilbert's Hotel".

Consider a hypothetical hotel with countably infinitely many rooms, all of which are occupied – that is to say every room contains a guest. One might be tempted to think that the hotel would not be able to accommodate any newly arriving guests, as would be the case with a finite number of rooms.

Suppose a new guest arrives and wishes to be accommodated in the hotel. Because the hotel hasinfinitely many rooms, we can move the guest occupying room 1 to room 2, the guest occupying room 2 to room 3 and so on, and fit the newcomer into room 1. By repeating this procedure, it is possible to make room for any finite number of new guests.

It is also possible to accommodate a countably infinite number of new guests: just move the person occupying room 1 to room 2, the guest occupying room 2 to room 4, and in general room n to room 2n, and all the odd-numbered rooms will be free for the new guests.
 

This of course, results in the hotel being always able to accommodate guests, even though all the rooms were full when the guests arrived. The sign outside the hotel could read: "No Vacancy (Guests Welcome)".

It gets even more absurd. What happens if some of the guests start to check out? Suppose all the guests in the odd numbered rooms check out. In this case, an infinite number of people has left...and there are just as many guests who have remained behind. And yet...there are no fewer people in the hotel! The number is just infinite. The manager decides that having a hotel 1/2 full is bad for business. This isn't a problem with an actual infinity. By moving the guests as before, only in reverse order, he converts the half-empty hotel into one that is full! Seems like a simple way to keep doing business (in this absurd reality)...but not necessarily.

What happens if guests 4, 5, 6, etc... check out? In a single moment the hotel is reduced to a mere 3 guests (1, 2 and 3). The infinite just converted to finitude. Yet, it is the case that the same # of guests checked out this time as when all the guests in the odd-numbered rooms checked out. Hilbert's Hotel is absurd. It is impossible in actuality."

Peter Adamson's picture

Infinities

Without getting into Hilbert's Hotel which is above my pay grade, I just wanted to note that Aristotle is actually the originator of the actual/potential infinity distinction. He basically allows potential infinities in various contexts, but doesn't allow actual infinity in any context. (And this is indeed the core of his response to Zeno.) He's followed in that by most ancient and medieval thinkers.

Al-Ghazali was joining an ongoing debate about the eternity of the world, part of which was the question of whether a world that has already existed for an eternity would somehow involve actual infinity. For instance al-Ghazali's predecessor in the Islamic tradition, al-Kindi, argued that the world is not eternal precisely on the basis that an actually infinite number of moments would already have had to elapse. In general I'd say that the pro-eternity camp felt obligated to insist that an already eternal world would involve only potential infinity. We'll get to this in due course!

Not sure what you mean about al-Ghazali objecting to Platonic Forms, though?

Luke's picture

re:Infinity

Right, that comment about al-Ghazali originating that idea was definitely from left field, and I didn't mean that. I was thinking of al-Ghazali in that he had some interesting things to say about the subject, and he (IMO) did the best job of defining "potential" and "actual" infinities when it comes to medieval philosophers, using those ideas to refute a static, eternal backwards and forwards, creation.

He also wrote about Greek philosophy and his issues with it, if I remember correctly. I'll try to get back to you soon with those works.

Peter Adamson's picture

Ghazali and infinity

Dear Luke,

Interesting -- well, I think Averroes would be very unhappy with your praise of Ghazali because he complains that Ghazali fails precisely to make this distinction between actual and potential infinity (which is Aristotelian). Philoponus is the most acute eternity opponent here, I think, because he argues explicitly that past infinite time would be an _actual_ infinity. Ghazali thinks that too I suppose but he is less clear, the point emerges best when he draws an analogy between infinite time and infinite spatial extent.

Needless to say this will all be covered with care in future episodes...

Peter

Luke's picture

re: Ghazali

I'll have to look into that. I'd certainly trust your opinion better than mine at this rate. Thanks for your time.

Luke Cash's picture

Also on Zeno's work

The arrow at rest actually seems reminiscient of Newtonian physics. Do you think there would be any substance to that comparison? I think it would have substance if Zeno was thinking of the arrow in the sense that it was being propelled, or a Greek might have termed it compelled, to go in the velocity it went.

Peter Adamson's picture

The arrow

This has indeed occasioned a good deal of comment about the arrow. One way of thinking about it might be that Zeno is precisely not anticipating Newton, because he is thinking of an arrow in mid-flight "at a moment" as being simply at rest, which leaves out the idea of impetus. There is an interesting anticipation of theories of momentum or impetus in the late ancient thinker John Philoponus... stay tuned for episode 93 or so.

Felix's picture

Paradoxes

Here is an interesting resource on paradoxes from University of Notre Dame.

The link goes to the page about Zeno:

http://ocw.nd.edu/philosophy/paradoxes/eduCommons/philosophy/paradoxes/l...

Brandon's picture

Do we truly understand the Eleatics position on the infinite?

When I imagine Zeno and Parmenidies giving discourse on "Oneness" and the paradox of movement, it strikes me that these men held onto these doctrines, and found them to hold keen to truth. It brings the thought to mind: Did the Eleatics imagine things in being were possessive of the infinite?

It seems as though they did, for by stating that "All is one", and that there is no such thing as non-being, everything that we seem to know and surrounds us must be eternal (infinite) in nature and made up of things that have no beginning or end. A constant state of being.

Upholding the paradox of movement, Zeno undoubtedly moved around each day. So what was at the core of his belief, to allow him to hold true to the paradox, though he defied it at every moment?

Enter the Eleatic perception of oneness, of infinity: if all is one, nothing is short of oneness, making us, and everything else, infinite and eternal. Thus, by being, we are eternal and infinite.

Lets go from there, and look at the dichotomy paradox. If we must be in contact with an infinite number of things on our path from the baseline to the service line on a tennis court, we'd struggle as a finite being, with not enough "Time" to reach all those points. However, does this not change once we perceive ourselves possessed of oneness, being infinite ourselves? It is but a trivial matter to reach all the points, because they are not separate from us: we are in contact and a part of everything else. We can traverse the distance because it is a part of us, a part of the oneness that pervades all things. The reduction (1/2, 1/4, 1/8, etc) always leads back to the whole, and this must have been at the core of their philosophy. I may be 1 out of 7 billion people, but we're all people, and people may be one of a certain species, etc etc until we reach the most elementary piece from which all things have their origin - the oneness that Parmenides and Zeno advocated for.

I close with a question: how close can we really get to these minds, thousands of years later, pervaded with centuries of philosophy and thought, influenced by modern science and mathematics? Can we experience as they did the intoxication of their knowledge and profound reasoning? And what steps were there beyond the writings we have? Ah, so much dashing about the shadows of history, with only morsels to sate ourselves with! But the quest through darkness, unearthing light, never loses its appeal through millennia - let us continue to add to the store of treasures to be found!

Peter Adamson's picture

The Eleatics

Hi there,

Well I certainly share your eloquently phrased worry in the last paragraph. Particularly worrying for me given that I do this for a living. But I think the goal has to be to read them as sympathetically as possible and try to come up with an interpretation that makes sense given their own philosophical concerns, insofar as we can understand them - it's crucial to figure out what sorts of pressure (philosophical or otherwise) these long-dead people were responding to with their theories.

Along these lines I would also like to agree with your point about Zeno: surely he knew he was moving around all the time? So there is a deep problem here about the Eleatics and what they would say about the deliverances of everyday experience. Are these just an illusion? Or perhaps a less-than-fully-adequate understanding of reality? Remember that Parmenides also wrote his Way of Opinion which accepts multiplicity, motion, etc. So a good answer to this question is basically a plausible interpretation of the Poem and, in particular, why it includes a Way of Opinion, not just a Way of Truth.

Thanks for listening!

Peter