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.

Other Versions

No versions found

Similar books and articles

Explanation in Mathematical Practice.David Sandborg - 1997 - Dissertation, University of Pittsburgh
Comparing Mathematical Explanations.Isaac Wilhelm - 2023 - British Journal for the Philosophy of Science 74 (1):269-290.
Mathematical rigor and proof.Yacin Hamami - 2022 - Review of Symbolic Logic 15 (2):409-449.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.

Analytics

Added to PP
2020-07-06

Downloads
920 (#25,647)

6 months
169 (#24,511)

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.

View all 36 references / Add more references