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

Show Summary Details

subscribe or login to access all content.

Subscriber Login

Forgotten your password?