- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Truth Through Proof: A Formalist Foundation for Mathematics
Oxford, England: Oxford University Press (2010)
Abstract
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 circumstanceAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
O dojrzewaniu świadomości różnicy między prawdziwością a dowodliwością w matematyce.Roman Murawski - 2001 - Filozofia Nauki 1.
A Wittgensteinian Philosophy of Mathematics.Charles Sayward - 2005 - Logic and Logical Philosophy 15 (2):55-69.
Truth through proof: A formalist foundation for mathematics * by Alan Weir.Z. Damnjanovic - 2012 - Analysis 72 (2):415-418.
Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics.Markus Pantsar - 2009 - Dissertation, University of Helsinki
Mathematics and the mind.Michael Redhead - 2004 - British Journal for the Philosophy of Science 55 (4):731-737.
Poincaré's conception of the objectivity of mathematics.Janet Folina - 1994 - Philosophia Mathematica 2 (3):202-227.
Analytics
Added to PP
2012-01-31
Downloads
92 (#187,012)
6 months
18 (#143,247)
2012-01-31
Downloads
92 (#187,012)
6 months
18 (#143,247)
Historical graph of downloads
Author's Profile
Citations of this work
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
A Metasemantic Challenge for Mathematical Determinacy.Jared Warren & Daniel Waxman - 2020 - Synthese 197 (2):477-495.
Conservative deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-ldh8k uwo