Second-order logic: properties, semantics, and existential commitments

DOI10.1007/S11229-015-0764-7zbMath1475.03068OpenAlexW820547950MaRDI QIDQ2053351

Bob Hale

Publication date: 29 November 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0764-7

zbMATH Keywords

propertiessemanticssecond-order logicexistential commitments

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16)

Related Items (1)

Reference for neo-Fregeans

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cardinality, counting, and equinumerosity
• Frege meets Dedekind: A neologicist treatment of real analysis
• Predicative Fragments of Frege Arithmetic
• Nominalism Through De‐Nominalization
• Speaking of Everything
• Properties and the Interpretation of Second-Order Logic
• A derivation of number theory from ancestral theory

This page was built for publication: Second-order logic: properties, semantics, and existential commitments