Empiricism in arithmetic and analysis
Philosophia Mathematica 11 (1):53-66 (2003)
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPeter 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads5 ( #160,284 of 549,060 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
