{"id":2940,"date":"2017-09-17T18:34:26","date_gmt":"2017-09-17T17:34:26","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/arche\/?post_type=tribe_events&#038;p=2940"},"modified":"2017-09-17T18:35:36","modified_gmt":"2017-09-17T17:35:36","slug":"formal-metaphysics-workshop","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/formal-metaphysics-workshop\/","title":{"rendered":"Formal Metaphysics Workshop"},"content":{"rendered":"<p>Confirmed speakers include: Mark Jago (Nottingham), Jean-David Lafrance (Oxford) Bryan Pickel (Edinburgh)<\/p>\n<h3>Schedule<\/h3>\n<p>09:00 &#8211; 10:20 Jean-David Lafrance <i> On the Fusion of an Object with Itself <\/i><br \/>\n10:20 &#8211; 10:30 tea\/coffee<br \/>\n10:30 &#8211; 11:50 Aaron J Cotnoir<i> Composite Objects as Ersatz Constructions<\/i><br \/>\n11:50 &#8211; 12:00 break<br \/>\n12:00 &#8211; 13:20 Bryan Pickel<i> In Defence of Tarski on Variables <\/i><br \/>\n13:20 &#8211; 14:30 lunch<br \/>\n14:30 &#8211; 15:50 Bruno Jacinto<i><br \/>\nSupervaluationism, its Model -Theory and Higher-Order Vagueness <\/i><br \/>\n15:50 &#8211; 16:00 tea\/coffee<br \/>\n16:00 &#8211; 17:20 Mark Jago<i> Truthmaking Logics<\/i><br \/>\n19:00 Workshop dinner at <a href=\"http:\/\/www.ardgowanhotel.co.uk\/restaurant.php\">Playfairs Restaurant<\/a><\/p>\n<p>For more information about this event, please send an email to the workshop organisers at <a href=\"mailto:arche@st-andrews.ac.uk?Subject=Formal Metaphysics Workshop\"> arche@st-andrews.ac.uk<\/a><\/p>\n<p>This workshop has been sponsored by the Scots Philosophical Association<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-1863 size-medium\" src=\"https:\/\/www.st-andrews.ac.uk\/arche\/wp-content\/uploads\/2016\/11\/spa-300x106.png\" alt=\"\" width=\"300\" height=\"106\" srcset=\"https:\/\/www.st-andrews.ac.uk\/arche\/wp-content\/uploads\/2016\/11\/spa-300x106.png 300w, https:\/\/www.st-andrews.ac.uk\/arche\/wp-content\/uploads\/2016\/11\/spa-768x272.png 768w, https:\/\/www.st-andrews.ac.uk\/arche\/wp-content\/uploads\/2016\/11\/spa.png 905w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/p>\n<hr \/>\n<h3>Abstracts<\/h3>\n<h4>Aaron Cotnoir<\/h4>\n<p><i>Composite Objects as Ersatz Constructions <\/i><\/p>\n<p><strong>Abstract:<\/strong> In this paper, I explore an under-represented view in the metaphysics of material objects &#8212; what I call <i>mereological ersatzism<\/i>, or the view that ordinary objects are set-theoretic constructions built up from fundamental things. I show how ersatzists can represent any mereological structure, and any non-emergent properties of macrophysical objects. The technique applies some formal results in temporal logics in a novel way.<\/p>\n<h4>Mark Jago<\/h4>\n<p><i>Truthmaking Logics <\/i><\/p>\n<p><strong>Abstract:<\/strong> This paper describes preliminary investigations into truthmaking logic. I develop several semantics in terms of truthmakers, and use these to construct various notions of truthmaking entailment, which stands to classical entailment as truthmaking stands to truth. The resulting logics are relevant logics, and this fact provides a neat way to give semantics for (some) relevant logics in terms of a truth-like notion. I present a number of technical results about these truthmaking semantics, and discuss some of their philosophical applications.<\/p>\n<h4>Jean-David Lafrance<\/h4>\n<p><i>On the Fusion of an Object with Itself <\/i><\/p>\n<p><strong>Abstract:<\/strong> Any object is both the mereological fusion of its proper parts and of its improper part: an object fuses the many things that are parts of it, as well as itself. Surprisingly, many philosophers think that the fusion of an object with itself could be another, distinct object. They contend that an object that is (wholly) located at more than one place at once can compose alone a further thing. In these cases, the operation of fusion operates on an object, but results in something that is not the object. I call \u2018cases of magical composition\u2019 these alleged cases of composition, and I argue that they are not coherent. Along the way, I show that we should think of cases of magical composition as cases of coincidence.<\/p>\n<h4>Bryan Pickel<\/h4>\n<p><i>In Defence of Tarski on Variables <\/i><\/p>\n<p><strong>Abstract:<\/strong> The theory of quantification developed by Tarski is a fixed point for many debates in metaphysics, formal semantics, and philosophy of logic. Kit Fine (2003,2007) has offered an intriguing set of challenges to Tarski\u2019s account, which threaten to undermine it at its very heart. Fine insists that a version of Russell&#8217;s &#8220;antimony of the variable&#8221; plagues all extant treatments of variables, including the standard Tarskian approach. He says, &#8220;There are deep problems concerning the role of variables that have never been properly recognized, let alone solved, and once we attempt to solve them we see that they have profound implications not only for our understanding of variables but also for our understanding of other forms of expression and for the general nature of semantics.&#8221; We show how Fine&#8217;s arguments can be resisted, and thus that there is no compelling reason to abandon the Tarskian semantics of variables and variable binding.<\/p>\n<h4>Bruno Jacinto<\/h4>\n<p><i>Supervaluationism, its Model-Theory and Higher-Order Vagueness <\/i><\/p>\n<p><strong>Abstract:<\/strong> Some attempts to capture the supervaluationist logic for a propositional language with a &#8216;definitely&#8217; operator (standing for supertruth) have made use of model-theoretic semantics for modal logic, with some debate ensuing concerning what are the definitions of model, truth in a model and validity that best capture the commitments of supervaluationists. I show how Williamson&#8217;s (1994) suggestion of seeing the points in a supervaluationist model as \u03c9-level precisifications leads to definitions of these notions that the supervaluationist should see as appropriately reflecting their commitments, and a fortiori, to the correct supervaluationist logic for the language in question. Furthermore, I show that the resulting semantics provides the supervaluationist with a sound reply to Delia Graff Fara&#8217;s gap-principles&#8217; argument, an argument purporting to show that there is some incoherency in the supervaluationist position, since given a finite sorites series for a vague predicate, not all of its gap-principles can be true.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Confirmed speakers include: Mark Jago (Nottingham), Jean-David Lafrance (Oxford) Bryan Pickel (Edinburgh) Schedule 09:00 &#8211; 10:20 Jean-David Lafrance On the Fusion of an Object with&#8230;<\/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":"","_members_access_role":[],"_members_access_error":"","_links_to":"","_links_to_target":""},"tags":[],"tribe_events_cat":[6],"class_list":["post-2940","tribe_events","type-tribe_events","status-publish","hentry","tribe_events_cat-workshops","cat_workshops"],"_links":{"self":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/2940","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\/1"}],"version-history":[{"count":1,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/2940\/revisions"}],"predecessor-version":[{"id":2941,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/2940\/revisions\/2941"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/media?parent=2940"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tags?post=2940"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events_cat?post=2940"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}