Proof, Explanation, and Justification in Mathematical Practice

Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (4):551-568 (2020)
  Copy   BIBTEX

Abstract

In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The results of this empirical study suggest that mathematical explanations do occur in research articles published in mathematics journals, as indicated by the occurrence of explanation indicators. When compared with the use of justification indicators, however, the data suggest that justifications occur much more frequently than explanations in scholarly mathematical practice. The results also suggest that justificatory proofs occur much more frequently than explanatory proofs, thus suggesting that proof may be playing a larger justificatory role than an explanatory role in scholarly mathematical practice.

Similar books and articles

Mathematical Explanation beyond Explanatory Proof.William D’Alessandro - 2017 - British Journal for the Philosophy of Science 71 (2):581-603.
Mathematical rigor and proof.Yacin Hamami - 2022 - Review of Symbolic Logic 15 (2):409-449.
Explanation in Mathematical Practice.David Sandborg - 1997 - Dissertation, University of Pittsburgh
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Problemas para a Explicação Matemática.Eduardo Castro - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1437-1462.
Proof and Knowledge in Mathematics.Michael Detlefsen (ed.) - 1992 - New York: Routledge.

Analytics

Added to PP
2020-07-06

Downloads
608 (#27,231)

6 months
113 (#31,467)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Moti Mizrahi
Florida Institute of Technology

Citations of this work

Add more citations

References found in this work

A practical study of argument.Trudy Govier - 1991 - Belmont, Calif.: Wadsworth Pub. Co..
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.
Abstract Explanations in Science.Christopher Pincock - 2014 - British Journal for the Philosophy of Science 66 (4):857-882.
Introduction to Logic.Irving Marmer Copi, Carl Cohen & Kenneth McMahon - 1953 - New York, NY, USA: Macmillan. Edited by Carl Cohen & K. D. McMahon.
Understanding arguments: an introduction to informal logic.Walter Sinnott-Armstrong - 2015 - Australia: Cengage Learning. Edited by Robert J. Fogelin.

View all 35 references / Add more references