Logicism, quantifiers, and abstraction

Abstract

With the aid of a non-standard (but still first-order) cardinality quantifier and an extra-logical operator representing numerical abstraction, this paper presents a formalization of first-order arithmetic, in which numbers are abstracta of the equinumerosity relation, their properties derived from those of the cardinality quantifier and the abstraction operator.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
6 (#1,430,516)

6 months
0

Historical graph of downloads
How can I increase my downloads?

Author's Profile

G. Aldo Antonelli
University of California, Davis

Citations of this work

(Math, science, ?).M. Kary - 2009 - Axiomathes 19 (3):61-86.
Math, Science,?M. Kary - 2009 - Axiomathes 19 (3):321-339.

Add more citations

References found in this work

No references found.

Add more references