Mathematical Explanation and Ontology: an Analysis of Applied Mathematics and Mathematical Proofs
- Autores: Navia Rivas de Castro
- Directores de la Tesis: Concepción Martínez Vidal (dir. tes.), Mary Leng (dir. tes.)
- Lectura: En la Universidade de Santiago de Compostela ( España ) en 2020
- Idioma: inglés
- Tribunal Calificador de la Tesis: José Ferreirós Domínguez (presid.), José L. Falguera López (secret.), Silvia Jonas (voc.)
- Programa de doctorado: Programa de Doctorado en Lógica y Filosofía de la Ciencia por la Universidad de A Coruña; la Universidad de La Laguna; la Universidad de Salamanca; la Universidad de Santiago de Compostela; la Universidad de Valladolid y la Universitat de València (Estudi General)
- Materias:
- Enlaces
- Tesis en acceso abierto en: MINERVA
- Resumen
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.
