Why Axiomatize Arithmetic?
Sorites 16:54-61 (2005)
| Abstract | This is a dialogue in the philosophy of mathematics that focuses on these issues: Are the Peano axioms for arithmetic epistemologically irrelevant? What is the source of our knowledge of these axioms? What is the epistemological relationship between arithmetical laws and the particularities of number? | |||||||||
| Keywords | Peano axioms arithmetic | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRichard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Fred G. Abramson & Leo A. Harrington (1978). Models Without Indiscernibles. Journal of Symbolic Logic 43 (3):572-600.
Charles Sayward (2000). Remarks on Peano Arithmetic. Russell 20:27-32.
Pasquale Frascolla (1997). The Tractatus System of Arithmetic. Synthese 112 (3):353-378.
Shmuel Lifsches & Saharon Shelah (1997). Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders. Journal of Symbolic Logic 62 (3):848-872.
Richard Kaye (1991). Model-Theoretic Properties Characterizing Peano Arithmetic. Journal of Symbolic Logic 56 (3):949-963.
George Mills (1978). A Model of Peano Arithmetic with No Elementary End Extension. Journal of Symbolic Logic 43 (3):563-567.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
Henryk Kotlarski (1984). Some Remarks on Initial Segments in Models of Peano Arithmetic. Journal of Symbolic Logic 49 (3):955-960.
Analytics
Monthly downloads |
Added to index2011-01-19Total downloads14 ( #83,151 of 549,128 )Recent downloads (6 months)4 ( #19,263 of 549,128 )How can I increase my downloads? |
My notes
Discussion
