A little while ago, I mentioned that I was interviewed for a second appearance on philosophy-oriented podcast Diet Soap. (First one is here.) Anyway, I think the episode with the second appearance on it is going to be coming out within the next couple weeks.
As I emphasized then, I'm happy to be on there. Diet Soap is a podcast I listen to regularly--in fact, lately, it's been the one I've listened to the most regularly that isn't about hockey--and I almost always find it interesting, entertaining and thought-provoking. You should listen.
Anyway, despite having been a normal weekly listener for most of the last bunch of weeks, I somehow missed Episode 91, which was (among other things) about Deluze. Since the most recent episode was a different perspective on Deluze, and the show notes referred to the previous one, I thought I might as well go back and listen to the first Deluze discussion.
...most of which was interesting enough, but towards the end, the host and his guest touched on fatalism and free will in a way that made me want to rip my iPod out of my ears and throw it against the nearest wall in frustration. (I didn't. It's an expensive iPod--one of those tiny little "nano touch" thingies--and what with me being in Korea and all, it'd be even more expensive to replace. Plus, of course, despite my frustration on this particular point, I was still interested to hear the rest of what they had to say.) I've touched on this complaint before, after host Doug Lain brought it up in a previous episode, but I want to take another, more careful crack at it here. Here's what I said about it before:
(2) In the discussions about free will and fatalism, there's a lot of running together of two quite distinct claims:
(i) That there are facts about what will happen in the future, such that some statements about the future are true and some are false, and
(ii) That some being knows which statements about the future are true and which ones are false.
Clearly (at least given the orthodox assumption that truth is a necessary condition for knowledge), (ii) entails (i), but (i) can absolutely and obviously be true without (ii) being true. By analogy, consider Claim C (about the past, rather than the future):
C: "Alexander the great's maternal grandmother's paternal grandmother accidentally cut her toe on a rock when she was six years old."
C is pretty clearly either true or false. Whatever one thinks about reference failures and all of that (i.e. whether a statement like "the present King of France is bald" is true, false or neither, given that there is no present King of France), Alexander the Great clearly had a maternal grandmother, and she clearly had a paternal grandmother, and at one point she was six years old. During that year, that lady either did accidentally cut her toe on a rock--in which case C is true--or she didn't (in which case the negation of C is true), and none of this is remotely philosophically controversial. Given atheism (and the absence of time machines) no one is in any position to have epistemic access to the fact of the matter here, but no one thinks that there isn't a fact of the matter about this issue. Why on earth should it be any different, re: future facts and the absence of any being with epistemic access to those facts?
(In the comments on that post, a friend of mine who's working on free will for his doctoral dissertation put the point rather more vehemently than I would.)
Expanding a bit now:
Lain expresses the point in terms of "truth claims", which I find slightly confusing, just because it's not terminology that I'm used to, but I think it's fairly clear in context that it just means "claims that are true." (For the sake of simplicitly, let's make that "true statements.") He's responding to Taylor's classic argument for fatalism (the idea that the future is "fixed" in some way that gets in the way of some important intuitive idea of free will). That argument is spelled out formally by Taylor, and Lain is looking for a way out. So far, so good.
On the philosophical substance here, my own very strong view is that (a) there are lots of ways out, even if Lain's favored one is as problematic as I think it is, but that (b) no matter what your favorite conception is of free will, "fatalism" shouldn't be a problem. We can come back to that in a bit. Meanwhile....
Lain's move is, basically, to leverage atheism against fatalism. If Taylor's picture has it that there is an infinite set of every true statement about the future--and therefore that, for every prediction you could make about the future, either its in that set or its not, but one way or the other, there's a fixed fact of the matter about whether the prediction's going to come true--Lain wants to dispute the claim that there is such a set of true statements. After all, in the absence of an omniscient God, no one is in a position to claim all the infinitely many true things about the future.
In his most recent statement of all this, in Episode 91, Lain made a special point of saying that something can only be a statement if someone has said it, written it down or thought it. I think this might have been a way of side-stepping the way I'd previously expressed my objection, quoted above--in terms of "some statements being true and others being false" vs. "some entity being in a position to know which statements are true and which are false"--and I guess it does, but in a way that I think misses the point.
Think about the past. That's definitely "fixed" and at this point unchangeable in just the sense that anyone worried about fatalism is worried that the future is "fixed", right? Well, even if the past is finite (different physical cosmologies have importantly different results on that point), in a universe without any God-like entities, surely no one is in any position to know, or state, every true statement about the past, right? That is, however, just obviously utterly irrelevant to the pasts' "fixed"-ness.
The reason its irrelevant is that the issue isn't so much about statements as it is about facts. Even if I hadn't come up with the particular example I used in the comments--C: "Alexander the great's maternal grandmother's paternal grandmother accidentally cut her toe on a rock when she was six years old."--and indeed if no one had ever said or thought of that statement (as is extremely likely that no one would have) the lady in question, and all events in her life, would still exist, and either include or fail to include the described incident. Even if one thinks that sentences per se rather, than say, propositions, are the only things that can be "true" or "false", and even if a sentence describing the incident doesn't exist, either the incident occurred or it didn't.
Now, one could make a really radical move here and just deny the existence of un-described facts--if no one has ever commented on or thought about the number of empty bottles on the floor of the basement of the frat house, then there isn't a certain, definite, objective number of bottles there!--and that would sort-of-help here, but, in the end, it wouldn't help much. Not only would this move distance you so much from any remotely recognizable sense of the meaning of the word "truth" as it's used pre-philosophically in ordinary everyday conversations that it's no longer clear to me what we're talking about when we talk about whether some statement is "true" or "false", but even if we make this move, it won't get us off the fatalist hook.
For one thing, we can always reconstruct the fatalistic stuff in terms of hypothetical statements--e.g. "for any possible future event, if one were to make a prediction about it, that prediction would either be a true prediction or it wouldn't be"--and for another, even if we couldn't (and, again, we pretty clearly can), that wouldn't matter very much.
Here's why:
Forget "the future" as a vast (possibly infinitely extended) category, and re-ask yourself why you're concerned with fatalism in the first place. Presumably, it's because we want to think we have the power to change things with our idividual or collective choices, or at the very least that (even if we don't think it's a matter of choice) certain future possibilities we care about are still "open."
The problem is that, for any given future possibility we care about the openness of, we can just construct a sentence about it. For example:
"Doug Lain's great-grandchildren will live under precisely the sort of anarchist-socialist utopia he advocates."
or
"An anarchist-socialist utopia will never come about."
or
"Doug Lain will murder someone on July 15th, 2058, and be executed for that crime."
or
"Doug Lain will never kill anyone."
....or whatever. Whether or not there's an infinite set of true statements for any of these these statements to be part of (if any of them are true) or to be fail to be part of, we hardly need an infinite, omniscient mind for these particular statements to exist. (Check them out! I just wrote them up!) Given that they exist, they're either true or they're not, which is presumably just as much (or, of course, just as little) of a problem for the "openness" or undecidness or whatever of these future possibilities as them being or not being part of some infinite set of true statements would be.
Now, like I said earlier, I tend to think that both (a) if one thinks that its important to avoid this fatalistic result, there are plenty of moves you could make that do so, even if the move under consideration has prospects as dim as I think they are, and that (b) it's actually not important to avoid it (the future is every bit as much "up to us" and to our free choices with or without the kind of 'openness' anti-fatalists tend to be concerned with). That is, though, as they say, a-whole-nother discussion, and one probably best reserved for a blog post of its own, this one being as long as it is already.
So let's do that in a couple weeks. Meanwhile, stay tuned for the long-delayed Part IV of the Liar Pardox posts next Wednesday!
Wednesday, April 13, 2011
Monday, April 11, 2011
Wednesday, April 6, 2011
Some Objections to the Meaninglessness Solution to the Liar Paradox, Part III of IV
My view is that, as my boy Willard Van put it, truth is disquotation. When I prefix the words 'it's true that' to a quoted sentence, the effect of what I've done is to remove the quotation marks. Moreover, I see no principled distinction between this way of ascribing truth to a sentence (quoting it within the larger sentence in which one applies the truth operator to it), or other standard ways of ascribing truth, like saying "that's true" in response to someone else's statement, or the more formal device of writing down a pair of numbered sentences like (14) and (15):
(14) Snow is white.
(15) Sentence (14) is true.
In all of these, the function of the truth predicate/operator is exactly the same.
A good analogy in contemporary informal English is "What he said."
Imagine the following, fairly mundane interaction:
An evolutionary biologist, Jane, is drinking at a bar with her boyfriend John (a humanities major with a shaky but more or less accurate grasp on her field) and her loveable-but-frustrating cousin Jack, a fundamentalist Christian (who's just ordering coca cola and bar nachos while his heathen cousin and the man she's living in sin booze up). At some point, Jack brings up evolution and runs through some creationist talking point about missing links in the fossil record or some such. Jane sighs, orders another drink and carefully runs through the scientific explanation of what Jack's talking about. In the end, both cousins stop talking and turn to John, who just tilts his head towards his girlfriend and says "What she said."
This is a normal and immediately familiar usage--note, BTW, that John's sentence isn't syntactically "well-formed", but it's meaningful all the same, "well-formed"-ness in natural language contexts not being necessary for, sufficient for, or even especially relevant t meaningfulness--and we all get what's going on here. "What she said" is a linguistic device John is using as a shorthand method of asserting exactly what Jane just asserted. He could be using it for a variety of reasons--most obviously, using this handy abbreviation is far easier than repeating the entire explanation Jane just gave, but it could also (in this case quite plausibly) be that he doesn't remember every detail of what he means to be asserting. Certainly, there's very little temptation here to think that John means anything above and beyond, or different from, what Jane said. The point of the phrasing is, in fact, to draw attention to the fact that he means to say exactly what, well, "she said."
The word 'true' has various advantages over its functionally kindred linguistic device 'what she said'--for one thing, one can use it on written sentences, and more tellingly, on sentences whose source is unclear--but the point, I think, is the same. Instances of "what she said" are presumably meaningful if the sentence it's applied to are meaningful and meaningless otherwise (John: "Colorless green ideas sleep furiously", Jane: "What he said"), and the same goes, I would argue for truth. The general principle is that truth talk is only *parasitically* meaningful. Prefixing "it's true that" to a *quoted* sentence has the effect of removing the quotation marks--i.e. "it's true that 'snow is white'" means precisely the same thing as "snow is white"--but putting "it's true that" at the beginning of a sentence already outside of quotation marks has no semantic impact at all. (It might add emphasis, but it doesn't change the meaning.) "(16) is true" has no independent meaning not supplied by whatever sentence (16) means. An obvious consequence of this view is that if "(16) is true" inherits no meaning from sentence (16), then it means nothing at all. Hence, if sentence (16) is "snow is white", "(16) is true" does nothing but attribute whiteness to snow, and if (16) is (16) is true, it means nothing at all. Putting a "not" in the mix is never, of course, enough to change a meaningless jumble of words into a meaningful one.
At the end of Part I, I considered one of the most worrying objections to this position. Isn't it manifestly possible to 'reason' about these sentences? Doesn't someone like me, who takes Liar sentences to be meaningless, come to this position on the basis of careful consideration of various other approaches to the paradox? Isn't part of the process of arguing for this solution going to be a matter of arguing against competing solutions, and won't that, in turn, be to a considerable extent a matter of arguing about "what follows" from various Liar sentences, in combination with added premises taken from a proposed solution? (For example: "You say that standard Liar sentences are meaningful but that they do not express propositions. What, then, about a sentence that says of itself that it does not express a true proposition? Surely, if it doesn't express a proposition at all, it doesn't express a true one, right?" or "I don't see how a gap theorist can get around the revenge paradox about a sentence that says of itself that it's either false or gappy" or "How does the dialetheist deal with a sentence that says of itself that it is just false and not true?") If one plays this game as well as anyone, doesn't that show that, like everyone else one grasps the meaning of the sentences in question? After all, isn't this game of generating unappetizing inferences from alternate solutions a matter of drawing out the entailments of the content of these sentences?
In Part II, I responded to this objection by pointing out that the same problem could arise for sentences that everyone takes to be meaningless, drawing out a scenario in which many people might infer contradictions from the sentence "Colorless green ideas sleep furiously" and ways that the hypothetical philosophical debate about this "Greenness Paradox" could closely mimic the actual philosophical debate about the Liar Paradox.
One possible problem here might have to do with distinctions among meaningless sentences. In the comments on Part I, ParisW suggested that there might be quantitative degrees of, or qualitatively different types of meaningfulness, and that different meaningless sentences might interact with logic in different ways. Now, I don't words in his mouth, and the line of thought would have to be developed a bit first anyway, but the general idea could be that it's not legitimate to pick out a meaningless sentence, show how it interacts with logic, and make sweeping generalizations about how Liars interact with logic or fail to do so if they are meaningless.
Now, personally I have trouble seeing how this could get off the ground--"means something"/"means nothing" look pretty clearly binary to me--but maybe the possibility of the "Greenness Paradox" is a consequence of "Colorless green ideas sleep furiously", despite its distinguished history as a stock example of a meaningless sentence, just isn't meaningless enough. How about "blorks geblork"? We could have the following conversation:
Person 1: "Blorks geblork!"
Person 2: "That's false."
Person 1: "So you think blorks don't geblork?"
Person 3: "That doesn't follow from what 2's point that it's not the case that blorks geblork. It could be that there are no blorks."
Clearly, there's something absurd about these three people going through the motions of reasoning about a combination of nonsense syllables. Equally, clearly, Person 1's gloss on Person 2's statement commits some sort of further mistake, correctly highlighted by Person 3's comment, and this further mistake is something that goes above beyond the basic category mistake of applying truth talk to a meaningless string of nonsense syllables and going on to "reason" about them.
Again, one might think this has something to do with degrees or kinds of meaninglessness. The string of nonsense syllables in question, after all, still has an apparent subject-predicate form, which is the entry point for all this.
Take a different example. Let's say I just sneezed. I've made a sound that doesn't sound at all subject-predicate-ish, and that no one who heard it and understood what it was would mistake for a claim about anything. Now, if some strange person did say that my sneeze was "true", a tempting way to correct them would be to say, "no no no, it wasn't true or false. Sneezes are just the wrong kind of thing to be able to count as either."
Once we combine a natural way of symbolizing the first sentence of my "correction" with two banally orthodox assumptions about truth and logic, we have all the ingredients of what we can call the Sneeze Paradox:
Premise 1: For every P, T(P) iff P..
Premise 2: For every P, T(P) or F(P).
Premise 3: Ben's sneeze (S) is neither true nor false. [~T(S) & ~F(S)]
By a series of relative simple steps I'll leave as an exercise for the reader, we get to:
Conclusion: S & ~S
One could imagine an (unlikely) scenario where no one ever figured out what was wrong here, and dialetheists used the Sneeze Paradox to argue for true contradictions, gap theorists used it to argue against Bivalence, sophisticated logicians with mostly orthodox premises found all kinds of ingenious ways of twiddling with or conceptually re-thinking the rational role of the logical architecture to avoid the conclusion and so on. Inevitably, various participants in this debate would make various reasoning mistakes.
Of course, we know that the at-bottom mistake underlying the whole debate is a nonsensical category mistake, not a factual mistake of any kind. If my statement "my sneeze wasn't true or false" is true, it's because I don't mean to literally assert the negation of the disjunction of the claim that it is true and the claim that it is false. If I'm talking sense in any sense, it's because what I really mean by the sloppy shorthand "it's not true or false" is "it's not the kind of thing to which 'true' and 'false' can be meaninfully applied, which is a different kettle of fish entirely. Still, on he way to realizing this, we'd doubtless want to nit-pick the arguments of the normal participants in the debate, catch them out on 'errors.'
So, how can we possibly conceptualize these 'errors'? And won't any analysis we give of the nature of these apparent "errors in reasoning" inevitably spawn new revenge problems for the meaningless solution, along the lines of (17)?
(17) Sentence (17) is one that one would have to ultimately label as "false" if one treated it as being meaningful and went through the motions of "reasoning" about it without making the sort of mistake we would regard in normal contexts as a mistake in reasoning.
To which all I can say is, stay tuned for the exciting conclusion of our quadrilogy to find out!
(14) Snow is white.
(15) Sentence (14) is true.
In all of these, the function of the truth predicate/operator is exactly the same.
A good analogy in contemporary informal English is "What he said."
Imagine the following, fairly mundane interaction:
An evolutionary biologist, Jane, is drinking at a bar with her boyfriend John (a humanities major with a shaky but more or less accurate grasp on her field) and her loveable-but-frustrating cousin Jack, a fundamentalist Christian (who's just ordering coca cola and bar nachos while his heathen cousin and the man she's living in sin booze up). At some point, Jack brings up evolution and runs through some creationist talking point about missing links in the fossil record or some such. Jane sighs, orders another drink and carefully runs through the scientific explanation of what Jack's talking about. In the end, both cousins stop talking and turn to John, who just tilts his head towards his girlfriend and says "What she said."
This is a normal and immediately familiar usage--note, BTW, that John's sentence isn't syntactically "well-formed", but it's meaningful all the same, "well-formed"-ness in natural language contexts not being necessary for, sufficient for, or even especially relevant t meaningfulness--and we all get what's going on here. "What she said" is a linguistic device John is using as a shorthand method of asserting exactly what Jane just asserted. He could be using it for a variety of reasons--most obviously, using this handy abbreviation is far easier than repeating the entire explanation Jane just gave, but it could also (in this case quite plausibly) be that he doesn't remember every detail of what he means to be asserting. Certainly, there's very little temptation here to think that John means anything above and beyond, or different from, what Jane said. The point of the phrasing is, in fact, to draw attention to the fact that he means to say exactly what, well, "she said."
The word 'true' has various advantages over its functionally kindred linguistic device 'what she said'--for one thing, one can use it on written sentences, and more tellingly, on sentences whose source is unclear--but the point, I think, is the same. Instances of "what she said" are presumably meaningful if the sentence it's applied to are meaningful and meaningless otherwise (John: "Colorless green ideas sleep furiously", Jane: "What he said"), and the same goes, I would argue for truth. The general principle is that truth talk is only *parasitically* meaningful. Prefixing "it's true that" to a *quoted* sentence has the effect of removing the quotation marks--i.e. "it's true that 'snow is white'" means precisely the same thing as "snow is white"--but putting "it's true that" at the beginning of a sentence already outside of quotation marks has no semantic impact at all. (It might add emphasis, but it doesn't change the meaning.) "(16) is true" has no independent meaning not supplied by whatever sentence (16) means. An obvious consequence of this view is that if "(16) is true" inherits no meaning from sentence (16), then it means nothing at all. Hence, if sentence (16) is "snow is white", "(16) is true" does nothing but attribute whiteness to snow, and if (16) is (16) is true, it means nothing at all. Putting a "not" in the mix is never, of course, enough to change a meaningless jumble of words into a meaningful one.
At the end of Part I, I considered one of the most worrying objections to this position. Isn't it manifestly possible to 'reason' about these sentences? Doesn't someone like me, who takes Liar sentences to be meaningless, come to this position on the basis of careful consideration of various other approaches to the paradox? Isn't part of the process of arguing for this solution going to be a matter of arguing against competing solutions, and won't that, in turn, be to a considerable extent a matter of arguing about "what follows" from various Liar sentences, in combination with added premises taken from a proposed solution? (For example: "You say that standard Liar sentences are meaningful but that they do not express propositions. What, then, about a sentence that says of itself that it does not express a true proposition? Surely, if it doesn't express a proposition at all, it doesn't express a true one, right?" or "I don't see how a gap theorist can get around the revenge paradox about a sentence that says of itself that it's either false or gappy" or "How does the dialetheist deal with a sentence that says of itself that it is just false and not true?") If one plays this game as well as anyone, doesn't that show that, like everyone else one grasps the meaning of the sentences in question? After all, isn't this game of generating unappetizing inferences from alternate solutions a matter of drawing out the entailments of the content of these sentences?
In Part II, I responded to this objection by pointing out that the same problem could arise for sentences that everyone takes to be meaningless, drawing out a scenario in which many people might infer contradictions from the sentence "Colorless green ideas sleep furiously" and ways that the hypothetical philosophical debate about this "Greenness Paradox" could closely mimic the actual philosophical debate about the Liar Paradox.
One possible problem here might have to do with distinctions among meaningless sentences. In the comments on Part I, ParisW suggested that there might be quantitative degrees of, or qualitatively different types of meaningfulness, and that different meaningless sentences might interact with logic in different ways. Now, I don't words in his mouth, and the line of thought would have to be developed a bit first anyway, but the general idea could be that it's not legitimate to pick out a meaningless sentence, show how it interacts with logic, and make sweeping generalizations about how Liars interact with logic or fail to do so if they are meaningless.
Now, personally I have trouble seeing how this could get off the ground--"means something"/"means nothing" look pretty clearly binary to me--but maybe the possibility of the "Greenness Paradox" is a consequence of "Colorless green ideas sleep furiously", despite its distinguished history as a stock example of a meaningless sentence, just isn't meaningless enough. How about "blorks geblork"? We could have the following conversation:
Person 1: "Blorks geblork!"
Person 2: "That's false."
Person 1: "So you think blorks don't geblork?"
Person 3: "That doesn't follow from what 2's point that it's not the case that blorks geblork. It could be that there are no blorks."
Clearly, there's something absurd about these three people going through the motions of reasoning about a combination of nonsense syllables. Equally, clearly, Person 1's gloss on Person 2's statement commits some sort of further mistake, correctly highlighted by Person 3's comment, and this further mistake is something that goes above beyond the basic category mistake of applying truth talk to a meaningless string of nonsense syllables and going on to "reason" about them.
Again, one might think this has something to do with degrees or kinds of meaninglessness. The string of nonsense syllables in question, after all, still has an apparent subject-predicate form, which is the entry point for all this.
Take a different example. Let's say I just sneezed. I've made a sound that doesn't sound at all subject-predicate-ish, and that no one who heard it and understood what it was would mistake for a claim about anything. Now, if some strange person did say that my sneeze was "true", a tempting way to correct them would be to say, "no no no, it wasn't true or false. Sneezes are just the wrong kind of thing to be able to count as either."
Once we combine a natural way of symbolizing the first sentence of my "correction" with two banally orthodox assumptions about truth and logic, we have all the ingredients of what we can call the Sneeze Paradox:
Premise 1: For every P, T(P) iff P..
Premise 2: For every P, T(P) or F(P).
Premise 3: Ben's sneeze (S) is neither true nor false. [~T(S) & ~F(S)]
By a series of relative simple steps I'll leave as an exercise for the reader, we get to:
Conclusion: S & ~S
One could imagine an (unlikely) scenario where no one ever figured out what was wrong here, and dialetheists used the Sneeze Paradox to argue for true contradictions, gap theorists used it to argue against Bivalence, sophisticated logicians with mostly orthodox premises found all kinds of ingenious ways of twiddling with or conceptually re-thinking the rational role of the logical architecture to avoid the conclusion and so on. Inevitably, various participants in this debate would make various reasoning mistakes.
Of course, we know that the at-bottom mistake underlying the whole debate is a nonsensical category mistake, not a factual mistake of any kind. If my statement "my sneeze wasn't true or false" is true, it's because I don't mean to literally assert the negation of the disjunction of the claim that it is true and the claim that it is false. If I'm talking sense in any sense, it's because what I really mean by the sloppy shorthand "it's not true or false" is "it's not the kind of thing to which 'true' and 'false' can be meaninfully applied, which is a different kettle of fish entirely. Still, on he way to realizing this, we'd doubtless want to nit-pick the arguments of the normal participants in the debate, catch them out on 'errors.'
So, how can we possibly conceptualize these 'errors'? And won't any analysis we give of the nature of these apparent "errors in reasoning" inevitably spawn new revenge problems for the meaningless solution, along the lines of (17)?
(17) Sentence (17) is one that one would have to ultimately label as "false" if one treated it as being meaningful and went through the motions of "reasoning" about it without making the sort of mistake we would regard in normal contexts as a mistake in reasoning.
To which all I can say is, stay tuned for the exciting conclusion of our quadrilogy to find out!
Monday, April 4, 2011
Singapore Talk & Revenge Problems for Dialetheism
So I just bought a roundtrip ticket to Singapore.
Three weeks from tomorrow, I'll be delivering a talk at the Philosophy Department at the National University of Singapore (NUS) entitled "Liar Paradox II: Revenge of the Liar Paradox." In lieu of Part III of the ongoing series on the same subject, here's the abstract I sent them for the talk (and then a quick explanation of where I'm going with it):
Dialetheists like Graham Priest and JC Beall conclude from the Liar Paradox that sentences like “This sentence is not true” are fact both true and untrue, and that we must therefore revise our logic to accommodate the existence of true contradictions. Similarly, “paracomplete” theorists like Hartry Field avoid the contradiction posed by the Liar Paradox by rejecting one of the central elements of classical logic, the Law of the Excluded Middle. A more conservative solution starts from the claim that sentences that attempt to attribute truth or untruth to themselves are meaningless, and therefore simply not the kinds of things we can logically symbolize or apply truth talk to without committing a nonsensical category mistake. The most common objections to this move are (1) that the “meaninglessness solution” is refuted by the existence of “revenge paradoxes” like the one revolving around the sentence “This sentence is either false or meaningless”, and that (2) the sentences involved are so obviously meaningful that it’s just not possible to take seriously the claim that they’re literally meaningless in any ordinary sense, like “Blorks geblork” or “Colorless green ideas sleep furiously,” whereas the dialetheist and paracomplete approaches have the advantages that they (1*) make room for the perfectly obvious fact that, in any language with normal expressive resources, we can construct perfectly meaningful sentences that attribute untruth to themselves, and (2*) are immune to refutation by means of “revenge paradoxes.” I will argue that (1), (2), (1*) and (2*) are all completely wrong.
#
On (2)/(1), of course, see Part I and Part II of the series of posts I've been doing on that here. (And, of course, stay tuned for Part III on Wednesday!) To get a sense of what I'm talking about on (1)/(2*), see (on the paracomplete side) here. On the dialetheist side, the problem, as I see it, is this*:
The dialetheist wants to argue that Disjunctive Syllogism fails to be universally truth-preserving (given true contradictions), and so it cannot be used to infer triviality after the dialetheist has embraced the contradictions entailed by the various paradoxes.
What does it mean to fail to be universally truth-preserving?
Given logical orthodoxy, the obvious answer is that an inference fails to be universally truth preserving iff there are possibilities on which the premises are all true and the conclusion is false. The dialetheist, obviously, can't conceive of it that way. Given the possibility of true contradictions, we can have possibilities where the premises of an argument are all true and the conclusion is false....but also true. On dialetheist assumptions, the mere fact that we've inferred a false conclusion from true premises is insufficient to establish that the the inference form fails to be universally truth-preserving.
Graham Priest's solution is to conceive of failures-of-truth-preservation as cases where the premises all 'relate to truth' and the conclusion fails to do so. (For technical reasons of his own, he prefers to think of truth as a relation rather than a function--so sentences 'relate' to truth or 'relate' to falsehood or both--but that's not really relevant right now. Talk of sentences relating to truth can translate to talk of them being true with no loss of nuance relevant to our discussion here.) The problem is that, obviously, it's always possible to come up with a Liar that says of itself that it fails to relate to truth. If normal Liars establish the possibility of sentences being simultaneously true and false, these anti-dialetheist revenge Liars should equally well establish the possibility of sentences simultaneously relating to truth and failing to relate to truth. Given this, establishing the possibility of all of the premises of an instance of Disjunctive Syllogism relate to truth while the conclusion fails to relate to truth should be not a single bit more relevant to showing that it fails to be universally truth-preserving than establishing the possibility of all the premises of an instance of Disjunctive Syllogism being true while the conclusion is false.
More generally, it looks like for any Status S such that the dialetheist could try to turn to in order to say "an argument fails to be universally truth preserving iff the premises are all true and the conclusion has Status S", we can always construct a revenge Liar of the form "This sentence has Status S" that will, on dialetheist assumptions, establish that true sentences can also have Status S. Once we've established this, it's not clear why Status S is a better candidate for a definition of failures-of-truth-preservation than mere falsity.
Many people have noticed the possibility of such sentences, shredding up distinctions dialetheists seem to find important--e.g. between sentences that are false-and-also-true and those that are "just" false ("This sentence is just false and not true")--and felt that in some way this was a problem for the dialetheist position on the Liar. Graham Priest, at least, has a standard response, found in multiple books and papers. He'll analyze the Liar sentence in question, show how the contradiction is derived from it, show how triviality fails to be entailed by the contradiction in his favored system of paraconsistent logic, and make some variation of a quip about how his point was never to avoid contradictions, but merely to contain them.
The problem, if I'm right about this, is that dialetheism's revenge problems don't just deliver more contradictions, they tear down the bars dialetheists want to use to contain them.
Three weeks from tomorrow, I'll be delivering a talk at the Philosophy Department at the National University of Singapore (NUS) entitled "Liar Paradox II: Revenge of the Liar Paradox." In lieu of Part III of the ongoing series on the same subject, here's the abstract I sent them for the talk (and then a quick explanation of where I'm going with it):
Dialetheists like Graham Priest and JC Beall conclude from the Liar Paradox that sentences like “This sentence is not true” are fact both true and untrue, and that we must therefore revise our logic to accommodate the existence of true contradictions. Similarly, “paracomplete” theorists like Hartry Field avoid the contradiction posed by the Liar Paradox by rejecting one of the central elements of classical logic, the Law of the Excluded Middle. A more conservative solution starts from the claim that sentences that attempt to attribute truth or untruth to themselves are meaningless, and therefore simply not the kinds of things we can logically symbolize or apply truth talk to without committing a nonsensical category mistake. The most common objections to this move are (1) that the “meaninglessness solution” is refuted by the existence of “revenge paradoxes” like the one revolving around the sentence “This sentence is either false or meaningless”, and that (2) the sentences involved are so obviously meaningful that it’s just not possible to take seriously the claim that they’re literally meaningless in any ordinary sense, like “Blorks geblork” or “Colorless green ideas sleep furiously,” whereas the dialetheist and paracomplete approaches have the advantages that they (1*) make room for the perfectly obvious fact that, in any language with normal expressive resources, we can construct perfectly meaningful sentences that attribute untruth to themselves, and (2*) are immune to refutation by means of “revenge paradoxes.” I will argue that (1), (2), (1*) and (2*) are all completely wrong.
#
On (2)/(1), of course, see Part I and Part II of the series of posts I've been doing on that here. (And, of course, stay tuned for Part III on Wednesday!) To get a sense of what I'm talking about on (1)/(2*), see (on the paracomplete side) here. On the dialetheist side, the problem, as I see it, is this*:
The dialetheist wants to argue that Disjunctive Syllogism fails to be universally truth-preserving (given true contradictions), and so it cannot be used to infer triviality after the dialetheist has embraced the contradictions entailed by the various paradoxes.
What does it mean to fail to be universally truth-preserving?
Given logical orthodoxy, the obvious answer is that an inference fails to be universally truth preserving iff there are possibilities on which the premises are all true and the conclusion is false. The dialetheist, obviously, can't conceive of it that way. Given the possibility of true contradictions, we can have possibilities where the premises of an argument are all true and the conclusion is false....but also true. On dialetheist assumptions, the mere fact that we've inferred a false conclusion from true premises is insufficient to establish that the the inference form fails to be universally truth-preserving.
Graham Priest's solution is to conceive of failures-of-truth-preservation as cases where the premises all 'relate to truth' and the conclusion fails to do so. (For technical reasons of his own, he prefers to think of truth as a relation rather than a function--so sentences 'relate' to truth or 'relate' to falsehood or both--but that's not really relevant right now. Talk of sentences relating to truth can translate to talk of them being true with no loss of nuance relevant to our discussion here.) The problem is that, obviously, it's always possible to come up with a Liar that says of itself that it fails to relate to truth. If normal Liars establish the possibility of sentences being simultaneously true and false, these anti-dialetheist revenge Liars should equally well establish the possibility of sentences simultaneously relating to truth and failing to relate to truth. Given this, establishing the possibility of all of the premises of an instance of Disjunctive Syllogism relate to truth while the conclusion fails to relate to truth should be not a single bit more relevant to showing that it fails to be universally truth-preserving than establishing the possibility of all the premises of an instance of Disjunctive Syllogism being true while the conclusion is false.
More generally, it looks like for any Status S such that the dialetheist could try to turn to in order to say "an argument fails to be universally truth preserving iff the premises are all true and the conclusion has Status S", we can always construct a revenge Liar of the form "This sentence has Status S" that will, on dialetheist assumptions, establish that true sentences can also have Status S. Once we've established this, it's not clear why Status S is a better candidate for a definition of failures-of-truth-preservation than mere falsity.
Many people have noticed the possibility of such sentences, shredding up distinctions dialetheists seem to find important--e.g. between sentences that are false-and-also-true and those that are "just" false ("This sentence is just false and not true")--and felt that in some way this was a problem for the dialetheist position on the Liar. Graham Priest, at least, has a standard response, found in multiple books and papers. He'll analyze the Liar sentence in question, show how the contradiction is derived from it, show how triviality fails to be entailed by the contradiction in his favored system of paraconsistent logic, and make some variation of a quip about how his point was never to avoid contradictions, but merely to contain them.
The problem, if I'm right about this, is that dialetheism's revenge problems don't just deliver more contradictions, they tear down the bars dialetheists want to use to contain them.
Wednesday, March 30, 2011
Some Objections to the Meaninglessness Solution to the Liar Paradox, Part II of IV
Imagine a world where the predicates 'is green' and 'is colored' were considered much more philosophically interesting than it is in the actual world, interesting enough that philosophers and logicians worried about what formal rules related these predicates. One fairly crushingly obvious rule about them would what we can call the G-out rule, allowing us to infer 'X is Colored' from any instance of 'X is Green.'
Now, imagine that there was one other big difference between that world and this world. In our world, the classical example of a syntactically correct but clearly meaningless sentence is C:
C: "Colorless green ideas sleep furiously."
In the imaginary world, this sentence is treated rather different. The humans in this world have made contact with unfathomably intelligent alien entity, capable of speaking English (perhaps with the aid of a universal translator). Every time the entity has been asked a question, and it has deigned to answer, its answer has been proven correct. Sometimes it has taken humans many years, and full-fledged scientific revolutions, to understand *how* what the entity said could have been true, but in the end, there's never been any room for serious doubt. The entity has never once been shown to have (or even been widely suspsect to have) misunderstood a question. At some point, for some strange reason, someone asks the entity about C and it points to the paper where the questioner has written down C and says "this is true."
As often happens when the alien entity says something interesting, ripples of immediate change go through entire fields of study. A few philosophers think that in this case the entity got confused and make a strange sort of category mistake--after all, as in our world, any position, no matter how odd, always has a few philosophical backers--but there's a wide consensus now that C must be true (and therefore meaningful) after all. Almost immediately, some clever theorists notice that this revelation has created a new problem, which they call the "Greenness Paradox." Pretty soon, the dialetheists in this world seize on the Greenness Paradox as an argument for the existence of true contradictions. Here's how it goes:
Start with the formalization of C, given classical logic and orthodox assumptions about how to read the existential quantifier:
1: "There exists an X such that X is green and it is not the case that X is colored and X is an idea and X sleeps furiously."
It clearly follows from 1 that:
2: "There exists an X such that X is green and it is not the case that X is colored."
Apply existential instantiation to 2 to get:
3: "P is green and it is not the case that P is colored."
Apply conjunction elimination to 3 to get:
4: "P is green."
Apply our G-out rule to 4 to get:
5: "P is colored."
Apply conjunction elimination to 3 once again to get:
6: "It is not the case that P is colored."
Apply conjunction addition to 5 & 6 and we get:
7: "P is colored and it is not the case that P is colored."
.....which, the dialetheists of this world argue, is a true contradiction! Viola.
Of course, the dialetheist take on the Greenness Paradox isn't the only game in town. For example, one would imagine that a more conservative solution to the Greenness Paradox would be to deny "the naive theory of greenness" and to restrict G-out in some way. An obvious non-classical but non-dialetheist solution would be to deny that the existential quantifier is ontologically loaded after all. Proponents of this Meinongian solution to the Greenness Paradox would argue that some things can be true of colorless green things ideas without there being colorless green ideas. The Hofweber of this world will argue that, while the existential quantifier is ontologically loaded, and classical logic and the naive theory of greenness are true, and we shouldn't be so arrogant as to reject the superior wisdom of the alien entity by denying C, truth preservation should be understood in a generic rather than universal way. Just as "bears are dangerous" can be true without every bear being dangerous, "valid logical inferences are truth preserving" can be true even if not every valid inference from a true premise preserves truth. The Greenness Paradox, Bizarro-Hofweber would argue, shows us that the universal reading of the notion of truth preservation represents an airy "ideal of validity" that has an obvious appeal, but that the paradox falsifies the ideal.
At this point, it should be pretty easy to come up with a variety of other such philosophically sophisticated solutions to the paradox and to have a pretty good idea of how the argument between proponents of various competing solutions would proceed. Inevitably, some solutions would seem to work better than others, to contain hidden inconsistencies, and so on, and everyone, including the few extreme skeptics who didn't think the unfathomably intelligent alien entity at the source of all this was on the level when it uttered the words "this is true" about C, would be able to do so perfectly easily. "You try to solve it by saying that the colorless, furiously sleeping ideas are red rather than green, but red things are just as colored as green ideas, so you haven't gotten around the original problem." "You forgot a negation sign in Step 5. Once you add it in, you can see that a contradiction is entailed later, when you say...." Etc., etc., etc.
Now, imagine that they were right, and that the entity actually had the same take on C as Chomsky and most of the rest of us citizens of the actual world. He was simply messing with the puny humans out of boredom by pointing to a meaningless sentence and saying the words "this is true." He'd never done this before--he'd always given good and helpful responses to the rest of their inane little queries--but there's a first time for everything. Certainly, from the perspective of the humans, it's understandable that they would never catch on. Having been shown so many amazing things by the entity--remember, scientific revolutions are sparked off by it's statements on a regular basis--it seems utterly plausible to them that a sentence they thought was definitely meaningless actually has a meaning that their puny monkey minds cannot fully grasp. From there, given the function of phrases like 'is green' and 'is colored' in meaningful sentences (G-out is clearly a good rule), the equivalence of 'colorless' with the negation of 'colored', and the ways that we translate into logical lingo sentences of the form "X-ish things do Y", the apparent possibility of reasoning from a contradiction to Y.
Now, assuming that we and the imaginary aliens are right about C, we now have a problem. It is, in fact, the same problem we ended Part I with. We know that nothing "follows" from C. It's meaningless, not the kind of thing we can logically symbolize or apply truth-talk to without committing a nonsensical category mistake. The idea that anything really "follows" from C is deeply confused, like saying that something 'follows' from a string of nonsense syllables, or a bit of burning candle wax. Somehow, though, we seem to be perfectly capable of 'reasoning' about it, as we've been doing for the last few paragraphs.
In the beginning of Part I, I argued that the diquotationalist "nothing above and beyond" principle about truth--"to say that 'P' is true is to say nothing above and beyond P", or to put it differently, "to prefix a quoted sentence with the words 'it is true that' has the semantic effect of simply removing the quotation marks" (the claim, remember, from which the word "disquotationalism" is derived)-is best explained by a general view that the truth predicate/operator is only parasitically meaningful. Of course, the original claim is about sentences that ascribe truth to sentences quoted within them and my claim broadens this to all ascriptions of truth, but I would argue that the former claim, in the absence of the latter, has some awkward consequences. For example, consider the following three sentences*:
(11) "It's true that 'snow is white.'"
(12) Sentence (13) is true.
(13) Snow is white.
I'd submit that there's something a bit strange about arguing that (11) and (12) have distinct meanings. If one asserts meaning-parasiticalness for sentences that ascribe truth to an internally quoted sentence and rejects meaning-parasiticalness for sentences that ascribe truth to other sentences in other ways, one has to explain what substantive difference the *method* of applying the predicate/operator to the claim to which truth is being ascribed makes. Moreover, the obvious explanations of *why* the "nothing above and beyond" principle would be true--most obviously, general philosophical stories like "the word 'true' doesn't pick out some substantive feature of the world, but rather functions as a time-saving way of saying other things, especially useful for cases where we aren't entirely sure *what* we're saying (i.e. blind endorsements)"--would seem to apply equally well, to sentences like (11), sentences like (12), to sentences like "everything John just said is true", to the one-word exclamation "true!" uttered in response to something one's friend has just said, and so on. The syntactic form the truth-ascription takes seems to make no difference. All sentences that do nothing but ascribe truth to a sentence inherit their meanings from the meanings of the sentences to which they ascribe truth. If a sentence S1 tries to ascribe truth to another sentence S2 that has no meaning, S1 will have no meaning either. It has nowhere to get it.
A happy consequence of this view is that, given some other plausible assumptions (e.g. that adding the word "not" to a meaningless sentence does not convert it into a meaningful one), it entails that sentences like "this sentence is not true" are meaningless. This lets us solve the Liar Paradox without having to give up on "the naive theory of truth"--a unitary truth predicate obeying all the standard rules about truth, etc.--or the unrestricted power of classical logic, or much of anything else except many people's initial intuition that the sentences involved are meaningless. At the end of Part I, though, we confronted what sounds like a serious problem:
Someone like me, who says that Liars are meaningless, has presumably been convinced of it by prolonged reflection on the paradox. In the course of this, they've sifted through various possible diagnoses of the sentences in question, thinking about consequences of various approaches, objections to failed solutions and so on. Right? Well, then, wait a damn second. Doesn't all of this involve reasoning about what does and doesn't follow from these supposedly meaningless sentences, in conjunction with various other claims. For example, to embrace the meaninglessness analysis is to reject the analysis that says that Liar sentences are meaningful but that they don't express propositions. Presumably, in explaining why the meaninglessness analysis is superior, its partisans want to bring up "revenge paradoxes" like (8). (At any rate, I certainly want to bring it up!)
(8) The sentence marked as (8) does not express a true proposition.
If (8) doesn't express a proposition, it doesn't express a true one, just as if a cat isn't a dog, it isn't a black dog. And anyone who endorsed the meaningful-but-not-expressing-a-proposition analysis presumably doesn't think a sentence can be true without expressing a true proposition--after all, if truth can exist without propositions, why clutter one's ontology with them? Thus, the solution under consideration collapses into contradiction.
Now, while I tend to lean skeptical on the subject, I'm officially agnostic about the existence of propositions. I take its neutrality on this topic to be a big selling point of my preferred approach. (For the sake of simplicity, I usually talk about "sentences", but wherever I talk about "sentences" being true or false, an enthusiast for propositions can always mentally subsitute some phrase about the propositions expressed by those sentences being true or false...and, of course, presumably, if propositions exist at all, only meaningful sentences can express them, so if I'm right that Liars are meaningless, it follows that they don't express propositions any more than bits of burning candlewax express propositions.) If, however, I abandoned my agnosticism in favor of a full-throated embrace of propositions, I'd presumably be forced to classify (8) as meaningless as well. (If I abandoned it in the opposite direction, matters would be quite different. After all, if there are no such things as propositions, it's true of every sentence that it doesn't express one!) Certainly, I view more common revenge paradoxes, like (9):
(9) The sentence marked as (9) has some status other than 'true.'
....or the familiar anti-dialetheist revenge paradox (10):
(10) This sentence is just false, rather than being both true and false.
.....as being meaningless, and still deploy them against the approaches to the paradoxes that I reject, using standard Liar reasoning, like everyone else does. Doesn't the fact that I'm able to play this game as well as anyone else, that we all understand and can use the rules against each other, proof that the sentences are meaningful, that, after all, we all understand what they mean?
Now, there's a lot more to be said about all this--particularly about the thorny question of what sort of mistake someone can be accused of when they 'reason' about something meaningless in a 'bad' way and 'contradict' themselves about it, above and beyond the original sin of treating the something in question as if it were meaningful--but I take the example at the beginning of this post to pretty definitively answer the question I ended the last post with in the negative. Someone who (as we would all agree here in the actual world, correctly) characterized C as meaningless would be faced with precisely the same problem that a pardadox-solver who takes the Liar to be meaningless is faced with in our world. Although it's still somewhat unclear *why* the objection doesn't work in either case--we'll say more about that--it's failure in the closely parallel imaginary Greenness Paradox case would seem to show that it fails when it comes to the actual Liar Paradox as well.
Now, imagine that there was one other big difference between that world and this world. In our world, the classical example of a syntactically correct but clearly meaningless sentence is C:
C: "Colorless green ideas sleep furiously."
In the imaginary world, this sentence is treated rather different. The humans in this world have made contact with unfathomably intelligent alien entity, capable of speaking English (perhaps with the aid of a universal translator). Every time the entity has been asked a question, and it has deigned to answer, its answer has been proven correct. Sometimes it has taken humans many years, and full-fledged scientific revolutions, to understand *how* what the entity said could have been true, but in the end, there's never been any room for serious doubt. The entity has never once been shown to have (or even been widely suspsect to have) misunderstood a question. At some point, for some strange reason, someone asks the entity about C and it points to the paper where the questioner has written down C and says "this is true."
As often happens when the alien entity says something interesting, ripples of immediate change go through entire fields of study. A few philosophers think that in this case the entity got confused and make a strange sort of category mistake--after all, as in our world, any position, no matter how odd, always has a few philosophical backers--but there's a wide consensus now that C must be true (and therefore meaningful) after all. Almost immediately, some clever theorists notice that this revelation has created a new problem, which they call the "Greenness Paradox." Pretty soon, the dialetheists in this world seize on the Greenness Paradox as an argument for the existence of true contradictions. Here's how it goes:
Start with the formalization of C, given classical logic and orthodox assumptions about how to read the existential quantifier:
1: "There exists an X such that X is green and it is not the case that X is colored and X is an idea and X sleeps furiously."
It clearly follows from 1 that:
2: "There exists an X such that X is green and it is not the case that X is colored."
Apply existential instantiation to 2 to get:
3: "P is green and it is not the case that P is colored."
Apply conjunction elimination to 3 to get:
4: "P is green."
Apply our G-out rule to 4 to get:
5: "P is colored."
Apply conjunction elimination to 3 once again to get:
6: "It is not the case that P is colored."
Apply conjunction addition to 5 & 6 and we get:
7: "P is colored and it is not the case that P is colored."
.....which, the dialetheists of this world argue, is a true contradiction! Viola.
Of course, the dialetheist take on the Greenness Paradox isn't the only game in town. For example, one would imagine that a more conservative solution to the Greenness Paradox would be to deny "the naive theory of greenness" and to restrict G-out in some way. An obvious non-classical but non-dialetheist solution would be to deny that the existential quantifier is ontologically loaded after all. Proponents of this Meinongian solution to the Greenness Paradox would argue that some things can be true of colorless green things ideas without there being colorless green ideas. The Hofweber of this world will argue that, while the existential quantifier is ontologically loaded, and classical logic and the naive theory of greenness are true, and we shouldn't be so arrogant as to reject the superior wisdom of the alien entity by denying C, truth preservation should be understood in a generic rather than universal way. Just as "bears are dangerous" can be true without every bear being dangerous, "valid logical inferences are truth preserving" can be true even if not every valid inference from a true premise preserves truth. The Greenness Paradox, Bizarro-Hofweber would argue, shows us that the universal reading of the notion of truth preservation represents an airy "ideal of validity" that has an obvious appeal, but that the paradox falsifies the ideal.
At this point, it should be pretty easy to come up with a variety of other such philosophically sophisticated solutions to the paradox and to have a pretty good idea of how the argument between proponents of various competing solutions would proceed. Inevitably, some solutions would seem to work better than others, to contain hidden inconsistencies, and so on, and everyone, including the few extreme skeptics who didn't think the unfathomably intelligent alien entity at the source of all this was on the level when it uttered the words "this is true" about C, would be able to do so perfectly easily. "You try to solve it by saying that the colorless, furiously sleeping ideas are red rather than green, but red things are just as colored as green ideas, so you haven't gotten around the original problem." "You forgot a negation sign in Step 5. Once you add it in, you can see that a contradiction is entailed later, when you say...." Etc., etc., etc.
Now, imagine that they were right, and that the entity actually had the same take on C as Chomsky and most of the rest of us citizens of the actual world. He was simply messing with the puny humans out of boredom by pointing to a meaningless sentence and saying the words "this is true." He'd never done this before--he'd always given good and helpful responses to the rest of their inane little queries--but there's a first time for everything. Certainly, from the perspective of the humans, it's understandable that they would never catch on. Having been shown so many amazing things by the entity--remember, scientific revolutions are sparked off by it's statements on a regular basis--it seems utterly plausible to them that a sentence they thought was definitely meaningless actually has a meaning that their puny monkey minds cannot fully grasp. From there, given the function of phrases like 'is green' and 'is colored' in meaningful sentences (G-out is clearly a good rule), the equivalence of 'colorless' with the negation of 'colored', and the ways that we translate into logical lingo sentences of the form "X-ish things do Y", the apparent possibility of reasoning from a contradiction to Y.
Now, assuming that we and the imaginary aliens are right about C, we now have a problem. It is, in fact, the same problem we ended Part I with. We know that nothing "follows" from C. It's meaningless, not the kind of thing we can logically symbolize or apply truth-talk to without committing a nonsensical category mistake. The idea that anything really "follows" from C is deeply confused, like saying that something 'follows' from a string of nonsense syllables, or a bit of burning candle wax. Somehow, though, we seem to be perfectly capable of 'reasoning' about it, as we've been doing for the last few paragraphs.
In the beginning of Part I, I argued that the diquotationalist "nothing above and beyond" principle about truth--"to say that 'P' is true is to say nothing above and beyond P", or to put it differently, "to prefix a quoted sentence with the words 'it is true that' has the semantic effect of simply removing the quotation marks" (the claim, remember, from which the word "disquotationalism" is derived)-is best explained by a general view that the truth predicate/operator is only parasitically meaningful. Of course, the original claim is about sentences that ascribe truth to sentences quoted within them and my claim broadens this to all ascriptions of truth, but I would argue that the former claim, in the absence of the latter, has some awkward consequences. For example, consider the following three sentences*:
(11) "It's true that 'snow is white.'"
(12) Sentence (13) is true.
(13) Snow is white.
I'd submit that there's something a bit strange about arguing that (11) and (12) have distinct meanings. If one asserts meaning-parasiticalness for sentences that ascribe truth to an internally quoted sentence and rejects meaning-parasiticalness for sentences that ascribe truth to other sentences in other ways, one has to explain what substantive difference the *method* of applying the predicate/operator to the claim to which truth is being ascribed makes. Moreover, the obvious explanations of *why* the "nothing above and beyond" principle would be true--most obviously, general philosophical stories like "the word 'true' doesn't pick out some substantive feature of the world, but rather functions as a time-saving way of saying other things, especially useful for cases where we aren't entirely sure *what* we're saying (i.e. blind endorsements)"--would seem to apply equally well, to sentences like (11), sentences like (12), to sentences like "everything John just said is true", to the one-word exclamation "true!" uttered in response to something one's friend has just said, and so on. The syntactic form the truth-ascription takes seems to make no difference. All sentences that do nothing but ascribe truth to a sentence inherit their meanings from the meanings of the sentences to which they ascribe truth. If a sentence S1 tries to ascribe truth to another sentence S2 that has no meaning, S1 will have no meaning either. It has nowhere to get it.
A happy consequence of this view is that, given some other plausible assumptions (e.g. that adding the word "not" to a meaningless sentence does not convert it into a meaningful one), it entails that sentences like "this sentence is not true" are meaningless. This lets us solve the Liar Paradox without having to give up on "the naive theory of truth"--a unitary truth predicate obeying all the standard rules about truth, etc.--or the unrestricted power of classical logic, or much of anything else except many people's initial intuition that the sentences involved are meaningless. At the end of Part I, though, we confronted what sounds like a serious problem:
Someone like me, who says that Liars are meaningless, has presumably been convinced of it by prolonged reflection on the paradox. In the course of this, they've sifted through various possible diagnoses of the sentences in question, thinking about consequences of various approaches, objections to failed solutions and so on. Right? Well, then, wait a damn second. Doesn't all of this involve reasoning about what does and doesn't follow from these supposedly meaningless sentences, in conjunction with various other claims. For example, to embrace the meaninglessness analysis is to reject the analysis that says that Liar sentences are meaningful but that they don't express propositions. Presumably, in explaining why the meaninglessness analysis is superior, its partisans want to bring up "revenge paradoxes" like (8). (At any rate, I certainly want to bring it up!)
(8) The sentence marked as (8) does not express a true proposition.
If (8) doesn't express a proposition, it doesn't express a true one, just as if a cat isn't a dog, it isn't a black dog. And anyone who endorsed the meaningful-but-not-expressing-a-proposition analysis presumably doesn't think a sentence can be true without expressing a true proposition--after all, if truth can exist without propositions, why clutter one's ontology with them? Thus, the solution under consideration collapses into contradiction.
Now, while I tend to lean skeptical on the subject, I'm officially agnostic about the existence of propositions. I take its neutrality on this topic to be a big selling point of my preferred approach. (For the sake of simplicity, I usually talk about "sentences", but wherever I talk about "sentences" being true or false, an enthusiast for propositions can always mentally subsitute some phrase about the propositions expressed by those sentences being true or false...and, of course, presumably, if propositions exist at all, only meaningful sentences can express them, so if I'm right that Liars are meaningless, it follows that they don't express propositions any more than bits of burning candlewax express propositions.) If, however, I abandoned my agnosticism in favor of a full-throated embrace of propositions, I'd presumably be forced to classify (8) as meaningless as well. (If I abandoned it in the opposite direction, matters would be quite different. After all, if there are no such things as propositions, it's true of every sentence that it doesn't express one!) Certainly, I view more common revenge paradoxes, like (9):
(9) The sentence marked as (9) has some status other than 'true.'
....or the familiar anti-dialetheist revenge paradox (10):
(10) This sentence is just false, rather than being both true and false.
.....as being meaningless, and still deploy them against the approaches to the paradoxes that I reject, using standard Liar reasoning, like everyone else does. Doesn't the fact that I'm able to play this game as well as anyone else, that we all understand and can use the rules against each other, proof that the sentences are meaningful, that, after all, we all understand what they mean?
Now, there's a lot more to be said about all this--particularly about the thorny question of what sort of mistake someone can be accused of when they 'reason' about something meaningless in a 'bad' way and 'contradict' themselves about it, above and beyond the original sin of treating the something in question as if it were meaningful--but I take the example at the beginning of this post to pretty definitively answer the question I ended the last post with in the negative. Someone who (as we would all agree here in the actual world, correctly) characterized C as meaningless would be faced with precisely the same problem that a pardadox-solver who takes the Liar to be meaningless is faced with in our world. Although it's still somewhat unclear *why* the objection doesn't work in either case--we'll say more about that--it's failure in the closely parallel imaginary Greenness Paradox case would seem to show that it fails when it comes to the actual Liar Paradox as well.
Monday, March 28, 2011
Diet Soap Interview & Apologies
I'm once again putting off Part II. I've written about half of it, but (i) I have tests to write and classes to prep, and (ii) I just finished writing what, on copying and pasting all of my comments into a Word file and running a word count, turned out to be a bit over 2500 words in response to Colin, Brandon and ParisW's thoughts and objections to Part I. If you're desperate for more material on Liars and meaninglessness, I'll direct you to that discussion-in-progress. Meanwhile, I'll mention that this last weekend I was interviewed for a second appearance on the philosophy-themed Diet Soap podcast. Sounds like I might Episode 100. We didn't really skip to this script (plenty of questions not on the list, not all of the list questions asked), and in any case the interview lasted long enough that only a fraction of it should survive the cutting process and make it into the podcast, but to give at least an approximate flavor of the interview, here are the questions that host Doug Lain sent me in advance...
#
You have a doctorate in philosophy and you specialize in philosophical systems of logic. As an American philosopher and a logician it strikes me that you'd fall in with Analytic philosophers. Is this correct?
How do you consider the division or distinction between continental and analytic philosophy?
How important is Frege, Russell and Wittgenstein to you and your philosophical work.
Do you hold to a deflationary account of truth claims?
It seems to me that Analytic philosophy might share something in common with instrumental reason. That is, that the deflationary accounts of truth claims have the impact of limiting our ability to challenge the logic of our historical moment or culture, whereas Continental philosophers like Hegel and Neitzche were primarily interested in thinking about how philosophy was tied to culture and history.
#
You have a doctorate in philosophy and you specialize in philosophical systems of logic. As an American philosopher and a logician it strikes me that you'd fall in with Analytic philosophers. Is this correct?
How do you consider the division or distinction between continental and analytic philosophy?
How important is Frege, Russell and Wittgenstein to you and your philosophical work.
Do you hold to a deflationary account of truth claims?
It seems to me that Analytic philosophy might share something in common with instrumental reason. That is, that the deflationary accounts of truth claims have the impact of limiting our ability to challenge the logic of our historical moment or culture, whereas Continental philosophers like Hegel and Neitzche were primarily interested in thinking about how philosophy was tied to culture and history.
Wednesday, March 23, 2011
A More Succinct Proof
No time for a second post in the series on the meaninglessness solution to the Liar Paradox just now--my apologies, dear reader, but you'll have to wait until Monday for that--but, to reward you for checking back for one, here's a link to a comic that the sort of people who read this blog might enjoy.
(And, on the other end of P.F. Snow's 'Two Cultures', this one's good too.)
(And, on the other end of P.F. Snow's 'Two Cultures', this one's good too.)
Subscribe to:
Posts (Atom)