Sciweavers

Share
NDJFL
2010

Numerical Abstraction via the Frege Quantifier

8 years 9 months ago
Numerical Abstraction via the Frege Quantifier
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a non-standard (but still first-order) cardinality quantifier abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a non-reductionist on of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.
Gian Aldo Antonelli
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where NDJFL
Authors Gian Aldo Antonelli
Comments (0)
books