Jump to ContentJump to Main Navigation
The Oxford Handbook of Philosophy of Mathematics and Logic$
Users without a subscription are not able to see the full content.

Stewart Shapiro

Print publication date: 2005

Print ISBN-13: 9780195148770

Published to Oxford Scholarship Online: July 2005

DOI: 10.1093/0195148770.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (oxford.universitypressscholarship.com). (c) Copyright Oxford University Press, 2020. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 13 August 2020



(p.236) Formalism
The Oxford Handbook of Philosophy of Mathematics and Logic

Michael Detlefsen (Contributor Webpage)

Oxford University Press

This chapter traces the philosophical and mathematical origins of formalist ideas. On the philosophical side, the key element is a certain freedom the mathematician is taken to have—namely, the freedom to “create” methods of reasoning that are symbolical rather than contentual in character, but which nonetheless serve as efficient and reliable means for deriving contentual conclusions. Mathematically, such methods came to prominence with the rapid development of algebra and the algebraic or “analytical” approach to geometry in the 17th century. Formalism received its most mature formulation in the foundational writings of David Hilbert, who maintained that, modulo a proof of their consistency, the mathematician is free to stipulate that the concepts she introduces have exactly the properties she provides for them in the axioms by which she introduces them. Such items as imaginary and complex numbers are, I argue, examples of concepts (or expressions) introduced in this way. Kurt Gödel’s incompleteness theorems pose a serious problem for formalism but do not rule out the possible success of a carefully formulated version of it.

Keywords:   formalism, freedom, create, symbolical, contentual, algebraic, analytical, imaginary number, complex number, Hilbert, Gödel, incompleteness theorems

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .