Truth through proof a formalist foundation for mathematics
'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...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Oxford
Oxford University Press
2010, 2010
|
| Subjects: | |
| Online Access: | |
| Collection: | Oxford University Press - Collection details see MPG.ReNa |
| Summary: | '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 |
|---|---|
| Physical Description: | xiv, 281 p. ill |
| ISBN: | 9780191594915 0191594911 |