Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic
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