[DL] Invitation – Women in Logic Online with Francesca Poggiolesi, January 24, virtual event

[Hackl, Andrea]

Dear colleagues,

we cordially invite you to attend the third talk in the seminar series called "Women in Logic Online" by Francesca Poggiolesi!

Date:    Friday, January 24, 2025
Time:    17:00 CEST
Venue:  Online via Zoom; link for free registration: https://tuwien.zoom.us/webinar/register/WN_mA4aA7uuSFq3aFFK5eZxNA

TITLE: Explanatory Proofs: From Logic to Mathematics

ABSTRACT:
Since the time of Aristotle, a distinction has been recognized between proofs that merely establish the truth of a theorem and those that provide an explanation by revealing the reasons why the theorem is true. While the former have been rigorously formalized in the ground-breaking work of Gentzen, the latter—despite being explored by eminent thinkers such as Leibniz and Bolzano—have not been subjected to systematic analysis. Recently, however, explanatory proofs have garnered increasing attention in philosophical discourse. The central question driving this debate is: _What makes a proof explanatory?_ Specifically, what features endow certain proofs with their explanatory power? In this talk, we aim to address this question through a logical formalization that leverages two pivotal tools of proof theory: the formalism known as _deep sequents_ and a systematic method for transforming _axioms into rules_. The results presented are partly based on a joint work with E. Pimentel (UCL, London).

SHORT BIO:
Francesca Poggiolesi is a CNRS Directrice de Recherche (Full Professor), co-leading the logic and philosophy of mathematics group of the IHPST, Paris. Broadly speaking, her research interest covers both foundational philosophical issues, as well as more technical logical problems: the common core of these different perspectives is represented by the employment of a similar methodology rooted in proof-theoretic tools. In the last years she has been focusing on the notion of explanation that she has been analyzing in different areas ranging from mathematics to explainable AI. Her research has been awarded by the French National Agency of Research with the four-years grant “Bolzano’s Insights.” She is the author of the book “Gentzen Calculi for Modal Propositional Logic,” and one of the editors in chief of the Journal of Philosophical Logic.
https://www.vcla.at/2025/01/women-in-logic-online-talk-with-francesca-poggiolesi/

We hope to see you there!

Agata Ciabattoni & Josephine Dik

Women in Logic https://womeninlogic.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20250116/2a495b37/attachment.htm>