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]

[thumbnail of Full Text]
Text (Full Text)

Download (196kB) | Preview
[thumbnail of Abstract] 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 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 View Item