A formalist philosophy of mathematics part I: Arithmetic
Studia Logica 96 (2):219-238 (2010)
| Abstract | In this paper I present a formalist philosophy mathematics and apply it directly to Arithmetic. I propose that formalists concentrate on presenting compositional truth theories for mathematical languages that ultimately depend on formal methods. I argue that this proposal occupies a lush middle ground between traditional formalism, fictionalism, logicism and realism | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesH. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
Sébastien Gandon (2008). Which Arithmetization for Which Logicism? Russell on Relations and Quantities in The Principles of Mathematics. History and Philosophy of Logic 29 (1):1-30.
L. Luce (1991). Literalism and the Applicability of Arithmetic. British Journal for the Philosophy of Science 42 (4):469-489.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
M. Redhead (2004). Mathematics and the Mind. British Journal for the Philosophy of Science 55 (4):731-737.
Michael Potter (1998). Classical Arithmetic as Part of Intuitionistic Arithmetic. Grazer Philosophische Studien 55:127-41.
Kristina Engelhard & Peter Mittelstaedt (2008). Kant's Theory of Arithmetic: A Constructive Approach? Journal for General Philosophy of Science 39 (2):245 - 271.
Robert J. Baum (1972). The Instrumentalist and Formalist Elements of Berkeley's Philosophy of Mathematics. Studies in History and Philosophy of Science Part A 3 (2):119-134.
Stewart Shapiro (2000). Thinking About Mathematics: The Philosophy of Mathematics. Oxford University Press.
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
Analytics
Monthly downloads |
Added to index2010-11-17Total downloads20 ( #61,410 of 548,973 )Recent downloads (6 months)1 ( #63,511 of 548,973 )How can I increase my downloads? |
My notes
Discussion
