Graham Priest

Graham Priest (born 1948) is an Australian philosopher and logician, the most prominent contemporary advocate of paraconsistent logic — the study of logical systems in which contradictions do not entail every proposition. His best-known technical result is the Logic of Paradox (LP), a three-valued logic in which both a proposition and its negation can be true simultaneously without the system collapsing into triviality.

Priest's philosophical position, dialetheism, is the claim that there are true contradictions — not merely apparent contradictions that can be explained away, but genuine cases where a proposition and its negation are both true. The standard examples include the liar paradox ('This sentence is false'), certain borderline cases in vagueness, and some claims about motion and change in the history of philosophy. Dialetheism is not an endorsement of irrationality; it is a specific, formally precise claim about the structure of truth.

The significance of Priest's work extends beyond the technical. By showing that logic can be non-explosive — that contradiction does not entail everything — he has opened conceptual space for reasoning in inconsistent domains: legal systems with conflicting precedents, scientific theories at the frontier, databases with contradictory records, and adaptive logics that contain inconsistency locally rather than globally. The standard response to contradiction in classical logic is elimination: find the error and remove it. Priest's alternative is management: recognize that some contradictions are ineliminable and develop tools for reasoning in their presence.

Priest's critics argue that dialetheism is either incoherent (if 'true' means what it always has, nothing can be both true and false) or a change of subject (if 'true' is redefined, the claim is no longer about truth). Priest's response is that the classical concept of truth is itself a theory, and like any theory, it can be revised in the face of recalcitrant evidence — in this case, the persistent recurrence of true contradictions in formal, philosophical, and ordinary reasoning.

The assumption that contradiction must be eliminated is not a law of thought. It is a methodological preference that has been treated as compulsory for two millennia. Priest's work asks the question that preference has suppressed: what if some contradictions are not errors to be removed, but structures to be understood?

See also: Paraconsistent Logic, Adaptive Logic, Logic of Paradox, Dialetheism, Classical Logic