Associative substitutional semantics and quantified modal logic
type: Item
instance of: scholarly article
title: Associative substitutional semantics and quantified modal logic
zbMATH Open document ID: 1197.03020
author: Bartosz Więckowski
published in: Studia Logica
publication date: 2010-04-26T00:00:00Z
review text: For the semantical approach to quantified modal logic several philosophical problems have been discussed so far, particularly on the interpretation of objectual domains concerning, for instance, possibilia, trans-world identity, and so on. By surveying these problems, the author emphasizes that modal sentences are not to be understood referentially as is inherent in the usual denotational semantics, but to be interpreted substitutionally so as to avoid such problems. The main purpose of this paper is to present an alternative substitutional semantics for first-order modal logic which, in contrast to the traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behaviour of terms composing atomic formulas. From this point of view the author proposes also the notion of modality ``de nomine'' as an alternative to the denotational notion of modality ``de re''.
reviewed by: Osamu Sonobe
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 5701665
zbMATH Keywords: first-order logic
zbMATH Keywords: modal logic
zbMATH Keywords: philosophy of quantified modal logic
zbMATH Keywords: predication
zbMATH Keywords: substitutional quantification
zbMATH Keywords: truth-value semantics
MaRDI profile type: Publication
full work available at URL: s11225-010-9222-1
OpenAlex ID: W2021134003
cites work: Q4398838
cites work: Q3962965
cites work: Substitutional Quantification and Existence
cites work: Q5675346
cites work: Types, tableaus, and Gödel's God
cites work: A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
cites work: Q4698331
cites work: Outline of a Theory of Truth
cites work: Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics
cites work: Q5183469
cites work: Q4117804
cites work: Q4789454
cites work: Modalities and intensional languages
cites work: Q4452540
cites work: Q3124707
cites work: Q5839923
cites work: Bare possibilia
DOI: 10.1007/S11225-010-9222-1
description: scientific article; zbMATH DE number 5701665