{"id":10094,"date":"2022-11-25T14:14:26","date_gmt":"2022-11-25T14:14:26","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-and-logic-seminar-5\/2022-10-17\/"},"modified":"2022-11-25T14:21:30","modified_gmt":"2022-11-25T14:21:30","slug":"metaphysics-and-logic-seminar-2-2022-09-19-2022-10-17-7","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-and-logic-seminar-2-2022-09-19-2022-10-17-7\/","title":{"rendered":"Metaphysics and Logic Seminar Sophie Nagler (University of St. Andrews and University of Amsterdam)"},"content":{"rendered":"<p>Title:\u00a0<span style=\"text-decoration: underline\">Meaning, Structure, Pluralism: A Co-Determination Theory of Connective Meaning<\/span><\/p>\n<p>Abstract:<\/p>\n<p>In this talk, I propose a proof-theoretic theory of the meaning of logical<br \/>\nconnectives in a sequent calculus setting. I defend the account by applying it to the debate on logical pluralism.<\/p>\n<p>When do two logical connectives mean the same? Use-conditional theorists of meaning usually reply: when we use the two connectives in the same way.<\/p>\n<p>When we do proofs, we use the connectives according to their proof rules. Hence, two logical connectives carry the same meaning iff they are governed by the same proof rules. This use-conditional approach to logical semantics is called proof-theoretic semantics.<\/p>\n<p>According to Restall (2014), connective meaning is determined by those parts of the connective-defining rules which are immediate to the introduction\/elimination of the connectives, i.e., the active\/principal formulae. However, recent work by Bogdan Dicher (2016) shows that there are proof rules which share active\/principal formulae but induce different connective use. To solve this problem, he proposes the co-determination thesis, according to which some non-immediate (i.e., structural) components of the proof rules also (co-) determine meaning.<\/p>\n<p>At this point, however, co-determination is a mere thesis. In this talk, I develop it into a systematic theory of connective meaning. Via a series of Belnapian harmony proofs in minimal deductive contexts, I prove the exact minimal structural properties co-determining connective meaning for all connectives in the LK-family. This includes classical, intuitionistic, dual-intuitionistic, and lattice logic.<\/p>\n<p>Ultimately, I argue that we should adopt this account by applying it to the debate on logical pluralism. This way, I contend that we can overcome some of the shortcomings of Beall and Restall\u2019s famous logical pluralism, as well as Restall\u2019s 2014 proof-theoretic rendition thereof.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title:\u00a0Meaning, Structure, Pluralism: A Co-Determination Theory of Connective Meaning Abstract: In this talk, I propose a proof-theoretic theory of the meaning of logical connectives in&#8230;<\/p>\n","protected":false},"author":2,"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":"","_members_access_role":[],"_members_access_error":"","_links_to":"","_links_to_target":""},"tags":[],"tribe_events_cat":[47],"class_list":["post-10094","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\/arche\/wp-json\/wp\/v2\/tribe_events\/10094","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/users\/2"}],"version-history":[{"count":5,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/10094\/revisions"}],"predecessor-version":[{"id":10099,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/10094\/revisions\/10099"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/media?parent=10094"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tags?post=10094"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events_cat?post=10094"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}