Weir, Alan.
Truth through proof a formalist foundation for mathematics / [electronic resource] : Alan Weir. - Oxford : Oxford University Press, 2010. - 1 online resource (xiv, 281 p.) : ill.
Includes bibliographical references and index.
'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.
9780191594915 (ebook) : No price
Mathematics--Philosophy.
Logic, Symbolic and mathematical.
QA8.4
510.1
Truth through proof a formalist foundation for mathematics / [electronic resource] : Alan Weir. - Oxford : Oxford University Press, 2010. - 1 online resource (xiv, 281 p.) : ill.
Includes bibliographical references and index.
'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.
9780191594915 (ebook) : No price
Mathematics--Philosophy.
Logic, Symbolic and mathematical.
QA8.4
510.1