The Open Future

John MacFarlane has recently argued that his brand of truth relativism – Assessment Sensitivity – provides the best solution to the puzzle of future contingents: statements about the future that are metaphysically neither necessary nor impossible. In this paper, we show that even if we grant all of the metaphysical, semantic and pragmatic assumptions in terms of which MacFarlane sets and solves the puzzle, Assessment Sensitivity is ultimately self-refuting.

This note identifies and corrects some problems in developments of the thesis that predictive expressions, such as English "will", are modals. I contribute a new argument supporting Cariani and Santorio's recent claim that predictive expressions are non-quantificational modals. At the same time, I improve on their selectional semantics by fixing an important bug. Finally, I show that there are benefits to be reaped by integrating the selection semantics framework with standard ideas about the future orientation of modals.

This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to two (...) genuinely valid inferences, which I call Past Success and Can't-Entails-Won't; but also that Success itself has counterexamples. I show how to invalidate Success while validating Past Success and Can't-Entails-Won't by connecting the meaning of ‘can’ to facts about what is settled or open. I define an operator W with features attributed to ‘will’ in the literature on future contingents. I then give a conditional analysis of ability ascriptions stated with W-conditionals, where "S can A" says, roughly, there’s some action available to S such that if S does it, then W(S A). I show this semantics invalidates Success while still explaining its appeal. (shrink)

I explore the motivation and logical consequences of the idea that we have some (limited) ability to know contingent facts about the future, even in presence of the assumption that the future is objectively unsettled or indeterminate. I start by formally characterizing skepticism about the future. This analysis nudges the anti-skeptic towards the idea that if some propositions about the future are objectively indeterminate, then it may be indeterminate whether a suitably positioned agent knows them.

Intuitively, the future is open and the past fixed: there is something we can do about the future but not the past. Some metaphysicians believe that a proper metaphysics of time must vindicate this intuition. Whereas philosophers have focused on the future and the past, the status of the present remains relatively unexplored. Drawing on resources from action theory, I argue that there is something we can do about the present just like there is something we can do about the (...) future. Hence, a proper metaphysics of the open future should allow for an open present as well. I argue that none of the major metaphysics of the open future currently available can accommodate an open present adequately. Finally, I’ll show that, surprisingly, the shrinking block metaphysics can. (shrink)

In The Open Future: Why Future Contingents are all False, Patrick Todd launches a sustained defense of a radical interpretation of the doctrine of the open future, one according to which all claims about undetermined aspects of the future are simply false. Todd argues that this theory is metaphysically more parsimonious than its rivals, and that objections to its logical and practical coherence are much overblown. Todd shows how proponents of this view can maintain classical logic, and argues that the (...) view has substantial advantages over Ockhamist, supervaluationist, and relativist alternatives. Todd draws inspiration from theories of “neg-raising” in linguistics, from debates about omniscience within the philosophy of religion, and defends a crucial comparison between his account of future contingents and certain more familiar theories of counterfactuals. Further, Todd defends his theory of the open future from the charges that it cannot make sense of our practices of betting, makes our credences regarding future contingents unintelligible, and is at odds with proper norms of assertion. In the end, in Todd’s classical open future, we have a compelling new solution to the longstanding “problem of future contingents”. -/- (Note: this is a pre-production copy of Chapter 3.). (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

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)

It is disputed what norm, if any, governs assertion. We address this question by looking at assertions of future contingents: statements about the future that are neither metaphysically necessary nor metaphysically impossible. Many philosophers think that future contingents are not truth apt, which together with a Truth Norm or a Knowledge Norm of assertion implies that assertions of these future contingents are systematically infelicitous. In this article, we argue that our practice of asserting future contingents is incompatible with the view (...) that they are not truth apt. We consider a range of norms of assertion and argue that the best explanation of the data is provided by the view that assertion is governed by the Knowledge Norm. (shrink)

The Growing Block Theory of time says that the metaphysical openness of the future should be understood in terms of there not being any future objects or events. But in a series of works, Ross Cameron, Elizabeth Barnes, and Robbie Williams have developed a competing view that understands metaphysical openness in terms of it being indeterminate whether there exist future objects or events. I argue that the three reasons they give for preferring their account are not compelling. And since the (...) notion of “indeterminate existence” suffers conceptual problems, the Growing Block is the preferable view. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of tensed (...) facts. In this way, we show how to reconcile a genuinely A-theoretic branching-time model with the idea that there is a branch corresponding to the thin red line, that is, the branch that will turn out to be the actual future history of the world. (shrink)

In this paper I address issues related to the problem of future contingents and the metaphysical doctrine of fatalism. Two classical responses to the problem of future contingents are the third truth value view and the all-false view. According to the former, future contingents take a third truth value which goes beyond truth and falsity. According to the latter, they are all false. I here illustrate and discuss two ways to respectively argue for those two views. Both ways are similar (...) in spirit and intimately connected with fatalism, in the sense that they engage with the doctrine of fatalism and accept a large part of a standard fatalistic machinery. (shrink)

Aquinas’ theory of being has received a growing amount of attention from contemporary scholars, both from a historic and a philosophical point of view. An important source of this attention is Geach’s seminal Form and Existence. In it, Geach argues that Aquinas subscribes to a tensed notion of existence and a theory of time according to which past and future entities do not exist in act. Subsequent commentators, such as Kenny in his Aquinas on Being, have agreed with Geach on (...) both points. In this paper, I argue that in several passages of his corpus, most notably those in which he is concerned with God’s knowledge of future contingents, Aquinas implicitly subscribes to a theory of being and time according to which: past and future entities are attributed existence in act, there is theoretical need for introducing a tenseless notion of existence. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...) jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

Presentism says that only present objects exist. But the view has trouble grounding past-tensed truths like “dinosaurs existed”. Standard Eternalism grounds those truths by positing the existence of past objects—like dinosaurs. But Standard Eternalism conflicts with the intuition that there is genuine change—the intuition that there once were dinosaurs and no longer are any. I offer a novel theory of time—‘The Imprint’—that does a better job preserving both the grounding and genuine change intuitions. The Imprint says that the past and (...) present exist, but where the present exhibits mass-energy, the past only consists of curved empty regions of spacetime. We therefore avoid saying that there are dinosaurs, since there is no mass-energy in the past; but the curvature of the past gives us a way to ground the truth that “dinosaurs existed”. (shrink)

This note falls into two main parts. In the first part, I shall consider the question of whether or not Aristotle believed that there can be true statements about what will happen in the future. I will first clarify this question, which will involve consideration of some logical and metaphysical notions in Aristotle. I will then argue that the answer to the question is ‘No’ (with a qualification). In the second part, I shall argue that his view is correct. I (...) will do this ‘indirectly’, by way of presenting and refuting three prominent objections to the view. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

This paper argues that several sorts of metaphysical and semantic indeterminacy afflict the causal relation. If, as it is plausible to hold, there is a relationship between causation and moral responsibility, then indeterminacy in the causal relation results in indeterminacy of moral responsibility more generally.

Everyone agrees that we can’t change the past. But what about the future? Though the thought that we can change the future is familiar from popular discourse, it enjoys virtually no support from philosophers, contemporary or otherwise. In this paper, I argue that the thesis that the future is mutable has far more going for it than anyone has yet realized. The view, I hope to show, gains support from the nature of prevention, can provide a new way of responding (...) to arguments for fatalism, can account for the utility of total knowledge of the future, and can help in providing an account of the semantics of the English progressive. On the view developed, the future is mutable in the following sense: perhaps, once, it was true that you would never come to read a paper defending the mutability of the future. And then the future changed. And now you will. (shrink)

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

If you utter sentence ‘Obama was born in 1961’ now, you say something true about the past. Since the past will always be such that the year 1961 has the property of being a time in which Obama was born, it seems impossible that could ever be false in a future context of utterance. We shall consider the case of a sentence about the past exactly like , but which was true when uttered a few years ago and is no (...) longer true now. On this basis, we shall conclude that the past has changed. (shrink)

This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.

This Introduction has three sections, on "logical fatalism," "theological fatalism," and the problem of future contingents, respectively. In the first two sections, we focus on the crucial idea of "dependence" and the role it plays it fatalistic arguments. Arguably, the primary response to the problems of logical and theological fatalism invokes the claim that the relevant past truths or divine beliefs depend on what we do, and therefore needn't be held fixed when evaluating what we can do. We call the (...) sort of dependence needed for this response to be successful "dependence with a capital 'd'": Dependence. We consider different accounts of Dependence, especially the account implicit in the so-called "Ockhamist" response to the fatalistic arguments. Finally, we present the problem of future contingents: what could "ground" truths about the undetermined future? On the other hand, how could all such propositions fail to be true? (shrink)

We investigate the semantics of historical counterfactuals in indeterministic contexts. We claim that "plain" and "necessitated" counterfactuals differ in meaning. To substantiate this claim, we propose a new semantic treatment of historical counterfactuals in the Branching Time framework. We supplement our semantics with supervaluationist postsemantics, thanks to which we can explain away the intuitions which seem to talk in favor of the identification of "would" with "would necessarily".

This paper investigates the logic of Ockhamism, a view according to which future contingents are either true or false. Several attempts have been made to give rigorous shape to this view by defining a suitable formal semantics, but arguably none of them is fully satisfactory. The paper draws attention to some problems that beset such attempts, and suggests that these problems are different symptoms of the same initial confusion, in that they stem from the unjustified assumption that the actual course (...) of events must be represented in the semantics as a distinguished history, the Thin Red Line. (shrink)

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne 2002, 2006, Braddon-Mitchell, 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face (...) a new skeptical challenge: how do you know that you are in a no-futurist world? (shrink)

The Ockhamist claims that our ability to do otherwise is not endangered by God’s foreknowledge because facts about God’s past beliefs regarding future contingents are soft facts about the past—i.e., temporally relational facts that depend in some sense on what happens in the future. But if our freedom, given God’s foreknowledge, requires altering some fact about the past that is clearly a hard fact, then Ockhamism fails even if facts about God’s past beliefs are soft. Recent opponents of Ockhamism, including (...) David Widerker and Peter van Inwagen, have argued along precisely these lines. Their arguments, if successful, would undermine Ockhamism while avoiding the controversy over the alleged softness of facts about God’s past beliefs. But these arguments do not succeed. The past facts they rely on must be clear and uncontroversial examples of hard facts about the past, and these facts must be such that an ability to refrain from the relevant future action implies an ability to alter the relevant hard fact. We demonstrate the flaw in these arguments by showing how they rely on past facts that do not satisfy these criteria. The Ockhamist may have troubles, but this type of argument is not one of them. (shrink)

This paper shows that any view of future contingent claims that treats such claims as having indeterminate truth values or as simply being false implies probabilistic irrationality. This is because such views of the future imply violations of reflection, special reflection and conditionalization.

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

This paper shows that several live philosophical and scientific hypotheses – including the holographic principle and multiverse theory in quantum physics, and eternalism and mind-body dualism in philosophy – jointly imply an audacious new theory of free will. This new theory, "Libertarian Compatibilism", holds that the physical world is an eternally existing array of two-dimensional information – a vast number of possible pasts, presents, and futures – and the mind a nonphysical entity or set of properties that "read" that physical (...) information off to subjective conscious awareness (in much the same way that a song written on an ordinary compact-disc is only played when read by an outside medium, i.e. a CD-player). According to this theory, every possible physical “timeline” in the multiverse may be fully physically deterministic or physically-causally closed but each person’s consciousness still entirely free to choose, ex nihilo, outside of the physical order, which physically-closed timeline is experienced by conscious observers. Although Libertarian Compatibilism is admittedly fantastic, I show that it not only follows from several live scientific and philosophical hypotheses, I also show that it (A) is a far more explanatorily powerful model of quantum mechanics than more traditional interpretations (e.g. the Copenhagen, Everett, and Bohmian interpretations), (B) makes determinate, testable empirical predictions in quantum theory, and finally, (C) predicts and explains the very existence of a number of philosophical debates and positions in the philosophy of mind, time, personal identity, and free will. First, I show that whereas traditional interpretations of quantum mechanics are all philosophically problematic and roughly as ontologically “extravagant” as Libertarian Compatibilism – in that they all posit “unseen” processes – Libertarian Compatibilism is nearly identical in structure to the only working simulation that human beings have ever constructed capable of reproducing (and so explaining) every general feature of quantum mechanics we perceive: namely, massive-multiplayer-online-roleplaying videogames (or MMORPGs). Although I am not the first to suggest that our world is akin to a computer simulation, I show that existing MMORPGs (online simulations we have already created) actually reproduce every general feature of quantum mechanics within their simulated-world reference-frames. Second, I show that existing MMORPGs also replicate (and so explain) many philosophical problems we face in the philosophy of mind, time, personal identity, and free will – all while conforming to the Libertarian Compatibilist model of reality. -/- I conclude, as such, that as fantastic and metaphysically extravagant as Libertarian Compatibilism may initially seem, it may well be true. It explains a number of features of our reality that no other physical or metaphysical theory does. (shrink)

At a first glance, and even at a second one, it seems that if time is linear the threat of determinism is more severe than if time is branching, since in the latter case the future is open in a way it is not in the former one where, so to speak, there exists only one branch – one future. In this paper, I want to give a 'third glance' at this claim. I acknowledge that such a claim is intuitive (...) (this is the first glance) and that it is also meaningfully and interestingly defended in recent literature where branching time is either said to imply indeterminism or at least to be compatible with it. To try to make my third glance as precise and as fleshed out as possible, I shall first concentrate on what 'branching' is or could be, and I shall discuss various versions and interpretations of this view. I shall then (more quickly) turn my attention to what determinism is or could be, and I will distinguish three (well-known) kinds of it – focusing mainly on 'metaphysical determinism'. Having these tools in hand, I will then ask (and answer) the question whether branching time helps with avoiding determinism or not. As we shall see, it is incorrect to think that under the branching hypothesis the threat of determinism is any smaller – rather, I will argue that if one has reasons to think that determinism is true, branching will not help, and that the issue of branching versus linear time is then actually neutral with respect to the question whether determinism or indeterminism is true. (shrink)

There seems to be a minimal core that every theory wishing to accommodate the intuition that the future is open must contain: a denial of physical determinism (i.e. the thesis that what future states the universe will be in is implied by what states it has been in), and a denial of strong fatalism (i.e. the thesis that, at every time, what will subsequently be the case is metaphysically necessary).1 Those two requirements are often associated with the idea of an (...) objective temporal flow and the non-reality of the future. However, at least certain ways to frame the “openness” intuition do not rely on any of these. Branching Time Theory (BTT) is one such: it is compatible with the denial that time flow is objective and it is couched in a language with a (prima facie) commitment to an eternalist ontology. BTT, though, urges us to resist certain intuitions about the determinacy of future claims, which arguably do not lead either to physical determinism or to fatalism. Against BTT, supporters of the Thin Red Line Theory (TRL) argue that their position avoids determinism and fatalism, while also representing the fact that there is a future which is “special” because it is the one that will be the case. But starting with Belnap and Green 1994, some have objected to the tenability of TRL, mainly on metaphysical grounds. In particular, those argue that “positing a thin red line amounts to giving up objective indeterminism,”2 and that “has unacceptable consequences, ranging from a mistreatment of actuality to an inability to talk coherently about what would have happened had what is going to happen not taken place.”3 In this paper, we wish to reframe the.. (shrink)

In this paper I will introduce a problem for at least those Humeans who believe that the future is open.More particularly, I will argue that the following aspect of scientific practice cannot be explained by openfuture- Humeanism: There is a distinction between states that we cannot bring about (which are represented in scientific models as nomologically impossible) and states that we merely happen not to bring about. Open-future-Humeanism has no convincing account of this distinction. Therefore it fails to explain why (...) we cannot bring about certain states of affairs, it cannot explain what I call the “recalcitrance of nature”. (shrink)

The aim of this article is to propose a novel supervaluationist theory of ‘actually’ in the open future. First, I will argue that any adequate theory of actuality in a branching setting must comply with three main desiderata. Second, I will prove that none of the actuality operators that have been proposed in the literature is up to the task. Finally, I will propose a novel theory of actuality in the open future combining one of the existing definitions of the (...) actuality operator with a new definition of the historical possibility operator, and argue for its adequacy. The central feature of the theory I will advance is the introduction of an actuality parameter capable of being shifted by the historical possibility operator. I will argue that this account appears to not only be consistent with the idea that the future is genuinely open, but also with the general idea that ‘actually’ is, in a relevant sense, a ‘rigid’ operator. (shrink)

This paper is about The Truthmaker Problem for Presentism. I spell out a solution to the problem that involves appealing to indeterministic laws of nature and branching semantics for past- and future-tensed sentences. Then I discuss a potential glitch for this solution, and propose a way to get around that glitch. Finally, I consider some likely objections to the view offered here, as well as replies to those objections.

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (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)

This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated on a model with (...) at least two temporal dimensions, and that this results in severing the link between branch attrition and the flow of time. I argue that ‘no backward branching’ prohibits Belnap’s theory from capturing the modal content of indeterministic physical theories, and results in it ascribing to the world a time-asymmetric modal structure that lacks physical justification. (shrink)

En aquest article es presenten dues teories sobre la naturalesa del temps i s’analitzen objeccions que s’hi han presentat els darrers anys en el marc de la filosofia analítica. La primera sosté que el passat i el futur no són reals, i presenta el problema de com es poden expressar proposicions veritables sobre temps no presents. D’acord amb la segona teoria, per contra, tots els temps —present, passat i futur— són igual de reals, però això sembla implicar que el futur (...) sigui tan determinat i inexorable com el passat... L’autor clou amb una reflexió entorn de la manera de fer de la filosofia analítica i dels horitzons d’aquesta tradició. (shrink)

The supervaluationist approach to branching time (‘SBT-theory’) appears to be threatened by the puzzle of retrospective determinacy: if yesterday I uttered the sentence ‘It will be sunny tomorrow’ and only in some worlds overlapping at the context of utterance it is sunny the next day, my utterance is to be assessed as neither true nor false even if today is indeed a sunny day. John MacFarlane (“Truth in the Garden of Forking Paths” 81) has recently criticized a promising solution to (...) this puzzle for falling short of an adequate account of ‘actually’. In this paper, I aim to rebut MacFarlane's criticism. To this effect, I argue that: (i) ‘actually’ can be construed either as an indexical or as a nonindexical operator; (ii) if ‘actually’ is nonindexical, MacFarlane's criticism is invalid; (iii) there appear to be independent reasons for SBT-theorists to claim that ‘actually’ is a nonindexical expression. (shrink)

The plane was going to crash, but it didn't. Johnny was going to bleed to death, but he didn't. Geach sees here a changing future. In this paper, I develop Geach's primary argument for the (almost universally rejected) thesis that the future is mutable (an argument from the nature of prevention), respond to the most serious objections such a view faces, and consider how Geach's view bears on traditional debates concerning divine foreknowledge and human freedom. As I hope to show, (...) Geach's view constitutes a radically new view on the logic of future contingents, and deserves the status of a theoretical contender in these debates. (shrink)

T In [Rea 2006], Michael Rea presents an argument that presentism is incompatible with a libertarian view of human freedom and the unrestricted principle of bivalence. I aim to show that Rea’s argument fails. The outline of my paper is as follows. In Part I, I briefly explain the above three views and I present Rea’sargument. In Part II, I argue that one of the premises of the argument is unjustified.

This paper deals with the problem of future contingents, and focuses on two classical logical principles, excluded middle and bivalence. One may think that different attitudes are to be adopted towards these two principles in order to solve the problem. According to what seems to be a widely held hypothesis, excluded middle must be accepted while bivalence must be rejected. The paper goes against that line of thought. In the first place, it shows how the rejection of bivalence leads to (...) implausible consequences if excluded middle is accepted. In the second place, it addresses the question of why one should reject bivalence, and finds no satisfactory answer. /// Este artículo trata el problema de los futuros contingentes, y se enfoca en dos principios lógicos clásicos: el tercero excluido y la bivalencia. Se podría pensar que una solución del problema requiere actitudes diferentes hacia estos dos principios. Según una hipótesis que parece ampliamente compartida, el tercero excluido debe ser aceptado, mientras que la bivalencia debe ser rechazada. Este artículo argumenta en contra de esta línea de pensamiento. En primer lugar, se aborda cómo el rechazo de la bivalencia lleva a consecuencias poco plausibles si el tercero excluido es aceptado. En segundo lugar, se enfrenta la cuestión de por qué se debería rechazar la bivalencia, sin encontrar una respuesta satisfactoria. (shrink)

In this paper, I argue that the thesis that time travel is logically possible, is inconsistent with the necessary truth of any of the usual ‘open futureobjective present’ models of the universe. It has been relatively uncontroversial until recently to hold that presentism is inconsistent with the possibility of time travel. I argue that recent arguments to the contrary do not show that presentism is consistent with time travel. Moreover, the necessary truth of other open future-objective present models which we (...) might, prima facie, have supposed to be more amenable to the possibility of time travel, turn out also to be inconsistent with this possibility. (shrink)

Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with (...) other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic. (shrink)

This paper is about the open future response to fatalistic arguments. I first present a typical fatalistic argument and then spell out the open future response as a response to that argument. Then I raise the question of how the open future response can be independently justified. I consider some possible ways in which the response might be defended, and I try to show that none of these is a plausible, non-question-begging defense. Next I formulate what I take to be (...) the only plausible, nonquestion-begging defense of the open future response. This defense involves both (i) the claim that the laws of nature are indeterministic and (ii) a certain version of the correspondence theory of truth. Finally, I argue that there is a very surprising consequence of justifying the open future response by making the defense in question, namely, that the past is sometimes open. Fatalism is the view that whatever will happen in the future is inevitable, due to certain considerations about truth and time. Fatalism, in turn, is normally taken to imply that there is no such thing as genuine, human free will. Suppose that I am an anti-fatalist. Suppose I believe that Joe Montana is free to choose what he will have for lunch tomorrow, and suppose I take this case to be a paradigmatic example of one involving both evitability and human free will. Now suppose that I meet a fatalist, who presents the following argument.1.. (shrink)