# GetWiki

*contradiction*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

contradiction

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**contradiction**consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other. 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."

## History

By creation of a paradox, Plato's*Euthydemus*dialogue demonstrates the need for the notion of

*contradiction*. In the ensuing dialogue Dionysodorus denies the existence of "contradiction", all the while that Socrates is contradicting him:Indeed, Dionysodorus agrees that "there is no such thing as false opinion ... there is no such thing as ignorance" and demands of Socrates to "Refute me." Socrates responds "But how can I refute you, if, as you say, to tell a falsehood is impossible?".Dialog

*Euthydemus*from

*The Dialogs of Plato translated by Benjamin Jowett*appearing in: BK 7

*Plato*: Robert Maynard Hutchins, editor in chief, 1952,

*Great Books of the Western World*, EncyclopÃ¦dia Britannica, Inc., Chicago.

## In formal logic

{{hatnote|Note: The symbol bot (falsum) represents an arbitrary contradiction, with the dual tee symbol top used to denote an arbitrary tautology. Contradiction is sometimes symbolized by "O*pq*", and tautology by "V

*pq*". The turnstile symbol, vdash is often read as "yields" or "proves".}}In classical logic, particularly in propositional and first-order logic, a proposition varphi is a contradiction if and only if varphivdashbot. Since for contradictory varphi it is true that vdashvarphirightarrowpsi for all psi (because botrightarrowpsi), one may prove any proposition from a set of axioms which contains contradictions. This is called the "principle of explosion" or "ex falso quodlibet" ("from falsity, whatever you like").In a complete logic, a formula is contradictory if and only if it is unsatisfiable.

### Proof by contradiction

For a proposition varphi it is true that vdashvarphi, i. e. that varphi is a tautology, i. e. that it is always true, if and only if negvarphi vdash bot, i. e. if the negation of varphi is a contradiction. Therefore, a proof that negvarphi vdash bot also proves that varphi is true. The use of this fact constitutes the technique of the proof by contradiction, which mathematicians use extensively. This applies only in a logic using the excluded middle Aveeneg A as an axiom.### Symbolic representation

In mathematics, the symbol used to represent a contradiction within a proof varies. weblink Some symbols that may be used to represent a contradiction include â†¯, Opq, Rightarrow Leftarrow, âŠ¥, leftrightarrow !!!!!!!/ , and â€»; in any symbolism, a contradiction may be substituted for the truth value "false", as symbolized, for instance, by "0". It is not uncommon to see Q.E.D. or some variant immediately after a contradiction symbol; this occurs in a proof by contradiction, to indicate that the original assumption was false and that its negation must therefore be true.### The notion of contradiction in an axiomatic system and a proof of its consistency

A consistency proof requires (i) an axiomatic system (ii) a demonstration that it is not the case that both the formula*p*and its negation

*~p*can be derived in the system. But by whatever method one goes about it, all consistency proofs would

*seem*to necessitate the primitive notion of

*contradiction*; moreover, it

*seems*as if this notion would simultaneously have to be "outside" the formal system in the definition of tautology.When Emil Post, in his 1921

*Introduction to a general theory of elementary propositions*, extended his proof of the consistency of the propositional calculus (i.e. the logic) beyond that of

*Principia Mathematica*(PM) he observed that with respect to a

*generalized*set of postulates (i.e. axioms) he would no longer be able to automatically invoke the notion of "contradiction" â€“ such a notion might not be contained in the postulates:Post's solution to the problem is described in the demonstration

*An Example of a Successful Absolute Proof of Consistency*offered by Ernest Nagel and James R. Newman in their 1958

*GÃ¶del's Proof*. They too observe a problem with respect to the notion of "contradiction" with its usual "truth values" of "truth" and "falsity". They observe that:Given some "primitive formulas" such as PM's primitives S1 V S2 [inclusive OR], ~S (negation) one is forced to define the axioms in terms of these primitive notions. In a thorough manner Post demonstrates in PM, and defines (as do Nagel and Newman, see below), that the property of

*tautologous*â€“ as yet to be defined â€“ is "inherited": if one begins with a set of tautologous axioms (postulates) and a deduction system that contains substitution and modus ponens then a

*consistent*system will yield only tautologous formulas.So what will be the definition of

*tautologous*?Nagel and Newman create two mutually exclusive and exhaustive classes K1 and K2 into which fall (the outcome of) the axioms when their variables e.g. S1 and S2 are assigned from these classes. This also applies to the primitive formulas. For example: "A formula having the form S1 V S2 is placed into class K2 if both S1 and S2 are in K2; otherwise it is placed in K1", and "A formula having the form ~S is placed in K2, if S is in K1; otherwise it is placed in K1".Nagel and Newman:110-111Nagel and Newman can now define the notion of

*tautologous*: "a formula is a tautology if, and only if, it falls in the class K1 no matter in which of the two classes its elements are placed".Nagel and Newman:111 Now the property of "being tautologous" is described without reference to a model or an interpretation.Post observed that, if the system were inconsistent, a deduction in it (that is, the last formula in a sequence of formulas derived from the tautologies) could ultimately yield S itself. As an assignment to variable S can come from either class K1 or K2, the deduction violates the inheritance characteristic of tautology, i.e. the derivation must yield an (evaluation of a formula) that will fall into class K1. From this, Post was able to derive the following definition of inconsistency

*without the use of the notion of contradiction*:In other words, the notion of "contradiction" can be dispensed when constructing a proof of consistency; what replaces it is the notion of "mutually exclusive and exhaustive" classes. An axiomatic system need not include the notion of "contradiction".{{Citation needed|date=March 2010}}

## Philosophy

Adherents of the epistemological theory of coherentism typically claim that as a necessary condition of the justification of a belief, that belief must form a part of a logically non-contradictory system of beliefs. Some dialetheists, including Graham Priest, have argued that coherence may not require consistency.In Contradiction: A Study of the Transconsistent By Graham Priest### Pragmatic contradictions

A pragmatic contradiction occurs when the very statement of the argument contradicts the claims it purports. An inconsistency arises, in this case, because the act of utterance, rather than the content of what is said, undermines its conclusion.BOOK, Stoljar, Daniel, Ignorance and Imagination, Oxford University Press - U.S., 2006, 87, 0-19-530658-9,### Dialectical materialism

In dialectical materialism: Contradictionâ€”as derived from Hegelianismâ€”usually refers to an opposition inherently existing within one realm, one unified force or object. This contradiction, as opposed to metaphysical thinking, is not an objectively impossible thing, because these contradicting forces exist in objective reality, not cancelling each other out, but actually defining each other's existence. According to Marxist theory, such a contradiction can be found, for example, in the fact that:- (a) enormous wealth and productive powers coexist alongside:
- (b) extreme poverty and misery;
- (c) the existence of (a) being contrary to the existence of (b).

*On Contradiction*(1937) furthered Marx and Lenin's thesis and suggested that all existence is the result of contradiction.ON CONTRADICTION

## Outside formal logic

Image:Graham's Hierarchy of Disagreement-en.svg|thumb|right|375px|Contradiction on Graham's Hierarchy of Disagreement]]Colloquial usage can label actions or statements as contradicting each other when due (or perceived as due) to presuppositions which are contradictory in the logical sense.Proof by contradiction is used in mathematics to construct proofs.The scientific method uses contradiction to falsify bad theory.## See also

- Argument Clinic, a Monty Python sketch in which one of the two disputants repeatedly uses only contradictions in his argument
- Auto-antonym
- Contrary (logic)
- Double standard
- Doublethink
- Irony
- Oxymoron
- Paraconsistent logic
- Paradox
- Tautology
- TRIZ

## Footnotes

{{Reflist}}## References

- JÃ³zef Maria BocheÅ„ski 1960
*PrÃ©cis of Mathematical Logic*, translated from the French and German editions by Otto Bird, D. Reidel, Dordrecht, South Holland. - Jean van Heijenoort 1967
*From Frege to GÃ¶del: A Source Book in Mathematical Logic 1879-1931*, Harvard University Press, Cambridge, MA, {{ISBN|0-674-32449-8}} (pbk.) - Ernest Nagel and James R. Newman 1958
*GÃ¶del's Proof*, New York University Press, Card Catalog Number: 58-5610.

## External links

{{Wiktionary|contradiction|although}}- {{springer|title=Contradiction (inconsistency)|id=p/c025900}}
- {{springer|title=Contradiction, law of|id=p/c025910}}
- SEP, contradiction, Contradiction, Horn, Laurence R., Laurence R. Horn,

**- content above as imported from Wikipedia**

- "

- time: 11:42pm EDT - Sun, Jun 16 2019

- "

__contradiction__" does not exist on GetWiki (yet)- time: 11:42pm EDT - Sun, Jun 16 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED