News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

26 January 2021, The Utrecht Logic in Progress Series (TULIPS), Francesca Poggiolesi

Speaker: Francesca Poggiolesi (Paris 1, CNRS, IHPST)
Title: Explanatory proofs (or grounding proofs): philosophical framework, core ideas and results
Date: Tuesday 26 January 2021
Time: 16:00-17:00
Location: Online

Abstract: In this talk we explore the concept of explanatory proofs, namely proofs that not only show that a theorem is true, but also provide reasons why it is true. After a philosophical introduction of this kind of proof, we provide a characterization and a formalization. We conclude the talk by offering a plethora of results/directions of future research that explanatory proofs lead to.

Please note that this newsitem has been archived, and may contain outdated information or links.