In logic, the law of noncontradiction states, in the words of Aristotle, that "one cannot say of something that it is and that it is not in the same respect and at the same time". In the symbolism of propositional logic, this is expressed as:

$\backslash neg\; (P\; \backslash wedge\; \backslash neg\; P).\backslash !$

According to Allan Bloom, "the earliest-known explicit statement of the principle of contradiction – the premise of philosophy and the foundation of rational discourse" – is given in Plato's Politeia (The Republic) where the character Socrates states, "It's plain that the same thing won't be willing at the same time to do or suffer opposites with respect to the same part and in relation to the same thing" (436B).

According to Aristotle and Thomas Aquinas, this is a fundamental principle of thought, which can only be proved by showing the opponents of the principle to be themselves committed to it. Thus, Aristotle considers the case of someone who denies the principle in the strong way – holding that every proposition is both true and false – and asks why such a person goes on the Megara road to get to Megara from Athens, since on such a person's view it is just as true that any other road would get him to Megara.

See also

• Contradiction
• Law of excluded middle
• Law of identity
• Peirce's law
• Principle of bivalence
• Principle of explosion
• Road Runner Tactic

External links

• Stanford Encyclopedia of Philosophy, Contradiction.

Logic | Laws of thought

Satz vom Widerspruch | Principio de no contradicción | Loi de non-contradiction | חוק אי הסתירה | Lei da não-contradição | Закон противоречия | 无矛盾律