David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
OUP Oxford (2010)
Truth Through Proof 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. 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. This framework allows for sentences whose truth-conditions are not representational, which are made true or false by conditions residing in the circumstances of utterances but not transparently in the sense. Applications to projectivism and fiction pave the way for the claim that mathematical utterances are made true or false by the existence of concrete proofs or refutations, though these truth-making conditions form no part of their sense or informational content. The position is compared with rivals, an account of the applicability of mathematics developed, and a new account of the nature of idealisation proffered in which it is argued that the finitistic limitations Gödel placed on proofs are without rational justification. Finally a non-classical logical system is provided in which excluded middle fails, yet enough logical power remains to recapture the results of standard mathematics.
|Keywords||Mathematics Philosophy Logic, Symbolic and mathematical Metaphysics|
|Categories||categorize this paper)|
|Call number||QA8.4.W45 2010|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
David Bain (2007). The Location of Pains. Philosophical Papers 36 (2):171-205.
Similar books and articles
Roman Murawski (2001). O dojrzewaniu świadomości różnicy między prawdziwością a dowodliwością w matematyce. Filozofia Nauki 1.
Charles Sayward (2005). A Wittgensteinian Philosophy of Mathematics. Logic and Logical Philosophy 15 (2):55-69.
Z. Damnjanovic (2012). Truth Through Proof: A Formalist Foundation for Mathematics * by Alan Weir. Analysis 72 (2):415-418.
Michael Gabbay (2010). A Formalist Philosophy of Mathematics Part I: Arithmetic. Studia Logica 96 (2):219-238.
Markus Pantsar (2009). Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics. Dissertation, University of Helsinki
M. Redhead (2004). Mathematics and the Mind. British Journal for the Philosophy of Science 55 (4):731-737.
J. P. Burgess (2011). Alan Weir. Truth Through Proof: A Formalist Foundation for Mathematics. Oxford: Clarendon Press, 2010. ISBN 978-0-19-954149-2. Pp. Xiv+281. [REVIEW] Philosophia Mathematica 19 (2):213-219.
Dale Jacquette (2006). Applied Mathematics in the Sciences. Croatian Journal of Philosophy 6 (2):237-267.
Mary Leng (2010). Mathematics and Reality. OUP Oxford.
Janet Folina (1994). Poincaré's Conception of the Objectivity of Mathematics. Philosophia Mathematica 2 (3):202-227.
Added to index2012-01-31
Total downloads4 ( #259,269 of 1,103,045 )
Recent downloads (6 months)3 ( #120,820 of 1,103,045 )
How can I increase my downloads?