<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Aptos",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
span.E-MailFormatvorlage19
{mso-style-type:personal-compose;
font-family:"Arial",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE-AT" link="blue" vlink="purple" style="word-wrap:break-word">
<div class="WordSection1">
<div id="divtagdefaultwrapper">
<div>
<div>
<div>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Dear colleagues, <o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">we cordially invite you to attend the third talk in the seminar series called "Women in Logic Online" by
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Francesca Poggiolesi<span style="color:black">!<br>
</span></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Date: </span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">Friday<span style="color:black">,
</span>January<span style="color:black"> 2</span>4<span style="color:black">, 202</span>5</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Time: 17:00 CEST</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Venue: Online via Zoom; link for free registration:
</span><a href="https://tuwien.zoom.us/webinar/register/WN_mA4aA7uuSFq3aFFK5eZxNA"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">https://tuwien.zoom.us/webinar/register/WN_mA4aA7uuSFq3aFFK5eZxNA</span></a><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"><o:p></o:p></span></p>
<p><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">TITLE:
<b>Explanatory Proofs: From Logic to Mathematics<br>
</b></span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">ABSTRACT:</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">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).<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">SHORT BIO:</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">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
<i>Journal of Philosophical Logic</i>.<o:p></o:p></span></p>
<p class="MsoNormal"><a href="https://www.vcla.at/2025/01/women-in-logic-online-talk-with-francesca-poggiolesi/"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">https://www.vcla.at/2025/01/women-in-logic-online-talk-with-francesca-poggiolesi/</span></a><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">We hope to see you there!</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Agata Ciabattoni & Josephine Dik</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Calibri",sans-serif;color:black"><br>
<br>
</span><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Women in Logic
</span><a href="https://womeninlogic.org/" target="_blank"><span lang="EN-US" style="font-size:10.0pt;font-family:"Arial",sans-serif">https://womeninlogic.org/</span></a><span style="font-family:"Calibri",sans-serif;color:black">
<o:p></o:p></span></p>
</div>
</div>
</div>
</div>
</div>
</body>
</html>