- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Formalism
In Stewart Shapiro, Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 236--317 (2005)
Abstract
A comprehensive historical overview of formalist ideas in the philosophy of mathematics.Author's Profile
Other Versions
No versions found
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.
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.Jörg Neunhäuserer - 2025 - In Neunhäuserer Jörg, Introduction to the Philosophy of Mathematics. Berlin, Heidelberg: Springer. pp. 85-96.
Formalism.Martin Stone - 2002 - In Jules Coleman & Scott Shapiro, The Oxford Handbook of Jurisprudence & Philosophy of Law. New York: Oxford University Press.
Neo-formalism.Alan Weir - 2010 - In Truth Through Proof: A Formalist Foundation for Mathematics. Oxford, GB: Oxford University Press. pp. 68-98.
Formalism and Deductivism.Øystein Linnebo - 2017 - In Philosophy of Mathematics. Princeton, NJ: Princeton University Press. pp. 38-55.
Formalism and Pluralism.Michèle Friend - 2013 - In Michèle Friend, Pluralism in Mathematics: A New Position in Philosophy of Mathematics. Dordrecht, Netherland: Springer.
Analytics
Added to PP
2014-02-01
Downloads
140 (#311,031)
6 months
19 (#605,215)
2014-02-01
Downloads
140 (#311,031)
6 months
19 (#605,215)
Historical graph of downloads
Author's Profile
Citations of this work
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.
Rules and Meaning in Quantum Mechanics.Iulian D. Toader - 2025 - Cham: European Studies in Philosophy of Science Series, vol. 13, Springer.
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.
Frege, Hankel, and Formalism in the Foundations.Richard Lawrence - 2021 - Journal for the History of Analytical Philosophy 9 (11).
Peacock’s principle as a conservative strategy.Iulian D. Toader - 2026 - Archive for History of Exact Sciences 80.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation