Abstract

Philosophers have developed several detailed accounts of what makes some mathematical proofs explanatory. Significantly less attention has been paid, however, to what makes some proofs more explanatory than other proofs. That is problematic, since the reasons for thinking that some proofs explain are also reasons for thinking that some proofs are more explanatory than others. So in this paper, I develop an account of comparative explanation in mathematics. I propose a theory of the `at least as explanatory as' relation among mathematical proofs.