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)

The present volume collects essays on the philosophical foundations of quantum theories of gravity, such as loop quantum gravity and string theory. Central for philosophical concerns is quantum gravity's suggestion that space and time, or spacetime, may not exist fundamentally, but instead be a derivative entity emerging from non-spatiotemporal degrees of freedom. In the spirit of naturalised metaphysics, contributions to this volume consider the philosophical implications of this suggestion. In turn, philosophical methods and insights are brought to bear on the (...) foundations of quantum gravity itself. For instance, the idea of functionalism, borrowed from the philosophy of mind and discussed by several essays, exemplifies this mutual interaction the collection seeks to foster. (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)

This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. This chapter analyses the nature and derivation of spacetime topology and geometry according to string theory.

We investigate the fate of determinism in general relativity, comparing the philosopher’s account with the physicist’s well-posed initial value formulations. The fate of determinism is interwoven with the question of what it is for a spacetime to be ‘physically reasonable’. A central concern is the status of global hyperbolicity, a putatively necessary condition for determinism in GR. While global hyperbolicity may fail to be true of all physically reasonable models, we analyze whether global hyperbolicity should be imposed by fiat; established (...) from weaker assumptions, as in cosmic censorship theorems; or justified by beyond-GR physics. (shrink)