Truth through proof [electronic resource] : a formalist foundation for mathematics / Alan Weir. Weir, Alan. Mathematics Philosophy. Logic, Symbolic and mathematical. QA8.4 510.1 22 Includes bibliographical references and index. Description based on print version record. 'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance. Oxford : Oxford University Press, 2010. 2010. 2010 Text 1 online resource (xiv, 281 p.) : http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001 eng