- 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 * by Alan Weir
Analysis 72 (2):415-418 (2012)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
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.Alan Weir - 2010 - Oxford, GB: Oxford University Press.
Truth through Proof: A Formalist Foundation for Mathematics.M. Leng - 2015 - Philosophical Quarterly 65 (259):288-292.
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.
Truth-bearers and the Liar - a reply to Alan Weir.Laurence Goldstein - 2001 - Analysis 61 (2):115-126.
Themes from Weir: A Celebration of the Philosophy of Alan Weir.Adam Rieger & Stephan Leuenberger (eds.) - 2024 - Cham: Springer Verlag.
A Neo-Formalist Approach to Mathematical Truth.Alan Weir - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 34:41-47.
Proof Set in Concrete.Alan Weir - 2010 - In Truth Through Proof: A Formalist Foundation for Mathematics. Oxford, GB: Oxford University Press. pp. 152-191.
Introduction.Alan Weir - 2010 - In Truth Through Proof: A Formalist Foundation for Mathematics. Oxford, GB: Oxford University Press. pp. 1-11.
Analytics
Added to PP
2012-02-17
Downloads
233 (#174,835)
6 months
50 (#171,357)
2012-02-17
Downloads
233 (#174,835)
6 months
50 (#171,357)
Historical graph of downloads
Author's Profile
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