Mathematical Explanation and Ontology: An Analysis of Applied Mathematics and Mathematical Proofs

Abstract

The present work aims at providing an account of mathematical explanation in two different areas: scientific explanation and within mathematics. The research is addressed from two different perspectives: the one arising from an ontological concern about mathematical entities, and the other originating from a methodological choice: to study our chosen problems (mathematical explanation in science and in mathematics itself) in mathematical practice, that is to say, looking at the way mathematicians understand and perform their work in these diverse areas, including a case study for the context of intra-mathematical explanation. The central target is the analysis of the role that mathematical explanation plays in science and its relevance to the success or failure of scientific theories. The ontological question of whether the explanatory role of abstract objects, mathematical objects in particular, is enough to postulate their existence will be one of the issues to be addressed. Moreover, the possibility of a unified theory of explanation which can accommodate both external and internal mathematical explanation will also be considered. In order to go deeper into these issues, the research includes: (1) an analysis how the question of what is involved in internal mathematical explanation has been addressed in the literature, an analysis of the role of mathematical proof and the reasons why it makes sense to search for more explanatory proofs of already known results, and (2) an analysis of the relation between the use of mathematics in scientific explanation and the ontological commitment that arises from these explanatory tools in science. Part of the present work consists of an analysis of the explanatory role of mathematics through the study of cases reflecting this role. Case studies is one of the main sources of data in order to clarify the role mathematical entities play, among other methodological resources.