On the Expressivity of First-Order Modal Logic with “Actually”
- 770 Downloads
Many authors have noted that a number of English modal sentences cannot be formalized into standard first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who’s actually rich could have been poor.” In response, many authors have introduced an “actually” operator @ into the language of first-order modal logic. It is occasionally noted that some of the example sentences still cannot be formalized with @ if one allows only actualist quantifiers, and embedded versions of these example sentences cannot be formalized even with possibilist quantifiers and @. The typical justification for these claims is to observe that none of the most plausible candidate formalizations succeed. In this paper, we prove these inexpressibility results by using a modular notion of bisimulation for first-order modal logic with “actually” and other operators. In doing so, we will explain in what ways these results do or do not generalize to more expressive modal languages.
Keywordsfirst-order modal logic actually two-dimensional semantics actualist and possibilist quantification expressivity bisimulation
Unable to display preview. Download preview PDF.
- 2.van Benthem, J.F.A.K.: Frame Correspondences in Modal Predicate Logic. In: Proofs, Categories and Computations: Essays in Honor of Grigori Mints, pp. 1–14. College Publications, London (2010)Google Scholar
- 4.Bricker, P.: Quantified Modal Logic and the Plural De Re. Midwest Studies in Philosophy, 372–394 (1989)Google Scholar
- 10.Garson, J.W.: Handbook of Philosophical Logic, vol. 3, pp. 267–323. Springer (2001)Google Scholar
- 15.Kocurek, A.W.: The Problem of Cross-world Predication (2015) (Manuscript)Google Scholar
- 17.Sider, T.: Logic for Philosophy. Oxford University Press, Oxford (2010)Google Scholar
- 18.Sturm, H., Wolter, F.: First-Order Expressivity for S5-Models: Modal vs. Two-Sorted Languages. Journal of Philosophical Logic, 571–591 (July 2001)Google Scholar
- 19.Wehmeier, K.F.: World Travelling and Mood Swings. In: Löwe, B., Malzkorn, W., Räsch, T. (eds.) Foundations of the Formal Sciences II (pp, pp. 257–260 (2001)Google Scholar