David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophia Mathematica 11 (1):53-66 (2003)
We discuss the philosophical status of the statement that (9n – 1) is divisible by 8 for various sizes of the number n. We argue that even this simple problem reveals deep tensions between truth and verification. Using Gillies's empiricist classification of theories into levels, we propose that statements in arithmetic should be classified into three different levels depending on the sizes of the numbers involved. We conclude by discussing the relationship between the real number system and the physical continuum.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Peter Smith (2008). Ancestral Arithmetic and Isaacson's Thesis. Analysis 68 (297):1–10.
Charles Sayward (2005). Why Axiomatize Arithmetic? Sorites 16:54-61.
Gottlob Frege (1953/1968). The Foundations of Arithmetic. Evanston, Ill.,Northwestern University Press.
António M. Fernandes & Fernando Ferreira (2002). Groundwork for Weak Analysis. Journal of Symbolic Logic 67 (2):557-578.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Wojciech Krysztofiak (2012). Indexed Natural Numbers in Mind: A Formal Model of the Basic Mature Number Competence. [REVIEW] Axiomathes 22 (4):433-456.
Added to index2009-01-28
Total downloads13 ( #121,151 of 1,101,657 )
Recent downloads (6 months)7 ( #35,000 of 1,101,657 )
How can I increase my downloads?