Logic and nothing else


Clauses (1) and (2) guarantee the inclusion of all 'intuitive' natural numbers, and (3) guarantees the exclusion of all other objects. Thus, in particular, no nonstandard numbers, which would follow after the intuitive ones are admitted (nonstandard numbers are found in nonstandard models of Peano arithmetic, in which the standard natural numbers are followed by one or more 'copies' of integers running from minus infinity to infinity)



    Upload a copy of this work     Papers currently archived: 94,549

External links

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.

Similar books and articles

Alien Intruders in Relevant Arithmetic.Robert Meyer & Chris Mortensen - 2021 - Australasian Journal of Logic 18 (5):401-425.
A sheaf-theoretic foundation for nonstandard analysis.Erik Palmgren - 1997 - Annals of Pure and Applied Logic 85 (1):69-86.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
Numerical Abstraction via the Frege Quantifier.G. Aldo Antonelli - 2010 - Notre Dame Journal of Formal Logic 51 (2):161-179.
God and the Numbers.Paul Studtmann - 2023 - Journal of Philosophy 120 (12):641-655.


Added to PP

52 (#302,846)

6 months
6 (#738,325)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references