Graduate studies at Western
Studia Logica 94 (1):105 - 138 (2010)
|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.|
|Keywords||first-order logic modal logic philosophy of quantified modal logic predication substitutional quantification truth-value semantics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Robert Goldblatt (2011). Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Cambridge University Press.
Veikko Rantala (1982). Quantified Modal Logic: Non-Normal Worlds and Propositional Attitudes. Studia Logica 41 (1):41 - 65.
Andrew Bacon (forthcoming). Representing Counterparts. Australasian Journal of Logic.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
Benedikt Paul Göcke, Martin Pleitz & Hanno von Wulfen (2008). How to Kripke Brandom's Notion of Necessity. In Bernd Prien & David P. Schweikard (eds.), Robert Brandom. Analytic Pragmatist. ontos.
Daniel Bonevac (1984). Systems of Substitutional Semantics. Philosophy of Science 51 (4):631-656.
Philip Hugly & Charles Sayward (2002). There Is A Problem with Substitutional Quantification. Theoria 68 (1):4-12.
Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
Added to index2010-01-30
Total downloads53 ( #23,188 of 739,345 )
Recent downloads (6 months)2 ( #37,187 of 739,345 )
How can I increase my downloads?