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)

Physicists are increasingly beginning to take seriously the possibility of laws outside the traditional time-evolution paradigm; yet many popular definitions of determinism are still predicated on a time-evolution picture, making them manifestly unsuited to the diverse range of research programmes in modern physics. In this article, we use a constraint-based framework to set out a generalization of determinism which does not presuppose temporal evolution, distinguishing between strong, weak and delocalised holistic determinism. We discuss some interesting consequences of these generalized notions (...) of determinism, and we show that this approach sheds new light on the long-standing debate surrounding the nature of objective chance. (shrink)

I argue that philosophical issues concerning reductive explanations help constrain the construction of quantum theories with appropriate state spaces. I illustrate this general proposal with two examples of restricting attention to physical states in quantum theories: regular states and symmetry-invariant states. 1Introduction2Background2.1 Physical states2.2 Reductive explanations3The Proposed ‘Correspondence Principle’4Example: Regularity5Example: Symmetry-Invariance6Conclusion: Heuristics and Discovery.

This exploration of the global structure of spacetime within the context of general relativity examines the causal and singular structures of spacetime, revealing some of the curious possibilities that are compatible with the theory, such as `time travel' and `holes' of various types. Investigations into the epistemic and modal structures of spacetime highlight the difficulties in ruling out such possibilities, unlikely as they may seem at first. The upshot seems to be that what counts as a `physically reasonable' spacetime structure (...) in modern physics is far from clear. (shrink)

Malament-Hogarth spacetimes are the sort of models within general relativity that seem to allow for the possibility of supertasks. There are various ways in which these spacetimes might be considered physically problematic. Here, we examine these criticisms and investigate the prospect of escaping them.

Cosmologists often use certain global properties to exclude "physically unreasonable" cosmological models from serious consideration. But, on what grounds should these properties be regarded as "physically unreasonable" if we cannot rule out, even with a robust type of inductive reasoning, the possibility of the properties obtaining in our own universe?

We present a counterexample to Krasnikov's much discussed time machine no-go result. In addition, we prove a positive statement: a time machine existence theorem under a modest "no holes" assumption.

This article shows a clear sense in which general relativity allows for a type of ‘machine’ that can bring about a spacetime structure suitable for the implementation of ‘supertasks’. 1Introduction2Preliminaries3Malament–Hogarth Spacetimes4Machines5Malament–Hogarth Machines6Conclusion.

We show a sense in which the spacetime property of effective completeness—a type of “local hole-freeness” or “local inextendibility”—is not stable.

Here, we clarify the relationship among three space-time conditions of interest: geodesic completeness, hole-freeness, and inextendibility. In addition, we introduce a related fourth condition: effective completeness.

Within the context of general relativity, we consider one definition of a “time machine” proposed by Earman, Smeenk, and Wüthrich. They conjecture that, under their definition, the class of time machine spacetimes is not empty. Here, we prove this conjecture. †To contact the author, please write to: Department of Philosophy, University of Washington, Box 353350, Seattle, WA 98195‐3350; e‐mail: [email protected].