In this paper we discuss three interrelated questions. First: is explanation in mathematics a topic that philosophers of mathematics can legitimately investigate? Second: are the specific aims that philosophers of mathematical explanation set themselves legitimate? Finally: are the models of explanation developed by philosophers of science useful tools for philosophers of mathematical explanation? We argue that the answer to all these questions is positive. Our views are completely opposite to the views that Mark Zelcer has put forward recently. Throughout this (...) paper, we show why Zelcer’s arguments fail. (shrink)

Scientific explanations are widely recognized to have instrumental value by helping scientists make predictions and control their environment. In this paper I raise, and provide a first analysis of, the question whether explanatory proofs in mathematics have analogous instrumental value. I first identify an important goal in mathematical practice: reusing resources from existing proofs to solve new problems. I then consider the more specific question: do explanatory proofs have instrumental value by promoting reuse of the resources they contain? In general, (...) I argue that the answer to this question is “no” and demonstrate this in detail for the theory of mathematical explanation developed by Marc Lange. (shrink)

One of the central aims of the philosophical analysis of mathematical explanation is to determine how one can distinguish explanatory proofs from non-explanatory proofs. In this paper, I take a closer look at the current status of the debate, and what the challenges for the philosophical analysis of explanatory proofs are. In order to provide an answer to these challenges, I suggest we start from analysing the concept understanding. More precisely, I will defend four claims: understanding is a condition for (...) explanation, unificatory understanding is a type of explanatory understanding, unificatory understanding is valuable in mathematics, and mathematical proofs can contribute to unificatory understanding. As a result, in a context where the epistemic aim is to unify mathematical results, I argue it is fruitful to make a distinction between proofs based on their explanatory value. (shrink)

Although there is a consensus among philosophers of mathematics and mathematicians that mathematical explanations exist, only a few authors have proposed accounts of explanation in mathematics. These accounts fit into the unificationist or top-down approach to explanation. We argue that these models can be complemented by a bottom-up approach to explanation in mathematics. We introduce the mechanistic model of explanation in science and discuss the possibility of using this model in mathematics, arguing that using it does not presuppose a Platonist (...) view of mathematics and allows one to gain insight into why a theorem is true by answering what-if-things-had-been-different questions. (shrink)

PurposeIn this article, we aim to present and defend a contextual approach to mathematical explanation.MethodTo do this, we introduce an epistemic reading of mathematical explanation.ResultsThe epistemic reading not only clarifies the link between mathematical explanation and mathematical understanding, but also allows us to explicate some contextual factors governing explanation. We then show how several accounts of mathematical explanation can be read in this approach.ConclusionThe contextual approach defended here clears up the notion of explanation and pushes us towards a pluralist vision (...) on mathematical explanation. (shrink)

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)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)