Template:Redirect Template:Short description Zeno's paradoxes are a series of philosophical arguments presented by the ancient Greek philosopher Zeno of Elea (c. 490–430 BC),<ref name=":0" /><ref name=":1" /> primarily known through the works of Plato, Aristotle, and later commentators like Simplicius of Cilicia.<ref name=":1" /> Zeno devised these paradoxes to support his teacher Parmenides's philosophy of monism, which posits that despite our sensory experiences, reality is singular and unchanging. The paradoxes famously challenge the notions of plurality (the existence of many things), motion, space, and time by suggesting they lead to logical contradictions.
Zeno's work, primarily known from second-hand accounts since his original texts are lost, comprises forty "paradoxes of plurality," which argue against the coherence of believing in multiple existences, and several arguments against motion and change.<ref name=":1" /> Of these, only a few are definitively known today, including the renowned "Achilles Paradox", which illustrates the problematic concept of infinite divisibility in space and time.<ref name=":0" /><ref name=":1" /> In this paradox, Zeno argues that a swift runner like Achilles cannot overtake a slower moving tortoise with a head start, because the distance between them can be infinitely subdivided, implying Achilles would require an infinite number of steps to catch the tortoise.<ref name=":0" /><ref name=":1" />
These paradoxes have stirred extensive philosophical and mathematical discussion throughout history,<ref name=":0" /><ref name=":1" /> particularly regarding the nature of infinity and the continuity of space and time. Initially, Aristotle's interpretation, suggesting a potential rather than actual infinity, was widely accepted.<ref name=":0" /> However, modern solutions leveraging the mathematical framework of calculus have provided a different perspective, highlighting Zeno's significant early insight into the complexities of infinity and continuous motion.<ref name=":0" /> Zeno's paradoxes remain a pivotal reference point in the philosophical and mathematical exploration of reality, motion, and the infinite, influencing both ancient thought and modern scientific understanding.<ref name=":0" /><ref name=":1" />
HistoryEdit
The origins of the paradoxes are somewhat unclear, but they are generally thought to have been developed to support Parmenides' doctrine of monism, that all of reality is one, and that all change is impossible, that is, that nothing ever changes in location or in any other respect.<ref name=":0" /><ref name=":1" /> Diogenes Laërtius, citing Favorinus, says that Zeno's teacher Parmenides was the first to introduce the paradox of Achilles and the tortoise. But in a later passage, Laërtius attributes the origin of the paradox to Zeno, explaining that Favorinus disagrees.<ref>Diogenes Laërtius, Lives, 9.23 and 9.29.</ref> Modern academics attribute the paradox to Zeno.<ref name=":0" /><ref name=":1" />
Many of these paradoxes argue that contrary to the evidence of one's senses, motion is nothing but an illusion.<ref name=":0" /><ref name=":1" /> In Plato's Parmenides (128a–d), Zeno is characterized as taking on the project of creating these paradoxes because other philosophers claimed paradoxes arise when considering Parmenides' view. Zeno's arguments may then be early examples of a method of proof called reductio ad absurdum, also known as proof by contradiction. Thus Plato has Zeno say the purpose of the paradoxes "is to show that their hypothesis that existences are many, if properly followed up, leads to still more absurd results than the hypothesis that they are one."<ref>Parmenides 128d</ref> Plato has Socrates claim that Zeno and Parmenides were essentially arguing exactly the same point.<ref>Parmenides 128a–b</ref> They are also credited as a source of the dialectic method used by Socrates.<ref>([fragment 65], Diogenes Laërtius. IX Template:Webarchive 25ff and VIII 57).</ref>
ParadoxesEdit
Some of Zeno's nine surviving paradoxes (preserved in Aristotle's Physics<ref name=aristotle>Aristotle's Physics Template:Webarchive "Physics" by Aristotle translated by R. P. Hardie and R. K. Gaye</ref><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and Simplicius's commentary thereon) are essentially equivalent to one another. Aristotle offered a response to some of them.<ref name=aristotle/> Popular literature often misrepresents Zeno's arguments. For example, Zeno is often said to have argued that the sum of an infinite number of terms must itself be infinite–with the result that not only the time, but also the distance to be travelled, become infinite.<ref>Template:Cite book</ref> However, none of the original ancient sources has Zeno discussing the sum of any infinite series. Simplicius has Zeno saying "it is impossible to traverse an infinite number of things in a finite time". This presents Zeno's problem not with finding the sum, but rather with finishing a task with an infinite number of steps: how can one ever get from A to B, if an infinite number of (non-instantaneous) events can be identified that need to precede the arrival at B, and one cannot reach even the beginning of a "last event"?<ref name=KBrown/><ref name=FMoorcroft/><ref name=Papa-G /><ref>Template:Cite encyclopedia</ref>
Paradoxes of motionEdit
Three of the strongest and most famous—that of Achilles and the tortoise, the Dichotomy argument, and that of an arrow in flight—are presented in detail below.
Dichotomy paradoxEdit
Template:Quote Suppose Atalanta wishes to walk to the end of a path. Before she can get there, she must get halfway there. Before she can get halfway there, she must get a quarter of the way there. Before traveling a quarter, she must travel one-eighth; before an eighth, one-sixteenth; and so on. <timeline> ImageSize= width:800 height:100 PlotArea= width:720 height:55 left:65 bottom:20 AlignBars= justify Period= from:0 till:100 TimeAxis= orientation:horizontal ScaleMajor= unit:year increment:10 start:0 ScaleMinor= unit:year increment:1 start:0 Colors=
id:homer value:rgb(0.4,0.8,1) # light purple
PlotData=
bar:homer fontsize:L color:homer from:0 till:100 at:50 mark:(line,red) at:25 mark:(line,black) at:12.5 mark:(line,black) at:6.25 mark:(line,black) at:3.125 mark:(line,black) at:1.5625 mark:(line,black) at:0.78125 mark:(line,black) at:0.390625 mark:(line,black) at:0.1953125 mark:(line,black) at:0.09765625 mark:(line,black)
</timeline> The resulting sequence can be represented as:
- <math> \left\{ \cdots, \frac{1}{16}, \frac{1}{8}, \frac{1}{4}, \frac{1}{2}, 1 \right\}</math>
This description requires one to complete an infinite number of tasks, which Zeno maintains is an impossibility.<ref>Template:Cite book</ref>
This sequence also presents a second problem in that it contains no first distance to run, for any possible (finite) first distance could be divided in half, and hence would not be first after all. Hence, the trip cannot even begin. The paradoxical conclusion then would be that travel over any finite distance can be neither completed nor begun, and so all motion must be an illusion.<ref>Template:Cite encyclopedia</ref>
This argument is called the "Dichotomy" because it involves repeatedly splitting a distance into two parts. An example with the original sense can be found in an asymptote. It is also known as the Race Course paradox.
Achilles and the tortoiseEdit
Template:Redirect Template:See also
Template:Quote In the paradox of Achilles and the tortoise, Achilles is in a footrace with a tortoise. Achilles allows the tortoise a head start of 100 meters, for example. Suppose that each racer starts running at some constant speed, one faster than the other. After some finite time, Achilles will have run 100 meters, bringing him to the tortoise's starting point. During this time, the tortoise has run a much shorter distance, say 2 meters. It will then take Achilles some further time to run that distance, by which time the tortoise will have advanced farther; and then more time still to reach this third point, while the tortoise moves ahead. Thus, whenever Achilles arrives somewhere the tortoise has been, he still has some distance to go before he can even reach the tortoise. As Aristotle noted, this argument is similar to the Dichotomy.<ref>Template:Cite encyclopedia</ref> It lacks, however, the apparent conclusion of motionlessness.
Arrow paradoxEdit
In the arrow paradox, Zeno states that for motion to occur, an object must change the position which it occupies. He gives an example of an arrow in flight. He states that at any one (durationless) instant of time, the arrow is neither moving to where it is, nor to where it is not.<ref>Template:Cite book</ref> It cannot move to where it is not, because no time elapses for it to move there; it cannot move to where it is, because it is already there. In other words, at every instant of time there is no motion occurring. If everything is motionless at every instant, and time is entirely composed of instants, then motion is impossible.
Whereas the first two paradoxes divide space, this paradox starts by dividing time—and not into segments, but into points.<ref name=HuggettArrow>Template:Cite encyclopedia</ref>
Other paradoxesEdit
Aristotle gives three other paradoxes.
Paradox of placeEdit
From Aristotle: Template:Quote
Paradox of the grain of milletEdit
Template:See also Description of the paradox from the Routledge Dictionary of Philosophy: Template:Quote
Aristotle's response: Template:Quote
Description from Nick Huggett: Template:Quote
The moving rows (or stadium)Edit
From Aristotle: Template:Quote
An expanded account of Zeno's arguments, as presented by Aristotle, is given in Simplicius's commentary On Aristotle's Physics.<ref name=":2">Template:Cite book</ref><ref name=":1">Template:Citation</ref><ref name=":0">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
According to Angie Hobbs of The University of Sheffield, this paradox is intended to be considered together with the paradox of Achilles and the Tortoise, problematizing the concept of discrete space & time where the other problematizes the concept of infinitely divisible space & time.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
Proposed solutionsEdit
In classical antiquityEdit
According to Simplicius, Diogenes the Cynic said nothing upon hearing Zeno's arguments, but stood up and walked, in order to demonstrate the falsity of Zeno's conclusions.<ref name=":2" /><ref name=":1" /> To fully solve any of the paradoxes, however, one needs to show what is wrong with the argument, not just the conclusions. Throughout history several solutions have been proposed, among the earliest recorded being those of Aristotle and Archimedes.
Aristotle remarked that as the distance decreases, the time needed to cover those distances also decreases, so that the time needed also becomes increasingly small.<ref>Aristotle. Physics 6.9 </ref>Template:Failed verification<ref> Aristotle's observation that the fractional times also get shorter does not guarantee, in every case, that the task can be completed. One case in which it does not hold is that in which the fractional times decrease in a harmonic series, while the distances decrease geometrically, such as: 1/2 s for 1/2 m gain, 1/3 s for next 1/4 m gain, 1/4 s for next 1/8 m gain, 1/5 s for next 1/16 m gain, 1/6 s for next 1/32 m gain, etc. In this case, the distances form a convergent series, but the times form a divergent series, the sum of which has no limit. Template:Original research inline Archimedes developed a more explicitly mathematical approach than Aristotle.</ref> Aristotle also distinguished "things infinite in respect of divisibility" (such as a unit of space that can be mentally divided into ever smaller units while remaining spatially the same) from things (or distances) that are infinite in extension ("with respect to their extremities").<ref>Aristotle. Physics 6.9; 6.2, 233a21-31</ref> Aristotle's objection to the arrow paradox was that "Time is not composed of indivisible nows any more than any other magnitude is composed of indivisibles."<ref>Template:Cite book</ref> Thomas Aquinas, commenting on Aristotle's objection, wrote "Instants are not parts of time, for time is not made up of instants any more than a magnitude is made of points, as we have already proved. Hence it does not follow that a thing is not in motion in a given time, just because it is not in motion in any instant of that time."<ref>Aquinas. Commentary on Aristotle's Physics, Book 6.861</ref><ref>Template:Cite book</ref><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
In modern mathematicsEdit
Some mathematicians and historians, such as Carl Benjamin Boyer, hold that Zeno's paradoxes are simply mathematical problems, for which modern calculus provides a mathematical solution.<ref name=boyer>Template:Cite book</ref> Infinite processes remained theoretically troublesome in mathematics until the late 19th century. With the epsilon-delta definition of limit, Karl Weierstrass and Augustin-Louis Cauchy developed a rigorous formulation of the logic and calculus involved. These works resolved the mathematics involving infinite processes.<ref name=Lee>Template:Cite journal</ref><ref name=russell>B Russell (1956) Mathematics and the metaphysicians in "The World of Mathematics" (ed. J R Newman), pp 1576-1590.</ref>
Some philosophers, however, say that Zeno's paradoxes and their variations (see Thomson's lamp) remain relevant metaphysical problems.<ref name=KBrown/><ref name=FMoorcroft>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref><ref name=Papa-G>Template:Cite journal</ref> While mathematics can calculate where and when the moving Achilles will overtake the Tortoise of Zeno's paradox, philosophers such as Kevin Brown<ref name=KBrown>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and Francis Moorcroft<ref name=FMoorcroft/> hold that mathematics does not address the central point in Zeno's argument, and that solving the mathematical issues does not solve every issue the paradoxes raise. Brown concludes "Given the history of 'final resolutions', from Aristotle onwards, it's probably foolhardy to think we've reached the end. It may be that Zeno's arguments on motion, because of their simplicity and universality, will always serve as a kind of 'Rorschach image' onto which people can project their most fundamental phenomenological concerns (if they have any)."<ref name=KBrown/>
Henri BergsonEdit
An alternative conclusion, proposed by Henri Bergson in his 1896 book Matter and Memory, is that, while the path is divisible, the motion is not.<ref>Template:Cite book</ref><ref>Template:Cite book</ref>
Peter LyndsEdit
In 2003, Peter Lynds argued that all of Zeno's motion paradoxes are resolved by the conclusion that instants in time and instantaneous magnitudes do not physically exist.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref><ref> Lynds, Peter. Time and Classical and Quantum Mechanics: Indeterminacy vs. Discontinuity. Foundations of Physics Letter s (Vol. 16, Issue 4, 2003). doi:10.1023/A:1025361725408</ref><ref name="Time’s Up Einstein">Time’s Up, Einstein Template:Webarchive, Josh McHugh, Wired Magazine, June 2005</ref> Lynds argues that an object in relative motion cannot have an instantaneous or determined relative position (for if it did, it could not be in motion), and so cannot have its motion fractionally dissected as if it does, as is assumed by the paradoxes. Nick Huggett argues that Zeno is assuming the conclusion when he says that objects that occupy the same space as they do at rest must be at rest.<ref name=HuggettArrow/>
Bertrand RussellEdit
Based on the work of Georg Cantor,<ref>Template:Cite book</ref> Bertrand Russell offered a solution to the paradoxes, what is known as the "at-at theory of motion". It agrees that there can be no motion "during" a durationless instant, and contends that all that is required for motion is that the arrow be at one point at one time, at another point another time, and at appropriate points between those two points for intervening times. In this view motion is just change in position over time.<ref name=HuggettBook>Template:Cite book</ref><ref>Template:Cite book</ref>
Hermann WeylEdit
Another proposed solution is to question one of the assumptions Zeno used in his paradoxes (particularly the Dichotomy), which is that between any two different points in space (or time), there is always another point. Without this assumption there are only a finite number of distances between two points, hence there is no infinite sequence of movements, and the paradox is resolved. According to Hermann Weyl, the assumption that space is made of finite and discrete units is subject to a further problem, given by the "tile argument" or "distance function problem".<ref>Template:Cite encyclopedia</ref><ref name="atomism uni of washington">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> According to this, the length of the hypotenuse of a right angled triangle in discretized space is always equal to the length of one of the two sides, in contradiction to geometry. Jean Paul Van Bendegem has argued that the Tile Argument can be resolved, and that discretization can therefore remove the paradox.<ref name=boyer/><ref>Template:Cite journal</ref>
ApplicationsEdit
Quantum Zeno effectEdit
Template:Main article In 1977,<ref>Template:Cite journal</ref> physicists E. C. George Sudarshan and B. Misra discovered that the dynamical evolution (motion) of a quantum system can be hindered (or even inhibited) through observation of the system.<ref name="u0">Template:Cite journal </ref> This effect is usually called the quantum Zeno effect as it is strongly reminiscent of Zeno's arrow paradox. This effect was first theorized in 1958.<ref>Template:Cite journal</ref>
Zeno behaviourEdit
In the field of verification and design of timed and hybrid systems, the system behaviour is called Zeno if it includes an infinite number of discrete steps in a finite amount of time.<ref name="Fishwick2007">Template:Cite book</ref> Some formal verification techniques exclude these behaviours from analysis, if they are not equivalent to non-Zeno behaviour.<ref>Template:Cite journal</ref><ref>Template:Cite journal</ref> In systems design these behaviours will also often be excluded from system models, since they cannot be implemented with a digital controller.<ref>Template:Cite book</ref>
Similar paradoxesEdit
School of NamesEdit
Roughly contemporaneously during the Warring States period (475–221 BCE), ancient Chinese philosophers from the School of Names, a school of thought similarly concerned with logic and dialectics, developed paradoxes similar to those of Zeno. The works of the School of Names have largely been lost, with the exception of portions of the Gongsun Longzi. The second of the Ten Theses of Hui Shi suggests knowledge of infinitesimals:That which has no thickness cannot be piled up; yet it is a thousand li in dimension. Among the many puzzles of his recorded in the Zhuangzi is one very similar to Zeno's Dichotomy: Template:Quote The Mohist canon appears to propose a solution to this paradox by arguing that in moving across a measured length, the distance is not covered in successive fractions of the length, but in one stage. Due to the lack of surviving works from the School of Names, most of the other paradoxes listed are difficult to interpret.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
In popular cultureEdit
"What the Tortoise Said to Achilles",<ref>Template:Cite journal</ref> written in 1895 by Lewis Carroll, describes a paradoxical infinite regress argument in the realm of pure logic. It uses Achilles and the Tortoise as characters in a clear reference to Zeno's paradox of Achilles.<ref>Template:Cite book</ref>
See alsoEdit
- Incommensurable magnitudes
- Infinite regress
- Philosophy of space and time
- Renormalization
- Ross–Littlewood paradox
- Supertask
- Zeno machine
- List of paradoxes
NotesEdit
ReferencesEdit
- Kirk, G. S., J. E. Raven, M. Schofield (1984) The Presocratic Philosophers: A Critical History with a Selection of Texts, 2nd ed. Cambridge University Press. Template:Isbn.
- Template:Cite encyclopedia
- Plato (1926) Plato: Cratylus. Parmenides. Greater Hippias. Lesser Hippias, H. N. Fowler (Translator), Loeb Classical Library. Template:Isbn.
- Sainsbury, R.M. (2003) Paradoxes, 2nd ed. Cambridge University Press. Template:Isbn.
- Template:Cite book
External linksEdit
- Dowden, Bradley. "Zeno’s Paradoxes." Entry in the Internet Encyclopedia of Philosophy.
- Template:Springer
- Introduction to Mathematical Philosophy, Ludwig-Maximilians-Universität München
- Silagadze, Z. K. "Zeno meets modern science,"
- Zeno's Paradox: Achilles and the Tortoise by Jon McLoone, Wolfram Demonstrations Project.
- Kevin Brown on Zeno and the Paradox of Motion
- Template:Cite encyclopedia
- {{#if:
| This article incorporates material from the following PlanetMath articles, which are licensed under the Creative Commons Attribution/Share-Alike License: {{#if: | Zeno's paradox | {{#if: 5538 | Zeno's paradox | [{{{sourceurl}}} Zeno's paradox] }} }}, {{#if: | {{{title2}}} | {{#if: | {{{title2}}} | [{{{sourceurl2}}} {{{title2}}}] }} }}{{#if: | , {{#if: | {{{title3}}} | {{#if: | {{{title3}}} | [{{{sourceurl3}}} {{{title3}}}] }} }} }}{{#if: | , {{#if: | {{{title4}}} | {{#if: | {{{title4}}} | [{{{sourceurl4}}} {{{title4}}}] }} }} }}{{#if: | , {{#if: | {{{title5}}} | {{#if: | {{{title5}}} | [{{{sourceurl5}}} {{{title5}}}] }} }} }}{{#if: | , {{#if: | {{{title6}}} | {{#if: | {{{title6}}} | [{{{sourceurl6}}} {{{title6}}}] }} }} }}{{#if: | , {{#if: | {{{title7}}} | {{#if: | {{{title7}}} | [{{{sourceurl7}}} {{{title7}}}] }} }} }}{{#if: | , {{#if: | {{{title8}}} | {{#if: | {{{title8}}} | [{{{sourceurl8}}} {{{title8}}}] }} }} }}{{#if: | , {{#if: | {{{title9}}} | {{#if: | {{{title9}}} | [{{{sourceurl9}}} {{{title9}}}] }} }} }}. | This article incorporates material from {{#if: | Zeno's paradox | Zeno's paradox}} on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License. }}
- {{#invoke:citation/CS1|citation
|CitationClass=web }}