Weir, A. (2011) Formalism in the philosophy of mathematics. Stanford Encyclopedia of Philosophy,
Full text not currently available from Enlighten.
Publisher's URL: http://plato.stanford.edu/entries/formalism-mathematics/
Abstract
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) |
---|---|
Status: | Published |
Refereed: | Yes |
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 |
ISSN: | 1095-5054 |
Published Online: | 12 January 2011 |
Copyright Holders: | Alan Weir |
University Staff: Request a correction | Enlighten Editors: Update this record