# Proof, Explanation, and Justification in Mathematical Practice

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

**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.

**Keywords**

**Categories**

(categorize this paper)

**PhilPapers/Archive ID**

MIZPEA

**Upload history**

Archival date: 2020-07-06

View other versions

View other versions

**Added to PP index**

2020-07-06

**Total views**

144 ( #34,816 of 2,433,173 )

**Recent downloads (6 months)**

39 ( #19,297 of 2,433,173 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.*