58吃瓜

Title: Explanatory (or Grounding) Proofs: Philosophical Framework, Core Ideas, Results

Abstract: When it comes to the question of聽what聽proofs serve for, since the antiquity聽two possible answers have been identified: on the one hand, a proof can serve to show that something is true,聽on the other hand, a proof can also serve to explain why something is true. The first type of proofs are called “proofs-that”, whilst聽the latter “proofs-why” or “explanatory proofs”. A great part of the logic of the XX century has been dedicated to the formalization and the development of proofs-that, leaving untouched the analysis of proofs-why.聽 In this talk we will try to fill this gap and explore the realm of explanatory proofs. We will offer a formalization of explanatory proofs and we will attempt to show what type of results聽can be obtained with such a formalization.