Skip to main content
Log in

In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Armstrong, D., A Combinatorial Theory of Possibility, Cambridge University Press, New York, 1989.

  2. Bonnay D., Egré P.: Inexact knowledge with introspection. Journal of Philosophical Logic 38, 179–227 (2009)

    Article  Google Scholar 

  3. Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.

  4. French R.: An argument against general validity?. Thought 1, 4–9 (2012)

    Google Scholar 

  5. French R.: Expressive power, mood, and actuality. Synthese 190, 1689–1699 (2013)

    Article  Google Scholar 

  6. 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.

  7. Gregory D.: Completeness and decidability results for some propositional modal logics containing “Actually” operators. Journal of Philosophical Logic. 30, 57–78 (2001)

    Article  Google Scholar 

  8. Hazen A. P., B. G. Rin, Wehmeier K. F.: Actuality in propositional modal logic. Studia Logica 101, 487–503 (2013)

    Article  Google Scholar 

  9. Humberstone L.: Scope and subjunctivity. Philosophia 12, 99–126 (1982)

    Article  Google Scholar 

  10. Humberstone L.: Two-dimensional adventures. Philosophical Studies 118, 17–65 (2004)

    Article  Google Scholar 

  11. Kamp H.: Formal Properties of ‘Now’. Theoria 37, 227–273 (1971)

    Article  Google Scholar 

  12. Lewis D. K.: Counterfactuals and comparative possibility. Journal of Philosophical Logic 2, 418–446 (1973)

    Article  Google Scholar 

  13. Linksy B., Zalta E.: In defense of the simplest quantified modal logic. Philosophical Perspectives 8, 431–458 (1994)

    Article  Google Scholar 

  14. Salmon N.: The logic of what might have been. Philosophical Review. 98, 3–34 (1989)

    Article  Google Scholar 

  15. Stephanou Y.: Indexed actuality. Journal of Philosophical Logic 30, 355–393 (2001)

    Article  Google Scholar 

  16. Stephanou Y.: First-order modal logic with an ‘Actually’ operator. Notre Dame Journal of Formal Logic 46, 381–405 (2005)

    Article  Google Scholar 

  17. 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.

  18. Wehmeier K. F.: In the mood. Journal of Philosophical Logic. 33, 607–630 (2004)

    Article  Google Scholar 

  19. Wehmeier, K. F., Modality, mood, and descriptions, in R. Kahle, (ed.), Intensionality—an Interdisciplinary Discussion, AK Peters, Wellesley, Mass., 2005, pp. 187–216.

  20. Wehmeier K. F.: Subjunctivity and cross-world predication. Philosophical Studies. 159, 107–122 (2012)

    Article  Google Scholar 

  21. Wehmeier K. F.: Subjunctivity and conditionals. The Journal of Philosophy 110, 117–142 (2013)

    Google Scholar 

  22. Williamson T.: Bare possibilia. Erkenntnis 48, 257–273 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Rohan French.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-014-9557-0

Keywords

Navigation