This paper is an enquiry into the logical, metaphysical, and physical possibility of time travel understood in the sense of the existence of closed worldlines that can be traced out by physical objects. We argue that none of the purported paradoxes rule out time travel either on grounds of logic or metaphysics. More relevantly, modern spacetime theories such as general relativity seem to permit models that feature closed worldlines. We discuss, in the context of Gödel's infamous argument for the ideality (...) of time based on his eponymous spacetime, what this apparent physical possibility of time travel means. Furthermore, we review the recent literature on so-called time machines, i.e., of devices that produce closed worldlines where none would have existed otherwise. Finally, we investigate what the implications of the quantum behaviour of matter for the possibility of time travel might be and explicate in what sense time travel might be possible according to leading contenders for full quantum theories of gravity such as string theory and loop quantum gravity. (shrink)

How can we talk meaningfully about the past if it does not exist to be talked about? What gives time its direction? Is time travel possible? This defence of presentism - the view that only the present exists - makes an original contribution to a fast growing and exciting debate.

There is a philosophical tradition of arguing against presentism, the thesis that only presently existing things exist, on the basis of its incompatibility with fundamental physics. I grant that presentism is incompatible with special and general relativity, but argue that presentism is not incompatible with quantum gravity, because there are some theories of quantum gravity that utilize a fixed foliation of spacetime. I reply to various objections to this defense of presentism, and point out a flaw in Gödel's modal argument (...) for the ideality of time. This paper provides an interesting case study of the interplay between physics and philosophy. (shrink)

It is often thought that presentism is incompatible with time travel. I will argue that this common view is incorrect. Specifically, I will argue that presentism is compatible with some stories that involve closed timelike curves, and that some of these stories are time-travel stories.

Focusing on spacetime singularities, Earman engages with a host of foundational issues at the intersection of science and philosophy, ranging from the big bang to the possibility of time travel.

In the literature on the compatibility between the time of our experience and the time of physics, the special theory of relativity has enjoyed central stage. By bringing into the discussion the general theory of relativity, I suggest a new analysis of the misunderstood notion of becoming, developed from hints in Gödel's published and unpublished arguments for the ideality of time. I claim that recent endorsements of such arguments, based on Gödel's own ‘rotating’ solution to Einstein's field equation, fail: once (...) understood in the right way, becoming can be shown to be both mind-independent and compatible with spacetime physics. Being a neededtertium quidbetween views of time traditionally regarded as in conflict, such a new approach to becoming should also help to dissolve a crucial aspect of the century-old debate between the so-called A and B theories of time. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no-go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time machine. (...) We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently “potent” to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident “yes” has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

Indeed, this is the first serious book-length study of the subject by a philosopher of science.

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

This essay offers a reaction to the recent resurgence of presentism in the philosophy of time. What is of particular interest in this renaissance is that a number of recent arguments supporting presentism are crafted in an untypically naturalistic vein, breathing new life into a metaphysics of time with a bad track record of co-habitation with modern physics. Against this trend, the present essay argues that the pressure on presentism exerted by special relativity and its core lesson of Lorentz symmetry (...) cannot easily be shirked. A categorization of presentist responses to this pressure is offered. As a case in point, I analyze a recent argument by Monton (2006) presenting a case for the compatibility of presentism with quantum gravity. Monton claims that this compatibility arises because there are quantum theories of gravity that use fixed foliations of spacetime and that such fixed foliations provide a natural home for a metaphysically robust notion of the present. A careful analysis leaves Monton's argument wanting. In sum, the prospects of presentism to be alleviated from the stress applied by fundamental physics are faint. (shrink)

Presentism is, roughly, the metaphysical doctrine that maintains that whatever exists, exists in the present. The compatibility of presentism with the theories of special and general relativity was much debated in recent years. It has been argued that at least some versions of presentism are consistent with time-orientable models of general relativity. In this paper we confront the thesis of presentism with relativistic physics, in the strong gravitational limit where black holes are formed. We conclude that the presentist position is (...) at odds with the existence of black holes and other compact objects in the universe. A revision of the thesis is necessary, if it is intended to be consistent with the current scientific view of the universe. (shrink)

The open future view is the common-sense view that there is an ontological difference between the past, the present, and the future in the sense that the past and the present are real, whereas the future is not yet a part of reality. In this paper we develop a theory in which the open future view is consistently combined with special relativity. Technically, the heart of our contribution is a logical conservativity result showing that, although the open future view is (...) not definable inside the causal geometry of Minkowski space-time, it can be conservatively added to it. (shrink)

We investigate Kerr–Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is oppo- site to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs “counter-rotate” against the rotating black hole. We have similar results for all spacetimes sufficiently familiar to us in which rotation induces CTCs. This motivates our conjecture that perhaps (...) this counter-rotation is not an accidental oddity particular to Kerr–Newman spacetimes, but instead there may be a general and intuitively comprehensible reason for this. (shrink)