| 000 | 01331nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | EDZ0000076353 | ||
| 003 | StDuBDS | ||
| 005 | 20150804193925.0 | ||
| 006 | m||||||||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 101209s2010 enka fo 001 0 eng d | ||
| 020 |
_a9780191594915 (ebook) : _cNo price |
||
| 040 |
_aStDuBDS _cStDuBDS |
||
| 050 | 4 | _aQA8.4 | |
| 082 | 0 | 4 |
_a510.1 _222 |
| 100 | 1 | _aWeir, Alan. | |
| 245 | 1 | 0 |
_aTruth through proof _h[electronic resource] : _ba formalist foundation for mathematics / _cAlan Weir. |
| 260 |
_aOxford : _bOxford University Press, _c2010. |
||
| 300 |
_a1 online resource (xiv, 281 p.) : _bill. |
||
| 520 | 8 | _a'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. | |
| 588 | _aDescription based on print version record. | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aMathematics _xPhilosophy. |
|
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 776 | 0 | 8 |
_iPrint version _z9780199541492 |
| 856 | 4 | 0 |
_3Oxford scholarship online _uhttp://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001 |
| 999 |
_c36930 _d36930 |
||