Synthese 153 (1):105 - 159 (2006)
On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
References found in this work BETA
Interpreting Classical Theories in Constructive Ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Citations of this work BETA
Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
Gauss' Quadratic Reciprocity Theorem and Mathematical Fruitfulness.Audrey Yap - 2011 - Studies in History and Philosophy of Science Part A 42 (3):410-415.
Challenging Epistemology: Interactive Proofs and Zero Knowledge.Justin Bledin - 2008 - Journal of Applied Logic 6 (4):490-501.
Similar books and articles
Computers, Justification, and Mathematical Knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
.[author unknown] - unknown
Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Added to index2009-01-28
Total downloads88 ( #59,404 of 2,172,903 )
Recent downloads (6 months)7 ( #40,283 of 2,172,903 )
How can I increase my downloads?