Truth Through Proof: A Formalist Foundation for Mathematics

by

Write The First Customer Review

Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances are truth-valueless moves in a game. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance. This framework allows for sentences whose truth-conditions are not ...

Truth Through Proof: A Formalist Foundation for Mathematics 2010, Oxford University Press, Oxford

ISBN-13: 9780199541492

Hardcover

Select