Truth Through Proof: A Formalist Foundation for MathematicsTruth Through Proof defends an anti platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances are truth valueless moves in a game. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance. This