This paper argues for the following disjunction: either we do not live in a world with a branching temporal structure, or backwards time travel is nomologically impossible, given the initial state of the universe, or backwards time travel to our space-time location is impossible given large-scale facts about space and time. A fortiori, if backwards time travel to our location is possible, we do not live in a branching universe.

Future-biased individuals systematically prefer positively valenced events to be in the future (positive future-bias) and negatively valenced events to be in the past (negative future-bias). The most extreme form of future-bias is absolute future-bias, whereby we completely discount the value of past events when forming our preferences. Various authors have thought that we are absolutely future-biased (Sullivan (2018:58); Parfit (1984:173) and that future-bias (absolute or otherwise) is at least rationally permissible (Prior (1959), Hare (2007; 2008), Kauppinen (2018), Heathwood (2008)). The (...) permissibility of future-bias is often held to be grounded in the structure of the temporal dimension. In this paper I consider several proposals for grounding the permissibility of such preferences and evaluate these in the light of the preferences we would have, and judge that we should have, in various time-travel scenarios. I argue that what we learn by considering these scenarios is that these preferences really have nothing to do with temporal structure. So if something grounds their permissibility, it is not temporal structure. (shrink)

We direct different attitudes towards states of affairs depending on where in time those states of affairs are located. Call this the type asymmetry. The type asymmetry appears fitting. For instance, it seems fitting to feel guilt or regret only about states of affairs that are past, and anticipation only of states of affairs that are future. It has been argued that the type asymmetry could only be fitting if there are tensed facts, and hence that since it is fitting, (...) there are tensed facts. In this paper I argue that tensed facts are not necessary to ground the fittingness of the type asymmetry, and thus we have no reason, arising from the fittingness of the asymmetry, to posit such facts. I also argue for a stronger conclusion: even if these facts obtain they are no part of what grounds the fittingness of the type asymmetry. These facts are explanatorily redundant. (shrink)

According to the No Alternate Possibilities argument, if time passes then the rate at which it passes could be different but time cannot pass at different rates, and hence time cannot pass. Typically, defenders of the NAP argument have focussed on defending premise, and have taken the truth of for granted: they accept the orthodox view of rate necessitarianism. In this paper we argue that the defender of the NAP argument needs to turn her attention to. We describe a series (...) of worlds that appear to contain differential passage: worlds where time passes at different rates in different subregions. If the NAP argument is to succeed, rate necessitarians must show that each of these worlds is either metaphysically impossible, or does not contain differential passage. (shrink)

Miller (2005) and Miller (2008) argue that the branching picture of time is incompatible with the possibility of backwards time travel. In this paper I show that Miller’s conclusion is based on a hidden assumption which, while generally plausible, is unwarranted if time travel is possible. Branching time is, after all, compatible with time travel as Miller characterises it.

In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about (...) the future behaviour of the machine that cannot be encoded in any programming instruction; such version has models over history-based structures but no model over a moment-based structure. Therefore, our work adds a new stance to the debate: moment-based structures can be said to rule out certain indeterministic scenarios that are computationally unfeasible. (shrink)

Here I defend the compatibility of presentism and time travel against a few objections. Keller and Nelson argue that, if presentism is at all plausible, presentism and time travel are as compatible as eternalism and time travel. But Miller and Sider are not convinced. I reply that for their concerns to have merit, Miller and Sider must assume presentists are committed to positions they need not be; I explain why presentists are not so committed and, in the process, defend Keller (...) and Nelson’s position that there is no roadblock to presentist time travel that does not also apply to eternalist time travel. (shrink)

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that Lewis would (...) not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered. (shrink)

We argue that a certain variety of presentist time travel ends up significantly undermining the motivational foundations which lead some, but not all, presentists to their view. We suggest that if presentism is motivated by phenomenology, and part of that phenomenology is that it’s an experiential datum that we experience temporal passage, then the basis for believing presentism is less secure than we might have thought.

The future is different from the past. What is past is fixed and set in stone. The future, on the other hand, is open insofar as it holds numerous possibilities. Branching-tree models of time account for this asymmetry by positing an ontological difference between the past and the future. Given a time t, a unique unified past lies behind t, whereas multiple alternative existing futures lie ahead of t. My goal in this paper is to show that there is an (...) incompatibility between the way branching-tree models account for the open future and the possibility of time travel. That is, I argue that once time travel enters the picture, branching time fails to model the openness of the future by means of alternative future branches. I show how this holds independently of whether branching-time models are cashed out in A-theoretic or B-theoretic terms. (shrink)

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...) as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

Discussions of the nature of time, and of various issues related to time, have always featured prominently in philosophy, but they have been especially important since the beginning of the 20th Century. This article contains a brief overview of some of the main topics in the philosophy of time — Fatalism; Reductionism and Platonism with respect to time; the topology of time; McTaggart's arguments; The A Theory and The B Theory; Presentism, Eternalism, and The Growing Universe Theory; time travel; and (...) the 3D/4D controversy — together with some suggestions for further reading on each topic, and a bibliography. (shrink)

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p at (...) t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

This is a copy of my DPhil thesis, the abstract for which is as follows: The first third of this thesis argues for a B-theoretic conception of time according to which all times exist equally and the present is in no way privileged. I distinguish "ontological" A-theories from "non-ontological" ones, arguing that the latter are experientially unmotivated and barely coherent. With regard to the former, I focus mainly on presentism. After some remarks on how to formulate this (and eternalism) non-trivially, (...) I review the non-relativistic case against presentism. I then consider the impact of Special Relativity on the debate, and attempt to deepen this impact by supplying a modal variation on the standard arguments. The middle third of the thesis investigates persistence, contending that both endurance and perdurance are consonant with the eternalism already endorsed. After introducing these theories of persistence, and discussing in particular how best to formulate an eternalist endurance, I proceed to defend the coherence of this combination. The Problem of Change is addressed here. I then respond in some detail to recent allegations of relativistic threats to endurance. The final third of the thesis questions the validity of the endurantist-perdurantist dispute. I criticize two recently proposed translation schemes that aim to show this dispute to be non-substantive. However, the second scheme suggests a doctrine of "Ontological Equivalence" which I develop and consider. I then address the Rotating Discs Argument, using this to launch a discussion of identity, genidentity, and the relationship between them. (shrink)