Encyclopedia  |   World Factbook  |   World Flags  |   Reference Tables  |   List of Lists     
   Academic Disciplines  |   Historical Timeline  |   Themed Timelines  |   Biographies  |   How-Tos     
Sponsor by The Tattoo Collection
Main Page | See live article | Alphabetical index


Broadly speaking, a contradiction is when two or more statements, ideas, or actions are seen as incompatible. One must, it seems, reject at least one of the ideas outright.

In logic, contradiction is defined much more specifically, usually as the simultaneous assertion of a statement and its negation ("denial" can be used instead of "negation"). (See: the Law of non-contradiction.) This, of course, assumes that "negation" has a non-problematic definition.

Table of contents
1 "Contradiction" in colloquial speech
2 "Contradiction" in formal logic
3 Contradictions and common sense psychology
4 Contradictions and philosophy

"Contradiction" in colloquial speech

In everyday speech, "contradiction" may be used in a much less rigorous way than in formal logic. For example, there is nothing logically contradictory involved in a man condemning the members of his church for not giving the church enough financial support even though he never puts anything in the collection plate when it goes around. In ordinary language we would be quite inclined to say that his actions contradict his words, but the immediate connection of this usage to the logical usage is unclear. Hypocrisy is certainly lamentable but it's hard to say that it's logically incoherent--our hypothetical church-goer, after all, is not clearly asserting anything by refusing to put money in the collection plate, let alone the logical negation of what he asserted.

One way to understand the colloquial usage might be to shift grounds from logical contradiction to what some philosophers describe as a performative contradiction. A hypocrite is not saying anything that contradicts the general principles that he asserts to be true; but his actions, in some sense, presuppose that those principles are false. Similarly, "I cannot assert anything." is a sentence that no-one can truly utter. This is not because of a logical contradiction in the sentence--it is, for example, true of the brain-dead. But there is a performative contradiction involved in the act of saying it; for to say it presupposes that you can assert something.

This is the meaning of "contradiction" in dialectical thinking, as with G.W.F. Hegel or Karl Marx. For them a "contradiction" does not refer to a conflict purely in a person's thinking. Rather, it indicates, for example, a clash between one's theory and one's practice, or one's words and one's deeds. It is thus more of a practical, empirical, or real-world phenomenon than is a logical contradiction. For example, for Marx, capitalism involves a social system that has "contradictions" in the sense that the classeses have conflicting collective goals and in the sense that even the powerful capitalistss do not always attain their goals.

"Contradiction" in formal logic

Proof by contradiction

In deductive logic (and thus, also, in mathematics), a contradiction is usually taken as a sign that something has gone wrong, that you need to retrace the steps of your reasoning and "check your premises." This has been used to great effect in mathematics through the method of proof by contradiction (also known as indirect proof): since a contradiction can never be true, it can thus never be the conclusion of a valid argument with all true premises. To construct a proof by contradiction, then, you construct a valid proof from a set of premises to a conclusion that is a logical contradiction. Since the conclusion is false, and the argument is valid, the only possibility is that one or more of the premises are false. This method is used in many key mathematical proofs, such as Euclid's proof that there is no greatest prime, and Cantor's diagonal proof that there are uncountably many real numbers between 0 and 1.

A paradox involving contradiction

Contradiction is associated with several notorious paradoxes. One of these is that in first-order predicate calculus any proposition (aka statement) can be derived from a contradiction. In other words, according to the predicate calculus, no matter what P and Q mean, if P and not-P are both true, then Q is true. In expression of this fact, contradictions are said to be "logically explosive" in first-order logic.

Thus, for example, the following argument is strictly valid, i.e. the premise logically entails the conclusion:

  1. Premise: 5 is both even and odd. (In our above formulation, this is P and not-P.)
  2. Conclusion: God exists. (This is Q.)

But atheists have no less reason to celebrate then theists, for this argument is also valid:

  1. Premise: 5 is both even and odd. (This is P and not-P.)
  2. Conclusion, God does not exist. (This is Q.)

Note that the premise shared by both arguments is incorrect; 5 is odd, but is not even. Therefore neither of these arguments are sound, which means neither gives a logical basis for believing its conclusion.

Nonetheless, perhaps most people find it odd that, if 5 were both even and odd, one could logically conclude anything about such an apparently unrelated matter as the existence of God. Stranger yet, the paradox implies that, if a person has any two beliefs that are contradictory, then that person is logically justified in any conceivable belief! [Is this to imply that for one matter to be both true and false necessarily implies the simultaneous truth and falsity of every other thing?]

Proof of the paradox

Even though the basic rules of predicate calculus may each sound like good ways of reasoning, they collectively entail our paradox. Two ways of showing this follow.

The first way follows from the truth table definition of conjunction and implication:

  1. (P and ¬P) is false. (See the truth table for Logical conjunction.)
  2. Therefore, (P and ¬P) → Q is true. (See the truth table for Logical implication.)

The second might interest those who find truth tables aesthetically flawed:

  1. Suppose P and ¬P. Under this assumption we can derive:
    1. P (Conjunction elimination)
    2. ¬P (Conjunction elimination)
    3. Suppose ¬Q. Under this assumption we can derive:
      1. P (Copying from above)
    4. Thus ¬Q → P (Conditional proof)
    5. ¬P → Q (Contrapositive of previous line)
    6. Q (Modus ponens)
  2. Thus (P and ¬P) → Q (Conditional proof)


(ironic: you can't know that correct, formal reasoning will lead to consistent conclusions. (specify in what sense this is true))

Contradictions and common sense psychology

Common sense suggests that people do hold many contradictory beliefs, and this is confirmed by psychologists. (?)

Being non-contradictory seems to be central to people's conceptions of what "reason" is, and what it means to be "reasonable".

What to make of it: 1) be very, very careful, so as to not be contradictory. 2) embrace contradiction as part of human nature. 3) ?

Contradictions and philosophy

Coherentism is an epistemological theory in which a belief is justified based at least in part on being part of a non-contradictory system of beliefs. ("Contradictory" here is almost always taken in the formal logic sense.)