In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing "actually" operators, Journal of Philosophical Logic 30(1): 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under (...) the name of hybrid logic. This analysis relates the "actually" axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language. (shrink)

In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate (...) over different notions of validity such as local, general, and diagonal, besides being general enough for several two-dimensional logics proposed in the literature. We also motivate the introduction of a new operator into two-dimensional languages and explore some of the philosophical questions raised by it concerning the relations there are between actuality, necessity, and the a priori, that seem to undermine traditional intuitive interpretations of two-dimensional operators. (shrink)

Robert Stalnaker opposes the traditional view that knowledge of one's own current thoughts and feelings is the unproblematic foundation for all knowledge. He argues that we can understand our knowledge of our thoughts and feelings only by viewing ourselves from the outside, by seeing our inner lives as features of the world as it is in itself.

Editorial preface to the fourth edition and modified translation -- The text of the Philosophische Untersuchungen -- Philosophische untersuchungen = Philosophical investigations -- Philosophie der psychologie, ein fragment = Philosophy of psychology, a fragment.

In Context and Content Robert Stalnaker develops a philosophical picture of the nature of speech and thought and the relations between them. Two themes in particular run through these collected essays: the role that the context in which speech takes place plays in accounting for the way language is used to express thought, and the role of the external environment in determining the contents of our thoughts. Stalnaker argues against the widespread assumption of the priority of linguistic over mental representation, (...) which he suggests has had a distorting influence on our understanding. The first part of the book develops a framework for representing contexts and the way they interact with the interpretation of what is said in them. This framework is used to help to explain a range of linguistic phenomena concerning presupposition and assertion, conditional statements, the attribution of beliefs, and the use of names, descriptions, and pronouns to refer. Stalnaker then draws out the conception of thought and its content that is implicit in this framework. He defends externalism about thought--the assumption that our thoughts have the contents they have in virtue of the way we are situated in the world--and explores the role of linguistic action and linguistic structure in determining the contents of our thoughts. Context and Content offers philosophers and cognitive scientists a summation of Stalnaker's important and influential work in this area. His new introduction to the volume gives an overview of this work and offers a convenient way in for those who are new to it. The Oxford Cognitive Science series is a new forum for the best contemporary work in this flourishing field, where various disciplines--cognitive psychology, philosophy, linguistics, cognitive neuroscience, and computational theory--join forces in the investigation of thought, awareness, understanding, and associated workings of the mind. Each book constitutes an original contribution to its subject, but will be accessible beyond the ranks of specialists, so as to reach a broad interdisciplinary readership. The series will be carefully shaped and steered with the aim of representing the most important developments in the field and bringing together its constituent disciplines. (shrink)

Most philosophers agree that causal knowledge is essential to decision-making: agents should choose from the available options those that probably cause the outcomes that they want. This book argues against this theory and in favour of evidential or Bayesian decision theory, which emphasises the symptomatic value of options over their causal role. It examines a variety of settings, including economic theory, quantum mechanics and philosophical thought-experiments, where causal knowledge seems to make a practical difference. The arguments make novel use of (...) machinery from other areas of philosophical inquiry, including first-person epistemology and the free will debate. The book also illustrates the applicability of decision theory itself to questions about the direction of time and the special epistemic status of agents. (shrink)

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

_Naming and Necessity_ has had a great and increasing influence. It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of naming, and of identity. This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here reissued in a newly corrected form with a new preface by the author. If there is such a thing as essential reading in metaphysics, or in philosophy of language, this is (...) it. (shrink)

The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...) and a more speculative argument for the claim that it does not include S4.2 is also presented. (shrink)

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for (...) predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy. (shrink)

Philosophers on all sides of the contextualism debates have had an overly narrow conception of what semantic context sensitivity could be. They have conflated context sensitivity (dependence of truth or extension on features of context) with indexicality (dependence of content on features of context). As a result of this conflation, proponents of contextualism have taken arguments that establish only context sensitivity to establish indexicality, while opponents of contextualism have taken arguments against indexicality to be arguments against context sensitivity. Once these (...) concepts are carefully pulled apart, it becomes clear that there is conceptual space in semantic theory for nonindexical forms of contextualism that have many advantages over the usual indexical forms. (shrink)

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...) using a novel generalisation of the standard semantics. (shrink)

In his seminal paper 'Assertion', Robert Stalnaker distinguishes between the semantic content of a sentence on an occasion of use and the content asserted by an utterance of that sentence on that occasion. While in general the assertoric content of an utterance is simply its semantic content, the mechanisms of conversation sometimes force the two apart. Of special interest in this connection is one of the principles governing assertoric content in the framework, one according to which the asserted content ought (...) to be identical at each world in the context set. In this paper, we present a problem for Stalnaker's meta-semantic framework, by challenging the plausibility of the Uniformity principle. We argue that the interaction of the framework with facts about epistemic accessibility - in particular, failures of epistemic transparency - cause problems for the Uniformity principle and thus for Stalnaker's framework more generally. (shrink)

We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula ${\phi}$ in the propositional modal language with A, there is a formula ${\psi}$ not containing A such that ${\phi}$ and ${\psi}$ are materially equivalent at the actual world in every Kripke model (respectively, neighborhood model). Inspection of the proofs leads to corresponding proof-theoretic results concerning the eliminability of the actuality (...) operator in the actuality extension of any normal propositional modal logic and of any “classical” modal logic. As an application, we provide an alternative proof of a result of Williamson’s to the effect that the compound operator A□ behaves, in any normal logic between T and S5, like the simple necessity operator □ in S5. (shrink)

It is an appealing idea that deontic modality is a modality of the open future, and that the indeterminacy of the open future is the key, within natural language, to understanding the deontic modal puzzles that form the traditional subject-matter of deontic logic. In this paper, I pull together three well-studied strands of indeterminism—Thomason (1980)’s settledness operator, the modal base of Kratzer (1981, 1991)’s analysis of modals, and Stalnaker (1978)’s notion of diagonal acceptance—to argue for two theses governing a deontic (...) logic for natural language. -/- The first thesis makes a claim about postsemantic truth, and is couched in terms of Stalnaker’s dagger operator. The second concerns what it is for an act to be permissible, when agents exercise partial control over their obligations as well as their bodily movements. (shrink)

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness (...) of the calculus for Davies–Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem. (shrink)