tag:blogger.com,1999:blog-30588510.post4427738854982936095..comments2024-01-20T19:11:56.655+00:00Comments on metaphysical values: Merricks on universalism and composition as identityRobbie Williamshttp://www.blogger.com/profile/02081389310232077607noreply@blogger.comBlogger15125tag:blogger.com,1999:blog-30588510.post-37851089365354529322007-05-12T21:34:00.000+01:002007-05-12T21:34:00.000+01:00Fun topic! I wanted to elaborate on something Kare...Fun topic! I wanted to elaborate on something Karen said, that "a good CAI-er has to engage in...singular/plural slurring." <BR/><BR/>I think that's right, and I think in doing so, the CAI-er has a response to your claim that that “it only makes sense to ascribe a property like being self-identical to a plurality of things if there is some one thing that the plurality is identical to.” <BR/><BR/>I actually agree with this claim on it’s surface. But that’s because the predicate “is self-identical” is forcing a singular reading of the subject term. Rephrased neutrally, and in a way that is not loading the case against the composition as identity theorist, your claim is easily rejected by the CAI-er.<BR/><BR/>To see this, notice that we can take the predicate “is self-identical” as used in (1), where ‘x’ here is neutral and can be read as either a singular or plural subject term:<BR/><BR/>(1) x is self-identical.<BR/><BR/>And replace it, without loss of meaning, with the synonymous predicate “is identical to itself” as used in (2):<BR/><BR/>(2) x is identical to itself. <BR/><BR/>But notice that this replacement sentence makes more explicit the presumed singularity of the subject term. Try, if you like, to force a plural subject term for ‘x’. You get something ungrammatical like (3): <BR/><BR/>(3) x, y, and z is identical to itself. <BR/><BR/><BR/>Notice that (3) is ungrammatical even if x = y = z. (At least it seems to me. I find the sentence “Superman, Clark Kent, and Cal El is identical to itself” totally ungrammatical.) <BR/>This shouldn’t be too surprising, however, since the “is” and “itself” are both words that assume a singular subject. So what we need is a predicate that will allow a plural subject term, since disallowing this will already be assuming that CI is false. <BR/><BR/>One easy way to do this is to take the predicate “is identical to itself” and turn it into the plural counterpart: “are identical to themselves.” Then we can have grammatical sentences like:<BR/><BR/>(4) x, y, and z are identical to themselves. <BR/><BR/>If we like, we can introduce a jerry-rigged plural counterpart predicate of ‘is self-identical’—something like ‘are selves-identical.’ Then, we can make a singular/plural-neutral predicate by producing an (admittedly ugly and cumbersome) hybrid predicate such as ‘is/are self-/selves-identical’, for whenever it is underdetermined whether we are dealing with many or one. So we get sentences such as (5), again, assuming that ‘x’ can be either a singular or plural term.:<BR/><BR/>(5) x is/are self-/selves-identical.<BR/><BR/>We can now see that your claim that “it only makes sense to ascribe a property like being self-identical to a plurality of things if there is some one thing that the plurality is identical to” is true only because the predicate you are employing—“being self-identical”—is a singular predicate, which requires a singular subject term to preserve grammaticality. But insofar as we are worried about the deep metaphysical underpinnings about claims about identity, and not mere grammaticality, we can then use our jerry-rigged singular/plural neutral predicate as used in (5). This sentence—albeit ugly—saves us from begging the question against CI, and also allows us to see how a CAI-er can resist your claim. For notice that if we replace “being self-identical” with our new neutral predicate, in your original claim, we get (6), which, I take it, is not true:<BR/><BR/>(6) “it only makes sense to ascribe a property like is/are self-/selves-identical to a plurality of things if there is some one thing that the plurality is identical to.” <BR/><BR/>-MegAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-30588510.post-66105664881557098062007-05-12T17:38:00.000+01:002007-05-12T17:38:00.000+01:00Hi Ross,BTW, I think, so long as the key move in r...Hi Ross,<BR/><BR/>BTW, I think, so long as the key move in resisting the argument is to<BR/>deny that the x's (collectively) exist in @, your response can be<BR/>improved so as not to rely on the idea that a contingent existent is<BR/>not self-identical in a world in which it does not exist. This claim<BR/>is controversial in some quarter worth taking seriously. (I have<BR/>David Kaplan in mind.)<BR/><BR/>For even if the x's (collectively) are identical to A in @, they, like<BR/>A, don't exist in @. The inference in the Barcan/Kripke argument from<BR/><BR/> (vii) the x's (collectively) are identical to A in @<BR/><BR/>to <BR/> <BR/> (viii) the x's compose in @<BR/><BR/>requires exactly the existence premise at issue, viz. (vi)_b. (I'm<BR/>reading "the x's compose in @" as "there is an individual A such that<BR/>the x's (collectively) compose A.")<BR/><BR/>Yours,<BR/>LouisLouishttps://www.blogger.com/profile/12263371874275461435noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-78716920186814508442007-05-11T13:16:00.000+01:002007-05-11T13:16:00.000+01:00Hi Louis,yep - that's how I understand the state o...Hi Louis,<BR/><BR/>yep - that's how I understand the state of play too. (Although I don't think I've changed anything I believed post my discussion with Karen - but I do think I've become more clear on what it was I previously believed!)<BR/><BR/>Thanks for the pointer to the WIP.<BR/><BR/>RossRoss Cameronhttps://www.blogger.com/profile/01900752201200020829noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-69741873117323168992007-05-10T22:24:00.000+01:002007-05-10T22:24:00.000+01:00Hi Ross,I want to make sure I understand the state...Hi Ross,<BR/><BR/>I want to make sure I understand the state of play. Let's pick up the<BR/>argument where we are assuming:<BR/><BR/> (i) The x's are identical to A in w;<BR/> (ii) A exists in w;<BR/> (iii) Necessarily, if the x's are identical to A, then necessarily<BR/> if A exists, then the x's are identical to A.<BR/><BR/>You note that (i) - (iii) yield <BR/> <BR/> (iv) the x's are identical to A in @<BR/><BR/>only if we are given that A exists in @. (There's also Brouwersche<BR/>reasoning in there.) And our assumption for reductio of the falsity of<BR/>mereological universalism + "composition is identity" motivates<BR/>rejecting the idea that A exists in @. So far so good. Now Bennett<BR/>responds: if the x's are identical to A in w, then they have the same<BR/>modal existence profile, i.e.:<BR/> <BR/> (v) Necessarily, if the x's are identical to A, then<BR/> necessarily, the x's exist iff A exists.<BR/><BR/>Thus, if you accept <BR/><BR/> (vi) the x's exist in @<BR/><BR/>then (v) plus reasoning analogous to the original argument will yield<BR/>the existence of A in @, and Merricks's argument will go through.<BR/><BR/>Thus, I don't think you can grant (as you seem to further down in your<BR/>original post) that the x's exist. If I understand you correctly, the<BR/>position you hold post-Bennett is that there is an ambiguity in the<BR/>claim that the x's exist. To wit, (vi) is ambiguous between:<BR/><BR/> (vi)_a Each of the x's exist<BR/> <BR/>and<BR/> <BR/> (vi)_b There is an individual that is the x's. (Perhaps<BR/> colloquially: "The x's collectively exist")<BR/><BR/>Read (v) in accordance with (vi)_a, and it's false. Read (v) in<BR/>accordance with (vi)_b and it's true, but the reductio assumptions<BR/>require denying that the x's (collectively) exist in @.<BR/><BR/>If this is a correct reconstruction, I suspect that the claim for<BR/>Merricks's opponenent to deny on either horn of your dilemma is that<BR/>the x's (collectively) exist in @.<BR/><BR/>And I definitely don't think any questions are begged unless you<BR/>regard your reflections as doing anything more than showing that<BR/>Merricks's argument does not establish the intended conclusion: there<BR/>is a prima facie coherent position according to which Mereological<BR/>Universalism is false and composition is identity.<BR/><BR/>Incidentally, I would point you to some work in progress by Paul Hovda<BR/>that discusses the relevant ambiguity thesis and the import of the<BR/>claim that composition is identity. I think the paper most<BR/>interesting to you would be "How Composition Could be Identity". If<BR/>you email him, I'm sure he would send you a copy.<BR/><BR/>- Louis deRossetLouishttps://www.blogger.com/profile/12263371874275461435noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-40625528678995629632007-05-10T09:35:00.000+01:002007-05-10T09:35:00.000+01:00Thanks Karen, that's really helpful.The existence/...Thanks Karen, that's really helpful.<BR/><BR/>The existence/identity condition definitely seems like where the action is. Now there's a sense in which I think the principle is innocuous: because I certainly think that if you've got the Xs each of the Xs is identical to something, and I certainly think that if you've got the sum of the Xs, it's identical to something. What I'm denying is the necessity of the claim that if you've got the Xs then you've got something that is identical to the Xs, and everything else is going to hinge on the denial of that necessity.<BR/><BR/>It is hard. I can't really argue for denying the necessity on the grounds that I can conceive of the negation, because I just can't conceive *any* of these many-one identity claims to be true. All I can say is that insofar as I understand CAI, I can understand CAI with the weaker existence/identity claim as much as I can understand CAI with the stronger existence/identity claim.<BR/><BR/>I'm happy to grant that the latter theory entails the necessity of universalism. I expect my opponents to accept that the former theory does not, and is compatible with the contingency of composition. I guess my claim then is that, given the possibility-first methodology, the weaker theory should be accepted before the stronger one unless we're shown what exactly is wrong with it.Ross Cameronhttps://www.blogger.com/profile/01900752201200020829noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-72723242982890162862007-05-09T18:55:00.000+01:002007-05-09T18:55:00.000+01:00No, no, I like the methodology. Except of course ...No, no, I like the methodology. Except of course when there's something *I* want to insist is necessary. !<BR/><BR/>This bit seems right: "I can see how I would be denying that composition and identity are one and the same relation if I held that there is something that they are identical to but nothing that they compose, or held that there is something that they compose but nothing that they are identical to. I can't see how I am denying the identity of the relations if I deny that they 'both' obtain."<BR/><BR/>OK, so you're maintaining the connection between identity and composition: the xs are identical to something(s) iff there is something(s) that they compose.<BR/>But then I think what you're committed to denying is the connection between existence and identity: the xs exist iff they are/it is self-identical.<BR/><BR/>You think that some many exists without being identical to or composing any one. <BR/><BR/>I think the relevant claim is: some many exists without being identical to or composing *anything(s)*. And I think that's not possible, because of the existence-identity connection. That is, it's not possible for the xs to exist, but there is nothing they compose and nothing they are identical to. Because those quantifiers in the 'there is nothing...' parts are not straightforwardly either singular or plural.<BR/><BR/>Relatedly -- you say that "there's no obvious incoherence in claiming that some many is *not* identical to any one (after all, that's what they vast majority of us think about *every* plurality!)" -- right, because the vast majority of us have a hard time getting our heads around composition as identity! I mean, there *is* an obvious incoherence in claiming that some one is not identical to any one. <BR/><BR/>The point is this: I think a good CAI-er has to engage in the kind of singular/plural slurring I've just been doing.... and I suspect it's crucial here. You are resisting Trenton's argument by refusing to slur, and I think that's what makes it the case that you're not quite taking CAI fully on board as a premise for the reductio. <BR/><BR/>Then again, the dialectical stuff is tricky. Whose job is it to defend the CAI singular-plural-slurred versions of the existence/identity and identity/composition connections? I guess I'm thinking that if you take the latter as a premise for reductio, you have to take the former too. And I guess you're thinking not. <BR/><BR/>Herm. Philosophy is hard.Anonymoushttps://www.blogger.com/profile/13669315599751279078noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-38982148389462803822007-05-09T10:55:00.000+01:002007-05-09T10:55:00.000+01:00Hi Karen, (and this addresses Bradley's last point...Hi Karen, (and this addresses Bradley's last point as well, I think),<BR/><BR/>I may well be begging some questions against Merricks. But dialectically, I think the burden of proof is on him and not me, so I think I can get away with it (of course!).<BR/><BR/>My guiding method, remember, is to take something to be possible unless given good reason to take its negation to be necessary. Now maybe that's wrong. Maybe we should take something to be necessary unless given reason to think that its negation is possible. If so, then I'm perfectly happy to accept the necessity of composition etc. I haven't argued for the 'possibility first' approach - merely assumed it.<BR/><BR/>But on that assumption, I think the ball is in Merricks' (or the necessitarian in general) court to argue that what I claim to be possible isn't - it's not on me to give some positive reason to accept it as a possibility.<BR/><BR/>Now, I'm being generous and assuming that it makes sense to speak of a many being identical to a one. I personally can't make sense of that - but hey, let's run with it. It also seems to make sense to me, however, to speak of a many not being identical to any one - in fact, isn't that what almost all of us think is true of *every* many? Prima facie, then, both are possibilities. There should be worlds (like @, I claim) where there is no one that the many Xs are identical to, and worlds (like w, ex hypothesi) where there is a one (A) that the many Xs are identical to. Ex hypothesi, the former will be a world where the Xs don't compose and the latter a world where they do.<BR/><BR/>Do I beg the question in assuming that there is the first world? Maybe. Just like I beg the question against the dialetheist when I rely on the law of non-contradiction. So it comes down to who has the burden of proof in their favour. I think I do, becuase of my 'possibility first' methodology. We can focus the argument on whether that's a good methodology if you want - but I'm really concerned with the conditional: if this is a good methodology, then there's no reason to hold that composition as identity entails univeralism.<BR/><BR/>Karen - you claim I'm not taking seriously the thought that composition and identity are one and the same relation. I think I am. In w, the Xs *really are* identical to A, and that *really is* just what it takes for them to compose A.<BR/><BR/>But to say that they *really are* the same realtion only implies, surely, that, necessarily, whenever we have one we have the 'other'. In any world, if we have the Xs being identical to something then we have them composing - because it's the same relation!<BR/><BR/>Fair enough - but how can this tell us anything about @? My contention is that there is nothing the Xs compose and nothing that they are identical to. I can see how I would be denying that composition and identity are one and the same relation if I held that there is something that they are identical to but nothing that they compose, or held that there is something that they compose but nothing that they are identical to. I can't see how I am denying the identity of the relations if I deny that they 'both' obtain.<BR/><BR/>You say "To assume [that some pluralities are not identical to some thing] seems tantamount to denying that composition is identity." I don't see why. I can see why it would be to assume that if we added the assumption that universalism is true - but that would be to beg the question against me again.<BR/><BR/>I assume that pluralities are identical to some thing if and only if they compose. Isn't *that* what the thesis of composition as identity *is*. Whence (you're right, that's fun!) the assumption that, necessarily, every plurality *is* identical to some thing? Given composition as identity, that's just the assumption that univeralism is necessary. Again - question begged.<BR/><BR/>Since there's no obvious incoherence in claiming that some many is *not* identical to any one (after all, that's what they vast majority of us think about *every* plurality!), we should accept that there could be such pluralities, unless given reason to deny such a possibility. The burden, I claim, is on the CAI theorist to show me why this is impossible.Ross Cameronhttps://www.blogger.com/profile/01900752201200020829noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-57043903828070183642007-05-09T04:50:00.000+01:002007-05-09T04:50:00.000+01:00My concern is the one stated (much better than I w...My concern is the one stated (much better than I would have stated it) by Dr Bennett in Argument 2. I don't think that someone who <I>can</I> conceive of a plurality being self-identical will grant your assumption that it makes no sense. And if it does make sense, then it seems that we can start with the necessary self-identity of the Xs and conclude that they compose A. <BR/><BR/>So you may need to argue that<BR/><BR/>1) A plurality is self-identical only if it is identical to some one thing.<BR/><BR/>From there, you can modus tollens (for by hypothesis the Xs are not identical to A in @, and to say they are is question-begging), and thus the plurality is not self-identical. From there your argument continues.<BR/><BR/>Does that sound right?bradleyhttps://www.blogger.com/profile/03718773807574739952noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-33154437898714052962007-05-08T19:58:00.000+01:002007-05-08T19:58:00.000+01:00Pretty cool. But I still think that you're refusi...Pretty cool. But I still think that you're refusing to <I>really </I>take on board the assumption that composition is identity -- a very weird view, and I empathize with the resistance! But you have to really take the premise seriously -- that they are the same relation, and that it's a relation that can hold both one-one and many-one. After all, your claim is not supposed to be that composition as identity is a bad idea, but rather that it's consistent with the contingency of composition. Which I don't think it is...<BR/><BR/>Argument 1: the point about contingent existence seems like a good one. But I'm not sure it really blocks the argument... consider a parallel case where it's just identity at stake. Samuel Clemens is not a necessary existent, so he "is not self-identical in every world; all we can say is that [he] is self-identical in every world in which [he] exists: that is, that [he] has the property necessarily, being identical to [Mark Twain], if [Mark Twain] exists. So all we can say about [SC] in w is that [he] has this property; and so all we can conclude is that in the actual world [SC] has the property being identical to [MT], if [MT] exists." <BR/><BR/>That all sounds good so far. But it's hard to see what's supposed to happen when we move back to the actual world. Is it really the case that proving that SC actually has this property doesn't tell us anything about whether Mark Twain exists?<BR/><BR/>Ooops -- I just read your reply to Geoff, and it sounds like you agree. Though thequestion I am asking is not whether you would endorse "Phosphorus can exist but fail to be identical to Phosphorus provided Hesperus doesn't exist" but rather whether you would endorse "Phosphorus can exist but fail to be identical to Hesperus, provided Hesperus doesn't exist". BOTH sound odd to me... And someone who really endorses strong composition as identity is going to say that the composition case is just the same. What it is for A to exist is for the xs to exist. Period. <BR/><BR/>Argument 2: Bradley's question. Whence the assumption that pluralities are not identical to themselves? (Sorry, I just really wanted to use the word 'whence'!) IF your assumption is right, Trenton's argument looks question-begging.. But it's hard for me to see how YOU'RE not begging the question. What's the non-question-begging justification for the assumption? To assume it seems tantamount to denying that composition is not identity.Anonymoushttps://www.blogger.com/profile/13669315599751279078noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-3151075297217035722007-05-08T18:25:00.000+01:002007-05-08T18:25:00.000+01:00I just can't understand what it is for a many to b...I just can't understand what it is for a many to be self-identical unless the many are a one that they can be self-identical *to*. I can understand what it is for *each* of the many to be self-identical - but that's not what's being claimed. It's being claimed that these things - the Xs - satisfy the predicate *is self-identical*: the very same predicate that is necessarily satisfied by every one thing. I can only make sense of something satisfying this predicate if it is *some thing* - i.e. an individual.<BR/><BR/>That's not really an argument, I guess - just a statement of my conceptual limitations. Do you think the plurality of the Xs could satisfy the predicate 'is self-identical' even if there is no one that the Xs are identical to?Ross Cameronhttps://www.blogger.com/profile/01900752201200020829noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-82430644984506720912007-05-08T17:25:00.000+01:002007-05-08T17:25:00.000+01:00What is your reason for thinking that a plurality ...What is your reason for thinking that a plurality is self-identical only if it it is identical to some one thing?bradleyhttps://www.blogger.com/profile/03718773807574739952noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-20933388663884105682007-05-08T15:55:00.000+01:002007-05-08T15:55:00.000+01:00So the Xs have the property of being identical to ...So the Xs have the property of being identical to the Xs if the Xs exist. But do you want to say that A only has the property of being identical to the Xs is A exists and deny that it has the property of being identical to the Xs if the Xs exist? That sounds like a denial of Leibniz's law.<BR/><BR/>I think there isn't really a problem in the "screwy" version of the argument provided we're careful. 'The King has the property ‘necessarily, identical with Blair, if Blair exists'' is perfectly acceptable provided it is understood de re - as attributing a property of the object that is in fact (in w) the King.<BR/><BR/>Of course, the *sentence* 'Blair is the King' doesn't actually say something true. But the falsity of this sentence is compatible with the person who we picked out with the term 'the King' in w being Blair in @. It's just that 'the King' is a non-rigid designator (i.e. one that changes its reference from world to world).<BR/><BR/>A Manchester blog would be a good idea - especially given the imminent influx of excellent young philosophers!Ross Cameronhttps://www.blogger.com/profile/01900752201200020829noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-71339750538166721192007-05-08T15:18:00.000+01:002007-05-08T15:18:00.000+01:00Thanks, yeah, I see your point. My mistake was to ...Thanks, yeah, I see your point. My mistake was to say the property was:<BR/>"necessarily, being identical to the Xs, if the Xs exist, and if A exists"<BR/><BR/>However, my thought was that it is plausible that property had by an object P is not:<BR/>“identical with something (Q), provided that that something (Q) exits.”<BR/><BR/>But rather:<BR/>“identical with something (Q), provided that the holder of the property, object P, exists.”<BR/><BR/>So in the case of Phosphorus and Hesperus, Phosphorus is identical with Phosphorus, provided that Phosphorus exists. And by LL Hesperus is identical with Phosphorus, provided that Hesperus exists. <BR/><BR/>So we wouldn’t have to say that “Phosphorus can exist but fail to be identical to Phosphorus provided Hesperus doesn't exist.” But we would say that Hesperus can fail to be identical to Phosphorus provided Hesperus doesn't exist, and this sounds fine to me (?) – to be honest though, I am pretty convinced by the one-many identity problem that you go for, so perhaps I am just asking unnecessary questions.<BR/><BR/>One more point (then I’m sure I have a thesis somewhere I should be attending to) is there anything wrong with arguing like this?:<BR/><BR/>No version of the Barcan/Kripke argument can work as it would prove too much. Take an example of normal contingent identity. In w Blair is identical with the King. Also, in w Blair has the property ‘necessarily, identical with Blair, if Blaire exists’. Then by LL, in w The King has the property ‘necessarily, identical with Blair, if Blaire exists’. So in @ The King has the property identical with Blair, if Blair exists. <BR/><BR/>This is obviously screwy, but I can’t see any difference between this line of reasoning, and the one involved in the second version of the Barcan/Kripke argument. <BR/><BR/>Anyway, Ross, feel no obligation to reply, I’m sure you are busy, and as I said this isn’t my area so I am no doubt a little confused. But I like the blog, I’m thinking it would be good to start one up here in Manchester.Geoffhttps://www.blogger.com/profile/03247222261747552716noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-15996431368886537672007-05-08T11:53:00.000+01:002007-05-08T11:53:00.000+01:00Thanks Geoff. I toyed around with that thought fo...Thanks Geoff. I toyed around with that thought for a while myself. The reason I go the way I go and not this way is as follows. You say<BR/><BR/>"It would seem that we should rather say that . . . A has the property necessarily, being identical to the Xs, if the Xs exist, and if A exists"<BR/><BR/>This is the claim I don't want to rely on. It seems that (if we ignore the worry I raise) we can say of the Xs that they are necessairly identical to the Xs, if the Xs exist. So by LL we can say this of A, since A is the Xs. Why should we only be able to say of the Xs that they are necessarily identical to the Xs if both the Xs and A exists?<BR/><BR/>Compare how your point goes in the more germane case of one-one identity. Would you be willing to say that Phosphorus can exist but fail to be identical to Phosphorus provided Hesperus doesn't exist? That sounds odd to me - surely the conditions for Phosphorus being identical to Phosphorus are just that Phosphorus exists. (And hence, by Leibniz's law, the conditions for Hesperus being identical to Phosphorus are just that Phosphorus exists - by which we prove that Hesperus must exist and be identical to Phosphorus in every world in which Phosphorus exists.)<BR/><BR/>Likewise, surely the conditions for the Xs being the Xs are just that the Xs exist (modulo my other concern). And so, by LL, the conditions for A's being the Xs are just that the Xs exist - by which we prove that A must exist and be identical to the Xs in every world in which the Xs exist.<BR/><BR/>So I think either you have to commit yourself to some stange sounding results in the germane cases, or rely on my point for the many-one case. I find the latter more palatable, which is why I rely on that rather than the argument you offer.<BR/><BR/>But it is a really tricky issue. I'm far from confident that your point isn't correct (in both the many-one case and the one-one case). And if it is - well, that's just one more potential nail in the coffin for Merricks' argument, and that doesn't sadden me!Ross Cameronhttps://www.blogger.com/profile/01900752201200020829noreply@blogger.comtag:blogger.com,1999:blog-30588510.post-13490495784956279242007-05-07T20:12:00.000+01:002007-05-07T20:12:00.000+01:00Hi, I’m not totally familiar with this area, so if...Hi, I’m not totally familiar with this area, so if I make a blunder, I apologise. <BR/><BR/>I agree with your overall argument, but I think you can deal with the second version of the Barcan/Kripke argument without having to argue that a plurality can only be self identical to a singular thing, but rather by repeating, slightly rehashed, your objection to the first formulation. (It may well be true that a plurality can only be self identical to a singular thing, but perhaps it is more controversial than your other arguments, so if you can get away without you would only have to defend yourself on one front.) <BR/><BR/>The ‘familiar complication’ that you mention in the first argument I take to be the claim that if an object is a contingent existent it is not necessarily self identical – i.e. it is not self identical in every accessible possible world, because it is not self identical in those worlds where it does not exist. <BR/><BR/>Accordingly, your opponent cannot make the move from A being necessarily identical to A in w to Xs being necessarily identical to A in w to Xs being identical to A in @. (Have I got you right so far?)<BR/><BR/>However, if the above argument goes through, if A can only be identical to A when A exists, surely it is also the case that A can only be identical to Xs when A exists. <BR/><BR/>Now if we start with the self-identity of the Xs, as you do in the second formulation:<BR/>“Hence, the Xs has the property <I>necessarily, being identical to the Xs, if the Xs exist</I>. Hence, given Leibniz’s law, A has the property <I>necessarily, being identical to the Xs, if the Xs exist</I> in w, and therefore has the property <I>being identical to the Xs, if the Xs exist</I> in the actual world.” <BR/><BR/>It would seem that we should rather say that given Leibniz law, A has the property <I>necessarily, being identical to the Xs, if the Xs exist, <B>and if A exists</B></I>. Or alternatively, perhaps we should say that given Leibniz law, A has the property <I>necessarily, being identical to the Xs, if A exists</I>. If this seems like a violation of Leibniz, then perhaps the original property should be understood as containing an indexical referent: so the property becomes: necessarily, being identical to Q, if [the possessor of the property] exists. When Leibniz' law is used to attribute the property to A, the contents of the square bracket changes to ‘A’.<BR/><BR/>So again, all we have is that A is identical with Xs in @ if A exists, which is no problem. <BR/><BR/><BR/>(As an aside, does this argument work if the Xs are necessarily existent?)Geoffhttps://www.blogger.com/profile/03247222261747552716noreply@blogger.com