Moore's paradox

Not to be confused with Moore's law.

Moore's paradox concerns the apparent absurdity involved in asserting a first-person present-tense sentence such as, "It's raining, but I don't believe that it is raining" or "It's raining but I believe that it is not raining." The first author to note this apparent absurdity was G. E. Moore. These 'Moorean' sentences, as they have become known, are paradoxical in that while they appear absurd, they nevertheless:

1. Can be true,
2. Are (logically) consistent, and moreover
3. Are not (obviously) contradictions.
   

The term 'Moore's paradox' is attributed to Ludwig Wittgenstein, who considered the paradox Moore's most important contribution to philosophy. Wittgenstein wrote about the paradox extensively in his later writings, which brought Moore's paradox the attention it would not have otherwise received.

Moore's paradox has also been connected to many other of the well-known logical paradoxes including, though not limited to, the liar paradox, the knower paradox, the unexpected hanging paradox, and the preface paradox.

There is currently no generally accepted explanation of Moore's paradox in the philosophical literature. However, while Moore's paradox remains a philosophical curiosity, Moorean-type sentences are used by logicians, computer scientists, and those working in the artificial intelligence community as examples of cases in which a knowledge, belief, or information system is unsuccessful in updating its knowledge/belief/information store in light of new or novel information.

The problem

Since Jaakko Hintikka's seminal treatment of the problem, it has become standard to present Moore's paradox by explaining why it is absurd to assert sentences that have the logical form: "P and NOT(I believe that P)" or "P and I believe that NOT-P." Philosophers nowadays refer to these, respectively, as the omissive and commissive versions of Moore's paradox.

Moore himself presented the problem in two ways.

The first more fundamental way of setting the problem up starts from the following three premises:

1. It can be true at a particular time both that P, and that I do not believe that P.
2. I can assert or believe one of the two at a particular time.
3. It is absurd to assert or believe both of them at the same time.

I can assert that it is raining at a particular time. I can assert that I don't believe that it is raining at a particular time. If I say both at the same time, I am saying or doing something absurd. But the content of what I say -- the proposition the sentence expresses -- is perfectly consistent: it may well be raining, and I may not believe it. So why cannot I assert that it is so?

Moore presents the problem in a second, distinct, way:

1. It is not absurd to assert the past-tense counterpart, e.g. "It was raining, but I did not believe that it was raining."
2. It is not absurd to assert the second- or third-person counterparts to Moore's sentences, e.g. "It is raining, but you do not believe that it is raining," or "Michael is dead, but they do not believe that he is."
3. It is absurd to assert the present-tense "It is raining and I don't believe that it is raining."

I can assert that I was a certain way, e.g. believing it was raining when it wasn't, and that you, he, or they, are that way but not that I am that way.

Subsequent philosophers have further noted that there is also an apparent absurdity in asserting a first-person future-tense sentence such as "It will be raining, and I will believe that it is not raining." However, when it does not specify an exact time for when the belief is mistaken, the proposition will tend to be true at some point in the future - its negation would imply that "Every time I believe it's not raining, it will not be raining", which is unlikely since human beliefs are often mistaken.

Many philosophers -- though by no means all -- also hold that Moore's paradox arises not only at the level of assertion but also at the level of belief. Interestingly, one who believes an instance of a Moorean sentence is tantamount to one who is subject to or engaging in self-deception, at least on one standard way of describing it.

Proposed explanations

Philosophical interest in Moore's paradox, since Moore and Wittgenstein, has undergone a resurgence, starting with, though not limited to, Jaakko Hintikka, continuing with Roy Sorensen, David Rosenthal, Sydney Shoemaker and the first publication, in 2007, of a collection of articles devoted to the problem.

There have been several proposed constraints on a satisfactory explanation in the literature, including (though not limited to):

• It should explain the absurdity of both the omissive and the commissive versions.
• It should explain the absurdity of both asserting and believing Moore's sentences.
• It should preserve, and reveal the roots of, the intuition that contradiction (or something contradiction-like) is at the root of the absurdity.

The first two conditions have generally been the most challenged, while the third appears to be the least controversial. Some philosophers have claimed that there is, in fact, no problem in believing the content of Moore's sentences (e.g. David Rosenthal). Others (e.g. Sydney Shoemaker) hold that an explanation of the problem at the level of belief will automatically provide us with an explanation of the absurdity at the level of assertion via the linking principle that what can reasonably be asserted is determined by what can reasonably be believed. Some have also denied (e.g. Rosenthal) that a satisfactory explanation to the problem need be uniform in explaining both the omissive AND commissive versions. Most of the explanations offered of Moore's paradox are united in holding that contradiction is at the heart of the absurdity.

One type of explanation at the level of assertion exploits the view that assertion implies or expresses belief in some way so that if someone asserts that p they imply or express the belief that p. Several versions of this view exploit elements of speech act theory, which can be distinguished according to the particular explanation given of the link between assertion and belief. Whatever version of this view is preferred, whether cast in terms of the Gricean intentions (see Paul Grice) or in terms of the structure of Searlean illocutionary acts (see speech act), it does not obviously apply to explaining the absurdity of the commissive version of Moore's paradox. To take one version of this type of explanation, if someone asserts p and conjoins it with the assertion (or denial) that he does not believe that p, then he has in that very act contradicted himself, for in effect what the speaker says is: I believe that p and I do not believe that p. The absurdity of asserting p & I do not believe that p is thus revealed as being of a more familiar kind. Depending on one's view of the nature of contradiction, one might thus interpret a speaker of the omissive Moorean sentence as asserting everything (that is, asserting too much) or asserting nothing (that is, not asserting enough).

An alternative view is that the assertion "I believe that p" often (though not always) functions as an alternative way of asserting "p", so that the semantic content of the assertion "I believe that p" is just p: it functions as a statement about the world and not about anyone's state of mind. Accordingly what someone asserts when they assert "p and I believe that not-p" is just "p and not-p" Asserting the commissive version of Moore's sentences is again assimilated to the more familiar (putative) impropriety of asserting a contradiction.

At the level of belief, there are two main kinds of explanation. The first, much more popular one, agrees with those at the level of assertion that contradiction is at the heart of the absurdity. The contradiction is revealed in various ways, some using the resources of doxastic logic (e.g. Hintikka), others (e.g. Sorensen) principles of rational belief maintenance and formation, while still others appeal to our putative capacity for self-knowledge and the first-person authority (e.g. Shoemaker) we have over our states of mind.

Another alternative view, due to Richard Moran, views the existence of Moore's paradox as symptomatic of creatures who are capable of self-knowledge, capable of thinking for themselves from a deliberative point of view, as well as about themselves from a theoretical point of view. On this view, anyone who asserted or believed one of Moore's sentences would be subject to a loss of self-knowledge—in particular, would be one who, with respect to a particular 'object', broadly construed, e.g. person, apple, the way of the world, would be in a situation which violates, what Moran calls, the Transparency Condition: if I want to know what I think about X, then I consider/think about nothing but X itself. Moran's view seems to be that what makes Moore's paradox so distinctive is not some contradictory-like phenomenon (or at least not in the sense that most commentators on the problem have construed it), whether it be located at the level of belief or that of assertion. Rather, that the very possibility of Moore's paradox is a consequence of our status as agents (albeit finite and resource-limited ones) who are capable of knowing (and changing) their own minds.

See also

• Belief
• Consistency
• Doublethink
• Doxastic logic
• Epistemology
• Contradiction
• Irrationality
• List of paradoxes
• Philosophy of Mind
• Rationality
• Self-knowledge (psychology)
• Self-deception

External links

• "Epistemic Paradoxes" (including Moore's) at the Stanford Encyclopedia of Philosophy