Numerical abstraction via the Frege quantifier

DOI10.1215/00294527-2010-010MaRDI QIDQ985002zbMATH OpenOpenAlexFDO

Authors Gian Aldo Antonelli

Publication date 20 July 2010

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2010-010

zbMATH Keywords

cardinality quantifiersfirst-order arithmeticabstraction principlesequinumerosity

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) First-order arithmetic and fragments (03F30)

Recommendations

• The neo-Fregean program in the philosophy of arithmetic
• Reals by abstraction
• scientific article; zbMATH DE number 1984506
• Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
• Fregean abstraction, referential indeterminacy and the logical foundations of arithmetic

Cited in

(12)

• Mathematics, Morality, and Self‐Effacement
• Dynamic modal logic with counting: when reduction axioms work and fail
• 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011
• Where do the natural numbers come from?
• A note on induction, abstraction, and Dedekind-finiteness
• INTERLEAVING LOGIC AND COUNTING
• Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†
• Semantic nominalism: how i learned to stop worrying and love universals
• Abstraction of Optional Numerical Values
• scientific article; zbMATH DE number 1984506 (Why is no real title available?)
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• Life on the range: Quine's thesis and semantic indeterminacy

This page was built for publication: Numerical abstraction via the Frege quantifier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q985002)