Recently, there have been several attempts to generalize the counterfactual theory of causal explanations to mathematical explanations. The central idea of these attempts is to use conditionals whose antecedents express a mathematical impossibility. Such countermathematical conditionals are plugged into the explanatory scheme of the counterfactual theory and—so is the hope—capture mathematical explanations. Here, I dash the hope that countermathematical explanations simply parallel counterfactual explanations. In particular, I show that explanations based on countermathematicals are susceptible to three problems counterfactual explanations do (...) not face. These problems seriously challenge the prospects for a counterfactual theory of explanation that is meant to cover mathematical explanations. (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)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)