{"id":7600,"date":"2021-06-28T13:10:10","date_gmt":"2021-06-28T12:10:10","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/arche\/?post_type=tribe_events&#038;eventDate=2022-06-13#038;p=7584"},"modified":"2022-06-06T10:52:06","modified_gmt":"2022-06-06T09:52:06","slug":"metaphysics-seminar-6-2022-06-13","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-seminar-6-2022-06-13\/","title":{"rendered":"Metaphysics Seminar Bruno Jacinto (University of Lisbon)"},"content":{"rendered":"<p>Title: <span style=\"text-decoration: underline\">NeoRussellian Logicism<\/span><\/p>\n<p>Abstract:<\/p>\n<p>The Russellian route for establishing the logicality of mathematics consisted in showing that mathematical entities are nothing but properties of a topic-neutral kind, and that mathematics is a part of higher-order logic. Owing in part to the absence of a result capable of sustaining\u00a0a Russellian reduction of arithmetic to higher-order logic, the Russellian route for\u00a0 has been neglected.<\/p>\n<p>In this talk I will sketch how the project of deriving arithmetic from higher-order logic can be carried out once modal resources are available. This result constitutes a first step in the project of defending a\u00a0<em>neoRussellian logicism<\/em>\u00a0according to which all mathematical entities consist of topic-neutral properties and mathematics is a part of higher-order modal logic. Finally, I will consider how to carry out a reduction of set-theory to higher-order modal logic, with sets themselves being identified with properties, and make a case that such a reduction would be especially attractive.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title: NeoRussellian Logicism Abstract: The Russellian route for establishing the logicality of mathematics consisted in showing that mathematical entities are nothing but properties of a&#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-7600","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\/7600","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":3,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/7600\/revisions"}],"predecessor-version":[{"id":8724,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/7600\/revisions\/8724"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/media?parent=7600"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tags?post=7600"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events_cat?post=7600"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}