- 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, GB: 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 circumstance.Author's Profile
Other Versions
No versions found
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
Chapters
Similar books and articles
Truth through proof: A formalist foundation for mathematics * by Alan Weir.Z. Damnjanovic - 2012 - Analysis 72 (2):415-418.
Alan Weir, Truth Through Proof: A Formalist Foundation for Mathematics. Reviewed by.Julian C. Cole - 2012 - Philosophy in Review 32 (6):529-532.
Truth through Proof: A Formalist Foundation for Mathematics.M. Leng - 2015 - Philosophical Quarterly 65 (259):288-292.
Alan Weir. Truth through Proof: A Formalist Foundation for Mathematics. Oxford: Clarendon Press, 2010. ISBN 978-0-19-954149-2. Pp. xiv+281: Critical Studies/Book Reviews.John P. Burgess - 2011 - Philosophia Mathematica 19 (2):213-219.
Informal Proof, Formal Proof, Formalism, and Fictionalism.Mary Leng - 2024 - In Adam Rieger & Stephan Leuenberger, Themes from Weir: A Celebration of the Philosophy of Alan Weir. Cham: Springer Verlag. pp. 197-204.
Themes from Weir: A Celebration of the Philosophy of Alan Weir.Adam Rieger & Stephan Leuenberger (eds.) - 2024 - Cham: Springer Verlag.
Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks - 2015 - Baltic Journal of Modern Computing 3 (1):1-15.
Formalism and Hilbert’s understanding of consistency problems.Michael Detlefsen - 2021 - Archive for Mathematical Logic 60 (5):529-546.
Analytics
Added to PP
2012-01-31
Downloads
215 (#187,792)
6 months
43 (#197,025)
2012-01-31
Downloads
215 (#187,792)
6 months
43 (#197,025)
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 ficitionalist approach to the ontology of mathematics.Gustavo E. Romero - 2025 - Theorem 1 (1):9-17.
A Metasemantic Challenge for Mathematical Determinacy.Jared Warren & Daniel Waxman - 2020 - Synthese 197 (2):477-495.
References found in this work
Y.Bernd Moeller & Bruno Jahn - 2005 - In Bernd Moeller & Bruno Jahn, Deutsche Biographische Enzyklopädie der Theologie und der Kirchen (DBETh). Berlin, New York: De Gruyter Saur. pp. 1437-1438.
50. Eutropius.C. Wagener & Heinrich Deiter - 1885 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 44 (2):300-352.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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