Graduate studies at Western
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||Formalism Philosophy of Mathematics Truth Theory Fictionalism|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Philip Hugly & Charles Sayward (2006). Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic. rodopi.
H. 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? [REVIEW] 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.
Added to index2010-11-17
Total downloads21 ( #65,455 of 739,366 )
Recent downloads (6 months)1 ( #61,680 of 739,366 )
How can I increase my downloads?