Montague's Theorem and Modal Logic
Erkenntnis 79 (3):551-570 (2014)
Abstract |
In the present piece we defend predicate approaches to modality, that is approaches that conceive of modal notions as predicates applicable to names of sentences or propositions, against the challenges raised by Montague’s theorem. Montague’s theorem is often taken to show that the most intuitive modal principles lead to paradox if we conceive of the modal notion as a predicate. Following Schweizer (J Philos Logic 21:1–31, 1992) and others we show this interpretation of Montague’s theorem to be unwarranted unless a further non trivial assumption is made—an assumption which should not be taken as a given. We then move on to showing, elaborating on work of Gupta (J Philos Logic 11:1–60, 1982), Asher and Kamp (Properties, types, and meaning. Vol. I: foundational issues, Kluwer, Dordrecht, pp 85−158, 1989), and Schweizer (J Philos Logic 21:1–31, 1992), that the unrestricted modal principles can be upheld within the predicate approach and that the predicate approach is an adequate approach to modality from the perspective of modal operator logic. To this end we develop a possible world semantics for multiple modal predicates and show that for a wide class of multimodal operator logics we may find a suitable class of models of the predicate approach which satisfies, modulo translation, precisely the theorems of the modal operator logic at stake
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1007/s10670-013-9523-7 |
Options |
![]() ![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Towards a Proper Treatment of Quantification in English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
View all 15 references / Add more references
Citations of this work BETA
Non‐Classical Knowledge.Ethan Jerzak - 2019 - Philosophy and Phenomenological Research 98 (1):190-220.
Modality and Axiomatic Theories of Truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.
Similar books and articles
Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Possible-Worlds Semantics for Modal Notions Conceived as Predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
Finite Kripke Models and Predicate Logics of Provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
The Translation of First Order Logic Into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.
Analytics
Added to PP index
2013-09-20
Total views
48 ( #175,374 of 2,269,786 )
Recent downloads (6 months)
1 ( #835,177 of 2,269,786 )
2013-09-20
Total views
48 ( #175,374 of 2,269,786 )
Recent downloads (6 months)
1 ( #835,177 of 2,269,786 )
How can I increase my downloads?
Downloads