Paradox and Explosion: Challenges to Classical Logic

1. The Liar Paradox: A Contradiction in Waiting

The Liar paradox has a history stretching back to ancient Greece. In its most famous modern form, it is expressed in a single, self-referential sentence:

L1: This sentence is false.

A moment's reflection reveals the problem. Let's assume L1 is true. If it's true, then what it says must be the case. What it says is that it is false. So, if L1 is true, then L1 is false. This is a contradiction.

So, let's assume L1 is false. If it's false, then what it says is not the case. It says that it is false, so it must not be the case that it is false. This means L1 must be true. So, if L1 is false, then L1 is true. Again, we arrive at a contradiction.

We seem to have shown that L1 is true if and only if it is false: $L1\leftrightarrow \neg L1$. In classical logic, where every sentence must be either true or false (the Law of Bivalence), this is a catastrophic result.

The Strengthened Liar

As the video notes, an immediate response might be to reject the Principle of Bivalence and allow for "truth-value gaps." Perhaps the Liar sentence is neither true nor false. However, this solution is notoriously unstable, as the paradox can be easily reformulated to block this escape route. Consider the Strengthened Liar:

L2: This sentence is not true.

Let's analyse L2:

• If L2 is true, then what it says is the case, so L2 is not true. Contradiction.
• If L2 is false, then it is not true. But that is exactly what L2 says. So if it's false, what it says is correct, which makes it true. Contradiction.
• What if L2 is neither true nor false? If it's neither true nor false, then it certainly is "not true." But again, that is precisely what L2 asserts. If the sentence is "not true" and it says it is "not true," then it must be true. This leads us to conclude that L2 is both true and not true. Contradiction.

The Strengthened Liar shows that simply introducing a third truth value doesn't resolve the underlying issue. The problem runs deeper.

2. The Formal Ingredients of the Paradox

To understand the challenge to logic, we need to be more precise about what assumptions generate the paradox. For a formal system, the key ingredients are:

1. A Truth Predicate ($\text{Tr}(x)$): The language must be able to talk about its own sentences being true. We can write \Tr(\left\ulcorner A\right\urcorner) to mean "The sentence $A$ is true."

2. The T-Schema (or equivalent principles): The truth predicate must connect to the sentences it's about. The principle is often given as Alfred Tarski's "Convention T":
   \Tr(\left\ulcorner A\right\urcorner) \leftrightarrow A
   This schema asserts that the sentence "'A' is true" is equivalent to the sentence 'A' itself. For example, "'Snow is white' is true" is equivalent to "Snow is white." This can be broken down into two inference rules:

   • Capture (or T-Intro): From $A$, infer \Tr(\left\ulcorner A\right\urcorner).
   • Release (or T-Elim): From \Tr(\left\ulcorner A\right\urcorner), infer $A$.

3. Self-Reference: The language must be able to construct sentences that refer to themselves. In formal languages that can express basic arithmetic, this is guaranteed by Gödel's diagonal lemma. This allows the construction of a sentence $L$ which is provably equivalent to \neg\Tr(\left\ulcorner L\right\urcorner).

4. Classical Logic: The background logic includes standard principles like the Law of Excluded Middle ($A\vee \neg A$) and rules for handling connectives.

The paradox shows that these four ingredients are an explosive mixture. They inevitably lead to a contradiction. But why is a contradiction so bad? This brings us to our second topic.

3. The Principle of Explosion

In classical logic, as well as in many other logical systems like intuitionistic logic, a contradiction has a very special status. It is "explosive." The Principle of Explosion, also known as ex contradictione quodlibet (from a contradiction, anything follows), states that if you can derive a contradiction, you can derive any proposition whatsoever.

Formally, for any propositions $P$ and $Q$:

Where $⊢$ represents logical entailment. If a contradiction is true, then the moon is made of cheese, Paris is the capital of England, and $1+1=3$. The system becomes trivial—it asserts everything.

Why does classical logic have this feature? There is a simple and elegant formal proof. Given your background in mathematics, you should find it straightforward.

Let's recap the proof shown in the video:

1. Assume $P\wedge \neg P$.
2. From (1), infer $P$ (by Conjunction Elimination).
3. From (2), infer $P\vee Q$ (by Disjunction Introduction). This is the key creative step: you can disjoin any proposition $Q$ with a true statement, and the resulting disjunction will be true.
4. From (1), infer $\neg P$ (by Conjunction Elimination).
5. From (3) and (4), infer $Q$ (by Disjunctive Syllogism). We have $P\vee Q$ and we also have $\neg P$, so the only possibility left is $Q$.

Since $Q$ can be any proposition, we have shown that a contradiction entails everything.

4. The Combined Challenge

Now we can see the full force of the challenge.

• The Liar paradox shows that a language that can talk about its own truth and allows self-reference will inevitably produce a contradiction if it operates with classical logic and an unrestricted T-schema.
• The Principle of Explosion shows that in classical logic, a single contradiction leads to triviality, a complete collapse of the logical system.

Put them together, and the conclusion is stark: any sufficiently expressive language based on classical logic seems doomed to incoherence.

This is a profound problem. It's not just a puzzle; it's a foundational crisis. It suggests that at least one of our fundamental, seemingly obvious assumptions about truth or logic must be wrong. As the SEP article you read puts it:

We have so far shown that with the given ingredients our Liar sentence $L$ implies a contradiction ... From here, it is one short step to all-out absurdity... We invoke EFQ [Explosion] to finish the proof... $B$, here, may be any—every—sentence that you like... In the face of such absurdity (triviality), we conclude that something is wrong in the foregoing Liar reasoning. The question is: what?
(Liar Paradox, SEP, Section 2.3.3)

This forces a choice between several radical options:

1. Restrict the principles of truth. We could, like Tarski, block self-reference by building a strict hierarchy of languages, where a language can only contain the truth predicate for languages below it. This makes the Liar sentence ill-formed but has been criticized as artificial and restrictive.
2. Revise classical logic. Perhaps the problem lies not with truth, but with logic itself. This is the path taken by advocates of non-classical logics.
   • Paracomplete Logics: These logics reject the Law of Excluded Middle. They deny the first step in the Liar derivation, claiming that the Liar sentence is neither true nor false (it has a truth-value gap).
   • Paraconsistent Logics: These logics reject the Principle of Explosion. They allow contradictions to exist without leading to triviality. From this perspective, the Liar sentence might be both true and false (a "truth-value glut" or dialetheia), but this isolated contradiction is contained and does not infect the rest of the language.

Conclusion

In this lesson, we have analysed a major challenge to the foundations of classical logic. We saw how the simple, self-referential Liar sentence, when combined with intuitive principles of truth, generates a logical contradiction. We then examined the Principle of Explosion, a theorem of classical logic that turns any single contradiction into total system failure.

Key Takeaways:

• The Liar Paradox: Sentences like "This sentence is not true" appear to be true if and only if they are not true, creating a contradiction $P\leftrightarrow \neg P$. This arises from the interplay of self-reference, a truth predicate, and the T-schema.
• The Principle of Explosion (ECQ): In classical logic, a contradiction entails any proposition ($P\wedge \neg P⊢Q$). This means a system containing a contradiction is trivial.
• The Challenge: The Liar paradox generates a contradiction from seemingly basic linguistic resources. The Principle of Explosion means that, within classical logic, this contradiction leads to triviality. This forces us to reconsider our fundamental assumptions about either truth or logic.
• Avenues of Solution: The primary responses involve either restricting the expressive power of language (e.g., Tarski's hierarchy) or revising classical logic itself, leading to frameworks like paracomplete and paraconsistent logics.

Preview of the Next Lesson:
We have framed the problem and outlined the main escape routes. In our next lesson, we will dive deeper into one of the most radical of these solutions. We will evaluate paraconsistent logic and the dialetheist thesis that some contradictions are true. This will involve exploring the arguments of philosophers like Graham Priest, who propose that we should embrace the Liar contradiction rather than trying to eliminate it.