Contradiction
Encyclopedia : C : CO : CON : Contradiction
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
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.[[Citing sources 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.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
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 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 dialethists, 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.Notes
See also
External links
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.