tag:blogger.com,1999:blog-2631035637795172582.post2045845625070647030..comments2023-01-24T10:06:57.212-08:00Comments on (Blog&~Blog): What Calling The LNC "Metaphysical" Won't Get You A Free Pass OnBenhttp://www.blogger.com/profile/06702722560438833244noreply@blogger.comBlogger15125tag:blogger.com,1999:blog-2631035637795172582.post-71816485747556310392009-10-04T05:12:56.817-07:002009-10-04T05:12:56.817-07:00Sure Ben, I appreciate your comments, I certainly ...Sure Ben, I appreciate your comments, I certainly hadn't considered all these points, but I'll try to keep them in mind in future work. I'm trying to work on something on the notion of logical truth at the moment, maybe I'll consult you about that...Tuomashttps://www.blogger.com/profile/08673467659602413154noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-67378794258858007622009-10-03T14:38:09.922-07:002009-10-03T14:38:09.922-07:00Tuomas,
Just to clarify: I'm not saying that ...Tuomas,<br /><br />Just to clarify: I'm not saying that these things are serious problems for your view (which isn't that far off from mine in many ways), or that there aren't good clean consistent solutions. I'm just pushing the narrower point that they do pose challenges (even if defeatable ones) even to your favored version of the LNC.Benhttps://www.blogger.com/profile/06702722560438833244noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-56215194045352723842009-10-03T06:43:45.910-07:002009-10-03T06:43:45.910-07:00Ben,
Cheers, I'll try to keep this short. I&#...Ben,<br /><br />Cheers, I'll try to keep this short. I'm a bit uneasy about extending the metaphysical LNC to beliefs, as we are dealing with mental states here (and as you say, people seem to have contradictory beliefs, especially children and the mentally ill). You may be right about the Russell Set case though, it sounds like something to which it would be nice to apply LNC to. But I'm not convinced that Kripke's puzzle is a good counterexample to that, for one thing, it doesn't seem to me that it satisfies the requirement of having 'precisely the same psychological state in precisely the same sense', as you put it.<br /><br />As for the Strengthened Liar, I'm not entirely happy about applying the analogy here: it seems to me that sentences cannot be distinguished from the model in which they appear. That is, I don't think that the Strengthened Liar has any independent existence outside the model of the English language, in which case we would still be talking about what a certain model portrays as being true or false -- hence something outside the intended scope of the metaphysical LNC.Tuomashttps://www.blogger.com/profile/08673467659602413154noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-63417992061082586852009-10-02T15:08:37.263-07:002009-10-02T15:08:37.263-07:00Tuomas,
First of all, of course, link from wherev...Tuomas,<br /><br />First of all, of course, link from wherever you want. You don't have to ask.<br /><br />Second, I certainly agree with you that Priest's case for "Zeno's Principle" and the contradiction theory of change is unconvincing for a variety of reasons. (I blogged about that a while back--http://blogandnot-blog.blogspot.com/2009/07/graham-priests-theory-of-change.html )<br /><br />Third, I think there might be an important distinction being run together with the talk of mind-dependence. Whatever one thinks about the relationship between mental states and languages, it seems to me that certain sorts of contradictions even *about mental states* might be the sort of contradictions your version of the-LNC-understood-metaphysically is meant to rule out.<br /><br />IIRC, at some point in your paper, you have a formulation something like the following: the sorts of true contradictions that don't bother you much are merely true-in-a-language or true-in-a-model, not really true in the world (i.e. true simpliciter). (If I'm misremembering here, let me know.) It seems like we can make a closely related distinction about beliefs--it seems obviously true that some people have inconsistent beliefs, but it's not obvious that there are true inconsistencies *about* people's beliefs. (This would, right, be the distinction between B(P) & B(~P) on the one hand and B(P) and ~B(P) on the other.) For example, Graham Priest certainly believes that the Russell Set is a member of itself and that it isn't a member of itself, and even most of his most ardent critics wouldn't argue with *that* claim (about his beliefs). On the other hand, if it were true that Priest believed that the Russell Set was a member of itself *and* it was not true that Priest believed that the Russell Set was a member of itself...i.e. he simultaneously had and lacked precisely the same psychological state in precisely the same sense....then *that* would be a true contradiction about something that (despite being about mental states) we might want in a really strong sense to call part of a "mind-independent" reality, i.e. a reality that is the way it is regardless of what any of us think about it.<br /><br />(Now, the psychological claim that someone could simultaneously believe something and fail to believe it sounds absurd, but it seems to me that this is exactly the result that's at stake in Kripke's Pierre Paradox.)<br /><br />Similarly, with the Strengthened Liar particularly, it seems like the danger of Liar reasoning is that it could show us not that some model portrayed something as being both true and false, but that some entity (the Strengthened Liar sentence) has a certain property (being true) and that it fails to have that property. At the very least, that seems to threaten Tim's principle (3).Benhttps://www.blogger.com/profile/06702722560438833244noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-90560044007959826342009-10-02T01:45:02.114-07:002009-10-02T01:45:02.114-07:00That's a good point Tim, I think I would want ...That's a good point Tim, I think I would want to say that (3) is metaphysical as well. However, if we view existence as a property, controversial as it is, then (3) is entailed by (1). I'm not saying that this is necessarily the case, but I think there are some good reasons to treat existence in this way. Alternatively I might have to say that the metaphysical interpretation of LNC is wider than just (1), even if not as general as (2).Tuomashttps://www.blogger.com/profile/08673467659602413154noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-36960486660568986332009-10-01T16:33:41.820-07:002009-10-01T16:33:41.820-07:00I assumed you were operating with (1), from what y...I assumed you were operating with (1), from what you say on p.34, quoting Aristotle 1984: 1005b19 –20. Just out of curiosity, what about e.g.:<br /><br />(3) it cannot be the case that there both is an F and that there is no F.<br /><br />I suppose that (3) is (paraconsistently) entailed by schema (2) but not (paraconsistently) by (1). Is it "metaphysical" or "logical"?timhttps://www.blogger.com/profile/02753779297869692581noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-64276612784457184982009-10-01T12:24:59.707-07:002009-10-01T12:24:59.707-07:00Tim, thanks for you input.
You're right in th...Tim, thanks for you input.<br /><br />You're right in that I am interested in the sort of reading of LNC which is something like your (1), and in some sense (2) certainly is more general. But ultimately I think that (1) precedes (2), that is, I believe that (2) was only formulated because something like (1) appeared to be true. Accordingly, the order of explanation here is from the world to the laws of logic. It seems to me that Aristotle's discussion of these matters also suggests something similar, although I'll have to take another look at that.<br /><br />If we bite the bullet in regard to semantic paradoxes, then I think that (2) in the most general possible sense is not true. I've said that I'm prepared to do this, although I wouldn't mind a solution to the Liar which avoids this. However, as I see it, the interesting content of LNC is certainly expressed with (1) (although restricting it just to physical properties might not be necessary).<br /><br />In some sense we've just got two different readings of LNC here, we might call (2) strengthened LNC. But like I said, I think that (1) is more fundamental, and (2) is simply a generalisation of that metaphysical principle, which might or might not be true. Perhaps this is also the dividing line between semantic and metaphysical dialetheism.Tuomashttps://www.blogger.com/profile/08673467659602413154noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-4685561360506760162009-10-01T09:46:27.048-07:002009-10-01T09:46:27.048-07:00William: I'm sympathetic to the claim that met...William: I'm sympathetic to the claim that metaphysics *shouldn't* go much beyond science+maths. Lots of contemporary metaphysics (as practicised by self-described metaphysicians) has nothing to do with science or maths, and I tend to be sceptical about that. However, my views on the relationship between metaphysics and science have nothing to do (so far as I can tell) with Tuomas' paper on LNC. So I'll shut up.timhttps://www.blogger.com/profile/02753779297869692581noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-16807836938886559462009-10-01T09:31:49.215-07:002009-10-01T09:31:49.215-07:00Tim, so you're sympathetic to the view that th...Tim, so you're sympathetic to the view that there is nothing distinctive about metaphysics from the empirical sciences?Williamhttps://www.blogger.com/profile/17815317878375064310noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-90247250364625426992009-10-01T09:26:35.104-07:002009-10-01T09:26:35.104-07:00William: good question.
I take it that Tuomas...William: good question. <br /><br />I take it that Tuomas' idea is that we are meant to think of LNC as a constraint on states of affairs in the world. That is, what things there are and what properties they have. (Whereas I think LNC has much broader scope than that.)<br /><br />Am I right, Tuomas?<br /><br />(I should say that I am somewhat sceptical of the idea that there's anything distinctive about metaphysics. However, I think I can bracket *that* disagreement between Tuomas and myself.)timhttps://www.blogger.com/profile/02753779297869692581noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-19046041123542141342009-10-01T08:57:33.452-07:002009-10-01T08:57:33.452-07:00Tim, what do you mean when you say "metaphysi...Tim, what do you mean when you say "metaphysical principle" ?Williamhttps://www.blogger.com/profile/17815317878375064310noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-76497873443990992622009-10-01T08:15:23.128-07:002009-10-01T08:15:23.128-07:00Hi Ben and Tuomas
I was directed here by Tuomas&#...Hi Ben and Tuomas<br /><br />I was directed here by Tuomas' link on facebook. <br /><br />I think the discussion between the two of you brings to the fore the following: Isn't logic (and LNC) a bit more *general* than any metaphysical principle? From your paper, I see you discussing the principle:<br /><br />1. (for all F)(forall x)~(Fx & ~Fx)<br /><br />Where F ranges over physical properties (e.g. "having a charge"). Well, I certainly think that principle 1 is true. But that's also because I think that the following is never false:<br /><br />2. ~(P & ~P)<br /><br />Moreover 1 follows immediately from 2. But 2 is of much wider scope than 2 and not, apparently, metaphysical. So I can't possibly agree with your conclusion that LNC is a metaphysical principle.<br /><br />I take it that's what Ben was getting at in his criticism?<br /><br />That said, I agree with Tuomas that Priest has not found any good counterexamples to 1 (and so has found no good counterexamples to 2).timhttps://www.blogger.com/profile/02753779297869692581noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-8545408963140487632009-10-01T03:23:59.855-07:002009-10-01T03:23:59.855-07:00Thanks Ben.
Well, whether language is a part of t...Thanks Ben.<br /><br />Well, whether language is a part of the world or not and in what sense seems to be an ancillary issue here, but my use of 'mind-independent' in the sense that it excludes language shouldn't be particularly controversial; 'independent' here refers to something like 'ontologically independent' and the fact that we don't have complete control over language does not make it mind-independent in this sense. At any rate, I could just use *physical* world instead of *mind-independent* world.<br /><br />Anyway, I'm perfectly happy to say that language, whatever its status is in the world, has elements that are paradoxical or contradictory. But this is hardly news.<br /><br />What would be news is if the physical world, or world minus language, would be contradictory, but I have not seen any convincing arguments for this. My main concern in the paper was to show that Priest (or Zeno) have not put forward such arguments either.<br /><br />I'm not entirely happy with the notion of 'the most accurate overall description of the world'. But if it is allowed that this description can be expressed in some new, consistent language, then I would imagine that it would not include any contradictions. Concerning the meaning of certain sentences of English, i.e. the contradictory ones, it would perhaps say that they are meaningless. But I'm not very concerned about this. After all, language is only a tiny part of this description, and contradictions just a fraction of that. I'm concerned about whether the primary subject matter of metaphysics is consistent, and that would still seem to be the case.<br /><br />I linked to your post from my blog (http://ttahko.net/blog/), I hope that's ok.Tuomashttps://www.blogger.com/profile/08673467659602413154noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-54755307900307618622009-09-30T10:40:21.201-07:002009-09-30T10:40:21.201-07:00Tuomas,
Sorry about the spelling mistake. It'...Tuomas,<br /><br />Sorry about the spelling mistake. It's been corrected.<br /><br />It's actually not yet clear to me what useful sense of "mind-independent" there is in which language doesn't count. Languages are certainly the result of human human thought and activity, but once brought into existence, have at least a somewhat independent existence, yes? This is what I take Priest to be getting at in one of the best bits of rhetoric in 'In Contradiction', when he says that, "Even though our conceptualisation/linguistic structure is, in a sense, a human product, it does not follow that we have complete control over what we produce. (This, after all, is the moral of Frankenstein, and, in a much more horrific way, of Capital.)"<br /><br />In terms of the distinction between what Mares calls "semantic dialetheism" and what he calls "metaphysical dialetheism" and attributes to Priest, if I'm remembering correctly from Mares' article in the LNC anthology, he says that the semantic dialetheist isn't committed to the view that the most accurate overall description of the world would be inconsistent. The sort of objection I'm trying to push, basically, is this:<br /><br />If you're willing to accept semantic but not metaphysical dialetheism, at least if you accept that dividing line between the two (which, of course, might be a bad way to express it...who knows), do you think that the most accurate overall description of the world (which might be expressed in some new, more consistent language) would include some contradictions about the meaning of certain sentences of English?Benhttps://www.blogger.com/profile/06702722560438833244noreply@blogger.comtag:blogger.com,1999:blog-2631035637795172582.post-23563164385569378062009-09-30T03:33:46.129-07:002009-09-30T03:33:46.129-07:00Thanks for you comments on my paper Ben!
I admit ...Thanks for you comments on my paper Ben!<br /><br />I admit that I didn't want to go into the details of the Liar Paradox in this paper, even though there would no doubt be interesting things to say about it. However, I do think that it's not essential for my purposes and still think that semantic paradoxes will not undermine LNC understood in the metaphysical sense.<br /><br />I agree that sentences are a part of the world, as I think that language is, but they are certainly not part of the world in the same manner as, for instance, electrons are; we could say that they are abstract objects. Now, in the paper I say that I am quite happy with so called linguistic dialetheism, which Liars and other semantic paradoxes would seem to imply. <br /><br />If you like, we could put it like this: one part of the world, namely semantic objects, is paradoxical. However, they are certainly not part of the *physical* world. It's hardly a surprise that a human construction such as language is paradoxical, but it seems to me that this is at least to some extent strictly due to lazyness: we haven't defined language as accurately as we could, because in most cases we don't need to. <br /><br />I should add that I didn't mean to suggest that the Liar is a problem of vagueness, although I admit that it might seem so from the text. I had in mind primarily Priest's examples such as being in a room or being outside a room. This is where (linguistic) vagueness comes in: should we choose to do so, we could remove vagueness of this type very easily, it all depends on how we choose to define 'being in a room'. And now for the key point: when a metaphysical realist talks about *the world*, he generally means *the mind-independent world*. Because language is clearly not mind-independent, it is not included in the world in this sense. I am primarily interested in whether LNC applies to the *mind-independent world*, and semantic paradoxes seem to have no bearing on this.<br /><br />By the way, it's "Tahko" rather than "Takho".Tuomashttps://www.blogger.com/profile/08673467659602413154noreply@blogger.com