Contradiction

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 message)

In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. 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 and type theory, the term is mainly used instead for a single proposition, often denoted by the falsum symbol ${\displaystyle \bot }$; 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).^[2][3] This can be generalized to a collection of propositions, which is then said to "contain" a contradiction.