BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy events - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Philosophy events
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:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20241016T150000
DTEND;TZID=Europe/London:20241016T170000
DTSTAMP:20260613T230250
CREATED:20240916T172602Z
LAST-MODIFIED:20241013T185313Z
UID:10002161-1729090800-1729098000@www.st-andrews.ac.uk
SUMMARY:Metaphysics and Logic Seminar:
DESCRIPTION:
URL:/philevents/event/metaphysics-and-logic-seminar-27/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics and Logic group
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20241016T150000
DTEND;TZID=Europe/London:20241016T170000
DTSTAMP:20260613T230250
CREATED:20241014T185311Z
LAST-MODIFIED:20241016T185310Z
UID:10002210-1729090800-1729098000@www.st-andrews.ac.uk
SUMMARY:Metaphysics and Logic Seminar: Sophie Nagler (58³Ô¹Ï)
DESCRIPTION:Title: Inference behaviour semantics for all* connectives in two-dimensional sequent calculi \nAbstract: In this talk\, I present inference behaviour semantics (IBS) for connectives in two-dimensional sequent calculi. IBS is a novel approach to proof-theoretic semantics (PTS) that emphasises Wittgenstein’s conception of ‘meaning as use’\, alongside Gentzen’s idea of operational rules as connective definitions. The core idea of IBS is to explore how proof rules determine the way we use connectives. \nTo implement this idea\, I analyse all rule parameters that affect connective usage by proving global harmony in minimal derivability relations. This method allows me to define IBS for any connective definable in two-dimensional sequent calculi. The findings offer a meaning-theoretic explanation for the co-determination effects recently observed by Dicher and offer a fresh perspective on the relationships between connectives and their logics. \nUltimately\, IBS opens a new avenue for PTS\, providing a fine-grained local analysis of connective use and meaning\, with the potential to evolve our understanding of the connectives.
URL:/philevents/event/metaphysics-and-logic-seminar-sophie-nagler-st-andrews/
LOCATION:Edgecliffe G03
CATEGORIES:Metaphysics and Logic group
END:VEVENT
END:VCALENDAR