{"id":5929,"date":"2016-12-23T14:11:27","date_gmt":"2016-12-23T14:11:27","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2016\/12\/23\/of-birth-and-barcan\/"},"modified":"2016-12-23T14:11:27","modified_gmt":"2016-12-23T14:11:27","slug":"of-birth-and-barcan","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2016\/12\/23\/of-birth-and-barcan\/","title":{"rendered":"Of Birth and Barcan"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">The Opponent writes,<\/span><\/p>\n<blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">&quot;Death is not an end to existence, but the process of becoming non-concrete. Birth is the making concrete of something that has existed since the beginning of time and will exist until the end of time.&quot; (Reina Hayaki)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">This is one way of interpreting the Barcan formula (possibly for some x Fx implies for some x possibly Fx).&#0160; If the formula is true, there are no \u2018contingent objects\u2019, i.e. no objects that exist in some worlds but not others.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">My position is that there are contingent entities (as well as contingent <em>identities<\/em>). I imagine you will be less sympathetic to this, however. Interested in your thoughts.<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">The Opponent is misrepresenting Professor Hayaki&#39;s view. &#0160;On a careful reading of <a href=\"http:\/\/www.unl.edu\/philosophy\/ContingentObjectsAndBF.pdf\">her article<\/a>, the quotation above is not her view but expresses a temporal analog of the modal view of Linsky and Zalta that she is opposing.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\"> <a class=\"asset-img-link\" href=\"http:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c01b8d249f8a4970c-pi\" style=\"float: left;\"><img decoding=\"async\" alt=\"Barcan Contrapositive T-Shirt\" class=\"asset  asset-image at-xid-6a010535ce1cf6970c01b8d249f8a4970c img-responsive\" src=\"https:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c01b8d249f8a4970c-320wi\" style=\"margin: 0px 5px 5px 0px;\" title=\"Barcan Contrapositive T-Shirt\" \/><\/a>Be that as it may. &#0160;Let&#39;s consider the Barcan formula by itself.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">The formula is that <em>Possibly, something is F<\/em> implies <em>Something is possibly F<\/em>. &#0160;The modality in question is &#39;broadly logical&#39; in Plantinga&#39;s sense. &#0160;Some call it &#39;metaphysical.&#39; &#0160;&#0160;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">By my modal intuitions, the formula is false. &#0160;A trio of &#0160;&#39;possible&#39; counterexamples.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">A. Sally wants a baby. &#0160;But there is no actual baby such that Sally wants&#0160;<em>it<\/em>. &#0160;Sally wants to <em>have<\/em> a baby, i.e, give birth to a baby, her own baby, one that does not yet exist. &#0160;What Sally wants is possible. So, possibly, some baby is such that Sally wants it. &#0160;But it doesn&#39;t follow that some actual baby is possibly such that Sally wants it. For every actual baby is such that Sally does not want it.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">B.&#0160;It is possible that there be a sinless man. &#0160;But it does not follow that one of the men who exist is possibly sinless. &#0160;<\/span><\/p>\n<p style=\"text-align: justify;\">&#0160;<\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">C. Possibly, some sloop satisfies Ortcutt&#39;s exacting specifications. &#0160;(It is possible that there be such a sloop.) &#0160;But it doesn&#39;t follow that some existing sloop (without modifications) is possibly such as to satisfy Ortcutt&#39;s exacting specifications. &#0160;For it could be that every sloop that exists fails to satisfy our man.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">I am assuming actualism: there are no merely possible objects. &#0160;The truth of <em>Possibly, something is F<\/em> does not commit us to the existence of a merely possible individual that is F. &#39;Possibly, something is a matter transmitter,&#39; for example, does not commit us to the existence of a merely possible matter transmitter. &#0160;I should think it commits us only to the existence of a conjunctive property that is possibly instantiated.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">The Barcan formula may hold for necessary beings such as the number 7. &#0160;But it fails for contingent beings.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\">Of course I hold that there are contingent beings. &#0160;Whether there are contingent identities is another topic entirely. &#0160;One topic at a time.&#0160;<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Opponent writes, &quot;Death is not an end to existence, but the process of becoming non-concrete. Birth is the making concrete of something that has existed since the beginning of time and will exist until the end of time.&quot; (Reina Hayaki) This is one way of interpreting the Barcan formula (possibly for some x Fx &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2016\/12\/23\/of-birth-and-barcan\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Of Birth and Barcan&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[235],"tags":[],"class_list":["post-5929","post","type-post","status-publish","format-standard","hentry","category-modal-matters"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/5929","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/comments?post=5929"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/5929\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=5929"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=5929"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=5929"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}