Contradiction

To meet Wikipedia's quality standards, this article or section may require cleanup.

A contradiction is a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield a falsehood. 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 short section requires expansion.}

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 $\psi$ , any proposition may be proven from a set of axioms which contains contradictions.

Proof by contradiction

Main article: reductio ad absurdum

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.

Contradictions and philosophy

Coherentism is an epistemological theory in which a belief is justified based at least in part on being part of a logically non-contradictory system of beliefs.

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.

Notes

↑ Deising, Paul. Hegel’s Dialectical Political Economy. ISBN 0813391318.

External link

Stanford Encyclopedia of Philosophy, Contradiction.

Credits

New World Encyclopedia writers and editors rewrote and completed the Wikipedia article in accordance with New World Encyclopedia standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the New World Encyclopedia contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:

Contradiction ^history

The history of this article since it was imported to New World Encyclopedia:

History of "Contradiction"

Note: Some restrictions may apply to use of individual images which are separately licensed.

[deising-1] Deising, Paul. Hegel’s Dialectical Political Economy. ISBN 0813391318.

[1]