David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Foundations of Science 14 (1-2):9-26 (2009)
Kant discovered a philosophical problem with mathematical proof. Despite being a priori , its methodology involves more than analytic truth. But what else is involved? This problem is widely taken to have been solved by Frege’s extension of logic beyond its restricted (and largely Aristotelian) form. Nevertheless, a successor problem remains: both traditional and contemporary (classical) mathematical proofs, although conforming to the norms of contemporary (classical) logic, never were, and still aren’t, executed by mathematicians in a way that transparently reveals why these proofs—written in the vernacular to this very day—succeed in conforming to those norms.
|Keywords||Mathematical proof Reasoning Logic Meaning Natural language|
|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
Jody Azzouni (2000). Applying Mathematics. The Monist 83 (2):209-227.
Jody Azzouni (1994). Metaphysical Myths, Mathematical Practice: The Ontology and Epistemology of the Exact Sciences. Cambridge University Press.
Jody Azzouni (2000). Stipulation, Logic, and Ontological Independence. Philosophia Mathematica 8 (3):225-243.
Jody Azzouni (2004). The Derivation-Indicator View of Mathematical Practice. Philosophia Mathematica 12 (2):81-106.
Citations of this work BETA
No citations found.
Similar books and articles
John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3):269-286.
Brendan Larvor (2012). How to Think About Informal Proofs. Synthese 187 (2):715-730.
Edwin Coleman (2009). The Surveyability of Long Proofs. Foundations of Science 14 (1-2):27-43.
Wilfried Sieg & John Byrnes (1998). Normal Natural Deduction Proofs (in Classical Logic). Studia Logica 60 (1):67-106.
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.
Andrew Aberdein (2006). The Informal Logic of Mathematical Proof. In Reuben Hersh (ed.), 18 Unconventional Essays About the Nature of Mathematics. Springer-Verlag. 56-70.
Sven Ove Hansson (2001). The Structure of Values and Norms. Cambridge University Press.
Marianna Antonutti Marfori (2010). Informal Proofs and Mathematical Rigour. Studia Logica 96 (2):261-272.
Ian J. Dove (2009). Towards a Theory of Mathematical Argument. Foundations of Science 14 (1-2):136-152.
Added to index2009-01-28
Total downloads33 ( #55,680 of 1,099,817 )
Recent downloads (6 months)3 ( #126,844 of 1,099,817 )
How can I increase my downloads?