Title: Truth through proof
Description: '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.
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic, Metaphysics, Mathematics, philosophy, Logic, symbolic and mathematical