Dialetheism

Overview

Dialetheism is the philosophical position that some contradictions are genuinely true — that there exist propositions which are both true and false at the same time and in the same respect. The term, coined from the Greek "di" (two) and "aletheia" (truth), literally means "two-way truth." A true contradiction is called a dialetheia (plural: dialetheia or dialetheiai).

Dialetheism is among the most radical positions in the history of logic and philosophy. For more than two thousand years, the law of non-contradiction — the principle that no proposition can be simultaneously true and false — has been regarded as the most fundamental and inviolable law of thought. Aristotle called it the firmest of all principles, one that it is impossible to be mistaken about. To assert that some contradictions are true is to deny what virtually every Western philosopher since Aristotle has treated as self-evident.

Despite this, dialetheism has been developed into a rigorous philosophical position with formal logical foundations, primarily through the work of the Australian-British philosopher Graham Priest. It is not a fringe view defended by amateurs but a serious philosophical programme advocated by credentialled logicians, published in leading journals, and debated by some of the most prominent philosophers of the late twentieth and early twenty-first centuries. Whether it is correct remains vigorously contested, but it can no longer be dismissed as incoherent.

Historical Background

Although dialetheism as a named philosophical position is a product of the late twentieth century, the intellectual tradition of engaging seriously with contradictions has deep historical roots.

Heraclitus (c. 535-475 BCE), the pre-Socratic philosopher, is often cited as the earliest Western thinker to embrace contradictory descriptions of reality. His assertion that "the road up and the road down are one and the same" and his doctrine of the unity of opposites suggest an acceptance that reality can exhibit contradictory properties simultaneously. Whether Heraclitus genuinely accepted true contradictions or was using paradox rhetorically is debated, but his influence on later dialectical traditions is clear.

Nicholas of Cusa (1401-1464), the German cardinal, philosopher, and theologian, developed a theology of the coincidentia oppositorum — the coincidence of opposites — in which God transcends the law of non-contradiction, containing all opposites within a unified divine nature. Cusa's work represents a sustained medieval engagement with the idea that the deepest reality might be inherently contradictory.

Georg Wilhelm Friedrich Hegel (1770-1831) developed dialectical logic as a philosophical method in which contradictions are not errors but the driving force of intellectual and historical progress. In Hegel's system, thesis and antithesis are both true and their contradiction generates synthesis — a higher-order truth that preserves and transcends both. Whether Hegel genuinely accepted true contradictions or used "contradiction" in a specialised technical sense that differs from the logical concept is a matter of ongoing scholarly debate, but his influence on the intellectual tradition that eventually produced dialetheism is significant.

In the Indian philosophical tradition, the Catuṣkoṭi (four-cornered logic) of Buddhist philosophy explicitly accommodates the possibility that a proposition can be both true and false — the third koṭi. Nāgārjuna (c. 150-250 CE), the founder of the Madhyamaka school, employed contradictions systematically in his philosophical arguments. Whether Nāgārjuna was a dialetheist in the modern sense — whether he genuinely held that contradictions are features of reality rather than using them as pedagogical tools — is actively debated between Graham Priest (who argues he was) and scholars of Buddhist philosophy (some of whom disagree).

The Modern Development of Dialetheism

Dialetheism in its modern form was pioneered in Australia in the 1970s by Richard Routley (later Richard Sylvan) and Graham Priest, working within the tradition of relevant and paraconsistent logic that had developed in Melbourne and Canberra.

The crucial prerequisite for dialetheism was the development of paraconsistent logic — logical systems in which the principle of explosion (from a contradiction, anything follows) does not hold. In classical logic, accepting a single contradiction makes the entire system trivial: every proposition becomes true. This makes classical logic inhospitable to true contradictions — accepting even one means accepting all. Paraconsistent logic, developed by Newton da Costa, Routley, Priest, and others, blocks the principle of explosion, allowing contradictions to be contained without infecting the entire system. With paraconsistent logic in hand, it became logically possible to accept some contradictions as true without the system collapsing.

Graham Priest published the foundational text of modern dialetheism, "In Contradiction," in 1987 (second edition 2006). In this work, Priest argued that certain well-known paradoxes — particularly the Liar's Paradox and the paradoxes of set theory — are genuine contradictions: they are both true and false. Rather than treating these paradoxes as problems to be solved by restricting language or logic (as Tarski, Russell, and ZFC do), Priest proposed accepting them at face value. The Liar sentence "this statement is false" is both true and false. The Russell set both contains and does not contain itself. These are not symptoms of a defective framework but features of reality.

Priest developed the Logic of Paradox (LP) as the formal logical system for dialetheism. LP is a three-valued logic in which propositions can be true only, false only, or both true and false. The "both" value is designated (meaning propositions with this value are assertable — they count as true for the purposes of rational discourse). The principle of explosion fails in LP: from a dialetheia, not everything follows. This allows the system to accommodate true contradictions without trivialising.

The Motivations for Dialetheism

Dialetheism is motivated primarily by the self-referential paradoxes — logical constructions that produce contradictions that have resisted resolution for centuries or millennia.

The Liar's Paradox: "This statement is false." If true, it is false; if false, it is true. Classical logic has no consistent assignment of truth value. Tarski's solution (hierarchical languages) bans the self-referential construction. Kripke's solution (truth-value gaps) leaves the sentence undefined. The dialetheist solution is simpler and more direct: the sentence is both true and false. This is a genuine contradiction, and it is true.

Russell's Paradox: The set of all sets that do not contain themselves both does and does not contain itself. ZFC bans the construction of this set. Dialetheism permits the set to exist and accepts the contradiction as genuine. In naive set theory supplemented with paraconsistent logic, the Russell set exists and its paradoxical membership is a true contradiction that does not trivialise the system.

The Sorites Paradox: Priest has argued that the Sorites Paradox (the paradox of the heap) can be resolved dialetheically. At the boundary between "heap" and "non-heap," the predicate both applies and does not apply. The boundary case is a dialetheia — an object that is both a heap and not a heap. This avoids both the classical commitment to a sharp (but unknowable) boundary and the fuzzy logic commitment to continuous degrees of truth.

Goedel's Incompleteness Theorems: Priest has argued that Goedel's results support dialetheism. Goedel's first incompleteness theorem shows that consistent formal systems contain true but unprovable statements. The dialetheist argues that if the system were allowed to be inconsistent (paraconsistent), these statements could be both provable and true — resolving the incompleteness. This argument is more speculative than the paradox motivations and has been challenged by critics.

The Limits of Thought: In his book "Beyond the Limits of Thought" (1995, second edition 2002), Priest argued that contradictions arise at the boundaries of thought itself — at the limits of what can be expressed, described, conceived, or known. When thought attempts to encompass its own limits (a self-referential operation), contradictions inevitably arise. The limits of the expressible, the limits of the iterable, the limits of the cognisable — all produce contradictions when thought attempts to cross them. Priest argues that these are genuine features of the structure of thought, not artefacts of imprecise reasoning.

The Logic of Paradox (LP)

The Logic of Paradox is the formal logical system most closely associated with dialetheism. It is a three-valued logic with the following truth values:

True only (t): The proposition is true and not false. This corresponds to the classical notion of truth.

False only (f): The proposition is false and not true. This corresponds to the classical notion of falsity.

Both (b): The proposition is both true and false. This is the dialetheic value — the value assigned to dialetheia.

The designated values — the values that count as "true enough" for assertion and inference — are t and b. A proposition is assertable if it is true only or both true and false. This means that dialetheia are assertable: you can rationally assert a contradiction.

The logical connectives are defined using truth tables that generalise the classical ones. NOT reverses the truth value for t and f but leaves b unchanged (the negation of a dialetheia is also a dialetheia). AND takes the minimum of the two truth values (using the ordering f less than b less than t). OR takes the maximum.

The principle of explosion fails in LP because the premises P and not-P, when P has the value b, do not entail an arbitrary conclusion Q with the value f. The contradiction is contained — it affects only the propositions that are directly contradictory and does not spread to unrelated propositions.

LP is technically simple and philosophically transparent, which is part of its appeal. It is the minimal modification of classical logic needed to accommodate true contradictions. However, its simplicity comes with costs — LP validates fewer inferences than classical logic (it is inferentially weaker), and some critics argue that this weakness undermines its adequacy as a logic for general reasoning.

The Law of Non-Contradiction

The law of non-contradiction (LNC) — the principle that no proposition is both true and false — is often described as the most fundamental law of logic. Aristotle devoted considerable attention to defending it in Book IV of the Metaphysics, arguing that it is a principle that cannot be denied without presupposing it, and that anyone who genuinely rejected it would be unable to think or communicate at all.

Dialetheism's relationship with the LNC is more nuanced than simple rejection. Priest does not claim that the LNC is false in all cases — he does not assert that every proposition is both true and false (that would be trivialism, which Priest explicitly rejects). Rather, he claims that the LNC has exceptions. Most propositions are either true or false, not both. But some propositions — specifically, those produced by self-referential constructions such as the Liar's Paradox — are both true and false. The LNC holds in general but fails at the limits.

This position is analogous to the relationship between Euclidean and non-Euclidean geometry. Euclid's parallel postulate holds in most contexts (flat space) but fails in others (curved space). The postulate is not wrong — it is domain-limited. Similarly, the dialetheist claims that the LNC holds in most domains but fails at the boundaries of self-reference. The law is not wrong — it is incomplete.

Aristotle's defence of the LNC — that denying it leads to the inability to think or speak coherently — is challenged by the existence of paraconsistent logics, which demonstrate that rational discourse can continue in the presence of contradictions, provided the principle of explosion is blocked. The dialetheist can think, speak, reason, and argue coherently while accepting some contradictions, because the logical framework does not allow contradictions to propagate trivially.

Objections and Criticisms

The Problem of Disagreement: David Lewis, one of the most influential analytic philosophers of the twentieth century, articulated what many consider the most devastating objection to dialetheism. If some contradictions are true, how does one disagree with anything? Ordinarily, to disagree with a claim P is to assert not-P. But if P is a dialetheia, then both P and not-P are true. Asserting not-P does not constitute disagreement — it is consistent with the dialetheia. Lewis argued that dialetheism makes genuine disagreement impossible, which undermines rational discourse. Priest has responded that disagreement in a dialetheic context can be expressed through rejection (refusing to accept a proposition) rather than negation (asserting its opposite), but critics find this response unsatisfying.

The Problem of Trivialism: If some contradictions are true, what prevents all contradictions from being true? The dialetheist must explain why the Liar sentence is a dialetheia but "2+2=5 and 2+2 is not equal to 5" is not. Priest's answer is that dialetheia arise only in specific contexts (self-referential constructions, boundary phenomena) and that ordinary propositions behave classically. But critics argue that once the LNC is breached, there is no principled basis for containing the breach — the distinction between genuine dialetheia and ordinary contradictions may be unstable.

The Problem of Rational Belief: If some contradictions are true, what should a rational agent believe? Classical epistemology assumes that rational belief aims at truth and avoids falsity. But a dialetheia is both true and false. Should a rational agent believe it (because it is true) or disbelieve it (because it is false)? Priest argues that rational agents should believe dialetheia (because they are true, and rational belief aims at truth), but the dual nature of dialetheia creates tensions for standard theories of rational belief and decision-making.

The "Too Easy" Objection: Some critics argue that dialetheism makes philosophical problems too easy to solve. Facing a paradox? Accept the contradiction. The Liar's Paradox is both true and false — problem solved. Russell's Paradox produces a contradiction — accept it. This blanket strategy, critics argue, replaces genuine philosophical analysis with a universal escape hatch. Priest responds that dialetheism does not solve problems by making them disappear — it solves them by providing a more accurate description of what the paradoxes actually reveal about the structure of reality.

Empirical Objections: Some philosophers argue that there is no empirical evidence for true contradictions. The contradictions that motivate dialetheism — the Liar's Paradox, Russell's Paradox — are artefacts of formal systems, not observations of the physical world. No experiment has ever produced a genuinely contradictory result (quantum superposition is not a contradiction in the classical sense — it is a superposition of states, not an assertion that a proposition is both true and false). Priest has countered by arguing that the semantic and set-theoretic paradoxes are empirical evidence of a kind — they are observations about the behaviour of language and formal systems that reveal genuine features of reality.

Dialetheism and Formal Mathematics

One of the most interesting applications of dialetheism is in the foundations of mathematics. If contradictions can be tolerated without trivialising a system, then the restrictions that ZFC imposes to prevent paradoxes — restricted comprehension, the axiom of regularity, the ban on self-referential sets — become unnecessary. Naive set theory, supplemented with a paraconsistent logic, becomes a consistent (in the sense of non-trivial) foundation for mathematics that is simpler, more natural, and more powerful than ZFC.

Chris Mortensen, an Australian philosopher, has developed this programme under the name "inconsistent mathematics" — mathematics conducted within paraconsistent frameworks that permit contradictions. Mortensen has shown that substantial portions of classical mathematics can be reconstructed in inconsistent settings, and that some mathematical structures are most naturally described using contradictory axioms. Ross Brady has demonstrated that naive set theory with a paraconsistent logic based on relevant logic is non-trivial — the Russell set exists, its contradiction is contained, and meaningful mathematics can be conducted.

Whether inconsistent mathematics represents a genuine alternative to classical mathematics or merely an interesting technical exercise remains debated. Most working mathematicians continue to use ZFC without modification, and the practical advantages of inconsistent mathematics have not yet been demonstrated to be sufficient to motivate a change of foundations.

Dialetheism and Other Traditions

Buddhist Philosophy: Priest has extensively explored the connections between dialetheism and Buddhist logic, particularly the Catuṣkoṭi and Nāgārjuna's use of contradictions in the Mūlamadhyamakakārikā. In his 2018 book "The Fifth Corner of Four," Priest argues that Nāgārjuna's philosophy is best understood through the lens of dialetheism — that Nāgārjuna genuinely accepted true contradictions as features of ultimate reality. This interpretation is contested by some scholars of Buddhist philosophy, who argue that Nāgārjuna's contradictions are methodological (designed to undermine conceptual attachment) rather than metaphysical (assertions about the nature of reality).

Hegel and Dialectics: Priest has also connected dialetheism to Hegel's dialectical logic, arguing that Hegel's contradictions are genuine rather than merely metaphorical. This reading of Hegel is controversial among Hegel scholars, many of whom argue that Hegel's use of "contradiction" does not correspond to the logical concept of a proposition being simultaneously true and false.

Paraconsistent Logic: Dialetheism is closely related to but distinct from paraconsistent logic. All dialetheists require a paraconsistent logic (without one, accepting a contradiction trivialises the system). But not all paraconsistent logicians are dialetheists — many use paraconsistent logics instrumentally (as tools for reasoning about inconsistent information) without committing to the existence of true contradictions. Da Costa, for example, developed paraconsistent logic without endorsing dialetheism.

Key Figures

Graham Priest (b. 1948): Australian-British philosopher, Boyce Gibson Professor of Philosophy at the University of Melbourne and Distinguished Professor at the Graduate Center, City University of New York. The foremost advocate of dialetheism and the most prolific contributor to its development. His major works include "In Contradiction" (1987, 2006), "Beyond the Limits of Thought" (1995, 2002), "Towards Non-Being" (2005, 2016), "Doubt Truth to be a Liar" (2006), "One" (2014), and "The Fifth Corner of Four" (2018). Priest has published over 300 papers and is one of the most cited living logicians.

Richard Routley / Richard Sylvan (1935-1996): Australian philosopher who, together with Priest, pioneered the modern development of dialetheism within the relevant logic tradition. Routley's "ultralogic" programme aimed to develop a universal logic that could accommodate contradictions without trivialising.

Jay Garfield: American philosopher who has collaborated extensively with Priest on the intersection of dialetheism and Buddhist philosophy, particularly on the interpretation of Nāgārjuna.

JC Beall: American philosopher who has developed his own version of dialetheism and has contributed significantly to the formal and philosophical development of the position, including work on transparent truth and the logic of tolerance.

Current Status

Dialetheism remains a minority position in contemporary philosophy and logic. The law of non-contradiction continues to be treated as foundational by the vast majority of logicians, mathematicians, and philosophers. No major mathematical or scientific institution has adopted a paraconsistent foundation, and classical logic remains the standard framework for formal reasoning across all disciplines.

However, dialetheism is no longer dismissible. It has been developed with rigour, defended with sophistication, and debated by leading philosophers. The objections to it are serious but not decisive — Priest and his collaborators have responded to every major criticism, and the debate continues in leading philosophical journals and at major conferences. The position has generated a substantial secondary literature and has influenced the broader development of non-classical logic, even among those who do not accept dialetheism itself.

The deepest question dialetheism raises is not whether contradictions can be true — that is a technical question that paraconsistent logic has shown to be formally coherent. The deeper question is whether reality itself is sometimes contradictory, or whether contradictions are always artefacts of our descriptions of reality. If the former, then the law of non-contradiction is not a law of reality but a simplification — valid for most domains but failing at the limits. If the latter, then dialetheism, however technically impressive, is a solution to a problem that does not exist in the world, only in our formalisms.

This question — whether contradictions are in the world or only in our descriptions of it — is one of the most fundamental questions in philosophy, and dialetheism has brought it into sharper focus than any other position in the history of logic.