Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge

Philosophia Mathematica 24 (3):401-404 (2016)
  Copy   BIBTEX

Abstract

The view that a mathematical proof is a sketch of or recipe for a formal derivation requires the proof to function as an argument that there is a suitable derivation. This is a mathematical conclusion, and to avoid a regress we require some other account of how the proof can establish it.

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkw012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Mathematical Proofs: The Beautiful and The Explanatory.Marcus Giaquinto - unknown
Of Proofs, Mathematicians, and Computers.Astrik Yepremyan - unknown
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.
Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.
Explanatory Proofs and Beautiful Proofs.Marc Lange - unknown
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
Mathematical proofs.Marco Panza - 2003 - Synthese 134 (1-2):119 - 158.

Analytics

Added to PP
2016-07-05

Downloads
55 (#283,585)

6 months
14 (#170,850)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Brendan Larvor
University of Hertfordshire

Citations of this work

Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.
Audience role in mathematical proof development.Zoe Ashton - 2020 - Synthese 198 (Suppl 26):6251-6275.

View all 7 citations / Add more citations

References found in this work

Proofs and refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.
Proofs and Refutations.Imre Lakatos - 1980 - Noûs 14 (3):474-478.
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Proofs and refutations (II).Imre Lakatos - 1963 - British Journal for the Philosophy of Science 14 (54):120-139.

View all 18 references / Add more references