The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

Inasmuch as physical theories are formalizable, set theory provides a framework for theoretical physics. Four speculations about the relevance of set theoretical modeling for physics are presented: the role of transcendental set theory (i) in chaos theory, (ii) for paradoxical decompositions of solid three-dimensional objects, (iii) in the theory of effective computability (Church-Turing thesis) related to the possible “solution of supertasks,” and (iv) for weak solutions. Several approaches to set theory and their advantages and disadvatages for physical applications are discussed: (...) Canlorian “naive” (i.e., nonaxiomatic) set theory, contructivism, and operationalism. In the author's opinion, an attitude of “suspended attention” (a term borrowed from psychoanalysis) seems most promising for progress. Physical and set theoretical entities must be operationalized wherever possible. At the same time, physicists should be open to “bizarre” or “mindboggling” new formalisms, which need not be operationalizable or testable at the lime of their creation, but which may successfully lead to novel fields of phenomenology and technology. (shrink)

In this paper I present a novel supertask in a Newtonian universe that destroys and creates infinite masses and energies, showing thereby that we can have infinite indeterminism. Previous supertasks have managed only to destroy or create finite masses and energies, thereby giving cases of only finite indeterminism. In the Nothing from Infinity paradox we will see an infinitude of finite masses and an infinitude of energy disappear entirely, and do so despite the conservation of energy in all collisions. I (...) then show how this leads to the Infinity from Nothing paradox, in which we have the spontaneous eruption of infinite mass and energy out of nothing. I conclude by showing how our supertask models at least something of an old conundrum, the question of what happens when the immovable object meets the irresistible force. (shrink)

I offer a novel solution to Zeno’s paradox of The Arrow by introducing nilpotent infinitesimal lengths of time. Nilpotents are nonzero numbers that yield zero when multiplied by themselves a certain number of times. Zeno’s Arrow goes like this: during the present, a flying arrow is moving in virtue of its being in flight. However, if the present is a single point in time, then the arrow is frozen in place during that time. Therefore, the arrow is both moving and (...) at rest. In “Zeno’s Arrow, Divisible Infinitesimals, and Chrysippus,” White suggests using an infinitesimal value as the length of the present. Contra Zeno, this allows the arrow to be moving in the present, rather than frozen in place. In this paper, I follow the basic outline of White’s solution but argue that his solution suffers from arbitrariness and a related theoretical artificiality in relation to the system of infinitesimals he invokes, viz. in relation to the hyperreal infinitesimals of nonstandard analysis. After arguing that any solution to the paradox must satisfy certain theoretical requirements, I examine White’s solution alongside two nilpotent solutions. One of these solutions is inspired by F.W. Lawvere’s Smooth Infinitesimal Analysis and the other is inspired by Paolo Giordano’s ring of Fermat Reals. I argue that Giordano’s nilpotents supply the best answer to Zeno’s paradox. (shrink)

: I offer a new approach to the increasingly convoluted debate between the A- and B-theories of time, the ‘tensed’ and ‘tenseless’ theories. It is often assumed that the B-theory faces more difficulties than the A-theory in explaining the apparently tensed features of temporal experience. I argue that the A-theory cannot explain these features at all, because on any physicalist or supervenience theory of the mind, in which the nature of experience is fixed by the physical state of the world, (...) the tensed properties of time posited by the A-theory could play no role in shaping temporal experience. It follows that the A-theory is false; even a priori arguments for it fail, because they still require the tensed vocabulary which is used to describe temporal experience. (shrink)

In "Action without interaction" I showed that one might act on a physical system, without interacting with it, by the procedure of making it disappear. This paper presents further extensions and a critique of that result. These extensions show why physical actions without interaction are possible, while underscoring the philosophical fertility of a characteristic approach to the actual infinite inaugurated by Benardete.

This paper is about metaphysical ‘infinitism’, the view that there are, or could be, infinite chains of ontological dependence. Its main aim is to show that, contrary to widespread opinion, metaphysical infinitism is a coherent position. On the basis of this, it is then additionally argued that metaphysical infinitism need not fare worse than the more canonical ‘foundationalist’ alternatives when it comes to formulating metaphysical explanations. In the course of the discussion, a rather unexplored parallel with the debate concerning infinitism (...) about justification is suggested. (shrink)

Perhaps the real paradox of Zeno's Arrow is that, although entirely stationary, it has, against all odds, successfully traversed over two millennia of human thought to trouble successive generations of philosophers. The prospects were not good: few original Zenonian fragments survive, and our access to the paradoxes has been for the most part through unsympathetic commentaries. Moreover, like its sister paradoxes of motion, the Arrow has repeatedly been dismissed as specious and easily dissolved. Even those commentators who have taken it (...) seriously have propounded solutions with which they profess themselves to be perfectly satisfied. So my question is: will Zeno's Arrow survive into the millennium just begun? (shrink)

I present a simple model of Grünbaum’s staccato run in classical mechanics, the staccato roller coaster. It consists of a bead sliding on a frictionless wire shaped like a roller coaster track with infinitely many hills of diminishing size, each of which is a one-dimensional variant of the so-called Norton dome. The staccato roller coaster proves beyond doubt the dynamical (and hence logical) possibility of supertasks in classical mechanics if the Norton dome is a proper system of classical mechanics with (...) metaphysical import. If not, challenges raised against the metaphysical significance of the Norton dome are shown to be challenges against various arguments for the dynamical possibility of supertasks, and the staccato roller coaster clearly shows the importance of meeting these challenges. And the staccato roller coaster can provide, as well as interesting lessons, illuminating analyses of Burke’s (Mod Schoolman 78:1–8, 2000 ) attempt to refute the dynamical possibility of the staccato run and Pérez Laraudogoitia’s (Synthese 148:433–441, 2006 ) rebuttal of it. (shrink)

Most relational theories assert both that spatial discourse is reducible to talk about physical objects and their spatial relations, and that the relation of congruence derives from a non-metrical relation which intervals bear or possibly bear to measuring instruments. We have shown that there are serious logical difficulties involved in maintaining both these positions and the thesis of the continuity of space. We have also shown that Grünbaum's motivating argument for the reduction of congruence is unsound, and, moreover, that the (...) prospects of formulating the kind of definition which this reduction requires seem to rest upon a wholly vague notion of physical possibility. Alternatively, if congruence is taken as primitive, it seems plausible that spatial discourse can be reconstructed so that there is no ontological commitment to spatial objects other than physical objects. Whether or not this relational thesis is ultimately defensible requires more elaboration of the relational theory, and investigation of its role in the formalizations of current physical theories. It is odd, considering the wide currency of relational theories, that this work has never been done. (shrink)

We explore the better known paradoxes of Zeno including modern variants based on infinite processes, from the point of view of standard, classical analysis, from which there is still much to learn (especially concerning the paradox of division), and then from the viewpoints of non-standard and non-classical analysis (the logic of the latter being intuitionist).The standard, classical or Cantorian notion of the continuum, modeled on the real number line, is well known, as is the definition of motion as the time (...) derivative of distance (we are not concerned with position and motion in more than one dimension, since Zeno wasn't). The real number line consists of its points, the distance between distinct points being positive and finite. The standard, classical derivative relies on the classical notion of limit, which does not use infinitesimals. (shrink)

Leibniz's philosophy of time, often seen as a precursor to current forms of relationalism and causal theories of time, has rightly earned the admiration of his more recent counterparts in the philosophy of science. In this article, I examine Leibniz's philosophy of time from a new perspective: the role that tense and non-tensed temporal properties/relations play in it. Specifically, I argue that Leibniz's philosophy of time is best (and non-anachronistically) construed as a non-tensed theory of time, one that dispenses with (...) tensed temporal properties such as past, present, and future. In arguing for this thesis, I focus on the three facets of Leibniz's philosophy most relevant for evaluating his commitment to a B-theory of time: (1) the nature of change, (2) the reality of the future, and (3) the truth-conditions for tensed temporal statements. Despite prima facie evidence to the contrary, I show that a close examination of Leibniz's views on these topics provides compelling evidence for interpreting his philosophy of time as a B-theory of time. (shrink)

I have argued that the most recent versions of the causal theory are subject to serious limitations. The causal analysis of spatiotemporal coincidence considered in Section IV does not apply to space-times in which (1) fails. And current versions of the theory collapse altogether for typical cases of relativistic space-times which are closed in their temporal aspects. Second, I have pointed out that the program of recent causal theorists is based on a false dichotomy — open vs. closed times; for (...) only a small subclass of relativisitic space-times can be said to be either open or closed in their temporal aspects, and the causal theory seems incapable of handling the cases which fall in between. Third, I have argued that the general theory of relativity does not provide motivation for the causal theory; on the contrary, general relativity promotes the view of spacetime as a substantial entity.As a result, I do not see that the causal theorist has a convincing argument against the position which holds that in order to understand the subtle and complex temporal structures encompassed by relativity theory, one must accept space-time as an entity which cannot be analyzed away as an abstract mathematical construct used for representing the ‘physical’, i.e., causal, relations between events. And I cannot agree with van Fraassen (1970, p. 140) that Philosophers were not long in appreciating this development [i.e., relativity theory], and the consequent construction of the causal theory of time and space-time must be considered one of the major contributions of twentieth-century philosophy of science. For it seems to me that causal theorists have failed to appreciate this development and that the construction of the causal theory has served to obscure important and interesting facts about the temporal aspect of space-time. (shrink)

One of the principal objections to a tensed or dynamic theory of time is the ancient puzzle about the extent of the present. Three alternative conceptions of the extent of the present are considered: an instantaneous present, an atomic present, and a non-metrical present. The first conception is difficult to reconcile with the objectivity of temporal becoming posited by a dynamic theory of time. The second conception solves that problem, but only at the expense of making change discontinuous. The third (...) conception is the most plausible: that "the present" is a non-metrical notion which must be completed by the mention of some event or interval in order to have a measure, in which case what is present varies with one's context. (shrink)

In this paper, we address an infamous argument against divisibility that dates back to Zeno. There has been an incredible amount of discussion on how to understand the critical notions of divisibility, extension, and infinite divisibility that are crucial for the very formulation of the argument. The paper provides new and rigorous definitions of those notions using the formal theories of parthood and location. Also, it provides a new solution to the paradox of divisibility which does not face some threats (...) that can possibly undermine the standard Lebesgue measure solution to such a paradox. (shrink)

Is it logically possible to perform a "superfeat"? That is, is it logically possible to complete, in a finite time, an infinite sequence of distinct acts? In opposition to the received view, I argue that all physical superfeats have kinematic features that make them logically impossible.

This article addresses the question whether supertasks are possible within the context of non-relativistic quantum mechanics. The supertask under consideration consists of performing an infinite number of quantum mechanical measurements in a finite amount of time. Recent arguments in the physics literature claim to show that continuous measurements, understood as N discrete measurements in the limit where N goes to infinity, are impossible. I show that there are certain kinds of measurements in quantum mechanics for which these arguments break down. (...) This suggests that there is a new context in which quantum mechanics, in principle, permits the performance of a supertask. (shrink)

Zeno’s paradoxes of motion, allegedly denying motion, have been conceived to reinforce the Parmenidean vision of an immutable world. The aim of this article is to demonstrate that these famous logical paradoxes should be seen instead as paradoxes of immobility. From this new point of view, motion is therefore no longer logically problematic, while immobility is. This is convenient since it is easy to conceive that immobility can actually conceal motion, and thus the proposition “immobility is mere illusion of the (...) senses” is much more credible than the reverse thesis supported by Parmenides. Moreover, this proposition is also supported by modern depiction of material bodies: the existence of a ceaseless random motion of atoms—the ‘thermal agitation’—in the scope of contemporary atomic theory, can offer a rational explanation of this ‘illusion of immobility’. Our new approach to Zeno’s paradoxes therefore leads to presenting the novel concept of ‘impermobility’, which we think is a more adequate description of physical reality. (shrink)

An infinite number of elastically colliding balls is considered in a classical, and then in a relativistic setting. Energy and momentum are not necessarily conserved globally, even though each collision does separately conserve them. This result holds in particular when the total mass of all the balls is finite, and even when the spatial extent and temporal duration of the process are also finite. Further, the process is shown to be indeterministic: there is an arbitrary parameter in the general solution (...) that corresponds to the injection of an arbitrary amount of energy (classically), or energy-momentum (relativistically), into the system at the point of accumulation of the locations of the balls. Specific examples are given that illustrate these counter-intuitive results, including one in which all the balls move with the same velocity after every collision has taken place. (shrink)

In this paper, I present a discrete solution for the paradox of Achilles and the tortoise. I argue that Achilles overtakes the tortoise after a finite number of steps of Zeno’s argument if time is represented as discrete. I then answer two objections that could be made against this solution. First, I argue that the discrete solution is not an ad hoc solution. It is embedded in a discrete formulation of classical mechanics. Second, I show that the discrete solution cannot (...) be falsified experimentally. (shrink)