Abstract
Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language (SML) and the Actuality Modal Language (AML) is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely upon its being expressively equivalent to AML.
Similar content being viewed by others
References
Armstrong, D., A Combinatorial Theory of Possibility, Cambridge University Press, New York, 1989.
Bonnay D., Egré P.: Inexact knowledge with introspection. Journal of Philosophical Logic 38, 179–227 (2009)
Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
French R.: An argument against general validity?. Thought 1, 4–9 (2012)
French R.: Expressive power, mood, and actuality. Synthese 190, 1689–1699 (2013)
Gabbay, D. M., V. Shehtman, and D. Skvortsov, Quantification in Nonclassical Logic Volume 1, Studies in Logic and the Foundations of Mathematics, Elsevier Amsterdam, 2009.
Gregory D.: Completeness and decidability results for some propositional modal logics containing “Actually” operators. Journal of Philosophical Logic. 30, 57–78 (2001)
Hazen A. P., B. G. Rin, Wehmeier K. F.: Actuality in propositional modal logic. Studia Logica 101, 487–503 (2013)
Humberstone L.: Scope and subjunctivity. Philosophia 12, 99–126 (1982)
Humberstone L.: Two-dimensional adventures. Philosophical Studies 118, 17–65 (2004)
Kamp H.: Formal Properties of ‘Now’. Theoria 37, 227–273 (1971)
Lewis D. K.: Counterfactuals and comparative possibility. Journal of Philosophical Logic 2, 418–446 (1973)
Linksy B., Zalta E.: In defense of the simplest quantified modal logic. Philosophical Perspectives 8, 431–458 (1994)
Salmon N.: The logic of what might have been. Philosophical Review. 98, 3–34 (1989)
Stephanou Y.: Indexed actuality. Journal of Philosophical Logic 30, 355–393 (2001)
Stephanou Y.: First-order modal logic with an ‘Actually’ operator. Notre Dame Journal of Formal Logic 46, 381–405 (2005)
Wehmeier, K. F., World travelling and mood swings, in B. Löwe, T. Räsch, and W. Malzkorn, (eds.), Foundations of the Formal Sciences II, Kluwer, 2003, pp. 257–260.
Wehmeier K. F.: In the mood. Journal of Philosophical Logic. 33, 607–630 (2004)
Wehmeier, K. F., Modality, mood, and descriptions, in R. Kahle, (ed.), Intensionality—an Interdisciplinary Discussion, AK Peters, Wellesley, Mass., 2005, pp. 187–216.
Wehmeier K. F.: Subjunctivity and cross-world predication. Philosophical Studies. 159, 107–122 (2012)
Wehmeier K. F.: Subjunctivity and conditionals. The Journal of Philosophy 110, 117–142 (2013)
Williamson T.: Bare possibilia. Erkenntnis 48, 257–273 (1998)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
French, R. In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics. Stud Logica 103, 239–263 (2015). https://doi.org/10.1007/s11225-014-9557-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9557-0