A Formalist Philosophy of Mathematics Part I: Arithmetic

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

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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9283-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,060

External links

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

Through your library

My notes

Similar books and articles

Formalism and Hilbert’s understanding of consistency problems.Michael Detlefsen - 2021 - Archive for Mathematical Logic 60 (5):529-546.
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical problems from applied logic I.Anders Søgaard - 2007 - Studia Logica 87 (2-3):363-367.
Editorial Introduction. Truth Values: Part I. [REVIEW]Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 91 (3):295-304.
Saharon Shelah, cardinal arithmetic.Mirna DŽamonja - 1998 - Studia Logica 60 (3):443-448.
Arithmetic and Ontology: A Non-realist Philosophy of Arithmetic.Philip Hugly & Charles Sayward - 2006 - Amsterdam, Netherlands: rodopi.
A logic is referential iff it is selfextensional.Ryszard Wójcicki - 2003 - Studia Logica 73 (3):323 - 335.
Interpreting the compositional truth predicate in models of arithmetic.Cezary Cieśliński - 2021 - Archive for Mathematical Logic 60 (6):749-770.
Interpolation and amalgamation; pushing the limits. Part II.Judit X. Madarász - 1999 - Studia Logica 62 (1):1-19.
On expandability of models of Peano arithmetic. II.Roman Murawski - 1976 - Studia Logica 35 (4):421-431.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (2):155-179.

Analytics

Added to PP
2010-11-17

Downloads
65 (#262,159)

6 months
14 (#357,316)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A metalinguistic and computational approach to the problem of mathematical omniscience.Zeynep Soysal - 2022 - Philosophy and Phenomenological Research 106 (2):455-474.
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: essays in semantics. Oxford [Eng.]: Clarendon Press. pp. 324-419.
Higher-order Logic.Johan van Benthem & Kees Doets - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.

Add more references