An edition of Truth through proof
(2010)
Truth through proof
a formalist foundation for mathematics
by Alan Weir
Share
×Close
'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.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Truth through proof: a formalist foundation for mathematics
2010, Clarendon Press
in English
0199541493 9780199541492
|
aaaa
|
Book Details
Table of Contents
1. Metaphysics
2. Ontological Reduction
3. Neo-formalism
4. Objections and Comparisons
5. Applying Mathematics
6. Proof Set in Concrete
7. Idealisation Naturalised
8. Logic.
Edition Notes
Includes bibliographical references (p. [262]-272) and indexes.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
- Library of Congress MARC record
- Library of Congress MARC record
- Internet Archive item record
- Internet Archive item record
- Better World Books record
- Library of Congress MARC record
- marc_columbia MARC record
- Harvard University record
- marc_nuls MARC record
- Internet Archive item record
- Harvard University record
Community Reviews (0)
Lists