The Philosophical Significance of Tennenbaum's Theorem
Philosophia Mathematica 20 (1):114-121 (2012)
| Abstract | Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic result | |||||||||
| 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,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJuliette Kennedy & Roman Kossak (eds.) (2012). Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Cambridge University Press.
Sakae Yaegasi (2008). Tennenbaum's Theorem and Unary Functions. Notre Dame Journal of Formal Logic 49 (2):177-183.
Richard Watnick (1984). A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings. Journal of Symbolic Logic 49 (2):563-569.
Carl Mummert & Stephen G. Simpson (2004). An Incompleteness Theorem for $\Beta_{N}-Models$. Journal of Symbolic Logic 69 (2):612 - 616.
Thomas Macaulay Ferguson (2012). Notes on the Model Theory of DeMorgan Logics. Notre Dame Journal of Formal Logic 53 (1):113-132.
Wayne C. Myrvold (2003). A Loophole in Bell's Theorem? Parameter Dependence in the Hess‐Philipp Model. Philosophy of Science 70 (5):1357-1367.
Dexter Kozen (1988). A Finite Model Theorem for the Propositional Μ-Calculus. Studia Logica 47 (3):233 - 241.
Samir Okasha (2008). Fisher's Fundamental Theorem of Natural Selection—a Philosophical Analysis. British Journal for the Philosophy of Science 59 (3):319-351.
Douglas N. Hoover (1982). A Normal Form Theorem for Lω 1p, with Applications. Journal of Symbolic Logic 47 (3):605 - 624.
Matt Kaufmann (1983). Blunt and Topless End Extensions of Models of Set Theory. Journal of Symbolic Logic 48 (4):1053-1073.
Jeremy Avigad (2006). Mathematical Method and Proof. Synthese 153 (1):105 - 159.
Timothy J. Carlson (2003). Ranked Partial Structures. Journal of Symbolic Logic 68 (4):1109-1144.
Analytics
Monthly downloads |
Added to index2011-11-19Total downloads25 ( #49,702 of 551,105 )Recent downloads (6 months)1 ( #63,341 of 551,105 )How can I increase my downloads? |
My notes
Discussion
