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)

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

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)