Jump to ContentJump to Main Navigation
Truth Through Proof
Users without a subscription are not able to see the full content.

Truth Through Proof: A Formalist Foundation for Mathematics

Alan Weir


This book defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances are truth-valueless moves in a game. This study aims to develop a more satisfactory successor to game formalism utilizing a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance. This framework allows for sentences whose truth-conditions are not representational, which are made true or false by conditions residing in the circumstances of ... More

Keywords: Platonism, Formalism, neo-Fregean, projectivism, fiction, mathematics, non-classical logic, idealization, Gödel, Sense

Bibliographic Information

Print publication date: 2010 Print ISBN-13: 9780199541492
Published to Oxford Scholarship Online: January 2011 DOI:10.1093/acprof:oso/9780199541492.001.0001


Affiliations are at time of print publication.

Alan Weir, author
Professor of Philosophy, University of Glasgow
Author Webpage