Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic

Topoi - Tập 38 - Trang 361-377 - 2016
Kai F. Wehmeier1, Helge Rückert2
1Department of Logic and Philosophy of Science, University of California, Irvine, USA
2Philosophisches Seminar, Universität Mannheim, Mannheim, Germany

Tóm tắt

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.

Tài liệu tham khảo

Bricker P (1989) Quantified modal logic and the plural De Re. Midwest Stud Philos 14:372–394 Crossley JN, Humberstone L (1977) The logic of ”Actually”. Rep Math Logic 8:11–29 Fara M, Williamson T (2005) Counterparts and actuality. Mind 114:1–30 Forbes G (1985) The metaphysics of modality. Clarendon Press, Oxford Forbes G (1989) Languages of possibility. Blackwell, Oxford French R (2012) An argument against general validity? Thought 1:4–9 French R (2013) Expressive power, mood, and actuality. Synthese 190(9):1689–99 French R (2015) In the mood for S4: the expressive power of the subjunctive modal language in weak background logics. Studia Logica 103:239–263 Hanson W (2006) Actuality, necessity, and logical truth. Phil Stud 130(3):437–459 Hazen AP (1976) Expressive completeness in modal language. J Philos Logic 5:25–46 Hazen AP (1978) Eliminability of the actuality operator in propositional modal logic. Notre Dame J Form Logic 19:617–622 Hazen AP (1990) Actuality and quantification. Notre Dame J Form Logic 31:498–508 Hazen AP, Rin BG, Wehmeier KF (2013) Actuality in propositional modal logic. Studia Logica 101:487–503 Hodes H (1984) Some theorems on the expressive limitations of modal languages. J Philos Logic 13:13–26 Humberstone L (1982) Scope and subjunctivity. Philosophia 12:99–126 Humberstone L (2004) Two-dimensional adventures. Philos Stud 118:17–65 Kemp G (2000) The interpretation of crossworld predication. Philos Stud 98(3):305–320 Kocurek A (2015) On the expressivity of first-order modal logic with ‘Actually’. In: van der Hoek W et al (eds) LORI 2015, LNCS 9394. Springer, Berlin, pp 207–219 Mackay J (2013) Quantifying over possibilities. Philos Rev 122(4):577–617 Peacocke C (1978) Necessity and truth theories. J Philos Logic 7:473–500 Smiley T (1996) Rejection. Analysis 56(1):1–9 Stephanou Y (2001) Indexed actuality. J Philos Logic 30(4):355–393 Wehmeier KF (2003) World travelling and mood swings. In: Löwe B, Malzkorn W, Räsch T (eds) Foundations of the formal sciences II. Kluwer Academic Publishers, Dordrecht, pp 257–260 Wehmeier KF (2004) In the mood. J Philos Logic 33:607–630 Wehmeier KF (2005) Modality, mood, and descriptions. In: Kahle R (ed) Intensionality: an interdisciplinary discussion. AK Peters, Wellesley, MA, pp 187–216 Wehmeier KF (2012) Subjunctivity and cross-world predication. Philos Stud 159:107–122 Wehmeier KF (2013) Subjunctivity and conditionals. J Philos 110(3):117–142 Wehmeier KF (2014) Nothing but d-truth. Anal Philos 55(1):114–117