Studia Logica 94 (1):105-138 (2010)
AbstractThe 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 books and articles
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Repairing the Interpolation Theorem in Quantified Modal Logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
A Propositional Semantics for Substitutional Quantification.Geoff Georgi - 2015 - Philosophical Studies 172 (5):1183-1200.
Prior, Translational Semantics, and the Barcan Formula.B. Jack Copeland - 2016 - Synthese 193 (11):3507-3519.
Essentialism in Quantified Modal Logic.Thomas J. McKay - 1975 - Journal of Philosophical Logic 4 (4):423 - 438.
Quantified Modal Logic, Dynamic Semantics and S 5.Eric Gillet Paul Gochet - 1999 - Dialectica 53 (3-4):243-251.
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 Definite Description and Quine's Formal Attack on Quantified Modal Logic.Vicky Ruth Vicklund Franks - 1982 - Dissertation, University of Washington
Added to PP
Historical graph of downloads
Citations of this work
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
References found in this work
The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.