Alan Weir

Truth Through Proof

A Formalist Foundation for Mathematics

• Gebundenes Buch

Produktbeschreibung

Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.

Produktdetails

• Verlag: Oxford University Press, USA
• Seitenzahl: 296
• Erscheinungstermin: 9. Dezember 2010
• Englisch
• Abmessung: 234mm x 163mm x 23mm
• Gewicht: 599g
• ISBN-13: 9780199541492
• ISBN-10: 0199541493
• Artikelnr.: 30880938

Autorenporträt

Alan Weir is Head of the Department of Philosophy at the University of Glasgow. His main research interests have been in philosophy of logic and mathematics, but he has also written on philosophy of language, epistemology and the theory of perception.

Inhaltsangabe

Introduction
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
Conclusion
Appendix