Formalism

In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 236--317 (2005)
  Copy   BIBTEX

Abstract

A comprehensive historical overview of formalist ideas in the philosophy of mathematics.

Categories

Keywords

Reprint years

DOI

10.1093/0195148770.003.0008

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Hilbert's formalism.Michael Detlefsen - 1993 - Revue Internationale de Philosophie 47 (186):285-304.
Logicism, Formalism, and Intuitionism.A. P. Bird - 2021 - Cantor's Paradise (00):00.
Hilbert program of formalism as a working philosophical direction for consideration of the bases of mathematics.N. V. Mikhailova - 2015 - Liberal Arts in Russia 4 (6):534.
Formalism and Hilbert’s understanding of consistency problems.Michael Detlefsen - 2021 - Archive for Mathematical Logic 60 (5):529-546.
Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.
Formalism.Martin Stone - 2002 - In Jules Coleman & Scott J. Shapiro (eds.), The Oxford Handbook of Jurisprudence and Philosophy of Law. Oxford University Press.
Formalism.Martin Stone - 2002 - In Jules Coleman & Scott J. Shapiro (eds.), The Oxford Handbook of Jurisprudence & Philosophy of Law. Oxford University Press.
Formalism and Pluralism.Michèle Friend - 2013 - In Pluralism in Mathematics: A New Position in Philosophy of Mathematics. Dordrecht, Netherland: Springer.
Constructive formalism.R. L. Goodstein - 1951 - Leicester [Eng.]: University College.
Formalism and Beyond: On the Nature of Mathematical Discourse.Godehard Link (ed.) - 2014 - Boston: De Gruyter.

Analytics

Added to PP
2014-02-01

Downloads
77 (#220,674)

6 months
16 (#172,464)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

Frege, Hankel, and Formalism in the Foundations.Richard Lawrence - 2021 - Journal for the History of Analytical Philosophy 9 (11).
Structuring Logical Space.Alejandro Pérez Carballo - 2014 - Philosophy and Phenomenological Research 92 (2):460-491.
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.

View all 40 citations / Add more citations

References found in this work

No references found.

Add more references