If it is not now determined whether there will be a sea battle tomorrow, can an assertion that there will be one be true? The problem has persisted because there are compelling arguments on both sides. If there are objectively possible futures which would make the prediction true and others which would make it false, symmetry considerations seem to forbid counting it either true or false. Yet if we think about how we would assess the prediction tomorrow, when a sea (...) battle is raging (or not), it seems we must assign the utterance a definite truth-value. I argue that both arguments must be given their due, and that this requires relativizing utterance-truth to a context of assessment. I show how this relativization can be handled in a rigorous formal semantics, and I argue that we can make coherent sense of assertion without assuming that utterances have their truth-values absolutely. (shrink)

The problem of future contingents is one of the most ancient and debated puzzles in Western philosophy, and Supervaluationism is, today, one of the most prominent solutions to the problem. Recently, John MacFarlane has carried a well-known criticism to Supervaluationism and put forward a new solution of the problem of future contingents, which is known as Double Time Reference Theory. Here, we compare DTRT with Supervaluationist semantics, and we show that the success of MacFarlane's criticism crucially depends on (...) the expressivity of the language adopted. Once a reasonable expressive power is granted, however, MacFarlane's criticism no longer applies. (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)

I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true (...) at t, it acquires the truth-value true at t only retrospectively, at a later moment. Nor must this be seen as suggesting that it is a settled, unpreventable fact at t that p is true at t. It just means that the reason for its present truth is something that happens later on: the future happens to evolve in such a way as to make a truth-maker of p obtain. In this case, then, it can be said that at t, p is truth-maker indeterminate, or that it has an indeterminate truth-maker. I develop a formal semantics based on this analysis in the follow-up article ‘A Formal Framework for Future Contingents’. Here, I lay down the conceptual framework and indicate Boethius and Abelard as precursors of the view I wish to defend. (shrink)

John MacFarlane has recently argued that his brand of truth relativism provides the best solution to the puzzle of future contingents: assertions about the future that express propositions 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 aims to solve the puzzle, his truth relativism is not apt to solve the problem of (...) class='Hi'>future contingents. We argue that the theory fails to vindicate the intuition that future contingent propositions are neither true nor false, leaving the theory open to a charge of Reductio. We show that these problems cannot be answered while preserving the core tenets of truth relativism. (shrink)

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting (...) the claim that future contingents are truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

In Facing the Future, Belnap et al. reject bivalence and propose double time reference semantics to give a pragmatic response to the following assertion problem: how can we make sense of assertions about future events made at a time when the outcomes of those events are not yet determined? John MacFarlane employs the same semantics, now bolstered with a relative-truth predicate, to accommodate the following apparently conflicting intuitions regarding the truth-value of an uttered future (...) class='Hi'>contingent: at the moment of utterance, if asked to evaluate the truth-value of the asserted future contingent one has the intuition that the assertion is neither true nor false, yet later, at the moment of the predicted event, one has the intuition that the assertion was, already, either true or false. Both MacFarlane and Belnap assume that assertions of future contingents have complete propositional content – the traditional propositional contents that, according to him ‘are the contents of assertions and beliefs’. This assumption is challenged. (shrink)

This paper argues that we know the future by applying a recent solution of the problem of future contingents to knowledge attributions about the future. MacFarlane has put forward a version of assessment-context relativism that enables us to assign a truth value 'true' (or 'false') to future contingents such as There Will Be A Sea Battle Tomorrow. Here I argue that the same solution can be applied to knowledge attributions about the future by dismissing (...) three disanalogies between the case of future contingents and the case of knowledge attributions about the future. Therefore none of the traditional conditions for knowledge can be utilized to deny that we know the future, as I argue in the last section. (shrink)

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting (...) the claim that future contingents are truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

In his Reportatio super Sententias (ca. 1321–1323), Walter Chatton proposes a solution to the problem of future contingents based on propositional analysis. Future-tense statements must be disambiguated with the help of a scope distinction between temporal and truth operators, such that a statement like “Socrates will sit” comes out either as (1) “it is true now that Socrates will sit,” or (2) “it will be true that Socrates sits.” On the first analysis, Socrates’s action is necessitated, whereas (...) on the second it remains contingent. In his later Quodlibet (ca. 1330), Chatton maintains his original analysis but augments it with an ingenious use of the traditional distinction between actus exercitus and actus significatus. His use of the distinction enables him both to give some speech-act-theoretical content to the scope analysis, which had been open to the charge of mere formalism, and to defend it cogently against an apparently strong counterargument. (shrink)

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 work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

This article considers three medieval approaches to the problem of future contingent propositions in chapter 9 of Aristotle's _De interpretatione_. While Boethius assumed that God's atemporal knowledge infallibly pertains to historical events, he was inclined to believe that Aristotle correctly taught that future contingent propositions are not antecedently true or false, even though they may be characterized as true-or-false. Aquinas also tried to combine the allegedly Aristotelian view of the disjunctive truth-value of future (...) class='Hi'>contingent propositions with the conception of all things being timelessly present to God's knowledge. The second approach was formulated by Peter Abelard who argued that in Aristotle's view future contingent propositions are true or false, not merely true-or-false, and that the antecedent truth of future propositions does not necessitate things in the world. After Duns Scotus, many late medieval thinkers thought like Abelard, particularly because of their new interpretation of contingency, but they did not believe, with the exception of John Buridan, that this was an Aristotelian view. (shrink)

Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate (...) class='Hi'>truth-value so as to reconstruct Łukasiewicz’s three-valued logic as a kind of extensional modal logic based on partial logic. (shrink)

In his philosophy, William of Ockham (1285-1347) offered an important and detailed response to the classical argument from the truth of a statement regarding the future to the necessity (unpreventability) of the statement. In this paper, Ockham’s solution and the possible formalisation of it are discussed in terms of modern tense and modal logic. In particular, the famous branching time formalisation suggested by A.N. Prior (1914-19) is discussed. Weaknesses and problems with this suggestion are pointed out, and an (...) alternative formalisation of Ockham’s solution without the use of branching time is presented. (shrink)

This paper discusses the main lines of medieval Latin approaches to future contingents with some remarks on Marcin Tkaczyk’s paper “The antinomy of future contingent events.” Tkaczyk’s theory shows some similarity with the general frame of the views of Ockham and Scotus, the difference being that while medieval authors argued for the temporal necessity of the past, Tkaczyk is sceptical of the general validity of this necessity. Ockham’s theological view was that God eternally has an intuitive and (...) immutable knowledge of all possibilities as well as whether they are ever actualized or not (PANACCIO & PICHÉ 2010). The content of God’s past knowledge attitude remains contingent before the free choice takes place because God’s knowledge could be different similarly as the truth-value of the proposition. While Ockham held that no past or present thing follows from future things as an effect follows from its cause, this causal link is defended by Tkaczyk. Later thinkers thought that the doctrine of the scientia media sheds light on this question; perhaps it is easier to understand than the retroactive model which is not contradictory but difficult to imagine, as Tkaczyk concludes his paper. (shrink)

In The Consolation of Philosophy Boethius addresses two main problems posed by the problem of future contingents that shed important light on his conception of necessity and possibility: (1) a logical problem that alleges that if propositions about the future are true now then they are necessarily true, and (2) a theological problem that centers on a supposed incompatibility between divine foreknowledge and a contingent future. In contrast to established readings of the Consolation, I argue that (...) a proper understanding of Book V requires understanding the modal concepts employed there in atemporal terms. This interpretation requires revising our traditional understanding of the two problems present in the Consolation text, particularly in seeing how timeless knowledge or truth could be conceived as a threat to human freedom. It also stresses the importance of a strategy used by Boethius to disambiguate the scope of modal operators used in his opponent’s arguments and how that strategy unifies his discussion in Book V. (shrink)

In his paper “Aquinas, Geach, and Existence”, D. Costa maintains that Aquinas’ solution to the puzzle of future contingent events entails that future contingent entities already exist. This is tantamount to state that Aquinas endorsed a form of eternalism, since he maintained that past, present and future timelessly exist in God’s sight. I object that Aquinas’ texts are also compatible with another reading. In any statement of the form “S will be P”, the verb “will (...) be” simply states the truth of the predicative link between S and P, not the existence of either S or P. In other words, I take the verb “to be” occurring in sentences describing future events as having the meaning of the “esse ut verum”. (shrink)

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T × W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this “abundance of the future” is a (...) non-adjunctive paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like φ ∧ ¬φ is satisfiable (though both φ and ¬φ may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. (shrink)

I argue that John MacFarlane's attempt to reconcile his proposed truthrelativist account of future contingents with a plausible account of assertion is self-defeating. Specifically, a paradoxical result of MacFarlane's view is that assertions of future contingents are impermissible for anyone who already accepts MacFarlane's own truth-relativist account of future contingents.

In this article, I present a formal semantic framework that renders explicit how to reconcile the condition that a proposition about a contingent future event is true at a moment t0 with the idea that at t0, this proposition is ‘truth-maker indeterminate’: a state of affairs making it true will obtain later on, though no such state of affairs obtains at t0. The semantics I formulate employs ‘open temporal models’. They represent the passage of time by a (...) specific component termed time-resource, which acts on durations construed as model-external inputs. A model does not by itself specify which course of events gets actualized in a given duration depending on the latest moment that has already got actualized. A time-resource merely represents schematically the dependence between a moment t and a course of events that gets actualized in a time-span of a given length counted from t; until that much time has indeed passed, it is not fixed which course of events actually extends t. Further, I introduce evaluations as a fine-grained tool for studying truth-conditions of tensed formulas, and I use this tool to define the notion of truth-maker. I define what it means that a truth-maker will obtain but does not, and what it means for a truth-maker to be determinate. It is proven that my semantic analysis retains the desirable link between determinacy and historical necessity—namely, a truth-maker of a proposition being determinate entails that the proposition is historically necessary. (shrink)

Peter de Rivo (b. ca. 1420), argues for the existence of human freedom despite its alleged incompatibility with the truth of future contingent propositions. Rivo’s solution doesn’t follow the common medieval attempt to dissolve the alleged incompatibility, but claims that future contingent propositions aren’t determinately true. This approach troubled Rivo’s contemporaries, who thought it was incompatible with biblical infallibility, particularly the veracity of prophetic statements. Rivo tries to reconcile his solution with orthodox Christianity by grounding (...) authentic prophetic statements in God’s cognition of future events. In the end, Rivo’s attempted reconciliation fails because grounding the truth of prophetic statements in God cognition is incompatible either with his theological assumptions or his conception of free action. (shrink)

Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that the logic resulting from this “abundance of the future” is a non-adjunctive (...) paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like φ ∧ ¬φ is satisfiable ; The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; abundance preserves some important features of classical logic when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. (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 Prevolitional Condition: The subjunctive conditionals of human freedom known by God must have their truth value prior to any free decree of God, i.e., be known prevolitionally.

The Prevolitional Condition: The subjunctive conditionals of human freedom known by God must have their truth value prior to any free decree of God, i.e., be known prevolitionally.

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)

Alexander Pruss’s recent argument against the open future view (OF) is unsound. Contra Pruss, there is no conflict between OF, which holds that there are no true future contingent propositions (FCPs), and the high credence we place in some FCPs. When due attention is paid to the semantics of FCPs, to the relation of epistemic to objective probabilities, and to the distinction between truth simpliciter and truth at a time, it becomes clear that what we (...) have good reason for believing is not that some FCPs are true, but rather that some FCPs have a good chance of becoming true. (shrink)

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)

The talk deals with Aristotle’s famous sea-battle problem concerning the truth values of sentences about contingent future events: If an utterance of the sentence “There will be a sea battle tomorrow” is true, then it seems that it is determined that there will be a sea battle tomorrow. For otherwise, how could the utterance be true? If, however, an utterance of the sentence “There will be a sea battle tomorrow” is false, then it seems that it is (...) determined that there will be no sea battle tomorrow. For otherwise, how could the utterance be false? Thus, it seems that it is determined whether there will be a sea battle tomorrow or not – and so for any future event whatsoever. This, however, is in conflict with the assumption that there is such a thing as an open future, i.e., that at least for some future events, it is not determined whether they will take place or not. Some have argued, in light of this problem, that sentences about f uture events are neither true nor false. In this talk, however, it shall be argued that the sea-battle problem can be resolved in an intuitively plausible manner without giving up the principle of bivalence. (shrink)

Unlike versions of open theism that appeal to the alethic openness of the future, defenders of limited foreknowledge open theism (hereafter LFOT) affirm that some propositions concerning future contingents are presently true. Thus, there exist truths that are unknown to God, so God is not omniscient simpliciter. LFOT requires modal definitions of divine omniscience such that God knows all truths that are logically knowable. Defenders of LFOT have yet to provide an adequate response to Richard Purtill’s argument that (...) fatalism logically follows from the omnitemporality of truth. Hasker believes a distinction between hard and soft facts prevents fatalism, but I argue that his defense fails in light of arguments involving divine necessity. Additionally, I point out that Hasker’s philosophy of language concerning divine names faces problems that cannot be overcome, given the versions of the dilemma of freedom and foreknowledge that motivate LFOT. Thus, contra Hasker, Swinburne, and van Inwagen, open theism necessitates the alethic openness of the future. (shrink)

In the presented article, I have analyzed the famous Saul Kripke statement that some a priori truths are contingent. I show, that despite Kripke’s thesis, in the historical understanding of contingency, the notions of contingency and apriority are in deep conflict with each other. In this understanding of contingency, the past, which can be known a priori, is not contingent, and the future, which is contingent, has difficulty acquiring a priori knowledge. Having stated Kripke’s thesis more (...) precisely, I propose three means in order to defend it in the historical understanding of possibility: by introducing the notion of “factual” future, by replacing the notion of apriority with the notion of apriority-in-the-future; by replacing the notion of apriority with the notion of historical apriority, and the notion of contingency with the notion of once-apriority. In the annex of the article, I present the formal analysis of the problem that I have introduced and three solutions which I have proposed in the language of temporal-modal logic of predicates for models of indeterministic time. (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 (...) class='Hi'>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)

It is debated among open theists whether propositions about the contingent future should be regarded as straightforwardly true or false, as all false without exception, or as lacking truth-values. This article discusses some recent work on this topic and proposes a solution different than the one I have previously endorsed.

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent (...) truths, modal truths, truths about the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

This paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility, which we take to be closely related to knowledge and assertibility, and which is ultimately reducible to probability. As a result, (...) two kinds of claims about future contingents—one concerning truth, the other concerning credibility—can be smoothly handled within a single semantic framework. (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)

Ockham appeared to maintain that God necessarily knows all true propositions, including future contingent propositions, despite the fact that such propositions have determinate truth values. While some commentators believe that Ockham’s attempt to reconcile divine omniscience with the contingency of true future propositions amounts to little more than a simple-minded assertion of Ockham’s Christian faith, I argue that Ockham’s position is more sophisticated than this and rests on attributing to God a dual knowledge property: God not (...) only knows every true proposition, but knows its modal properties as well. Future contingent propositions are determinately true when actualized, not timelessly, and God’s knowledge of their truth values is knowledge of when the truth value of a proposition is actually determined. (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)

In the paper we argue that truth-relativism is potentially hostage to a problem of exhibiting witnesses of its own truth. The problem for the relativist stems from acceptance of a trumping principle according to which there is a dependency between ascriptions of truth of an utterance and ascriptions of truth to other ascriptions of truth of that utterance. We argue that such a dependency indeed holds in the case of future contingents and the case (...) of epistemic modals and that, consequently, the relativist about these domains cannot exhibit witnesses to his relativism. In the appendix we provide some results on the relation between trumping and multi-order relativism. (shrink)

I draw upon Helen Steward's concept of agential settling to argue that freedom requires an ability to change the truth‐value of tenseless future contingents over time from false to true and that this ability requires a metaphysically open future.

Relativism offers a nifty way of accommodating most of our intuitions about epistemic modals, predicates of personal taste, color expressions, future contingents, and conditionals. But in spite of its manifest merits relativism is squarely at odds with epistemic value monism: the view that truth is the highest epistemic goal. I will call the argument from relativism to epistemic value pluralism the trivial argument for epistemic value pluralism. After formulating the argument, I will look at three possible ways to (...) refute it. I will then argue that two of these are unsuccessful, and defend the third, which involves denying that there are any genuinely relative truths. (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)