Skip to main content
SpringerLink
Log in

Associative Substitutional Semantics and Quantified Modal Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chihara, C.S., The Worlds of Possibility, Clarendon Press, 1998.

  2. Copeland B.J.: ‘A note on the Barcan formula and substitutional quantification’. Logique et Analyse 25, 83–86 (1982)

    Google Scholar 

  3. Copeland B.J.: ‘Substitutional quantification and existence’. Analysis 45, 1–4 (1985)

    Article  Google Scholar 

  4. Divers, J., Possible Worlds, Routledge, 2002.

  5. Dunn J.M., Belnap N.D. Jr.: ‘The substitution interpretation of the quantifiers’. Noûs 2, 177–185 (1968)

    Article  Google Scholar 

  6. Dunn, J. M., ‘A truth-value semantics for modal logic’. In [14] 87–100, 1973.

  7. Fitting, M., Types, Tableaus and Gödel’s God, Kluwer Academic Publishers, 2002.

  8. 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.

    Google Scholar 

  9. Hughes, G.E., and M.J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.

  10. Jager T.: ‘An actualistic semantics for quantified modal logic’. Notre Dame Journal of Formal Logic 23, 335–349 (1982)

    Article  Google Scholar 

  11. Kripke S.: ‘Outline of a theory of truth’. Journal of Philosophy 72, 690–716 (1975)

    Article  Google Scholar 

  12. 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.

  13. Leblanc H.: ‘Truth-value semantics for a logic of existence’. Notre Dame Journal of Formal Logic 12, 153–168 (1971)

    Article  Google Scholar 

  14. Leblanc, H. (ed.), Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, North-Holland, 1973.

  15. Leblanc, H., ‘Semantic deviations’. In [14] 1–16, 1973.

  16. Leblanc, H., ‘On dispensing with things and worlds’, in M. Munitz, (ed.), Logic and Ontology, New York University Press, 1973, pp. 241–259.

  17. Leblanc, H., Truth-Value Semantics, North-Holland, 1976.

  18. 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.

  19. 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.

  20. Lewis, D., On the Plurality of Worlds, Blackwell, 1986.

  21. 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.

  22. Marcus, R. Barcan, ‘Modalities and intensional languages’, [in] 26 3–23, 1993. First published in: Synthese 12:303–322, 1961.

  23. Marcus R. Barcan: ‘Dispensing with possibilia’. Proceedings of the American Philosophical Association 49, 39–51 (1976)

    Article  Google Scholar 

  24. Marcus, R. Barcan, ‘Nominalism and the substitutional quantifier’, in [26] 111–124, 1993. First published in: Monist 61:351–362, 1978.

  25. Marcus, R. Barcan, ‘Possibilia and possible worlds’, in [26] 189–213, 1993. First published in: Grazer Philosophische Studien 25/26:107–133, 1985/86.

  26. Marcus, R. Barcan, Modalities: Philosophical Essays, Oxford University Press 1993.

  27. Plantinga A.: ‘Actualism and possible worlds’. Theoria 42, 139–160 (1976)

    Article  Google Scholar 

  28. 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.

  29. Russell B.: ‘On denoting’. Mind 14, 479–493 (1905)

    Article  Google Scholar 

  30. 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.

  31. 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.

    Google Scholar 

  32. Tarski A.: ‘The semantic conception of truth and the foundations of semantics’. Philosophy and Phenomenological Research 4, 341–375 (1944)

    Article  Google Scholar 

  33. Tarski, A., Logic, Semantics, Metamathematics, translations by J. H. Woodger, J. Corcoran (ed.), 2nd Edition, Hackett Publishing Company, 1983.

  34. Tichý P.: ‘On de dicto modalities in quantified S5’. Journal of Philosophical Logic 2, 687–692 (1973)

    Article  Google Scholar 

  35. Więckowski, B., Modality without Reference. An Alternative Semantics for Subsitutional Quantified Modal Logic and its Philosophical Significance, Dissertation, Universität Tübingen, 2007.

  36. Więckowski, B., ‘Predication in fiction’, in M. Peliš (ed.), The Logica Yearbook 2007, Filosofia, 267–285, 2008.

  37. Więckowski, B., ‘Substitution puzzles and substitutional semantics’, in A. Grønn (ed.), Proceedings of SuB 12, ILOS, 645–662, 2008.

  38. Williamson T.: ‘Bare possibilia’. Erkenntnis 48, 257–273 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wilhelm-Schickard-Institut, Universität Tübingen, Sand 13, 72076, Tübingen, Germany

    Bartosz Więckowski

Authors
  1. Bartosz Więckowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bartosz Więckowski.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-010-9222-1

Keywords

Search

Navigation