tag:blogger.com,1999:blog-3891434218564545511.post1667418942024069419..comments2024-03-27T20:37:09.185-05:00Comments on Alexander Pruss's Blog: Saying with possible worlds what can't be said with box and diamondAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger13125tag:blogger.com,1999:blog-3891434218564545511.post-5407961621783450662017-06-15T12:21:07.740-05:002017-06-15T12:21:07.740-05:00I know this is an old post, but here is an example...I know this is an old post, but here is an example of something that cannot be said in a box-diamond language and it's as simple as your example: <br /><br />(1)"at the actual world, p."<br /><br />If I were to formalize (1), I would use the actuality operator under its traditional semantics, i.e. M,w/=@p iff M,@/=p. If we define truth in a modal model by truth at every possible world in the model (as we see in any modal logic textbook), then (1) cannot be expressed in the basic modal language. If, on the other hand, we define truth in a model model as truth at the actual world of the model, then (1) can indeed be expressed. <br /><br />Here is how a simple proof of the former claim can go: we build two bisimilar models for the basic (@-free) modal language with a single propositional symbol p, in which case the two models are equivalent with respect to the basic modal language while disagreeing about (1). <br /><br /> The first model, M=(W,0,R,V) is defined as follows: W={0,1,2}, 0 is the actual world of W, R={(0,1),(2,1)}, and V(p)={0,1}.<br /> The second model, N=(U,a,S,T) is defined as follows: U={a,b,c}, a is the actual world of U, S={(a,b),(c,b)}, and V(p)={b,c}.<br /><br />These can be illustrated as follows:<br /><br />M: 0(p)--->1(p)<---2(-p) N: a(-p)--->b(p)<---c(p)<br /><br />Now we just define the following relation Z between the two models: Z={(0,c),(1,b),(2,a)}. It's easy to check that Z is a bisimulation between M and N, whence the two models are equivalent for the basic modal language. Since, however, M satisfies the truth conditions for (1) at every world (for at every world in M it is true that p holds at the actual world) and N doesn't, the actuality enriched language is strictly more expressive than its actuality-free counterpart.<br /><br />The beauty of this example is that it involves solely the propositional portion of the language, and not the first-order examples we see in the literature. I take it that you thought of a similar strategy with your example.Anonymoushttps://www.blogger.com/profile/00997005791110686026noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-27580032236871539022017-05-08T13:24:03.227-05:002017-05-08T13:24:03.227-05:00Sure we can. But the point is that it's hard t...Sure we can. But the point is that it's hard to get away from talking about possible worlds--or at least one of them.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-57021581838012630662017-05-08T13:03:36.410-05:002017-05-08T13:03:36.410-05:00It is, but I don't see why this is a problem. ...It is, but I don't see why this is a problem. Why couldn't we talk about our world when we speak the language of diamonds and boxes?Philippe Bélangerhttps://www.blogger.com/profile/17204616438998252386noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-57544687193200342142017-05-08T12:48:47.066-05:002017-05-08T12:48:47.066-05:00Sounds to me like R is a world.Sounds to me like R is a world.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-1205948119311972852017-05-08T12:21:20.206-05:002017-05-08T12:21:20.206-05:00Let R be the reality you and I are part of. Possib...Let R be the reality you and I are part of. Possibly, reality is different from R.Philippe Bélangerhttps://www.blogger.com/profile/17204616438998252386noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-16242626716793787172017-05-01T23:16:13.171-05:002017-05-01T23:16:13.171-05:00This comment has been removed by the author.IanShttps://www.blogger.com/profile/00111583711680190175noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-8152763018749892332017-04-30T22:47:46.501-05:002017-04-30T22:47:46.501-05:00I was thinking that R was the One Big Propositiona...I was thinking that R was the One Big Propositional Truth, and R stipulatively expresses P. Yes, P would be a world. Why is that an issue?Heath Whitehttps://www.blogger.com/profile/13535886546816778688noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-36517970026774212942017-04-29T15:14:24.172-05:002017-04-29T15:14:24.172-05:00Is R a sentence? An infinite one? Uncountably infi...Is R a sentence? An infinite one? Uncountably infinite? <br /><br />Or do we say: Let P be the One Big Propositional Truth, and then stipulate that R expresses P.<br /><br />But P is a candidate for being a world: indeed big propositions like that are a very plausible candidate for worlds.<br /><br />Minor technicality: "Diamond squiggle R" doesn't say that reality could have been different. To say that, you need (M~R and MR).Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-73454959838197274982017-04-29T03:08:56.256-05:002017-04-29T03:08:56.256-05:00Well.
Let R be the One Big Truth, or the conjunct...Well.<br /><br />Let R be the One Big Truth, or the conjunction of all the little truths. Then<br /><br />Diamond squiggle R. Heath Whitehttps://www.blogger.com/profile/13535886546816778688noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-89099191491861994972017-04-28T13:45:21.177-05:002017-04-28T13:45:21.177-05:00Regarding 2, you still have to say *what* reality ...Regarding 2, you still have to say *what* reality could be different from. Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-34009458316399271752017-04-28T13:25:34.527-05:002017-04-28T13:25:34.527-05:00On (1), I'm a bit skeptical of the claim that ...On (1), I'm a bit skeptical of the claim that "There are at least two worlds" is <i>equivalent to</i> "Reality can be different", although maybe there's some particular interpretation of the former that constrains it to the latter. (For instance, it looks like you might have to be ruling out any Lewisian interpretation. But Lewisian interpretations, despite their many problems, are not misusing the <i>possible worlds language</i> itself.)<br /><br />On (2), if you take 'reality' to mean just 'the actual world', sure; but surely you are still using box-diamond language in saying Diamond(Reality is different). Box and Diamond as formal operators are perfectly open on terms or propositions; they apply to whatever you are allowing as terms or propositions, they don't prejudge what their meaning can be. And this is related to the point with my comment about 'adding the interpretation in by hand'. It doesn't look to me like anything that can be said about box-diamond language in this regard wouldn't also have be said, mutatis mutandis, about possible worlds language. Despite the name, 'possible worlds', <i>formally speaking</i>, are not worlds except exactly in that way you happen to be interpreting them to be. That's why we can use possible worlds language despite the fact that there is no general agreement on what our account of a possible world should be.Brandonhttps://www.blogger.com/profile/06698839146562734910noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-7586031553743345082017-04-28T13:07:12.355-05:002017-04-28T13:07:12.355-05:001: Good point. But without mentioning actual world...1: Good point. But without mentioning actual worlds, we can say this: There are at least two worlds. <br /><br />2. What's the subject of "Reality is different" if not something like a world? What's the predicate if not "different from the actual world"?Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-60222926807936548382017-04-28T12:35:46.303-05:002017-04-28T12:35:46.303-05:00I'm not sure I follow the argument here. (Alth...I'm not sure I follow the argument here. (Although that's perhaps not surprising, since I find I usually can't make any sense of the examples in the literature, either.)<br /><br />(1) "There is a non-actual world" requires augmenting possible worlds language with actual worlds language (and, indeed, a particular version of actual worlds language), which is different; possible worlds language on its own can't say it.<br /><br />(2) We could obviously say, Diamond(Reality is different). [I'm assuming that by 'box-diamond language' you just mean any propositional logic with box and diamond operators. If we allow applications to terms, it gets even simpler, something liek Diamond(This reality) & Diamond(Not this reality).] So is your claim that the "Reality is different" part has to be added in by hand? But formally there is nothing about possible worlds language that requires an interpretation of possible worlds as possible <i>realities</i>; to get from possible worlds talk to realities talk, this interpretation has to be added in by hand, as well. <br /><br />So there are definitely assumptions here that I'm not understanding.Brandonhttps://www.blogger.com/profile/06698839146562734910noreply@blogger.com