PP-2016-26: Andréka, Hajnal and van Benthem, Johan and Németi, István (2016) On a New Semantics for First-Order Predicate Logic. [Report]
Preview |
Text (Full Text)
PP-2016-26.text.pdf Download (196kB) | Preview |
Text (Abstract)
PP-2016-26.abstract.txt Download (782B) |
Abstract
Aldo Antonelli has proposed a new semantics for first-order predicate
logic that treats quantifiers using non-standard power sets. In this
note, we analyze and clarify this decidable semantics, explore the
resulting weak logical systems in terms of their semantics and proof
theory, and sharpen up connections with the guarded fragment of
first-order logic, with earlier logics of generalized quantifiers, and
with modal neighborhood semantics.
Note: This is an invited commentary to appear in the "Journal of Philosophical Logic".
Item Type: | Report |
---|---|
Report Nr: | PP-2016-26 |
Series Name: | Prepublication (PP) Series |
Year: | 2016 |
Uncontrolled Keywords: | first-order logic, generalized quantifier, generalized semantics, guarded fragment, neighborhood semantics, modal logic |
Subjects: | Logic |
Depositing User: | Johan van Benthem |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/562 |
Actions (login required)
View Item |