Noncontradiction

The principle of noncontradiction (PNC) states that no proposition can be both true and false at the same time and in the same sense. It is a foundational principle in classical logic and in many philosophical systems, supporting the coherence of rational discourse.

Formally, for any proposition P, it is not the case that P and not P. In standard semantics this implies that a truth-value assignment cannot render both P and its negation true, and it underpins the idea that a statement cannot be true and false simultaneously.

Historically, Aristotle is traditionally credited with articulating the principle, and it has been influential in scholastic philosophy and the subsequent development of formal logic. In modern mathematics and science, noncontradiction is commonly treated as a basic constraint on theories and reasoning, helping to avoid trivial or inconsistent systems.

Variants and criticisms vary by tradition. Some logics, known as dialethic logics, reject the universality of noncontradiction by allowing some statements to be both true and false. Paraconsistent logics seek to limit the consequences of such contradictions, preserving usable inference even where some contradictions exist. Others challenge noncontradiction as a metaphysical necessity, arguing that contexts, vagueness, or certain scientific theories may require more nuanced treatments. Despite such debates, noncontradiction remains a central, widely accepted principle in classical logic and everyday reasoning.