{"id":8873,"date":"2022-07-07T12:53:44","date_gmt":"2022-07-07T11:53:44","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/arche\/?post_type=tribe_events&#038;eventDate=2022-09-26#038;p=8843"},"modified":"2022-09-21T23:13:58","modified_gmt":"2022-09-21T22:13:58","slug":"metaphysics-and-logic-seminar-2-2022-09-26","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-and-logic-seminar-2-2022-09-26\/","title":{"rendered":"Metaphysics and Logic Seminar Jann Paul Engler (University of St. Andrews)"},"content":{"rendered":"<p>Title: <span style=\"text-decoration: underline\">Sheaves for Intuitionistic Logic<\/span><\/p>\n<p>Abstract: Somewhat simplified, the \u2018traditional\u2019 intuitionistic conception of logic evaluates the judgement \u2018that p\u2019 not as \u201cp is true\u201d but as \u201cp is verifiable\u201d or \u201cthere is a proof of p\u201d. This talk is concerned with finding an adequate formal semantical framework that reflects central aspects of the meaning of the logical constants under this conception. It has two parts. Based on historical writings and on systematic grounds, I will first review a number of desiderata that such a semantical framework has to fulfil. I will then observe that none of the common semantics for intuitionistic logic manages to account for all of them. In the second part, I will introduce a version of sheaf semantics for intuitionistic logic, for which I argue that it does (if it works the way that I hope it does). This semantics differs in some respects from already known sheaf models. It is a bit more complex than the semantics that are more familiar to philosophers, but it manages to integrate all the other formal approaches that I will discuss, and each of its components also permits an intuitive understanding.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title: Sheaves for Intuitionistic Logic Abstract: Somewhat simplified, the \u2018traditional\u2019 intuitionistic conception of logic evaluates the judgement \u2018that p\u2019 not as \u201cp is true\u201d but&#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-8873","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\/8873","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\/8873\/revisions"}],"predecessor-version":[{"id":9344,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/8873\/revisions\/9344"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/media?parent=8873"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tags?post=8873"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events_cat?post=8873"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}