BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Philosophy events - ECPv6.16.4//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-ORIGINAL-URL:/philevents X-WR-CALDESC:Events for Philosophy events REFRESH-INTERVAL;VALUE=DURATION:PT1H X-Robots-Tag:noindex X-PUBLISHED-TTL:PT1H BEGIN:VTIMEZONE TZID:Europe/London BEGIN:DAYLIGHT TZOFFSETFROM:+0000 TZOFFSETTO:+0100 TZNAME:BST DTSTART:20200329T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0100 TZOFFSETTO:+0000 TZNAME:GMT DTSTART:20201025T010000 END:STANDARD BEGIN:DAYLIGHT TZOFFSETFROM:+0000 TZOFFSETTO:+0100 TZNAME:BST DTSTART:20210328T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0100 TZOFFSETTO:+0000 TZNAME:GMT DTSTART:20211031T010000 END:STANDARD BEGIN:DAYLIGHT TZOFFSETFROM:+0000 TZOFFSETTO:+0100 TZNAME:BST DTSTART:20220327T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0100 TZOFFSETTO:+0000 TZNAME:GMT DTSTART:20221030T010000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;TZID=Europe/London:20211129T093000 DTEND;TZID=Europe/London:20211129T110000 DTSTAMP:20260619T115040 CREATED:20210831T210945Z LAST-MODIFIED:20211129T173913Z UID:10001407-1638178200-1638183600@www.st-andrews.ac.uk SUMMARY:Medieval Logic Seminar: Walter Segrave\, Insolubles DESCRIPTION: URL:/philevents/event/medieval-logic-seminar-21/ LOCATION:A virtual seminar by Zoom\, The University\, 58Թ\, KY16 9L\, United Kingdom CATEGORIES:Medieval Logic Research Group END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/London:20211129T150000 DTEND;TZID=Europe/London:20211129T170000 DTSTAMP:20260619T115040 CREATED:20210831T210947Z LAST-MODIFIED:20211129T173913Z UID:10001408-1638198000-1638205200@www.st-andrews.ac.uk SUMMARY:Metaphysics Seminar Francesca Poggiolesi (Univeristy of Paris) DESCRIPTION:Title: Explanatory (or Grounding) Proofs: Philosophical Framework\, Core Ideas\, Results \nAbstract: 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. URL:/philevents/event/metaphysics-seminar-12/ LOCATION:A virtual seminar by Zoom\, The University\, 58Թ\, KY16 9L\, United Kingdom CATEGORIES:Metaphysics and Logic group END:VEVENT END:VCALENDAR