A Formalist Philosophy of Mathematics Part I: Arithmetic

Studia Logica 96 (2):219-238 (2010)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Classical Arithmetic as Part of Intuitionistic Arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Kant’s Theory of Arithmetic: A Constructive Approach? [REVIEW]Kristina Engelhard & Peter Mittelstaedt - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (2):245 - 271.
The Formalist Foundations of Mathematics.Johann Von Neumann - 1964 - In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.


Added to PP

87 (#139,178)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Conservative Deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.
Informal Proof, Formal Proof, Formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.

Add more citations

References found in this work

Is There a Problem About Substitutional Quantification?Saul A. Kripke - 1976 - In Gareth Evans & John McDowell (eds.), Truth and Meaning. Oxford University Press. pp. 324-419.
Higher-Order Logic.Johan van Benthem & Kees Doets - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.

Add more references