PP-2002-20: Counterpart Semantics. A Foundational study on Quantified Modal Logics

PP-2002-20: Corsi, Giovanna (2002) Counterpart Semantics. A Foundational study on Quantified Modal Logics. [Report]

Text (Full Text)

Download (423kB) | Preview
[img] Text (Abstract)

Download (846B)


Counterpart semantics is proposed as the appropriate semantical framework for a foundational investigation of quantified modal logics. It turns out to be a limit case of the categorical semantics of relational universes introduced by Ghilardi and Meloni in 1988. The main result is a deeper understanding of the interplay between substitution, quantification and identity whenever modalities are present. Languages with types and explicit substitutions are the tools used to clarify such an interplay and to disintangle classical problems related to modalities in first-order languages. It is shown that controversial modal principles are neither valid nor provable. Quine's worries are dispelled.

Item Type: Report
Report Nr: PP-2002-20
Series Name: Prepublication (PP) Series
Year: 2002
Uncontrolled Keywords: modalities quantification counterparts
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/84

Actions (login required)

View Item View Item