Paraconsistent Logic and Dialetheism

1. Paraconsistent Logic: Containing the Damage

As we established, the Principle of Explosion, or ex contradictione quodlibet (ECQ), is the rule stating that from a contradiction, anything follows.

A system of logic is defined as paraconsistent if this rule is not valid. It is a logic that is "alongside" consistency, capable of reasoning in the presence of contradictions without collapsing into triviality. This doesn't mean it encourages contradictions, but rather that it is robust enough to handle them if they arise.

To begin, let's get a clear sense of what paraconsistent logic is and how it differs from the classical logic you are familiar with.

As Priest illustrates, the classical valuation scheme, where every sentence must be placed in either the "true" or "false" bucket (and not both), makes explosion a necessary consequence. If the premises $P$ and $\neg P$ can never both be true, then there is no possible situation where the premises are true and the conclusion is false. The inference is thus considered vacuously valid.

Paraconsistent semantics alters this fundamental picture. By allowing the "true" and "false" categories to overlap, a situation can be constructed where $P$ and $\neg P$ are both true, but some other proposition $Q$ remains false. This invalidates explosion.

It is crucial to distinguish the formal tool of paraconsistent logic from the philosophical reasons one might adopt it. One can be a paraconsistentist for purely pragmatic reasons, without believing any contradictions are actually true. For instance, in managing a large database with multiple sources of information, contradictions are likely to occur. Using classical logic to reason over this database would be catastrophic; a single inconsistency (e.g., one source lists a train's departure time as 12:00 and another as 13:00) would license the inference of any statement at all (e.g., that a flight from Rio leaves at midnight). A paraconsistent logic allows for localised, non-trivial reasoning even with inconsistent data.

2. Dialetheism: Embracing the Contradiction

While some logicians see paraconsistency as a useful tool for specific applications, others take a much stronger philosophical stance. They argue that some contradictions are not just unavoidable in our databases, but are actually true features of reality, language, or thought. This is the thesis of dialetheism.

As the article makes clear, the core of the dialetheist argument is that it offers the most satisfying solution to the paradoxes of self-reference.

• Classical solutions, like Tarski's hierarchy of languages, are seen as artificial and as failing to capture the way our natural language works. We seem to have a single, universal truth predicate, not an infinite series of them.
• Paracomplete ("gap") solutions, which claim the Liar is neither true nor false, suffer from "revenge paradoxes". As we saw in the last lesson with the Strengthened Liar ("This sentence is not true"), the machinery used to create the 'gap' can be used to generate a new, even more resilient contradiction.

The dialetheist claims to have a simple and powerful solution: The Liar sentence is exactly what the argument shows it to be—both true and false. It is a dialetheia. Since the underlying logic is paraconsistent, this one contradiction does not spread and does not lead to triviality. The system takes the hit and remains stable.

3. Evaluating the Dialetheist Thesis

Accepting that some contradictions are true is a monumental step, challenging a principle that Aristotle called "the most certain of all principles." Such a view requires robust defense and must withstand serious objections.

Objection 1: The Exclusion Problem

Perhaps the most persistent objection concerns the very possibility of rational disagreement. If asserting $\neg A$ does not rule out the truth of $A$, how can a dialetheist ever genuinely deny something or disagree with a claim? If a political opponent makes a claim $P$, and the dialetheist says "$\neg P$," the opponent could simply reply, "Great, you think $\neg P$ is true, and I think $P$ is true. Maybe we're both right!" This is often called the "just true" problem: how does a dialetheist express that a claim is just true (i.e., true and not also false)?

Dialetheist Reply: Proponents like Priest argue that this objection conflates the logical operator of negation with the pragmatic speech act of denial. To deny $A$ is not the same as to assert $\neg A$. Denial is a primitive act of refusal, of rejecting a claim. A dialetheist can accept both $A$ and $\neg A$ (in the case of the Liar), but they do not both accept and reject $A$. Disagreement occurs when one person accepts a proposition and the other rejects it. Therefore, a dialetheist can express disagreement simply by rejecting a claim, just like anyone else.

Objection 2: The 'Common Sense' Objection

A more fundamental objection is that dialetheism is simply too incredible to believe. The Law of Non-Contradiction seems to be a bedrock principle of thought. To claim that something can be true and false at the same time appears to abandon the very meaning of these words.

Dialetheist Reply: Here, dialetheists ask us to question the authority of our own intuitions. Our "common sense" has been wrong before. For centuries, it was "common sense" that the Earth was stationary, or that a set could not be put into a one-to-one correspondence with one of its proper subsets. This is the argument Graham Priest makes in the following interview clip.

The analogy with Cantor is particularly potent given your background in mathematics. Just as mathematicians' intuitions, trained on finite sets, failed them when confronted with the infinite, Priest argues that our philosophical intuitions, trained on consistent, everyday situations, may fail us when we confront the limits of thought and language found in the paradoxes. Our intuitions might be the result of an "inadequate diet of examples."

Objection 3: The Rationality Objection

Finally, critics worry that dialetheism would lead to a collapse of rational standards. If we can accept some contradictions, why not accept any contradiction that helps us win an argument or protect a cherished belief?

Dialetheist Reply: This objection, again, conflates dialetheism with trivialism.

The dialetheist maintains that consistency is still an important epistemic virtue. A theory's being inconsistent counts against it. However, it is not an absolute constraint. A theory might be inconsistent but still be rationally preferable to its consistent rivals if it is simpler, more powerful, less ad hoc, and more adequate to the data. The dialetheist argues that for the specific case of a semantic theory for natural language, the dialetheic theory comes out on top in this balance of virtues, despite its inconsistency.

Conclusion

In this lesson, we have moved from the problem posed by the Liar paradox to a detailed evaluation of one of its most radical solutions.

Key Takeaways:

• Paraconsistent Logic is a family of logics that reject the Principle of Explosion. It provides the formal framework for containing contradictions without the system collapsing into triviality.
• Dialetheism is the philosophical thesis that some contradictions are true. A dialetheist must use a paraconsistent logic, but one can use a paraconsistent logic without being a dialetheist.
• The primary motivation for dialetheism is its claim to provide a simple, uniform, and revenge-immune solution to the paradoxes of self-reference, like the Liar.
• Dialetheism faces major objections, particularly concerning its implications for disagreement (the exclusion problem), its profound counter-intuitiveness, and its potential to undermine rationality.
• Dialetheists respond by distinguishing logical operators from speech acts (negation vs. denial), questioning the infallibility of our intuitions by analogy with historical shifts in science and mathematics, and maintaining that rationality is about weighing all evidence, not just enforcing consistency at all costs.

Preview of the Next Lesson:
We have now seen how paradoxes of self-reference place classical logic under strain. In the next lesson, we will turn our attention to a completely different kind of puzzle that challenges classical logic from another direction. We will analyse the Sorites paradox and the challenge of vagueness for classical logic. This paradox arises not from tricky self-reference, but from the ordinary, pervasive vagueness of predicates like 'heap', 'tall', or 'bald', questioning the classical assumption that every predicate must have a perfectly precise boundary of application.