Formalism

In Stewart Shapiro, Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: 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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,148

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.
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.
Logicism, Formalism, and Intuitionism.A. P. Bird - 2021 - Cantor's Paradise (00):00.
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, The Oxford Handbook of Jurisprudence and Philosophy of Law. New York: Oxford University Press UK.
Formalism.Martin Stone - 2002 - In Jules L. Coleman & Scott Shapiro, The Oxford Handbook of Jurisprudence & Philosophy of Law. New York: Oxford University Press.
Formalism and Pluralism.Michèle Friend - 2013 - In Michèle Friend, Pluralism in Mathematics: A New Position in Philosophy of Mathematics. Dordrecht, Netherland: Springer.
Constructive formalism.R. L. Goodstein - 1951 - Leicester [Eng.]: University College.
Legal Formalism.Ernest J. Weinrib - 1996 - In Dennis M. Patterson, A Companion to Philosophy of Law and Legal Theory. Blackwell. pp. 327–338.

Analytics

Added to PP
2014-02-01

Downloads
97 (#232,100)

6 months
11 (#332,157)

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).
Is Bohr’s Correspondence Principle just Hankel’s Principle of Permanence?Iulian D. Toader - 2024 - Studies in History and Philosophy of Science 103 (C):137-145.
Structuring Logical Space.Alejandro Pérez Carballo - 2014 - Philosophy and Phenomenological Research 92 (2):460-491.

View all 48 citations / Add more citations

References found in this work

No references found.

Add more references