Dummett's Manifestation Argument for Intuitionism

1. The Link Between Meaning and Logic

Before we dive into the details, we must first establish a crucial principle in Dummett's philosophy: the choice of a correct logic for a given area of discourse is not an independent, purely formal decision. Rather, a logic is justified by the underlying theory of meaning that we adopt for that discourse.

Different logical systems, like classical and intuitionistic logic, are underpinned by different semantic theories. Therefore, philosophical arguments about the correct theory of meaning are, by extension, arguments about the correct logic.

As Dummett states, the theory of meaning provides the foundation for a semantic theory, and the semantic theory determines which logical laws are valid. A dispute about logic is therefore a surface-level manifestation of a deeper dispute in the theory of meaning.

2. Bivalence, The Excluded Middle, and Realism

The key connection between a semantic theory and its logic lies in the status of the Principle of Bivalence.

• Bivalence: The principle that every declarative sentence, for which the question of truth arises, is determinately either true or false, and not both.

A realist semantic theory naturally upholds bivalence. If the truth of a statement is determined by a mind-independent reality, then for any statement $P$, the reality is either such that $P$ is true or such that $P$ is false. This holds even if we can never know which it is. For example, the realist holds that the statement "The number of stars in the Andromeda galaxy is even" is either true or false, regardless of our ability to count them.

The logical law that corresponds to the Principle of Bivalence is the Law of the Excluded Middle (LEM):

Classical logic, underpinned by a realist semantics, accepts LEM as a universally valid principle.

Now, consider the anti-realist semantics that Dummett's manifestation argument pushes us toward. Here, the meaning of a sentence is not given by its verification-transcendent truth-condition, but by its justification-condition. In this model:

• 'True' is interpreted as 'has a justification' or 'has a proof'.
• 'False' is interpreted as 'has a refutation' (i.e., a justification for its negation).

What happens when we consider a statement for which we currently have neither a justification nor a refutation, such as Goldbach's Conjecture?

• We cannot assert it is 'true' (we have no proof).
• We cannot assert it is 'false' (we have no proof of its negation).

In this justificationist framework, we have no warrant to assert that every statement is either true or false. We must suspend judgment on the Principle of Bivalence for undecidable statements.

The consequence for logic is profound. To assert $P\vee \neg P$ as a logical law would be to claim, from a justificationist standpoint, that we are always in possession of either a proof of $P$ or a proof of $\neg P$. This is demonstrably false for many mathematical and empirical statements. Therefore, an anti-realist must abandon the Law of the Excluded Middle as a general principle of logic.

3. The Justification for Intuitionistic Logic

The rejection of the Law of the Excluded Middle is the hallmark of intuitionistic logic. The system of logic that remains, once LEM and other principles that depend on it (like double negation elimination, $\neg \neg P⊢P$) are removed from classical logic, is precisely intuitionistic logic.

We can now see the full structure of Dummett's justification:

1. Manifestation Argument: Any viable theory of meaning must explain understanding as a manifestable, practical ability.
2. Rejection of Realism: A realist theory of meaning, based on verification-transcendent truth-conditions, fails this test. Understanding based on such conditions cannot be fully manifested.
3. Adoption of Anti-Realism: We must therefore adopt an anti-realist, justificationist semantics, where meaning is tied to conditions of proof or verification.
4. Rejection of Bivalence: A justificationist semantics does not warrant the universal application of the Principle of Bivalence, as there are statements for which we have neither a justification nor a refutation.
5. Rejection of LEM: The rejection of universal bivalence entails the rejection of the Law of the Excluded Middle as a universally valid logical law.
6. Adoption of Intuitionistic Logic: A logic that does not presuppose LEM is intuitionistic logic.

Thus, the choice of intuitionistic logic is not arbitrary. For Dummett, it is the only system of reasoning that is philosophically consistent with a tenable theory of what it is to understand a language. Using classical logic, especially in domains with undecidable statements like mathematics, is to implicitly commit to a realist metaphysics that makes linguistic understanding fundamentally mysterious.

4. A Philosophical Confrontation

To see how this plays out in a debate, consider a thought experiment Dummett proposed in a discussion with Donald Davidson, a prominent defender of a truth-conditional (and thus classical) approach.

Dummett's point with this thought experiment is powerful. He forces the classical logician to confront the philosophical commitments that underpin their logic. The disagreement is not about which set of rules is more convenient or elegant. It is about the fundamental relationship between truth, meaning, and human knowledge. To convert the intuitionist, you must first defeat the manifestation argument and justify the realist's "gap" between truth and what is knowable. If you cannot do that, you have no philosophical grounds to insist on classical logic.

Conclusion

Today we have traced the path from the manifestation argument to its logical conclusion. By demanding that a theory of meaning explain our public linguistic practices, Dummett systematically dismantles the semantic foundations of classical logic and erects a justification for its chief rival, intuitionistic logic.

Key Takeaways:

• Logic follows Semantics: For Dummett, the choice of a logical system is adjudicated by the underlying theory of meaning.
• Realism and Bivalence: A realist semantics, based on mind-independent truth-conditions, validates the Principle of Bivalence and its logical counterpart, the Law of the Excluded Middle. This leads to classical logic.
• Anti-Realism and Intuitionism: The manifestation argument forces a move to an anti-realist, justificationist semantics. This model does not support universal bivalence, leading to the rejection of LEM. The resulting logic is intuitionistic logic.
• A Substantive Dispute: The choice between classical and intuitionistic logic is therefore a substantive philosophical dispute about the nature of truth, meaning, and understanding, not merely a formal or technical one.

Preview of the Next Lesson:

We have seen Dummett's powerful case for why the debate between classical and intuitionistic logic is a deep and meaningful one. In our final lesson of this module, we will step back and assess this claim itself. The learning outcome will be to assess whether the choice between classical and intuitionistic logic is a substantive philosophical dispute. We will consider opposing views that suggest the two camps might be, in some sense, talking past each other.