{"id":5695,"date":"2020-07-08T16:53:54","date_gmt":"2020-07-08T15:53:54","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/metaphysics-and-logic-seminar-tba-2\/"},"modified":"2020-09-21T21:35:27","modified_gmt":"2020-09-21T20:35:27","slug":"metaphysics-and-logic-seminar-tba-2","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/metaphysics-and-logic-seminar-tba-2\/","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 developed\u00a0more subtle formalisations of Meinong&#8217;s&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-5695","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\/5695","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":2,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/5695\/revisions"}],"predecessor-version":[{"id":6503,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/5695\/revisions\/6503"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/media?parent=5695"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tags?post=5695"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events_cat?post=5695"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}