Formalism in the philosophy of mathematics

Weir, A. (2011) Formalism in the philosophy of mathematics. Stanford Encyclopedia of Philosophy,

Full text not currently available from Enlighten.

Publisher's URL:


The guiding idea behind formalism is that mathematics is not a body of propositions representing an abstract sector of reality but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess. This idea has some intuitive plausibility: consider the tyro toiling at multiplication tables or the student using a standard algorithm for differentiating or integrating a function. It also corresponds to some aspects of the practice of advanced mathematicians in some periods—for example, the treatment of imaginary numbers for some time after Bombelli's introduction of them, and perhaps the attitude of some contemporary mathematicians towards the higher flights of set theory. Finally, it is often the position to which philosophically naïve respondents will gesture towards, when pestered by questions as to the nature of mathematics.

Item Type:Articles (Other)
Glasgow Author(s) Enlighten ID:Weir, Professor Alan
Authors: Weir, A.
Subjects:B Philosophy. Psychology. Religion > BC Logic
College/School:College of Arts & Humanities > School of Humanities > Philosophy
Journal Name:Stanford Encyclopedia of Philosophy
Publisher:Stanford University
Published Online:12 January 2011
Copyright Holders:Alan Weir

University Staff: Request a correction | Enlighten Editors: Update this record