I've recently encountered differences between Hilbert's formalism and game formalism.

They seem pretty much similar in my eyes. I wish to understand in what way does Hilbert’s formalism resemble game formalism? In what way does it differ?


Alan Weir distinguishes between game formalism and Hilbert's formalism. He describes Hilbert's formalism as follows:

The Hilbertian position differs [from game formalism] because it depends on a distinction within mathematical language between a finitary sector, whose sentences express contentful propositions, and an ideal, or infinitary sector. Where exactly Hilbert drew the distinction, or where it should be drawn, is a matter of debate. Crucially, though, Hilbert adopted an instrumentalistic attitude towards the ideal sector. The formulae of this language are, or are treated as if they are, uninterpreted, having the syntactic form of sentences to which we can apply formal rules of transformation and inference but no semantics. Nonetheless they are, or can be useful, if the ideal sector conservatively extends the finitary, that is if no proof from finitary premisses to a finitary conclusion which takes a detour through the infinitary language yields a conclusion we could not have reached, albeit perhaps (herein lies the utility) by a longer, more unwieldy proof.

By contrast he describes game formalism as follows:

Returning now to our non-Hilbertian focus, the earlier formalism which Frege attacked does not divide mathematics into the aforementioned dual categories of the finitary/contentful, and the infinitary/essentially meaningless but, on the contrary, treats all of mathematics in a unitary and homogeneous fashion.

Game formalism treats all of mathematics as a game with no commitment to "an ontology of objects or properties". Hilbert's formalism divides mathematics into finitary and infinitary sectors with only the infinitary sector remaining uninterpreted.

Weir, Alan, "Formalism in the Philosophy of Mathematics", The Stanford Encyclopedia of Philosophy (Fall 2019 Edition), Edward N. Zalta (ed.), forthcoming URL = https://plato.stanford.edu/archives/fall2019/entries/formalism-mathematics/.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.