Completeness in quantified modal logic and the interpretation of the quantifiers

• Autores: Urtubey, Luis Adrián
• Año de publicación: 2019
• Idioma: inglés
• Tipo de recurso: documento de conferencia
• Materia: Lógica modal; Lógica cuanticacional; Mundos posibles; Completitd
• Institución: Universidad Nacional de Córdoba

Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Escuela de Filosofía; Argentina.
The aim of this paper is to reflect on the curious incidence that alternative readings of the quantifiers have had on the problem of the completeness for normal systems of quantified modal logic QML. The problem will be addressed here almost exclusively in the setting of relational semantics for modalities, deriving from the pioneer work of Kanger and Kripke. Our interest will be also focused on the sequel of proofs based on the use of canonical models. Admitedely, there are much more alternatives with this concern, but it is not our purpose to deal with all these approaches. Moreover, we are going to confine ourselves to the consideration of the sentential interpretation of the quantifiers as it is described by J. Garson, who also support it. It does not mean that we prefer this interpretation over the others. It will serve solely as a test-case for attaining our main goal of analysing the philosophical implications that the interpretation of first-order quantifiers has on the completeness results in QML. Finally, we will conclude by observing the way in which current elaborations around the notion of "linguistic framework", once developed by R. Carnap, and other concepts derived thereof, can also help to shed some light on this issue.
http://www.cchla.ufrn.br/ppgfil/
Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Escuela de Filosofía; Argentina.
Filosofía, Historia y Filosofía de la Ciencia y la Tecnología