| 000 | 01347nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | sulb-eb0018031 | ||
| 003 | BD-SySUS | ||
| 005 | 20160405161234.0 | ||
| 008 | 101209s2010 enka fo 001|0|eng d | ||
| 020 |
_a9780191594915 (ebook) : _cNo price |
||
| 040 |
_aStDuBDS _beng _cStDuBDS _dBD-SySUS _epn |
||
| 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 |
| 942 |
_2Dewey Decimal Classification _ceBooks |
||
| 999 |
_c39492 _d39492 |
||