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) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJ. 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.
P. Smith (2012). Truth Through Proof, by Alan Weir. Mind 120 (480):1318-1324.
Michael Gabbay (2010). A Formalist Philosophy of Mathematics Part I: Arithmetic. Studia Logica 96 (2):219-238.
Alan Weir (1983). Truth Conditions and Truth Values. Analysis 43 (4):176 - 180.
James Franklin (1996). Proof in Mathematics. Quakers Hill Press.
Laurence Goldstein (2001). Truth-Bearers and the Liar – a Reply to Alan Weir. Analysis 61 (270):115–126.
Stewart Shapiro (2004). Foundations of Mathematics: Metaphysics, Epistemology, Structure. Philosophical Quarterly 54 (214):16 - 37.
M. Redhead (2004). Mathematics and the Mind. British Journal for the Philosophy of Science 55 (4):731-737.
P. R. Baxandall (ed.) (1978). Proof in Mathematics ("If", "Then" and "Perhaps"): A Collection of Material Illustrating the Nature and Variety of the Idea of Proof in Mathematics. University of Keele, Institute of Education.
Alan Baker (2003). The Indispensability Argument and Multiple Foundations for Mathematics. Philosophical Quarterly 53 (210):49–67.
Analytics
Monthly downloads |
Added to index2012-02-17Total downloads8 ( #123,255 of 550,803 )Recent downloads (6 months)1 ( #63,425 of 550,803 )How can I increase my downloads? |
My notes
Discussion
