Associative Substitutional Semantics and Quantified Modal Logic

Studia Logica 94 (1):105-138 (2010)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
A Propositional Semantics for Substitutional Quantification.Geoff Georgi - 2015 - Philosophical Studies 172 (5):1183-1200.
Not Everything is Possible.Andrea Iacona - 2007 - Logic Journal of the IGPL 15 (3):233-237.
Essentialism in Quantified Modal Logic.Thomas J. McKay - 1975 - Journal of Philosophical Logic 4 (4):423 - 438.
The True Modal Logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
Actualism and Quantified Modal Logic.Reina Hayaki - 2002 - Dissertation, Princeton University

Analytics

Added to PP
2010-01-30

Downloads
98 (#124,134)

6 months
1 (#415,205)

Historical graph of downloads
How can I increase my downloads?

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Ontological Relativity.W. V. Quine - 1968 - Journal of Philosophy 65 (7):185-212.
The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.

View all 27 references / Add more references