Truth through proof
Subtitle: a formalist foundation for mathematics
By: Alan Weir
Publisher: Clarendon Press
Published: 2010
Place of publication: Oxford; New York
Language: eng
Number of pages: 281
ISBN-13: 9780199541492
Subjects: Mathematics; Philosophy; Symbolic and mathematical Logic; Metaphysics
Description: '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.
Notes: Includes bibliographical references (p. [262]-272) and indexes.
Table of contents: title: 1. Metaphysics; title: 2. Ontological Reduction; title: 3. Neo-formalism; title: 4. Objections and Comparisons; title: 5. Applying Mathematics; title: 6. Proof Set in Concrete; title: 7. Idealisation Naturalised; title: 8. Logic.