The explanatoriness of foundational theories

titleThe explanatoriness of foundational theories
start_date2025/03/17
schedule17h-19h
onlineno
location_infosalle de conférence de l'IHPST & en ligne
summaryThis talk aims to answer two main questions: Can foundational theories be explanatory? If yes, can explanatoriness be used as a criterion for the preference of specific foundational theories? This is investigated by bringing together two debates, the one about explanations in mathematics and the other about criteria for preference of foundational theories. To answer the first question, an account of explanatoriness of foundational theories is developed. Two criteria are discussed, namely Explanatory Systematization or Explanatory Reduction, and different accounts of explanation are developed that express these criteria. Finally, we test if set theory is explanatory according to the developed account.
responsiblesPoggiolesi, Antonutti Marfori