{"id":12507,"date":"2024-10-14T19:53:11","date_gmt":"2024-10-14T18:53:11","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/metaphysics-and-logic-seminar-sophie-nagler-st-andrews\/"},"modified":"2024-10-16T19:53:10","modified_gmt":"2024-10-16T18:53:10","slug":"metaphysics-and-logic-seminar-sophie-nagler-st-andrews","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/metaphysics-and-logic-seminar-sophie-nagler-st-andrews\/","title":{"rendered":"Metaphysics and Logic Seminar: Sophie Nagler (58³Ô¹Ï)"},"content":{"rendered":"<p><strong>Title<\/strong>: Inference behaviour semantics for all* connectives in two-dimensional sequent calculi<\/p>\n<p><strong>Abstract<\/strong>: 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&#8217;s conception of &#8216;meaning as use&#8217;, alongside Gentzen&#8217;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.<\/p>\n<p>To 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.<\/p>\n<p>Ultimately, 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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title: Inference behaviour semantics for all* connectives in two-dimensional sequent calculi Abstract: In this talk, I present inference behaviour semantics (IBS) for connectives in two-dimensional sequent calculi. IBS is a&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"template":"","meta":{"_tribe_events_status":"","_tribe_events_status_reason":"","_tribe_events_is_hybrid":"","_tribe_events_is_virtual":"","_tribe_events_virtual_video_source":"","_tribe_events_virtual_embed_video":"","_tribe_events_virtual_linked_button_text":"","_tribe_events_virtual_linked_button":"","_tribe_events_virtual_show_embed_at":"","_tribe_events_virtual_show_embed_to":[],"_tribe_events_virtual_show_on_event":"","_tribe_events_virtual_show_on_views":"","_tribe_events_virtual_url":"","footnotes":""},"tags":[],"tribe_events_cat":[25],"class_list":["post-12507","tribe_events","type-tribe_events","status-publish","hentry","tribe_events_cat-metaphysics-and-logic-group","cat_metaphysics-and-logic-group"],"_links":{"self":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/12507","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/users\/1"}],"version-history":[{"count":1,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/12507\/revisions"}],"predecessor-version":[{"id":12513,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/12507\/revisions\/12513"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/media?parent=12507"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tags?post=12507"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events_cat?post=12507"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}