Abstract
The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re.
Similar content being viewed by others
References
Chihara, C.S., The Worlds of Possibility, Clarendon Press, 1998.
Copeland B.J.: ‘A note on the Barcan formula and substitutional quantification’. Logique et Analyse 25, 83–86 (1982)
Copeland B.J.: ‘Substitutional quantification and existence’. Analysis 45, 1–4 (1985)
Divers, J., Possible Worlds, Routledge, 2002.
Dunn J.M., Belnap N.D. Jr.: ‘The substitution interpretation of the quantifiers’. Noûs 2, 177–185 (1968)
Dunn, J. M., ‘A truth-value semantics for modal logic’. In [14] 87–100, 1973.
Fitting, M., Types, Tableaus and Gödel’s God, Kluwer Academic Publishers, 2002.
Hallnäs, L., and P. Schroeder-Heister, ‘A proof-theoretic approach to logic programming I: clauses as rules’, Journal of Logic and Computation 1:261–283, 1990/91. ‘A proof-theoretic approach to logic programming II: programs as definitions’, Journal of Logic and Computation 1:635–660, 1990/91.
Hughes, G.E., and M.J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.
Jager T.: ‘An actualistic semantics for quantified modal logic’. Notre Dame Journal of Formal Logic 23, 335–349 (1982)
Kripke S.: ‘Outline of a theory of truth’. Journal of Philosophy 72, 690–716 (1975)
Kripke, S., ‘Is there a problem about substitutional quantification?’, in G. Evans, and J. McDowell, Truth and Meaning: Essays in Semantics, Oxford University Press, 1976, pp. 325–419.
Leblanc H.: ‘Truth-value semantics for a logic of existence’. Notre Dame Journal of Formal Logic 12, 153–168 (1971)
Leblanc, H. (ed.), Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, North-Holland, 1973.
Leblanc, H., ‘Semantic deviations’. In [14] 1–16, 1973.
Leblanc, H., ‘On dispensing with things and worlds’, in M. Munitz, (ed.), Logic and Ontology, New York University Press, 1973, pp. 241–259.
Leblanc, H., Truth-Value Semantics, North-Holland, 1976.
Leblanc, H., ‘Alternatives to standard first-order semantics’, in D. M. Gabbay, and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd Edition, Vol. II, Kluwer Academic Publishers, 2001, pp. 53–131.
Lewis, D., ‘Counterpart theory and quantified modal logic’, in D. Lewis, Philosophical Papers, Vol. I, Oxford University Press, 26–39 (postscripts, 39–46), 1983. First published in: Journal of Philosophy 65:113–126, 1968.
Lewis, D., On the Plurality of Worlds, Blackwell, 1986.
Linsky, B., and E. N. zalta, ‘In defense of the simplest quantified modal logic’, in J. Tomberlin (ed.), Philosophical Perspectives 8, Logic and Language, Ridgeview, 1994, pp. 431–458.
Marcus, R. Barcan, ‘Modalities and intensional languages’, [in] 26 3–23, 1993. First published in: Synthese 12:303–322, 1961.
Marcus R. Barcan: ‘Dispensing with possibilia’. Proceedings of the American Philosophical Association 49, 39–51 (1976)
Marcus, R. Barcan, ‘Nominalism and the substitutional quantifier’, in [26] 111–124, 1993. First published in: Monist 61:351–362, 1978.
Marcus, R. Barcan, ‘Possibilia and possible worlds’, in [26] 189–213, 1993. First published in: Grazer Philosophische Studien 25/26:107–133, 1985/86.
Marcus, R. Barcan, Modalities: Philosophical Essays, Oxford University Press 1993.
Plantinga A.: ‘Actualism and possible worlds’. Theoria 42, 139–160 (1976)
Quine, W. V., ‘Ontological relativity’, in W. V. Quine, Ontological Relativity and Other Essays, Columbia University Press, 1969, pp. 26–68. First published in: Journal of Philosophy 65:185–212, 1968.
Russell B.: ‘On denoting’. Mind 14, 479–493 (1905)
Tarski, A., ‘The concept of truth in formalized languages’, in [33] 152–278, 1983. First published as: Pojęcie prawdy w językach nauk dedukcyjnych, Prace Towarzystwa Naukowego Warszawskiego, Wydział III Nauk Matematyczno-Fizycznych, nr 34, Warszawa 1933.
Tarski, A., ‘The establishment of scientific semantics’, in [33] 401–408, 1983. First published as: ‘O ugruntowaniu naukowej semantyki’, Przegląd Filozoficzny 39:50–57, 1936.
Tarski A.: ‘The semantic conception of truth and the foundations of semantics’. Philosophy and Phenomenological Research 4, 341–375 (1944)
Tarski, A., Logic, Semantics, Metamathematics, translations by J. H. Woodger, J. Corcoran (ed.), 2nd Edition, Hackett Publishing Company, 1983.
Tichý P.: ‘On de dicto modalities in quantified S5’. Journal of Philosophical Logic 2, 687–692 (1973)
Więckowski, B., Modality without Reference. An Alternative Semantics for Subsitutional Quantified Modal Logic and its Philosophical Significance, Dissertation, Universität Tübingen, 2007.
Więckowski, B., ‘Predication in fiction’, in M. Peliš (ed.), The Logica Yearbook 2007, Filosofia, 267–285, 2008.
Więckowski, B., ‘Substitution puzzles and substitutional semantics’, in A. Grønn (ed.), Proceedings of SuB 12, ILOS, 645–662, 2008.
Williamson T.: ‘Bare possibilia’. Erkenntnis 48, 257–273 (1998)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Więckowski, B. Associative Substitutional Semantics and Quantified Modal Logic. Stud Logica 94, 105–138 (2010). https://doi.org/10.1007/s11225-010-9222-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9222-1