In addressing the problem of the (in)compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line ( $$\mathsf {TRL}$$ ) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance (...) between Molinism and $$\mathsf {TRL}$$ models, Restall (Molinism and the thin red line. In: Perszyk K (ed) Molinism: the contemporary debate, pp 227–239, 2011) has advanced some criticisms of Molinism that have also been leveled against $$\mathsf {TRL}$$ models. In particular, Restall believes that the implication $$p \rightarrow \mathbf {HF}p$$ is not true in $$\mathsf {TRL}$$ models. Because Molinists must also accept that this implication is not true, this is a problem for them. We will show that Restall’s criticism is wide of the mark. Firstly, it will be demonstrated that in many open future models (not just $$\mathsf {TRL}$$ ) the implication $$p \rightarrow \mathbf {HF}p$$ is invalid. Secondly, while it is possible to account for this implication, some modifications are required in respect of the branching time semantics. In proposing one such modification, we show that this new semantics can be adopted by advocates of the $$\mathsf {TRL}$$ and, as a consequence, by Molinists as well. We conclude that the principle stated by Restall is either a problem for many open future models (not just for Molinists) or can be accounted for by these models and so is not a problem for Molinists either. (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)

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)

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)

The thin red line ( TRL ) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL is widely regarded (...) to suffer from several fundamental problems. In this paper we propose several new TRL semantics, each with differing degrees of success. This leads up to our final semantics, which is a cross between the TRL and supervaluationism. We discuss the notions of truth, validity and semantic consequence which result from our final semantics, and demonstrate some of its pleasing results. This account, we believe, answers the main objection in the literature, and thus places the TRL on the same level as any other competing semantics for future contingents. (shrink)

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...) that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...) it provoked questionable lines of criticism. We reassess the debate and point to potential pitfalls, focusing on the semantic dimension of the Thin Red Line theory. Our agenda transcends the semantics, however. We conclude that semantic considerations do not threaten the Thin Red Line theory and that the proper debate should be carried in the domain of metaphysics. (shrink)

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)