{"id":10453,"date":"2023-05-16T21:22:12","date_gmt":"2023-05-16T20:22:12","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-and-logic-seminar-5\/"},"modified":"2023-05-16T21:22:13","modified_gmt":"2023-05-16T20:22:13","slug":"metaphysics-and-logic-seminar-4-7","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-and-logic-seminar-4-7\/","title":{"rendered":"Metaphysics and Logic Seminar Matteo Nizzardo (University of St. Andrews) and Nuno Maia (University of Oxford)"},"content":{"rendered":"<p>Title: <span style=\"text-decoration: underline\">Identity and Extensionality in Boffa Set Theory<\/span><\/p>\n<p>Abstract: Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called &#8216;Quine atoms&#8217;. Rieger (2000) contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, &#8216;the extensional nature of sets&#8217; precludes numerically distinct Quine atoms. Here we identify important similarities between Rieger&#8217;s argument, on one hand, and how non-rigid structures are conceived within mathematical structuralism, on the other. We argue that this opens the way for an objection against Rieger, whilst affording the theoretical resources for the start of a defence of Boffa set theory as a faithful description of set-theoretic reality.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title: Identity and Extensionality in Boffa Set Theory Abstract: Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called&#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-10453","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\/10453","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":1,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/10453\/revisions"}],"predecessor-version":[{"id":10454,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/10453\/revisions\/10454"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/media?parent=10453"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tags?post=10453"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events_cat?post=10453"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}