Unifying quantified modal logic
type: Item
instance of: scholarly article
title: Unifying quantified modal logic
zbMATH Open document ID: 1105.03019
author: James W. Garson
published in: Journal of Philosophical Logic
publication date: 2006-01-23T00:00:00Z
review text: Garson argues for the importance of non-possibilist first-order modal logical systems and intends to unify several of these systems in the same syntactic and semantic framework. Syntactically, many of the major formal systems for those logics are presented as extensions of a calculus that the author calls ``system G'', which is a Gentzen sort of calculus for modal free logic. Among such extensions of G there are some of the most important formal systems of free logic for the objectual interpretation of the quantifiers (and where terms are not necessarily rigid designators). It is important to note that Garson shows that certain rules for the non-possibilist first-order modal formal systems are simplified within the syntactic framework of G. The semantic unification is achieved by both characterizing a semantic system based on what Garson refers to as ``G-models'' and describing different conditions that can be imposed on such models together with the syntactic rules corresponding to such conditions. A G-model is a possible worlds semantic structure with an accessibility relation, containing in addition a non-empty set \(D\) of objects, a set \(I\) of individual concepts (that is, functions from possible worlds into \(D\)) over which will range the universal first-order quantifiers, additional sets of individual concepts that will serve as domains for the different possible worlds. Each one of those possible world domains are not necessarily subsets of \(I\) and the intensions of some terms may be chosen outside any of such domains and even outside \(I\), from the set of all individual concepts. For the extensions of G considered by author, he offers completeness and soundness proofs. He also shows several independence results and indicates the limitations of his unification
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 5000206
zbMATH Keywords: semantics for first-order modal logic
zbMATH Keywords: sequent calculus for first-order modal logic
zbMATH Keywords: conceptual interpretation of quantifiers
zbMATH Keywords: actualist modal logics
zbMATH Keywords: free modal logic
MaRDI profile type: Publication
full work available at URL: s10992-005-3664-3
OpenAlex ID: W2015659496
cites work: A unified completeness theorem for quantified modal logics
cites work: Incompleteness and the Barcan formula
cites work: First-order intensional logic
cites work: First-order modal logic
cites work: Handbook of philosophical logic. Vol. 2.
cites work: Q4789451
cites work: Q5682310
cites work: Q4698331
cites work: Philosophical problems in logic. Some recent developments
cites work: Q5582317
cites work: Bare possibilia
DOI: 10.1007/S10992-005-3664-3
description: scientific article; zbMATH DE number 5000206