01331nam a2200289 a 4500 EDZ0000076353 StDuBDS 20150804193925.0 m||||||||d|||||||| cr|||||||||||| 101209s2010 enka fo 001 0 eng d 9780191594915 (ebook) : No price StDuBDS StDuBDS QA8.4 510.1 22 Weir, Alan. Truth through proof [electronic resource] : a formalist foundation for mathematics / Alan Weir. Oxford : Oxford University Press, 2010. 1 online resource (xiv, 281 p.) : ill. '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. Description based on print version record. Includes bibliographical references and index. Mathematics Philosophy. Logic, Symbolic and mathematical. Print version 9780199541492 Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001 36930 36930