Here, formal tools are used to pose and answer several philosophical questions concerning space and time. The questions involve the properties of possible worlds allowed by the general theory of relativity. In particular, attention is given to various causal properties such as “determinism” and “time travel”.

A comparison of a recent paper by Giora Hon in this journal with a book I wrote several years ago, on Gödel's philosophy of time, reveals that the substance, and indeed many of the words themselves, appearing in Hon's essay are in fact original to my book—the ideas of which he sadly failed to understand.

I critically discuss a controversial ‘trans-Planckian censorship’ conjecture, which has recently been introduced to researchers working at the intersection of fundamental physics and cosmology. My focus explicitly avoids any appeals to contingent research within string theory or regarding the more general gravitational ‘swampland’. Rather, I concern myself with the conjecture’s foundations in our current, well-trodden physics of quantized fields, spacetime, and gravity. In doing so, I locate what exactly within trans-Planckian censorship amounts to a departure from current physics—identifying what is, (...) ultimately, so conjectural about the conjecture. (shrink)

I wish to discuss a supposed implication of one sort of time travel. The sort of time travel is time travel into one’s past along a closed timelike curve. The implication is that in spacetimes with CTCs there can be no temporal passage or “flow” of time. I will argue that the implication does not hold.

ABSTRACT In his contribution to this issue, “A and B Theories of Closed Time”, Phil Dowe argues that A- and B-theories of time are equally compatible with closed time, though it is commonly supposed that only B-theories are compatible with it. With some reservations to be noted below I agree with Dowe’s general conclusion, but in the course of his argument there are a number of false statements and misrepresentations of detail that require comment. I will not be able to (...) deal with all of them in this brief note. (shrink)

An interesting consequence of the modern cosmological paradigm is the spatial infinity of the universe. When coupled with naturalistic understanding of the origin of life and intelligence, which follows the basic tenets of astrobiology, and with some fairly incontroversial assumptions in the theory of observation selection effects, this infinity leads, as Ken Olum has recently shown, to a paradoxical conclusion. Olum's paradox is related, to the famous Fermi's paradox in astrobiology and “SETI” studies. We, hereby, present an evolutionary argument countering (...) the apparent inconsistency, and show how, in the framework of a simplified model, deeper picture of the coupling between histories of intelligent/technological civilizations and astrophysical evolution of the Galaxy, can be achieved. This strategy has consequences of importance for both astrobiological studies and philosophy. (shrink)

Can a theory turn back, as it were, upon itselfand vouch for its own features? That is, canthe derived elements of a theory be the veryprimitive terms that provide thepresuppositions of the theory? This form of anall-embracing feature assumes a totality inwhich there occurs quantification over thattotality, quantification that is defined bythis very totality. I argue that the Machprinciple exhibits such a feature ofall-embracing nature. To clarify the argument,I distinguish between on the one handcompleteness and on the other wholeness andtotality, (...) as different all-embracing features:the former being epistemic while the latter –ontological.I propose an analogy between the Mach principleas a possible selection principle in generalrelativity, and the vicious-circle principle infoundations of mathematics. I finally concludewith a consequence of this analogyvis-à-vis completeness and totality,viz., both should be constrained if they wereto be valid concepts for a physical theory. (shrink)

The question is raised as to the kind of methodology required to deal with foundational issues. A comparative study of the methodologies of Gödel and Einstein reveals some similar traits which reflect a concern with foundational problems. It is claimed that the interest in foundational problems stipulates a certain methodology, namely, the methodology of limiting cases.

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that the main candidates—and (...) each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (shrink)

The subject of time travel has been receiving increasing attention in the recent philosophical literature. Most of the articles that deal with it have been concerned to defend the logical consistency of time travel against those who claim that it entails one or more contradictions. Two sorts of defences have been offered. The first sort of defence involves showing that time travel does not entail those consequences which other philosophers allege it does entail. The second sort of defence involves an (...) admission that time travel does indeed involve that which its opponents allege it does involve, e.g., being in more than one place at a time, but arguing that such consequences in no way vitiate the logical consistency of this notion.My first aim in this paper is to provide a defence of time travel of the second sort. More specifically, I want to cut the ground from under an argument which might run thus:Time travel entails that certain effects can precede their causes.It is logically impossible for an effect to precede its cause. (shrink)

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)

Gödel’s contention that closed timelike curves (CTC’s) are a necessary consequence of the Einstein equations for his metric is challenged. It is seen that the imposition of periodicity in a timelike coordinate is the actual source of CTC’s rather than the physics of general relativity. This conclusion is supported by the creation of Gödel-like CTC’s in flat space by the correct choice of coordinate system and identifications. Thus, the indications are that the notion of a time machine remains exclusively an (...) aspect of science fiction fantasy. The element of the identification of spacetime points is also seen to be the essential factor in the modern creation of CTC’s in the Gott model of moving cosmic strings. (shrink)

Two symmetry arguments are discussed, each purporting to show that there is no more room for a preferred division of spacetime into instants of time in general relativistic cosmology than in Minkowski spacetime. The first argument is due to Gödel, and concerns the symmetries of his famous rotating cosmologies. The second turns upon the symmetries of a certain space of relativistic possibilities. Both arguments are found wanting.

Time travel has been a staple of science fiction. With the advent of general relativity it has been entertained by serious physicists. But, especially in the philosophy literature, there have been arguments that time travel is inherently paradoxical. The most famous paradox is the grandfather paradox: you travel back in time and kill your grandfather, thereby preventing your own existence. To avoid inconsistency some circumstance will have to occur which makes you fail in this attempt to kill your grandfather. Doesn't (...) this require some implausible constraint on otherwise unrelated circumstances? We examine such worries in the context of modern physics. (shrink)

The theory of relativity is often regarded as inhospitable to the idea that there is an objective passage of time in the world. In light of this, many philosophers and physicists embrace a “block universe” view, according to which change and temporal passage are merely a subjective appearance or illusion. My aim in this paper is to argue against such a view, and show that we can make sense of an objective passage of time in the setting of relativity theory (...) by abandoning the assumption that the now must be global, and re-conceiving temporal passage as a purely local phenomenon. Various versions of local becoming have been proposed in the literature. Here I focus on the causal diamond theory proposed by Steven F. Savitt and Richard Arthur, which models the now in terms of a local structure called a causal diamond. After defending the reality of temporal passage and exploring its compatibility with relativity theory, I show how the causal diamond approach can be used to counter the argument for the ideality of time due to Kurt Gödel, based on his “rotating universe” solution to the Einstein field equations. I defend the second component of his argument, the modal step, against the consensus view that finds it wanting, and reject the first step, showing that the Gödel universe is compatible with an objective passage of time as long as the latter is construed locally, along the lines of the causal diamond approach. (shrink)

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)

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)

Here, we show that one may "time travel" in Gödel spacetime with less total acceleration than was previously known. This answers a question posed by Malament.