{"id":6066,"date":"2020-07-07T16:13:00","date_gmt":"2020-07-07T15:13:00","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/arche\/?post_type=tribe_events&#038;eventDate=2020-09-21#038;p=6064"},"modified":"2020-09-14T11:36:45","modified_gmt":"2020-09-14T10:36:45","slug":"metaphysics-and-logic-seminar-2020-09-21","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-and-logic-seminar-2020-09-21\/","title":{"rendered":"Metaphysics and Logic Seminar Thomas Randriamahazaka Title: A Neo-Meinongian Logic Based on Lambda-Abstraction"},"content":{"rendered":"<p style=\"text-align: left\">Abstract: Meinong&#8217;s object theory is thought by many to be inconsistent\u00a0(or even trivial). Indeed, its most straightforward formalisation in\u00a0second-order logic is. However, contemporary logicians have developed\u00a0more subtle formalisations of Meinong&#8217;s ideas, the so-called\u00a0neo-Meinongian logics, that are provably consistent. In this talk, I\u00a0review two of the main approachs, Nuclear Meinongianism and Dual Copula\u00a0Meinongianism, and I develop a new one, based on a Meinongian instinct\u00a0about complex properties. I present a consistent formal system based on\u00a0second-order logic augmented with lambda-abstraction (an operator\u00a0constructing complex properties) and a Meinongian operator m (which\u00a0constructs Meinongian objects). I then mention an application of this\u00a0formal\u00a0system in philosophy of mathematics. More precisely, I show how\u00a0to derive a non-standard set theory within the formal system and present\u00a0some of its properties. This serves as a first step towards Meinongian\u00a0foundations of mathematics, resembling Frege&#8217;s logicism.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Abstract: Meinong&#8217;s object theory is thought by many to be inconsistent\u00a0(or even trivial). Indeed, its most straightforward formalisation in\u00a0second-order logic is. However, contemporary logicians have&#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-6066","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\/6066","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":7,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/6066\/revisions"}],"predecessor-version":[{"id":6579,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/6066\/revisions\/6579"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/media?parent=6066"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tags?post=6066"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events_cat?post=6066"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}