In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, (...) and show that this conclusion rests on what might be considered an uncharitable stipulation concerning what it is for a formula in the actuality language to be true in a model. (shrink)

John MacFarlane has recently presented a novel argument in support of truth- relativism. According to this, contextualists fail to accommodate retrospective reassessments of propositional contents, when it comes to languages which are rich enough to express actuality. The aim of this note is twofold. First, it is to argue that the argument can be effectively rejected, since it rests on an inadequate conception of actuality. Second, it is to offer a more plausible account of actuality in branching time, along the (...) line of Lewis (1970/1983). (shrink)

The main goal of this paper is to present and compare two approaches to formalizing cross-world comparisons like John might have been taller than he is in quantified modal logics. One is the standard method employing degrees and graded positives, according to which the example just given is to be paraphrased as something like The height that John has is such that he might have had a height greater than it, which is amenable to familiar formalization strategies with respect to (...) quantified modal logic. The other approach, based on subjunctive modal logic, mimics the mixed indicative-subjunctive patterns typical of cross-world comparisons in many natural languages by means of explicit mood markers. This latter approach is new and should, for various reasons, appeal to linguists and philosophers. Along the way, I argue that attempts to capture cross-world comparison by means of sentential operators are either inadequate or subject to substantive logical and philosophical objections. (shrink)

The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations.

This paper recalls some applications of two-dimensional modal logic from the 1980s, including work on the logic of Actually and on a somewhat idealized version of the indicative/subjunctive distinction, as well as on absolute and relative necessity. There is some discussion of reactions this material has aroused in commentators since. We also survey related work by Leslie Tharp from roughly the same period.

This paper argues that a prominent—and oft-thought to be persuasive—argument against general validity as the best account of validity for languages containing the actuality operator is flawed, the flaw arising out of inadequate attention to the formalisation of mood distinctions.

We investigate and compare two major approaches to enhancing the expressive capacities of modal languages, namely the addition of subjunctive markers on the one hand, and the addition of scope-bearing actuality operators, on the other. It turns out that the subjunctive marker approach is not only every bit as versatile as the actuality operator approach, but that it in fact outperforms its rival in the context of cross-world predication.

Evans distinguishes between superficial necessity and deep necessity in his analysis of the contingent a priori. The distinction between these two notions of necessity is formalized by Davies and Humberstone through the addition of the operator Fixedly to Actuality Modal Logic (AML, S5A), where deep necessity is represented by the combination Fixedly Actually. Wehmeier’s Subjunctive Modal Logic (SML) provides an extension of the expressive capacity of ordinary modal predicate logic alternative to AML. I add Fixedly to SML and show that (...) in the system SML with Fixedly the distinction between deep and superficial necessity disappears. I conclude that the existence of the distinction between deep and superficial necessity, as well as the existence of the contingent a priori, cannot be asserted independently of the choice of background logic. (shrink)