Abstract

Mathematical proofs aim to establish the truth of mathematical propositions by means of logical rules. Some recent literature in philosophy of mathematics alleges that some mathematical proofs also reveal why the proved mathematical propositions are true. These mathematical proofs are called explanatory mathematical proofs. In this paper, I present and discuss some salient problems around mathematical explanation: the existence problem, the normative problem, the explanandum problems of truth value and psychological value, the logical structure problem, the regress problem and the modelling problem. At the end, I sum up two contemporary models for mathematical explanation – the deductive-nomological model and the model of Steiner. I analyse these models against the previous problems.