Abstract
The novice may wonder why quantified modal logic (QML) is considered difficult. QML would seem to be easy: simply add the principles of first-order logic to propositional modal logic. Unfortunately, this choice does not correspond to a intuitively satisfying semantics. From the semantical point of view, we are confronted with a number of decisions concerning the quantifiers, and these in turn prompt new questions about the semantics of identity, terms, and predicates. Since most of the choices can be made independently, the number of interesting quantified modal logics seems bewilderingly large.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boolos, G. and Jeffrey, R.: 1974, Computability and Logic, Cambridge University Press.
Bowen, K.: 1979, Model Theory for Modal Logic, Reidel, Dordrecht.
Bressan, A.: 1973, A General Interpreted Modal Calculus, Yale University Press.
Carnap, R.: 1947,Meaning and Necessity, University of Chicago Press.
Fine, K.: 1970, ‘Propositional quantifiers in modal logic’, Theoria 36, 336–346.
Gabbay, D.: 1976, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, Reidel, Dordrecht.
Gallin, D.: 1975, Intensional and Higher-Order Modal Logic, North Holland, Amsterdam.
Garson, J.: 1978, ‘Completeness of some quantified modal logics’, Logique et Analyse 21,153–164.
Henkin, L.: 1949, ‘The completeness of the first-order functional calculus’, J. Symbolic Logic 14, 159–166.
Hintikka, J.: 1970, ‘Existential and uniqueness presuppositions’, in Lambert [1970].
Hughes, G. and Cresswell, H.: 1978, An Introduction to Modal Logic, Methuen, London.
Kamp, H.: 1977, Two Related Theorems by D. Scott and S. Kripke’, (Xerox).
Kripke, S.: 1963, ‘Semantical considerations in modal logic’, Acta Philosophica Fennica 16, 83–94.
Kripke, S.: 1972, ‘Naming and Necessity’, in D. Davidson and G. Harman (eds.), Semantics of Natural Language, Reidel, Dordrecht.
Lambert, K. (ed.): 1969, The Logical Way of Doing Things, Yale University Press.
Lambert, K. (ed.): 1970, Philosophical Problems in Logic, D. Reidel, Dordrecht.
Lewis, D.: 1968, ‘Counterpart Theory and Quantified Modal Logic’, J. Philosophy, 65, 113–126.
Parks, Z.: ‘Investigations into quantified modal logic’, Studia Logica 35, 109–125.
Parsons, C.: 1975, ‘On modal quantifier theory with contingent domains’ (abstract), J. Symbolic Logic 40, 302.
Thomason, R. H.: 1970, ‘Some completeness results for modal predicate calculi’, in Lambert [1970].
Thomason, R. H.: 1970, ‘Modal logic and Metaphysics’, in Lambert [1969].
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 D. Reidel Publishing Company
About this chapter
Cite this chapter
Garson, J.W. (1984). Quantification in Modal Logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic. Synthese Library, vol 165. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-6259-0_5
Download citation
DOI: https://doi.org/10.1007/978-94-009-6259-0_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-6261-3
Online ISBN: 978-94-009-6259-0
eBook Packages: Springer Book Archive