Contradiction

A contradiction is a logical incompatibility between two or more statements or propositions. It occurs when the statements or 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.

Pointing to this principle 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.”

The Logic of Contradictions

The simplest or classic form of contradiction is the assertion both of some statement or proposition and its negation. So, for example, the statement-pair: "All fire engines are red," and "It is not true that all fire engines are red" is contradictory.

The logical form of a contradiction is "Statement + negation of that statement." Stated in symbolic form, this would be:

'p and not p', or 'p•~p'

Where 'p' is some statement or proposition, '•' is the symbol for conjunction, and '~' is the symbol for negation.

The problem with any statement-set or proposition-set of the form 'p•~p'is that it is always false. If 'p' is true, then 'not p' is false, and if 'p' is false, then 'not p' is true. But a conjunction, in order to be true, must have both of its conjuncts ( i.e. both of the statements that make up the conjunction) true. So, whether or not 'p' is true, 'p•~p' is always false.

The problem about that, for logical purposes, is that a false statement implies anything. To put it in logical form,

'P implies Q' is always true when 'P' is false.

Thus, if 'P' is a contradiction (i.e. if its inner form is 'p•~p'), then it is always false, and thus it implies anything. This is often expressed as "A contradiction implies anything and everything." So a contradiction is useless for purposes of logic or evidence because it is always false, and thus anything at all follows logically from it.

In actual speech or practice, people rarely assert some proposition or statement 'P' and its negation 'not P' in such an obvious or bald form. More often, they assert some claim or statement or proposition 'P' and then go on to make other claims or statements or propositions, not realizing that those additional claims or statements or propositions have 'not P' as a logical (or other) consequence. Thus they do not realize that the totality of their claims or assertions or statements is contradictory — i.e. embodies a contradiction — because they fail to notice that one of their statements or propositions has a logical consequence that is the negation of one of their other claims or assertions or statements. But the logical result is there and it the same: the fact that the totality of their claims or assertions or statements embodies a contradiction means that this totality implies anything and everything, thus it is useless for evidentary or logical purposes. (It may have the rhetorical effect of getting their hearers to assent or agree to something, but this is assenting or agreeing to a falsehood.)

Proof by contradiction

Also known as "reductio ad absurdum"

In logic and mathematics, a proposition or statement $\varphi$ is a tautology if it is always true. The statement

'either p or not p'

symbolized as 'p v ~p'

where 'p' is any statement, ' v ' is the symbol for 'or' or disjunction, and '~' is the symbol for 'not' or negation,

is always true.

This occurs because a disjunction is true just in case one of the disjuncts (one of the statements on either side of the 'or' or ' v ') is true. But if 'p' is true, then this makes 'p v ~p' true. But if 'p' is false, then '~p' is true, and this also makes 'p v ~p' true. Thus 'p v ~p' is a tautology because it is always true.

But if something is a tautology (i.e. always true), then its negation is always false. Moreover, if it is always false (i.e. a contradiction) then its negation is always true (i.e. a tautology). So if $\varphi$ is a tautology, then the negation of $\varphi$ , or ~ $\varphi$ is always false, i.e. it is a contradiction because "contradiction" and "always false" mean the same thing, logically speaking. So proving that something is a contradiction constitutes a proof that its negation is true, because the negation of a contradiction — i.e. the negation of something that is always false — is always true.

This method is known as proof by contradiction (or reductio ad absurdum), and is used extensively in logic and mathematics. The method consists of assuming the truth of some statement or proposition, showing that this assumption leads to a contradiction, and thus concluding that the negation of the original assumption is true.

Contradiction outside of formal logic

In colloquial speech

Colloquially, actions or statements, or both, are said to contradict each other when they are or are perceived as being in opposition to one another, due to presuppositions or necessary conditions or hidden background statements or beliefs 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.

Environmental Ethics

In environmental ethics or environmental concerns, the tragedy of the commons, also known as the paradox of the commons, first presented by Garrett Hardin, is based on the inherent contradiction between private rationality and collective rationality; this paradox shows that what is rational behavior for an individual often becomes irrational and tragic if everyone were to do it.

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. The coherence theory of truth takes the fact that a body of propositins or stateemnts does not contain any contradiction as showing that they are true.

The coherence theory of truth stands in opposition to the semantic theory of truth that holds that a statment is true just in case the state of affairs that it asserts is true. Thus the semantic theory of truth asserts that the statement "Snow is white" is true just in case snow is white. (See the article 'Alfred Tarski" for an account of the semantic theory of truth, first put forward by Tarski.)

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

Bibliography

Almost all elementary logic textbooks contain discussions of contradiction, tautology, and the relationship between them. They also discuss the fact that 'P implies Q' is always true when 'P' is false.

Two examples of such logic texts are:

Copi, Irving M. and Carl Cohen (2001 - 11th edition). Introduction to Logic. Prentice Hall. ISBN-10: 0130337358 ; ISBN-13: 978-0130337351
Hurley, Patrick J. (2003 and later editions). A Concise Introduction to Logic. Belmont CA: Wadsworth/Thomson Learning. ISBN-10: 0534584829 ; ISBN-13: 978-0534584825

Some other useful works:

Hardin, Garrett (1968), "The Tragedy of the Commons," Science, 162: 1243-1248
Quine, Willard Van Orman (1961), The Ways of Paradox, Cambridge, MA: Harvard University Press.
Reese, William L. (1996), "Contradiction, Principle of," pp. 139-140 in Dictionary of Philosophy and Religion, Highlands NJ: Humanities Press. ISBN 0 391 03865 6

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.