I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

Explanations are backed by many different relations: causation, grounding, and arguably others too. But why are these different relations capable of backing explanations? In virtue of what are they explanatory? In this paper, I propose and defend a monistic account of explanation-backing relations. On my account, there is a single relation which backs all cases of explanation, and which explains why those other relations are explanation-backing.

In this essay, I propose a functionalist theory of grounding (functionalist-grounding). Specifically, I argue that grounding is a second-order phenomenon that is realized by relations that play the noncausal explanatoriness role. I also show that functionalist-grounding can deal with a powerful challenge. Appeals to explanatory unificationism have been made to argue that the success of noncausal explanations does not depend on the existence of grounding relations. Against this, I argue that a systematization involving functionalist-grounding is superior to its anti-relational counterpart.

Explanatory realism is the view that explanations work by providing information about relations of productive determination such as causation or grounding. The view has gained considerable popularity in the last decades, especially in the context of metaphysical debates about non-causal explanation. What makes the view particularly attractive is that it fits nicely with the idea that not all explanations are causal whilst avoiding an implausible pluralism about explanation. Another attractive feature of the view is that it allows explanation to be (...) a partially epistemic, context-dependent phenomenon. In spite of its attractiveness, explanatory realism has recently been subject to criticism. In particular, Taylor :197–219, 2018). has presented four types of explanation that the view allegedly cannot account for. This paper defends explanatory realism against Taylor’s challenges. We will show that Taylor’s counterexamples are either explanations that turn out to provide information about entities standing in productive determination relations or that they are not genuine explanations in the first place. (shrink)

If ontic dependence is the basis of explanation, there cannot be mathematical explanations. Accounting for the explanatory dependency between mathematical properties and empirical phenomena poses i...

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

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

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)