David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Review of Symbolic Logic 2 (1):175-207 (2009)
At the beginning of Die Grundlagen der Arithmetik (§2) , Frege observes that “it is in the nature of mathematics to prefer proof, where proof is possible”. This, of course, is true, but thinkers differ on why it is that mathematicians prefer proof. And what of propositions for which no proof is possible? What of axioms? This talk explores various notions of self-evidence, and the role they play in various foundational systems, notably those of Frege and Zermelo. I argue that both programs are undermined at a crucial point, namely when self-evidence is supported by holistic and even pragmatic considerations.
|Keywords||self-evidence mathematics proofs toread|
|Categories||categorize this paper)|
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
Stewart Shapiro (1997). Philosophy of Mathematics: Structure and Ontology. Oxford University Press.
Gottlob Frege (1991). Posthumous Writings. Wiley-Blackwell.
George Boolos (1998). Logic, Logic, and Logic. Harvard University Press.
Penelope Maddy (1990). Realism in Mathematics. Oxford University Prress.
Philip Kitcher & Wesley Salmon (eds.) (1989). Scientific Explanation. Univ of Minnesota Pr.
Citations of this work BETA
Richard Heck & Robert May (2011). The Composition of Thoughts. Noûs 45 (1):126-166.
Justin Clarke-Doane (2014). Moral Epistemology: The Mathematics Analogy. Noûs 48 (2):238-255.
Michael R. Koss (2015). Some Obstacles Facing a Semantic Foundation for Constructive Mathematics. Erkenntnis 80 (5):1055-1068.
Similar books and articles
Jonathan Kvanvig (2009). Restriction Strategies for Knowability : Some Lessons in False Hope. In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press
Robin Jeshion (2001). Frege's Notions of Self-Evidence. Mind 110 (440):937-976.
James Franklin (1996). Proof in Mathematics. Quakers Hill Press.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Tyler Burge (1998). Frege on Knowing the Foundation. Mind 107 (426):305-347.
James Franklin (1987). Non-Deductive Logic in Mathematics. British Journal for the Philosophy of Science 38 (1):1-18.
Ivan Welty (2011). Frege on Indirect Proof. History and Philosophy of Logic 32 (3):283-290.
Michael Dummett (1982). Frege and Kant on Geometry. Inquiry 25 (2):233 – 254.
Added to index2009-05-29
Total downloads179 ( #17,430 of 1,790,126 )
Recent downloads (6 months)8 ( #105,713 of 1,790,126 )
How can I increase my downloads?