In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

In Part I of this paper we presented a Hilbert-style system $\Sigma _D$ axiomatizing stit logic of justification announcements interpreted over models with discrete time structure. In this part, we prove three frame definability results for $\Sigma _D$ using three different definitions of a frame plus another version of completeness result.

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

In this paper we describe a novel approach to defining an ontologically fundamental notion of co-presentness that does not go against the tenets of relativity theory. We survey the possible reactions to the problem of the present in relativity theory, introducing a terminological distinction between a static role of the present, which is served by the relation of simultaneity, and a dynamic role of the present, with the corresponding relation of co-presentness. We argue that both of these relations need to (...) be equivalence relations, but they need not coincide. Simultaneity, the sharing of a temporal coordinate, need not have fundamental ontological import, so that a relativizing strategy with respect to simultaneity seems promising. The notion of co-presentness, on the other hand, does have ontological import, and can therefore not be relativized to an observer or to an arbitrarily chosen frame. We argue that a formal representation of indeterminism can provide the structure needed to anchor the relation of co-presentness, and that this addition is in fact congenial to the notion of dynamic time as requiring real change. The resulting picture is one of an extended dynamic present, implying a formal distinction between static simultaneity and dynamic co-presentness. After working out the basics of our approach in the simpler framework of branching time, we provide our full analysis in the framework of branching space-times, which allows for a formal definition of modal correlations. The spatial extension of the dynamic present can reach as far as the modal correlations do. In the limit, the dynamic present could extend across a maximal space-like hypersurface. (shrink)

In this paper, we develop a formalisation of the main ideas of the work of Van de Poel on responsibility. Using the basic concepts through which the meanings of responsibility are defined, we construct a logic which enables to express sentences like “individual i is accountable for φ”, “individual i is blameworthy for φ” and “individual i has the obligation to see to it that φ”. This formalization clarifies the definitions of responsibility given by Van de Poel and highlights their (...) differences and similarities. It also helps to assess the consistency of the formalisation of responsibility, not only by showing that definitions are not inconsistent, but also by providing a formal demonstration of the relation between three main meanings of responsibility. The formal account can be used to derive new properties of the concepts. With the help of the formalisation, we detect the occurrence of the problem of many hands by defining a logical framework for reasoning about collective and individual responsibility. This logic extends the Coalition Epistemic Dynamic Logic by adding a notion of group knowledge, agent ability and knowing how to its semantics. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...) a conception of conditionals as referential devices which allow us to talk about particular worlds. (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)

According to typical ought-implies-can principles, if you have an obligation to vaccinate me tomorrow, then you can vaccinate me tomorrow. Such principles are uninformative about conditional obligations: what if you only have an obligation to vaccinate me tomorrow if you synthesize a vaccine today? Then maybe you cannot vaccinate me tomorrow ; what you can do instead, I propose, is make it the case that the conditional obligation is not violated. More generally, I propose the ought-implies-can-obey principle: an agent has (...) an obligation only at times at which the agent can obey the obligation. I also propose another principle, which captures the idea that ‘ought’ implies ‘can avoid’. I defend both principles mainly by arguing that they help explain why agents lose obligations, including conditional ones. (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)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the (...) purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing. Completeness of the axiom system is shown by the method of canonical models; completeness of the tableau system is also shown by using standard methods.

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...) theory with the branching space-times based reading of counterfactuals recently proposed by Belnap. (shrink)

The basic notions in Prior's Ockhamist and Peircean logics of branching-time are the notion of moment and that of history. In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the set (...) of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

According to a naïve view sometimes apparent in the writings of moral philosophers, ‘ought’ often expresses a relation between agents and actions – the relation that obtains between an agent and an action when that action is what that agent ought to do. It is not part of this naïve view that ‘ought’ always expresses this relation – on the contrary, adherents of the naïve view are happy to allow that ‘ought’ also has an epistemic sense, on which it means, (...) roughly, that some proposition is likely to be the case, and adherents of the naïve view are also typically happy to allow that ‘ought’ also has an evaluative sense, on which it means, roughly, that were things ideal, some proposition would be the case.1 What is important to the naïve view is not that these other senses of ‘ought’ do not exist, but rather that they are not exhaustive – for what they leave out, is the important deliberative sense of ‘ought’, which is the central subject of moral inquiry about what we ought to do and why – and it is this deliberative sense of ‘ought’ which the naïve view understands to express a relation between agents and actions.2 In contrast, logically and linguistically sophisticated philosophers – with a few notable exceptions3 – have rejected this naïve view. According to a dominant perspective in the interpretation of deontic logic and in linguistic semantics, for example, articulated by Roderick Chisholm (1964) and Bernard Williams (1981) in philosophy and in the dominant paradigm in linguistic semantics as articulated in particular by.. (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)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...) extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.

In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison between (...) the two and a statement of semantic equivalence with respect to two different logical systems: a doxastic logic for belief and an epistemic–doxastic logic for belief and knowledge. Moreover, a sound and complete axiomatization of these logics with respect to the two equivalent Kripke semantics and type spaces semantics is provided. Finally, a probabilistic extension of the result is also presented. A further result of the paper is a study of the relationship between the epistemic–doxastic logic for belief and knowledge and the logic STIT by Belnap and colleagues. (shrink)

In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...) should be thought of as varying with some (more or less surprising) factor. In this, first, article, I shall discuss the general issue of relativism about representational content. I shall claim that there are legitimate ways of attributing contents that are absolute truth-bearers, and there are also equally legitimate ways of attributing relativistic representational contents. In the companion piece “Relativism 2: Semantic Content”, I look in more detail at the more specific question whether semantic contents (i.e. the contents assigned to linguistic utterances in the semantics of natural language) should be construed in an absolutist or a relativist way. (shrink)

In the pair of articles of which this is the second, I present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. These problems are related to the question of how we should represent thought and speech about certain topics. The main issue is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness should be thought (...) of as varying with some (more or less surprising) factor. In the first article, “Relativism 1: Representational Content”, I discussed the general issue of relativism about representational content. I argued for the conciliatory view that both relativist and absoutist conceptions of representational content can be legitimate. In the present continuation, I look in more detail at a special case of the general issue, namely the question of whether semantic contents, i.e. the contents assigned to linguistic utterances in the semantics of natural language, should be construed in an absolutist or in a relativist way. (shrink)

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and (...) semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic. (shrink)

Overview of fundamental work in deontic logic.

The logical theory of branching space-times, which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from discussions of space-time theories in philosophy of physics. Earman has criticized the branching approach and suggested “pruning some branches from branching space-time.” This article identifies the different—order-theoretic versus topological—perspective of both discussions as a reason for certain misunderstandings and tries to remove them. Most important, we give a novel, topological criterion of modal consistency that usefully generalizes an earlier criterion, and we (...) introduce a differential-geometrical version of branching space-times as a non-Hausdorff (generalized) manifold. (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)

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)

Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of the (...) classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (shrink)

This paper presents proofs of completeness and decidability of a non-temporal fragment of an Xstit logic. This shows a distinction between the non-temporal fragments of Xstit logic and regular stit logic since the latter is undecidable. The proof of decidability is via the finite model property. The finite model property is shown to hold by constructing a filtration. However, the set that is used to filter the models isn’t simply closed under subformulas, it has more complex closure conditions. The filtration (...) set is akin to the Fischer–Ladner closure of a set used to show completeness and decidability of propositional dynamic logic. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics used in describing psychological and social realities. (...) Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

We offer a new argument for the claim that there can be non-degenerate objective chance (“true randomness”) in a deterministic world. Using a formal model of the relationship between different levels of description of a system, we show how objective chance at a higher level can coexist with its absence at a lower level. Unlike previous arguments for the level-specificity of chance, our argument shows, in a precise sense, that higher-level chance does not collapse into epistemic probability, despite higher-level properties (...) supervening on lower-level ones. We show that the distinction between objective chance and epistemic probability can be drawn, and operationalized, at every level of description. There is, therefore, not a single distinction between objective and epistemic probability, but a family of such distinctions. (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)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there is (...) a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (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)

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)

This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

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)

Ockhamism implies that future contingents may be true, their historical contingency notwithstanding. It is thus opposed to both the Peircean view according to which all future contingents are false, and Supervaluationist Indeterminism according to which all future contingents are neither true nor false. The paper seeks to defend Ockhamism against two charges: the charge that it cannot meet the requirement that truths be grounded in reality, and the charge that it proves incompatible with objective indeterminism about the future. In each (...) case, the defence draws on the idea that certain truths are truths only courtesy of others and of what makes the latter true. After introduction of the Ockhamist view, its competitors and implications, a suitable definition of grounded truth is being devised that both is faithful to the spirit of the grounding-requirement and allows the Ockhamist to heed that requirement quite comfortably. Then two senses in which the future might be open are being introduced, indeterminacy as failure of predetermination by past and present facts, and indeterminacy as failure of entailment by past and present truths. It is argued that while openness in the former sense, but not in the latter sense, coheres with the Ockhamist view, it is only openness in the former sense that matters for objective indeterminism. (shrink)

Many of us are tempted by the thought that the future is open, whereas the past is not. The future might unfold one way, or it might unfold another; but the past, having occurred, is now settled. In previous work we presented an account of what openness consists in: roughly, that the openness of the future is a matter of it being metaphysically indeterminate how things will turn out to be. We were previously concerned merely with presenting the view and (...) exploring its consequences; we did not attempt to argue for it over rival accounts. That is what we will aim to do in this paper. (shrink)

A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a branching future? What is the relation (...) between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

“Branching space-times” is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its relativistic theory of spatio-temporal relations; this ability is essential for the representation of local indeterminism. This essay indicates how BST might be seen to grow out of Newton ’s deterministic and (...) non-relativistic theory by two independent moves: Taking account of indeterminism, and attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since and are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and branching space-times indeterminism. (shrink)

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.

The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (historic) (...) necessity. We show that STIT logic can be reconstructed in . We then extend with epistemic operators, which allows us to distinguish capability and power. We finally characterize the conditions under which agents are aware of their capabilities and powers. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

We study the logic of strategic ability of coalitions of agents with bounded memory by introducing Alternating-time Temporal Logic with Bounded Memory (ATLBM), a variant of Alternating-time Temporal Logic (ATL). ATLBM accounts for two main consequences of the assumption that agents have bounded memory. First, an agent can only remember a strategy that specifies actions in a bounded number of different circumstances. While the ATL-formula means that coalition C has a joint strategy which will make φ true forever, the ATLBM-formula (...) means that C has a joint strategy which for each agent in C specifies what to do in no more than n different circumstances and which will make φ true forever. Second, an agent has bounded recall—a strategy can only take the last m states of the system into account. We use the logic to study the interaction between strategic ability, bounded number of decisions, bounded recall and incomplete information. We discuss the logical properties and expressiveness of ATLBM, and its relationship to ATL. We show that ATLBM can express properties of strategic ability under bounded memory which cannot be expressed in ATL. (shrink)