Truth through proof [electronic resource] : a formalist foundation for mathematics / Alan Weir.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780191594915 (ebook) :
- 510.1 22
- QA8.4
'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.
There are no comments on this title.