Abstract
A possible-worlds semantics is defined that validates the main axioms of Kripke’s original system for first-order modal logic over varying-domain structures. The novelty of this semantics is that it does not validate the commutative quantification schema ∀ x ∀ y φ→∀ y ∀ x φ, as we show by constructing a counter-model.
This is a preview of subscription content, log in via an institution to check access.
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
Fine, Kit, ‘The permutation principle in quantificational logic’, Journal of Philosophical Logic 12: 33–37, 1983.
Garson, James W., ‘Quantification in modal logic’, in Gabbay, D.M., Guenthner, F. (eds.), Handbook of Philosophical Logic, Vol. 3, 2nd edn., Kluwer Academic Publishers, Dordrecht, 2001, pp. 267–323.
Goldblatt, Robert, Mares, Edwin D., ‘A general semantics for quantified modal logic’, in Governatori, Guido, Hodkinson, Ian, Venema, Yde (eds.), Advances in Modal Logic, Vol. 6, College Publications, London, 2006, pp. 227–246. http://www.aiml.net/volumes/volume6/.
Kripke, Saul A., ‘Semantical considerations on modal logic’, Acta Philosophica Fennica, 16: 83–94, 1963.
Makinson, D.C., ‘Some embedding theorems for modal logic’, Notre Dame Journal of Formal Logic, 12: 252–254, 1971.
Mares, Edwin D., Goldblatt, Robert, ‘An alternative semantics for quantified relevant logic’, The Journal of Symbolic Logic, 71(1): 163–187, 2006.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Goldblatt, R., Hodkinson, I. (2009). Commutativity of Quantifiers in Varying-Domain Kripke Models. In: Makinson, D., Malinowski, J., Wansing, H. (eds) Towards Mathematical Philosophy. Trends in Logic, vol 28. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9084-4_2
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9084-4_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9083-7
Online ISBN: 978-1-4020-9084-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)