Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/34446
Title: | Exorcising the phantom zone |
Author: | Blackburn, Patrick Martins, Manuel A. Manzano, María Huertas, Antonia |
Keywords: | First-order hybrid logic Partial function semantics Rigidification Denotation |
Issue Date: | Sep-2022 |
Publisher: | Elsevier |
Abstract: | In this paper we introduce a language of first-order hybrid logic in which function symbols are interpreted by partial functions and prove a number of completeness results. Syntactically, our language builds on the basic propositional hybrid language, has a primitive unary predicate symbol DEN which tests whether a term denotes or not, and permits satisfaction operators to rigidify predicate and function symbols. Semantically, our system is actualist, allows terms to be undefined, and has no truth-value gaps. But should we follow Fitting and Mendelsohn and rule out domain elements not belonging to any world, or should we tolerate them? Here we explore both options. As we shall see, while the choice makes no difference when it comes to validity, it has consequences for richer logics. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/34446 |
DOI: | 10.1016/j.ic.2021.104754 |
ISSN: | 0890-5401 |
Appears in Collections: | CIDMA - Artigos AGG - Artigos DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S0890540121000699-main (2).pdf | 529.6 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.