tag:blogger.com,1999:blog-6642011.post113210377035492437..comments2020-03-26T10:00:29.462-04:00Comments on Philosophy, et cetera: Actual AmbiguitiesRichard Y Chappellhttp://www.blogger.com/profile/16725218276285291235noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-6642011.post-1132131803913468022005-11-16T04:03:00.000-05:002005-11-16T04:03:00.000-05:00Reading your other post I see we've spilled over i...Reading your other post I see we've spilled over into the natural question to ask in response to my comment. So my part in the discussion continues over there.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1132129700286395752005-11-16T03:28:00.000-05:002005-11-16T03:28:00.000-05:00Well, it's entirely possible that I'm confusing th...Well, it's entirely possible that I'm confusing things. But while [p is true at @] is true in all possible things, it doesn't follow from this that [p is true at the actual world] is true for all possible worlds; unless, of course, @ is necessarily the actual world, i.e., unless it is true for every possible world that @ is the actual world. In other words: unless the actual world is the only possible world.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1132128300848083672005-11-16T03:05:00.000-05:002005-11-16T03:05:00.000-05:00Doesn't [actually p] just mean [p is true at the a...Doesn't [actually p] just mean [p is true at the actual world]? That is, on the 'de re' reading, [p is true at @], which you've granted to be a necessary truth. Where's the incoherence?<BR/><BR/>(BTW, I've just published a new post which delves a bit deeper into some of these issues. I'd love to hear your thoughts.)Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1132127730895192042005-11-16T02:55:00.000-05:002005-11-16T02:55:00.000-05:00Richard,I agree with your way of phrasing it: the ...Richard,<BR/><BR/>I agree with your way of phrasing it: the 'actually' in 'actually p' is redundant when p is true, and it's not a very useful term (as opposed to the usefulness of distinguishing actual worlds from possible ones, with which it is often confused). What you are calling the de re interpretation is, as far as I can see, simply incoherent. At least, the only way we could accept it as even plausible is if the actual world is the only possible world -- in which case we might as well stop talking about possible worlds and find a simpler modal discourse.<BR/><BR/>The modal logic issue doesn't help the de re advocate any. p is true at possible world @ may be true for all possible worlds; but it doesn't follow from this that if @ is the actual world that [actually p] is true for all possible worlds (unless we already grant that [actually p] is a necessary truth). This would be to confuse actuality of a world and the truth of [actually p] in a world. It would be the same mistake if we were to say that ''p is true in @' is true for all possible worlds' implies 'p is true in every possible world', i.e., 'p is necessary'. This just parallels the move from ''[Actually p] is true in @' is true for all possible worlds' to '[Actually p] is true in every possible world'. Again, the only way I can see this being plausible is if the every possible world is the same, which, given that there is an actual world, would imply that the actual world is the only possible world. And again, if that's where we're going we might as well drop the possible worlds jargon.<BR/><BR/>So if we call into question the conflation of 'actually p in possible world @' with 'p in actual world @', I don't think the argument moves forward any.<BR/><BR/>Perhaps, though, it is due to thinking that 'actually' in a possible worlds analysis should operate like other modal operators. I don't see any reason why this should be the case; 'actually' is picking out something in contrast to 'not actually' -- and I don't see how either can be said to make claims about the entire set of possible worlds. Precisely what they do is pick out some possible worlds in contrast to others. That's what makes them useful in the first place.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1132126253784087772005-11-16T02:30:00.000-05:002005-11-16T02:30:00.000-05:00What is the "actuality of something in a world"? D...What is the "<I>actuality of something in a world</I>"? Do you just mean anything that is true in that world, so that [actually p] is perfectly synonymous with just plain [p]?<BR/><BR/>That's fairly close to my "de dicto" version. But it's not a very useful term then, if the "actually" is entirely redundant.<BR/><BR/>I think the standard (contemporary) approach goes for what I labelled the "de re" interpretation. That way, it is no longer "<I>manifestly false that [actually p] is true in all possible worlds.</I>"<BR/><BR/>On the standard picture, as noted in my old post on <A HREF="http://pixnaps.blogspot.com/2004/10/logic-trees-and-modal-indexicals.html" REL="nofollow">modal indexicals</A>, "modal statements don't say anything about the specific world they are indexed to. Rather, they make claims about the entire collection of possible worlds." Let's pick out the actual world, and name it '@'. Suppose p is true at @. Then from any possible world you like, it is true that [p is true at @]. (There is only one @, and p is true at it. So there is no possible world from which p is false at the world @. Just like there is no other country from which Wellington is not the capital of New Zealand. Once the index is fixed, the truth of an indexical statement is likewise fixed, no matter where you might "ask" it from.)<BR/><BR/>That's assuming an S5 modal logic. You might be thinking of something weaker. But I'm not really sure how to conceive of the metaphysics behind those other modal logics.<BR/><BR/>What does it mean to say something is necessarily possible, if not simply that it is possible? More generally, what would it mean for a modal statement to be only contingently true? Is the modal multiverse somehow 'dynamic' and radically relative to each individual possible world? (So that <I>other</I> possible worlds differ depending on which world you consider them from? It sounds bizarre. Surely possible worlds should be independent of each other, yielding a nice static S5 multiverse!) I don't get it at all. But if anyone can explain this in a way that makes sense, I'd be <I>very</I> interested to hear about it...Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6642011.post-1132122515672142952005-11-16T01:28:00.000-05:002005-11-16T01:28:00.000-05:00I'm more sympathetic to your view, although I'm no...I'm more sympathetic to your view, although I'm not convinced that possible worlds talks elucidates anything about the way we imagine. When I imagine p, I just imagine p, and am not committing myself to anything about what world p is in.<BR/><BR/>I'm also inclined to reject the move from 2 to 3 and from 4 to 5. I think actuality of worlds needs to be kept distinct from actuality of something in a world. [Actually p] can only be metaphysically necessary if it is true in all possible worlds; but it is manifestly false that [actually p] is true in all possible worlds. It is true in this possible world, which happens to be actual, but in other possible worlds [actually p] is false, because whereas worlds may be actual or possible simpliciter, any p in a world can only be actual or possible in that world. (Molinist and Leibnizian versions of possible worlds analysis -- that is, the old, seminal possible worlds analyses sometimes implicit in the works of people like Molina and Leibniz, easily capture the distinction between the two. Contemporary possible worlds analysis always seems to me to have strayed from plausibility.) Suppose that p is false in this world; nonetheless there may be some possible world in which [actually p] is true. But that doesn't commit us to saying that that possible world is an actual world, because '[actually p] is true' works just like 'p is true'; just as we can say that p is true in some nonactual possible world, so can we say that [actually p] is true in some nonactual possible world.Anonymousnoreply@blogger.com