Unlike explanation in science, explanation in mathematics has received relatively scant attention from philosophers. Whereas there are canonical examples of scientific explanations, there are few examples that have become widely accepted as exhibiting the distinction between mathematical proofs that explain why some mathematical theorem holds and proofs that merely prove that the theorem holds without revealing the reason why it holds. This essay offers some examples of proofs that mathematicians have considered explanatory, and it argues that these examples suggest a (...) particular account of explanation in mathematics. The essay compares its account to Steiner's and Kitcher's. Among the topics that arise are proofs that exploit symmetries, mathematical coincidences, brute-force proofs, simplicity in mathematics, merely clever proofs, and proofs that unify what other proofs treat as separate cases. (shrink)

Ground is all the rage in contemporary metaphysics. But what is its nature? Some metaphysicians defend what we could call, following Skiles and Trogdon (2021), the inheritance view: it is because constitutive forms of metaphysical explanation are such-and-such that we should believe that ground is so-and-so. However, many putative instances of inheritance are not primarily motivated by scientific considerations. This limitation is harmless if one thinks that ground and science are best kept apart. Contrary to this view, we believe that (...) ground is a highly serviceable tool for investigating metaphysical areas of science. In this paper, we defend a naturalistic version of the inheritance view which takes constitutive scientific explanation as a better guide to ground. After illustrating the approach and its merits, we discuss some implications of the emerging scientific conception for the theory of ground at large. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

This is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)