CONTRADICTION : Comprehensive Encyclopedia

This article or section may contain original research or unverified claims. Please help Wikipedia by adding references. See the talk page for details.

This article or section does not cite its references or sources.
You can help Wikipedia by introducing appropriate citations.

To meet Wikipedia's quality standards, this article or section may require cleanup.
Please discuss this issue on the talk page, or replace this tag with a more specific message. Editing help is available.
This article has been tagged since June 2006.

A contradiction is a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which are the logical inversions of each other. By extension, outside of logic, contradictions are also said to occur between actions for which the motives are presumed to be contradictory. Illustrating a general tendency in applied logic, Aristotle’s law of noncontradiction states that “One cannot say of something that it is and that it is not in the same respect and at the same time.”

Contradiction outside of formal logic

In colloquial speech

This section is a stub. You can help by adding to it.

Colloquially, actions or statements, or both, are said to contradict each other when they are, or are perceived as being, due to presuppositions which are contradictory in the logical sense.

In Dialectics

Marxism

In dialectical materialism contradiction, derived by Karl Marx from Hegelianism, usually refers to an opposition of social forces. Most prominently, according to Marx, capitalism entails a social system that has contradictions because the social classes have conflicting collective goals. These contradictions are based in the social structure of society and inherently lead to class conflict, crisis, and eventually revolution, the existing order’s overthrow and the formerly oppressed classes’ ascension to political power.^{[citation needed]}

Liberalism

The idea of a contradiction as a conflict based in a social structure is not unique to Marxist thought. For liberal thinkers, the problem of public goods may be interpreted as a contradiction in that there is a conflict between what is good for society, e. g., the production of a public good, and what is good for individual free riders who refuse to pay the costs of the public good. This is another interpretation of the Hegelian contradiction.^[1]

Contradiction in formal logic

In formal logic, particularly in propositional and first-order logic, a proposition $\varphi$ is a contradiction if and only if $\varphi\vdash\bot$ . Since for contradictory $\varphi$ it is true that $\vdash \varphi \rightarrow \psi$ for all

ψ

, any proposition may be proven from a set of axioms which contains contradictions.

Proof by contradiction

For a proposition $\varphi$ it is true that $\varphi \vdash \top$ , i. e. that $\varphi$ is a tautology, i. e. that it is always true, if and only if $\neg\varphi \vdash \bot$ , i. e. if the negation of $\varphi$ is a contradiction. Therefore, a proof that $\neg\varphi \vdash \bot$ also proves that $\varphi$ is true. The use of this fact constitutes the technique of the proof by contradiction, which is used extensively in mathematics. This is only applicable in a logic using the excluded middle $A\vee\neg A$ as an axiom.

Contradictions and philosophy

Coherentism is an epistemological theory whose adherents typically claim that a necessary condition for the justification of a belief is that it is part of a logically non-contradictory (consistent) system of beliefs. Some dialetheists, including Graham Priest, have argued that coherence may not require consistency.

Meta-contradiction

It often occurs in philosophy that the presence of the argument contradicts with the claims of the argument. An example of this is Heraclitus’s proposition that knowledge is impossible, or, arguably, Nietzsche’s statement that one should not obey others.

CONTRADICTION

Contents