Logical incompatibility between two or more propositions / From Wikipedia, the free encyclopedia

Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Contradiction?

Summarize this article for a 10 year old


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]

This diagram shows the contradictory relationships between categorical propositions in the square of opposition of Aristotelian logic.

In modern formal logic and type theory, the term is mainly used instead for a single proposition, often denoted by the falsum symbol ; 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.

Oops something went wrong: