• 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

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.

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.