BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2025/newsitem/15396/24
 -January-2025-Women-in-Logic-Online-Francesca-Pogg
 iolesi
DTSTAMP:20250116T152619
SUMMARY:Women in Logic Online, Francesca Poggioles
 i
ATTENDEE;ROLE=Speaker:Francesca Poggiolesi
DTSTART;TZID=Europe/Amsterdam:20250124T170000
LOCATION:Online via Zoom
DESCRIPTION:On January 24, 2025, Francesca Poggiol
 esi will hold the third talk in the seminar series
  “Women in Logic Online”!  Abstract:  Since the ti
 me of Aristotle, a distinction has been recognized
  between proofs that merely establish the truth of
  a theorem and those that provide an explanation b
 y revealing the reasons why the theorem is true. W
 hile the former have been rigorously formalized in
  the ground-breaking work of Gentzen, the latter—d
 espite being explored by eminent thinkers such as 
 Leibniz and Bolzano—have not been subjected to sys
 tematic analysis. Recently, however, explanatory p
 roofs have garnered increasing attention in philos
 ophical discourse. The central question driving th
 is debate is: _What makes a proof explanatory?_ Sp
 ecifically, what features endow certain proofs wit
 h their explanatory power? In this talk, we aim to
  address this question through a logical formaliza
 tion that leverages two pivotal tools of proof the
 ory: the formalism known as _deep sequents_ and a 
 systematic method for transforming _axioms into ru
 les_. The results presented are partly based on a 
 joint work with E. Pimentel (UCL, London).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>On January 24,
  2025, <a href="https://sites.google.com/site/pogg
 iolesi/home" target="_blank" rel="noopener">France
 sca Poggiolesi</a> will hold the third talk in the
  seminar series “Women in Logic Online”!<br>\n  Ab
 stract:<br>\n  Since the time of Aristotle, a dist
 inction has been recognized between proofs that me
 rely establish the truth of a theorem and those th
 at provide an explanation by revealing the reasons
  why the theorem is true. While the former have be
 en rigorously formalized in the ground-breaking wo
 rk of Gentzen, the latter—despite being explored b
 y eminent thinkers such as Leibniz and Bolzano—hav
 e not been subjected to systematic analysis. Recen
 tly, however, explanatory proofs have garnered inc
 reasing attention in philosophical discourse. The 
 central question driving this debate is: _What mak
 es a proof explanatory?_ Specifically, what featur
 es endow certain proofs with their explanatory pow
 er? In this talk, we aim to address this question 
 through a logical formalization that leverages two
  pivotal tools of proof theory: the formalism know
 n as _deep sequents_ and a systematic method for t
 ransforming _axioms into rules_. The results prese
 nted are partly based on a joint work with E. Pime
 ntel (UCL, London).</p>\n
URL:https://www.vcla.at/2025/01/women-in-logic-onl
 ine-talk-with-francesca-poggiolesi/
CONTACT:VCLA at office at vcla.at
END:VEVENT
END:VCALENDAR