tag:blogger.com,1999:blog-3891434218564545511.post449888333507080265..comments2024-03-27T20:37:09.185-05:00Comments on Alexander Pruss's Blog: Counterparts and singletonsAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-3891434218564545511.post-68721031757611010602017-02-09T09:19:01.572-06:002017-02-09T09:19:01.572-06:00wo:
I don't think saying that modal talk does...wo:<br /><br />I don't think saying that modal talk doesn't get a counterpart theoretic interpretation is a good way out. Sentences like "Possibly, a is not a member of A" become true, and sets now have their elements accidentally. That seems implausible. It also means that properties--since properties can be identified with sets--vary in what falls under them across worlds.<br /><br />Now, taking {b} to be the counterpart of {a} (either simpliciter or at least when dealing with modal sentences that also use "a") requires quite a lot of adjustment of counterparts of other sets throughout the set-theoretic hierarchy (e.g., the counterpart of { {{a}, 3}, 4 } will sometimes be { {{b}, 3}, 4 }). And sometimes we will have sentences that not only have {a} in them but also {b} and other sets that bottom out in a AND b, for instance: "Necessarily, a is not a member of {a} and {b} is disjoint from {a} and both {a} and {b} are proper subsets of {a,b}." <br /><br />Maybe the way to do this is that when one needs to take {b} as a counterpart of {a}, one swaps a with b everywhere in the set-theoretic hierarchy (and in proper classes, too). Except that that's not right, either. Suppose b is bearded and a is not. Let C be the set of all bearded things in all worlds. This includes b but not a. Then we want to say that possibly a is bearded. But, necessarily, a is bearded iff a is in C. But "possibly a is in C" comes out false if we swap a with b throughout the set-theoretic hierarchy when evaluating the counterparts, since then we take C's counterpart to be C*=(C-{b})u{a}, and b, which is the counterpart of a, is not a member of C*.<br /><br />Intuitively, what Lewis needs to do is something like this when looking at counterparts of sets is something like this:<br /> - keep sets defined by properties that are definable without _de re_ reference to a and b fixed<br /> - swap a and b when embedded (i.e., member of .... of a member of) in other sets.<br /><br />But that might not be quite right. After all, {a} might turn out to be definable without _de re_ reference to a or b (there may be worlds that are, together with their denizens, uniquely specified by a finite purely qualitative description -- this depends on the question whether there are indiscernible worlds).<br /><br />In any case, this is all really complicated.<br /><br />So maybe what I rejected in the first para of this comment is the way to go for Lewis, after all?Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-2897775283675260912017-02-09T07:54:52.246-06:002017-02-09T07:54:52.246-06:00Yes, Lewis invokes pairwise counterparts in the Po...Yes, Lewis invokes pairwise counterparts in the Postscript to the 1968 paper to deal with somewhat similar problems involving relations between individuals.<br /><br />Another way out is to deny 1 and say that on one salient resolution of the counterpart relation, the unique counterpart of {a} at w is {b}, if b is a's unique counterpart at w. I think Lewis makes a suggestion along these lines in "Counterparts of states of affairs". (To what extent this conflicts with treating counterparthood as a matter of qualitative similarity might depend on what one says about sets. On Lewis's 1994 account, {a} and {b} are primitive abstract objects that don't have any intrinsic qualitative properties at all. Things are trickier on the 1998 account where talk about sets is ultimately eliminated. In any case, it's not really important for Lewis that counterparthood is always a matter of similarity; at some point, he allows one individual to be a counterpart of another individual at the same world, even though the individuals are qualitatively distinct.)<br /><br />A third way out is to hold that modal talk about sets does not get a counterpart theoretic interpretation in the first place. In the 1968 paper, counterparts must be "in" worlds, and to be "in" a world is to be a mereological part of a world, which sets are not. <br />wohttps://www.blogger.com/profile/17285766057687913879noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-7303987805244815562017-02-09T00:30:12.920-06:002017-02-09T00:30:12.920-06:00Why wouldn't Aristotle in our world just be a ...Why wouldn't Aristotle in our world just be a member of A in every world?<br /><br />It seems like cross world membership would be open to the modal realist.Anonymoushttps://www.blogger.com/profile/06614262547509875440noreply@blogger.com