PP-2002-20: Corsi, Giovanna (2002) Counterpart Semantics. A Foundational study on Quantified Modal Logics. [Report]
Preview |
Text (Full Text)
PP-2002-20.text.pdf Download (423kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2002-20.abstract.txt Download (846B) |
Abstract
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 |
