Contradiction - Wikipedia Contradiction From Wikipedia, the free encyclopedia Jump to navigation Jump to search Logical incompatibility between two or more propositions For other uses, see Contradiction (disambiguation). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Contradiction" – news · newspapers · books · scholar · JSTOR (July 2008) (Learn how and when to remove this template message) This diagram shows the contradictory relationships between categorical propositions in the square of opposition of Aristotelian logic. In traditional logic, a contradiction consists of a logical incompatibility or incongruity 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 "It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect."[1] In modern formal logic, the term is mainly used instead for a single proposition, often denoted by the falsum symbol ⊥ {\displaystyle \bot } ;[2] a proposition is a contradiction if false can be derived from it, using the rules of the logic. It is a proposition that is unconditionally false (i.e., a self-contradictory proposition).[3][4] This can be generalized to a collection of propositions, which is then said to "contain" a contradiction. Contents 1 History 2 In formal logic 2.1 Proof by contradiction 2.2 Symbolic representation 2.3 The notion of contradiction in an axiomatic system and a proof of its consistency 3 Philosophy 3.1 Pragmatic contradictions 3.2 Dialectical materialism 4 Outside formal logic 5 See also 6 Notes and references 7 Bibliography 8 External links History[edit] 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: ... I in my astonishment said: What do you mean Dionysodorus? I have often heard, and have been amazed to hear, this thesis of yours, which is maintained and employed by the disciples of Protagoras and others before them, and which to me appears to be quite wonderful, and suicidal as well as destructive, and I think that I am most likely to hear the truth about it from you. The dictum is that there is no such thing as a falsehood; a man must either say what is true or say nothing. Is not that your position? 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?".[5] In formal logic[edit] Note: The symbol ⊥ {\displaystyle \bot } (falsum) represents an arbitrary contradiction, with the dual tee symbol ⊤ {\displaystyle \top } used to denote an arbitrary tautology. Contradiction is sometimes symbolized by "Opq", and tautology by "Vpq". The turnstile symbol, ⊢ {\displaystyle \vdash } is often read as "yields" or "proves". In classical logic, particularly in propositional and first-order logic, a proposition φ {\displaystyle \varphi } is a contradiction if and only if φ ⊢ ⊥ {\displaystyle \varphi \vdash \bot } . Since for contradictory φ {\displaystyle \varphi } it is true that ⊢ φ → ψ {\displaystyle \vdash \varphi \rightarrow \psi } for all ψ {\displaystyle \psi } (because ⊥ → ψ {\displaystyle \bot \rightarrow \psi } ), 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, anything follows").[6] In a complete logic, a formula is contradictory if and only if it is unsatisfiable. Proof by contradiction[edit] Main article: Proof by contradiction For a set of premises Σ {\displaystyle \Sigma } and a proposition φ {\displaystyle \varphi } , it is true that Σ ⊢ φ {\displaystyle \Sigma \vdash \varphi } (i.e., Σ {\displaystyle \Sigma } proves φ {\displaystyle \varphi } ) if and only if Σ ∪ { ¬ φ } ⊢ ⊥ {\displaystyle \Sigma \cup \{\neg \varphi \}\vdash \bot } (i.e., Σ {\displaystyle \Sigma } and ¬ φ {\displaystyle \neg \varphi } leads to a contradiction). Therefore, a proof that Σ ∪ { ¬ φ } ⊢ ⊥ {\displaystyle \Sigma \cup \{\neg \varphi \}\vdash \bot } also proves that φ {\displaystyle \varphi } is true under the premises Σ {\displaystyle \Sigma } . The use of this fact forms the basis of a proof technique called proof by contradiction, which mathematicians use extensively to establish the validity of a wide range of theorems. This applies only in a logic where the law of excluded middle A ∨ ¬ A {\displaystyle A\vee \neg A} is accepted as an axiom.[7] Symbolic representation[edit] In mathematics, the symbol used to represent a contradiction within a proof varies.[8] Some symbols that may be used to represent a contradiction include ↯, Opq, ⇒⇐ {\displaystyle \Rightarrow \Leftarrow } , ⊥, ↔   {\displaystyle \leftrightarrow \ \!\!\!\!\!\!\!} / , and ※; in any symbolism, a contradiction may be substituted for the truth value "false", as symbolized, for instance, by "0" (as is common in boolean algebra).[2] It is not uncommon to see Q.E.D., or some of its variants, immediately after a contradiction symbol. In fact, this often occurs in a proof by contradiction to indicate that the original assumption was proved false—and hence that its negation must be true. The notion of contradiction in an axiomatic system and a proof of its consistency[edit] In general, a consistency proof requires the following two things: An axiomatic system 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: The prime requisite of a set of postulates is that it be consistent. Since the ordinary notion of consistency involves that of contradiction, which again involves negation, and since this function does not appear in general as a primitive in [the generalized set of postulates] a new definition must be given.[9] 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 observed a problem with respect to the notion of "contradiction" with its usual "truth values" of "truth" and "falsity". They observed that: The property of being a tautology has been defined in notions of truth and falsity. Yet these notions obviously involve a reference to something outside the formula calculus. Therefore, the procedure mentioned in the text in effect offers an interpretation of the calculus, by supplying a model for the system. This being so, the authors have not done what they promised, namely, "to define a property of formulas in terms of purely structural features of the formulas themselves". [Indeed] ... proofs of consistency which are based on models, and which argue from the truth of axioms to their consistency, merely shift the problem.[10] Given some "primitive formulas" such as PM's primitives S1 V S2 [inclusive OR] and ~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. On the topic of 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".[11] Hence Nagel 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".[12] This way, the property of "being tautologous" is described—without reference to a model or an interpretation. For example, given a formula such as ~S1 V S2 and an assignment of K1 to S1 and K2 to S2 one can evaluate the formula and place its outcome in one or the other of the classes. The assignment of K1 to S1 places ~S1 in K2, and now we can see that our assignment causes the formula to fall into class K2. Thus by definition our formula is not a tautology. 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: Definition. A system will be said to be inconsistent if it yields the assertion of the unmodified variable p [S in the Newman and Nagel examples]. 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] Philosophy[edit] 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.[13] Pragmatic contradictions[edit] 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.[14] Dialectical materialism[edit] 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). Hegelian and Marxist theory stipulates that the dialectic nature of history will lead to the sublation, or synthesis, of its contradictions. Marx therefore postulated that history would logically make capitalism evolve into a socialist society where the means of production would equally serve the exploited and suffering class of society, thus resolving the prior contradiction between (a) and (b).[15] Mao Zedong's philosophical essay On Contradiction (1937) furthered Marx and Lenin's thesis and suggested that all existence is the result of contradiction.[16] Outside formal logic[edit] 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[edit] Argument Clinic – Monty Python sketch, a Monty Python sketch in which one of the two disputants repeatedly uses only contradictions in his argument Auto-antonym – A word that has two opposing meanings Contrary (logic) Dialetheism — View that there exists statements which are both true and false Double standard – Inconsistent application of principles Doublethink – Simultaneously accepting two mutually contradictory beliefs as correct Graham's hierarchy of disagreement Irony – Rhetorical device, literary technique, or situation in which there is an incongruity between the literal and the implied meaning Law of noncontradiction On Contradiction – 1937 Maoist essay by Mao Zedong Oxymoron – rhetorical device that uses an ostensible self-contradiction to illustrate a rhetorical point or to reveal a paradox Paraconsistent logic Paradox – Statement that apparently contradicts itself Tautology – Logical formula which is true in every possible interpretation TRIZ Notes and references[edit] ^ Horn, Laurence R. (2018), "Contradiction", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Winter 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-12-10 ^ a b "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-08-14. ^ "Contradiction (logic)". TheFreeDictionary.com. Retrieved 2020-08-14. ^ "Tautologies, contradictions, and contingencies". www.skillfulreasoning.com. Retrieved 2020-08-14. ^ 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. ^ "Ex falso quodlibet - Oxford Reference". www.oxfordreference.com. doi:10.1093/oi/authority.20110803095804354 (inactive 2020-12-22). Retrieved 2019-12-10.CS1 maint: DOI inactive as of December 2020 (link) ^ "The Definitive Glossary of Higher Mathematical Jargon — Proof by Contradiction". Math Vault. 2019-08-01. Retrieved 2019-12-10. ^ Pakin, Scott (January 19, 2017). "The Comprehensive LATEX Symbol List" (PDF). ctan.mirror.rafal.ca. Retrieved 2019-12-10. ^ Post 1921 "Introduction to a General Theory of Elementary Propositions" in van Heijenoort 1967:272. ^ boldface italics added, Nagel and Newman:109-110. ^ Nagel and Newman:110-111 ^ Nagel and Newman:111 ^ In Contradiction: A Study of the Transconsistent By Graham Priest ^ Stoljar, Daniel (2006). Ignorance and Imagination. Oxford University Press - U.S. p. 87. ISBN 0-19-530658-9. ^ Sørensen -, MK (2006). "CAPITAL AND LABOUR: CAN THE CONFLICT BE SOLVED?". Retrieved 28 May 2017. Cite journal requires |journal= (help) ^ "ON CONTRADICTION". www.marxists.org. Bibliography[edit] 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[edit] Look up contradiction or although in Wiktionary, the free dictionary. Wikiquote has quotations related to: Contradiction "Contradiction (inconsistency)", Encyclopedia of Mathematics, EMS Press, 2001 [1994] "Contradiction, law of", Encyclopedia of Mathematics, EMS Press, 2001 [1994] Horn, Laurence R. "Contradiction". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy. v t e Logic Outline History Fields Computer science Inference Philosophy of logic Proof Semantics Syntax Logics Classical Informal Critical thinking Reason Mathematical Non-classical Philosophical Theories Argumentation Metalogic Metamathematics Set Foundations Abduction Analytic and synthetic propositions Contradiction Paradox Antinomy Deduction Deductive closure Definition Description Entailment Linguistic Form Induction Logical truth Name Necessity and sufficiency Premise Probability Reference Statement Substitution Truth Validity Lists topics Mathematical logic Boolean algebra Set theory other Logicians Rules of inference Paradoxes Fallacies Logic symbols  Philosophy portal Category WikiProject (talk) changes v t e ‌Logical truth ⊤ Functional: truth value truth function ⊨ tautology Formal: theory formal proof theorem Negation  ⊥ false contradiction inconsistency v t e Common logical symbols ∧  or  & and ∨ or ¬  or  ~ not → implies ⊃ implies, superset ≡ iff | nand ∀ universal quantification ∃ existential quantification ⊤ true, tautology ⊥ false, contradiction ⊢ entails, proves ⊨ entails, therefore ∴ therefore ∵ because  Philosophy portal  Mathematics portal Retrieved from "https://en.wikipedia.org/w/index.php?title=Contradiction&oldid=998593423" Categories: Propositional calculus Marxist theory Mathematical logic Sentences by type Propositions Immediate inference Cognitive dissonance Hidden categories: CS1 maint: DOI inactive as of December 2020 CS1 errors: missing periodical Articles with short description Short description matches Wikidata Articles needing additional references from July 2008 All articles needing additional references All articles with unsourced statements Articles with unsourced statements from March 2010 Navigation menu Personal tools Not logged in Talk Contributions Create account Log in Namespaces Article Talk Variants Views Read Edit View history More Search Navigation Main page Contents Current events Random article About Wikipedia Contact us Donate Contribute Help Learn to edit Community portal Recent changes Upload file Tools What links here Related changes Upload file Special pages Permanent link Page information Cite this page Wikidata item Print/export Download as PDF Printable version In other projects Wikiquote Languages العربية Čeština Dansk Deutsch Español Esperanto فارسی Français 한국어 Bahasa Indonesia Íslenska Italiano עברית Қазақша Македонски Bahasa Melayu Nederlands 日本語 Norsk bokmål Polski Português Русский Simple English Slovenčina Slovenščina کوردی Српски / srpski Svenska Tagalog Türkçe Українська اردو Tiếng Việt 粵語 中文 Edit links This page was last edited on 6 January 2021, at 03:13 (UTC). Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization. Privacy policy About Wikipedia Disclaimers Contact Wikipedia Mobile view Developers Statistics Cookie statement