TY  - BOOK
AU  - Weir,Alan
TI  - Truth through proof: a formalist foundation for mathematics 
SN  - 9780191594915 (ebook) :
AV  - QA8.4 
U1  - 510.1 22
PY  - 2010///
CY  - Oxford
PB  - Oxford University Press
KW  - Mathematics
KW  - Philosophy
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
N2  - '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
UR  - http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
ER  -