Friday, April 28, 2017

Saying with possible worlds what can't be said with box and diamond

The literature contains a number of examples of a modal claim that can be made with possible worlds language but not in box-diamond language. Here is one that occurred to me that is simpler than any of the examples I’ve seen:

  • Reality could have been different.

Very simple in possible worlds language: There is a non-actual world. (Note: This doesn’t work on the version of Lewis’s modal realism that allows for duplicate worlds. All the worse for that version.) But no box-diamond statement expresses (*). One can, of course, say that there aren’t any unicorns but could be, which implies (*), but that’s not the same as saying (*).

12 comments:

Brandon said...

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.)

(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.

(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 realities; to get from possible worlds talk to realities talk, this interpretation has to be added in by hand, as well.

So there are definitely assumptions here that I'm not understanding.

Alexander R Pruss said...

1: Good point. But without mentioning actual worlds, we can say this: There are at least two worlds.

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"?

Brandon said...

On (1), I'm a bit skeptical of the claim that "There are at least two worlds" is equivalent to "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 possible worlds language itself.)

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', formally speaking, 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.

Alexander R Pruss said...

Regarding 2, you still have to say *what* reality could be different from.

Heath White said...

Well.

Let R be the One Big Truth, or the conjunction of all the little truths. Then

Diamond squiggle R.

Alexander R Pruss said...

Is R a sentence? An infinite one? Uncountably infinite?

Or do we say: Let P be the One Big Propositional Truth, and then stipulate that R expresses P.

But P is a candidate for being a world: indeed big propositions like that are a very plausible candidate for worlds.

Minor technicality: "Diamond squiggle R" doesn't say that reality could have been different. To say that, you need (M~R and MR).

Heath White said...

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?

IanS said...
This comment has been removed by the author.
Philippe Bélanger said...

Let R be the reality you and I are part of. Possibly, reality is different from R.

Alexander R Pruss said...

Sounds to me like R is a world.

Philippe Bélanger said...

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?

Alexander R Pruss said...

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.