James Thomson envisaged a lamp which would be turned on for 1 minute, off for 1/2 minute, on for 1/4 minute, etc. ad infinitum. He asked whether the lamp would be on or off at the end of 2 minutes. Use of “internal set theory” (a version of nonstandard analysis), developed by Edward Nelson, shows Thomson's lamp is chimerical; its copy within set theory yields a contradiction. The demonstration extends to placing restrictions on other “infinite tasks” such as Zeno's paradoxes (...) of motion and Kant's First Antinomy. Resolution of such logical-philosophical problems leads to some very general constraints which must be placed upon the syntax of physical theories. In particular, at some scale space and time would appear granular. The suitability of internal set theory for analyzing phenomena is examined, using a paper by Alper and Bridger (1997) to frame the discussion. (shrink)

Three of Zeno's objections to motion are answered by utilizing a version of nonstandard analysis, internal set theory, interpreted within an empirical context. Two of the objections are without force because they rely upon infinite sets, which always contain nonstandard real numbers. These numbers are devoid of numerical meaning, and thus one cannot render the judgment that an object is, in fact, located at a point in spacetime for which they would serve as coordinates. The third objection, an arrow never (...) appears to be moving, is answered by showing that it only applies to a finite number of instants of time. A theory of motion is also advanced; it consists of a finite series of contiguous infinitesimal steps. The theory is immune to Zeno's first two objections because the number of steps is finite and each lies outside the domain of observation. Present motion is hypothesized to be an unobservable process taking place within each step. The fact of motion is apparent through a summing (Riemann integration) of the steps. (shrink)

I reconstruct the original versions of Zeno's Racetrack and Achilles paradoxes, along with Aristotle's responses thereto. Along the way I consider some of the consequences for modern analyses of the paradoxes. It turns out that the Racetrack and the Achilles were oral two-party question-and-answer dialectical paradoxes. One consequence is that the arguments needed to be comprehensible to the average person, and did not employ theses or concepts familiar only to philosophical specialists. I rely on this fact in reconstructing the original (...) dialectical versions of the paradoxes. I show that both paradoxes rely for their success on forcing the dialectical answerer to reflect on his own potentially unending experience of imagination, and show that this renders the most popular contemporary critique of each paradox unworkable in an ancient dialectical context. In responding to the Racetrack, Aristotle seeks to replace the answerer's first-person experience with something more objective, a visible diagram. He then argues that the Racetrack involves an equivocation, an equivocation resulting from the fact that one and the same visible diagram can be interpreted in two ways. He frames his charge of equivocation in standard dialectical fashion, but his use of a diagram is his own innovation. While first employing his response to the Racetrack to construct a response to the somewhat different Achilles paradox, Aristotle later proceeds to offer a revised critique of the Racetrack itself. His revised critique is heavily influenced by his reaction to a variant pre-Aristotelian version of the paradox, a version involving counting. This leads him to reflect on the possibility of mentally experiencing an infinite collection. He also reflects on his earlier diagrammatic methodology, and on the conditions that individuate points, especially halfway-points. He concludes that points which are individuated in diagrams need not represent points that are individuated in reality. His revised critique of the Racetrack hinges on the distinction between actual points and potential points, and I show that this critique maintains the dialectical form of its predecessor, while constituting a reflection on the potentially misleading nature of diagrams. (shrink)