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)

This paper establishes two facts. The first is that a recently presented problem for supervaluationism applies equally to the branching-time cousin of the theory. The second fact is that a new version of branching-time supervaluationism avoids this and related problems.

Este artículo se centra en un argumento presentado por Fara (2010) en contra del supervaluacionismo en el contexto de la vaguedad. Muestro cómo dicho argumento es igualmente aplicable al supervaluacionismo de tiempo ramificado (presentado por primera vez por Thomason 1970), pero no a la semántica 'STRL' de Malpass y Wawer (2012), que está estrechamente relacionada.

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)

I present a variant of with time, called, interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: the future tense and past tense operators, and the operator of group agency for the grand coalition. A sound and complete axiomatisation for is given. Moreover, it is shown that supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.

The paper re-evaluates Prior's tenets about indeterminism and relativity from the point of view of the current state of the debate. We first discuss Prior's claims about indeterministic tense logic and about relativity separately and confront them with new technical developments. Then we combine the two topics in a discussion of indeterministic approaches to space-time logics. Finally we show why Prior would not have to "dig his heels in" when it comes to relativity: We point out a way of combining (...) the existential import of the distinction between past, present, and future with a frame-relative notion of the present. (shrink)

Prior investigated a tense logic with an operator for ‘historical necessity’, where a proposition is necessary at a time iff it is true at that time in all worlds ‘accessible’ from that time. Axiomatisations of this logic all seem to require non-standard axioms or rules. The present paper presents an axiomatisation of a first-order version of Prior’s logic by using a predicate which enables any time to be picked out by an individual in the domain of interpretation.

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...) on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic, a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap. (shrink)