{"id":1642,"date":"2009-08-30T21:50:14","date_gmt":"2009-08-30T19:50:14","guid":{"rendered":"http:\/\/deleet.dk\/?p=1642"},"modified":"2009-08-30T21:50:14","modified_gmt":"2009-08-30T19:50:14","slug":"physical-impossibility-and-ought-implies-can","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/en\/2009\/08\/physical-impossibility-and-ought-implies-can\/","title":{"rendered":"Physical impossibility and ought implies can"},"content":{"rendered":"

I was watching The Unbearable Lightness of Being<\/em> when a scene suddenly made me realize a possible problem with regularity theory of physical laws and the ought implies can principle.<\/span><\/p>\n

Regularity theory’s view of physical impossibility<\/h1>\n

Regularity theory implies that what it means to say that something is physically impossible is just to say that it will never<\/em> happen (in this world). N. Swartz writes this in his book about about the theory:<\/p>\n

\u201cIndeed, the Regularity Theory – in withholding physical possibility from rivers of Coca-Cola – asserts only what Molnar himself hypothesized: namely, that there never<\/em> are any such rivers.\u201d1<\/sup><\/a><\/span><\/p>\n

\n

Here the example offered was a river of Cola-Cola. Supposing that there never is such a river and that regularity theory is true, then it follows that rivers of Cola-Cola are physically impossible.<\/p>\n

The ought implies can principle<\/h1>\n

Ought implies can is an ethical principle that seems to fit many people’s intuitions. Suppose someone killed another person. We are initially disposed to think lowly of that person. But if it comes to our attention that the person doing the killing could not have reasonably avoided doing it, then we don’t think lowly of the killer. One example of this would be if someone jumped outside your car when you were driving at normals speed.<\/p>\n

I’m further supposing that this \u201ccan\u201d expresses physical possibility. It does not seem like logical possibility or epistemic possibility. Thus, ought implies physically possibility. Contra-position: Physical impossibility implies not-ought.<\/p>\n

Deontic logic and formalizing<\/h2>\n

We have to be careful with \u201cought\u201d and \u201cnot\u201d. There is a difference between \u201cHe ought not to fuck other women.\u201d and \u201cIt is not the case that he ought to fuck other women.\u201d. Formalizing them requires deontic logic. I’m using \u201cO\u201d to mean \u201cIt is obligatory that \u201c or equivalently \u201cIt ought to be the case that \u201c, \u201cP\u201d to mean \u201cIt is permissible that \u201c, and \u201cF\u201d to mean \u201cIt is forbidden that \u201c. \u201cA\u201d is taken to mean whatever action it is we are talking about. I follow standard notation in deontic logic according to SEP2<\/sup><\/a>.<\/p>\n

\u201cHe ought not to fuck other women.\u201d is thus simplistically formalized as \u201cO\u00acA\u201d which is equivalent with \u201cFA\u201d which means \u201cIt is forbidden that he fucks other women.\u201d. \u201cIt is not the case that he ought to fuck other women.\u201d is thus simplistically formalized as \u201c\u00acOA\u201d. For simplicity I will refer to this latter use of \u201cought\u201d as \u201cnot-ought\u201d and the former use as \u201cought not\u201d. Keep this distinction in mind.<\/p>\n

I write \u201csimplistically formalized\u201d because that I omitted the agent in the formalizing.<\/p>\n

The problem<\/h1>\n

Now that we’ve understood the concepts in use, let’s look at an example slightly inspired by the aforementioned film. Suppose that Tereza and Tomas are married, and that Tomas cheats on her every time we has the chance. In other words: It is never the case that when (a description that uniquely identifies Tomas) has chance to cheat on (a description that uniquely identifies Tereza), then (description of Tomas) cheats on (description of Tereza). This together with a regularity theory of physical laws implies that it is physically impossible for Tomas not to cheat on her. [\u00ac\u25caPhy<\/sub>A] using \u201c\u25caphy<\/sub>\u201d to mean physical possibility. Suppose further that he knows that she will find out when he cheats on her, and that this hurts her, but he still continues to do it. The question now is: Is it immoral of him to cheat on her? I think we’d have to say yes. But if he physically cannot not-cheat on her, then it is not the case that he ought not to cheat on her. [\u00ac\u25caPhy<\/sub>A\u2192\u00acO\u00acA] Thus, it is not the case that he ought not to cheat on her. [\u00acO\u00acA] Further: if it is not the case that he ought not to cheat on her, then he is not acting immorally by cheating on her.[\u00acO\u00acA\u2192\u00acIa] using \u201cIx\u201d to mean \u201cx is immoral\u201d and \u201ca\u201d for the action. Thus, he is not acting immorally by cheating on her. [\u00acIa] In other words: The action of cheating on her is not immoral. This conflicts with our judgment from before. [Ia] So someone who accepts regularity theory and the ought implies can principle would have to find someway out of this situation and regain consistency among his beliefs.<\/p>\n

\n

1<\/a>Norman \tSwartz, \u201cThe Concept of physical law\u201d, 1985, Cambridge \tUniversity Press, p. 62<\/div>\n

\n

2<\/a>http:\/\/plato.stanford.edu\/entries\/logic-modal\/#DeoLog<\/a><\/div>\n","protected":false},"excerpt":{"rendered":"

I was watching The Unbearable Lightness of Being when a scene suddenly made me realize a possible problem with regularity theory of physical laws and the ought implies can principle. Regularity theory’s view of physical impossibility Regularity theory implies that what it means to say that something is physically impossible is just to say that […]<\/p>\n","protected":false},"author":17,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[29],"tags":[920,961,1051,1281],"class_list":["post-1642","post","type-post","status-publish","format-standard","hentry","category-ethics-philosophy","tag-ought-implies-can","tag-physical-impossibility","tag-regularity-theory","tag-the-unbearable-lightness-of-being","entry"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/1642","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/comments?post=1642"}],"version-history":[{"count":0,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/1642\/revisions"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/media?parent=1642"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/categories?post=1642"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/tags?post=1642"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}