PP-2016-26: On a New Semantics for First-Order Predicate Logic

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]

Text (Full Text)

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

Download (782B)


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 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 View Item