Brouwer's Intuitionism and the Infinite Middle

Recommended resources

The freely available resources this lesson will direct you to.

Hello! Let's continue our exploration of the foundational programs in mathematics.

In our last lesson, we examined Hilbert's Formalist program, an ingenious attempt to provide a secure foundation for all of classical mathematics. Hilbert's strategy was to treat infinitary mathematics as a formal game of symbols and then prove, using secure finitary methods, that this game could never lead to contradiction. His goal was to save classical mathematics from the paradoxes and from its critics.

Today, we turn to those very critics. We will investigate Intuitionism, the philosophy of mathematics pioneered by the Dutch mathematician L.E.J. Brouwer. Your learning outcome for this lesson is to explain Brouwer's intuitionist rejection of the law of excluded middle for infinite domains. Unlike Hilbert, Brouwer didn't seek to justify classical mathematics; he argued it was fundamentally flawed and needed to be rebuilt from the ground up on entirely different principles. This radical reconstruction begins with a profound disagreement about the nature of truth and logic itself.

1. The Intuitionist Standpoint: Mathematics as Mental Construction

At the heart of intuitionism is a complete rejection of both Platonism (the idea of a mind-independent reality of mathematical objects) and Formalism (the idea of mathematics as a game of symbols). For the intuitionist, mathematics is a creative activity of the human mind.

Classical View (Platonist/Realist): A mathematical statement is true if it correctly describes a state of affairs in an abstract mathematical reality. The statement "There exists an odd perfect number" is either true or false, depending on whether such a number exists in the Platonic realm, even if we never find out which.
Intuitionist View (Constructivist): A mathematical statement is true if, and only if, we have a proof of it. And a proof is not a derivation in a formal system, but a mental construction that demonstrates the statement's validity. Truth is equated with provability or verifiability.

This is a fundamental philosophical shift. To get a clear sense of this core idea, please watch the following short video.

Brouwer's Intuitionism | Mark van Atten

Mark van Atten, a leading scholar on Brouwer, provides a concise introduction to the intuitionist philosophy. He explains the central idea that mathematics describes mental constructions and that truth is found in the successful completion of these constructions.

Watch from the beginning (00:32) until 03:15. Focus on the three fundamental tenets of intuitionism and the idea that mathematical truth is an experience of a successful mental construction.

As you saw in the video, Brouwer's view implies that mathematical objects do not exist independently of the mind. Mathematics is a "languageless creation of the mind," and language is merely a tool for communicating these mental constructions to others. This foundation has dramatic consequences for what counts as valid reasoning.

2. The Constructive Meaning of Logic

If truth means "has been constructively proven," the meanings of logical connectives must change. The standard interpretation, known as the Brouwer-Heyting-Kolmogorov (BHK) interpretation, defines the logical operators in terms of proofs.

Let's focus on the operators most relevant to our goal: negation and disjunction.

A proof of $\neg A$ is a construction that shows that a proof of $A$ is impossible—that is, a method that turns any hypothetical proof of $A$ into a contradiction.
A proof of $A \lor B$ (A or B) consists of a proof of $A$ or a proof of $B$ . To assert a disjunction, you must be in a position to assert at least one of its disjuncts. You have to be able to provide a "witness" for which part of the "or" statement is true.

This interpretation of disjunction is the key to understanding the intuitionist position. The following video explains this idea of "constructive reasoning" very effectively.

Intuitionistic Logic | Attic Philosophy

The video 'Intuitionistic Logic' from Attic Philosophy gives a clear, motivated explanation for why intuitionism demands 'constructive reasoning', particularly for disjunctive and existential statements.

Please watch the section from 05:31 to 09:10. Pay close attention to the argument that to assert 'A or B', you should be in a position to say which one is true. Note how the video connects this directly to the Law of Excluded Middle.

3. Rejecting the Law of the Excluded Middle

Now we can put the pieces together. The Law of the Excluded Middle (LEM) is the principle of classical logic stating that for any proposition $A$ , the statement $A \lor \neg A$ is always true.

From a classical perspective, this is self-evident. A proposition corresponds to a state of affairs, and that state of affairs either obtains or it doesn't. But for an intuitionist, asserting $A \lor \neg A$ requires, by the BHK interpretation, having either a proof of $A$ or a proof of $\neg A$ .

For finite domains, this is usually not a problem. For any specific integer $n$ , we can constructively prove that " $n$ is prime or $n$ is not prime" because we have a terminating algorithm (trial division) to decide the matter.

The problem arises when we apply LEM to statements about infinite domains, such as the set of all natural numbers. Consider an unsolved mathematical problem.

To get a more rigorous handle on this, the following reading provides a classic example.

The Philosophy of Mathematics. John L. Bell

In his text on the philosophy of mathematics, John L. Bell walks through the intuitionist argument against the Law of the Excluded Middle using a concrete mathematical example involving infinite domains.

Please read the section titled 'The major impact of the intuitionists’ program...'. It starts on page 17 and ends before the irrational number example on page 19. Focus on the example of the 'odd perfect number' and understand why, from a constructive viewpoint, you cannot currently assert the disjunction that one exists or that none exist.

As the text explains, we cannot assert " $\exists n P (n) \lor \forall n \neg P (n)$ " (where $P (n)$ is "n is an odd perfect number") because we can't provide a witness. We have neither constructed an odd perfect number nor a proof that no such number can be constructed.

For an intuitionist, asserting $A \lor \neg A$ is a claim to knowledge—a claim to have a decision procedure. Brouwer argued that it is an unjustified leap of faith to assume that every mathematical problem is solvable by the human mind. Classical logic, by positing LEM as a universal law, dogmatically assumes this very solvability.

Classical vs Intuitionistic Logic Comparison — This image provides a concise summary of the key differences between classical and intuitionistic logic. Notice that the Law of Excluded Middle, $A \lor \neg A$, is a tautology in classical logic but is absent from the intuitionistic side, reflecting the core disagreement we've just explored.

Test your understanding!

Consider the Twin Prime Conjecture, which states that there are infinitely many pairs of prime numbers that differ by 2 (e.g., (3, 5), (5, 7), (11, 13)). Let $T$ be the proposition "The Twin Prime Conjecture is true."

From an intuitionist's perspective, are we currently justified in asserting $T \lor \neg T$ ? Why or why not?

Show answer

No, we are not justified. To assert $T \lor \neg T$ , we would need to have either a proof of $T$ (a proof that there are infinitely many twin primes) or a proof of $\neg T$ (a proof that there are only finitely many, which would likely involve finding the largest twin prime pair). Since mathematicians currently have neither, the disjunction $T \lor \neg T$ cannot be constructively asserted. An intuitionist would say we do not know that the problem is decidable, so we cannot assert the disjunction that presupposes its decidability.

4. A Subtle Distinction: "Not True" vs. "False"

It's important to be precise here. Brouwer's argument is that LEM is not a universally valid logical principle. This is different from claiming that LEM is false.

An intuitionist would not assert $\neg (A \lor \neg A)$ for an open problem $A$ . That would mean having a method that derives a contradiction from the assumption of a proof of $A$ or a proof of $\neg A$ .

This is what the Stanford Encyclopedia of Philosophy calls a "weak counterexample." Open problems like the Goldbach Conjecture provide weak counterexamples to LEM, showing that it is not intuitionistically true in all cases. However, for more advanced reasons related to Brouwer's analysis of the continuum, intuitionism actually proves that the quantified version of LEM, $\forall p (p \lor \neg p)$ ("for every proposition $p$ , either $p$ is true or $\neg p$ is true"), is actively false. This refutation of a core classical principle shows just how deeply the two systems diverge when dealing with infinity.

Conclusion

In this lesson, we have delved into the philosophical heart of intuitionism to understand its rejection of a foundational principle of classical logic.

Here are the key takeaways:

Mathematics as Construction: Intuitionism, founded by Brouwer, holds that mathematics is a creative activity of the mind. A mathematical statement is true if and only if it has a constructive proof.
Constructive Logic (BHK): This philosophy changes the meaning of logical operators. Crucially, a proof of $A \lor B$ requires a proof of $A$ or a proof of $B$ .
Rejection of LEM for Infinite Domains: The Law of the Excluded Middle ( $A \lor \neg A$ ) is rejected as a universal principle because for statements about infinite sets (like many famous unsolved conjectures), we may not have a proof of the statement or its negation. To assert $A \lor \neg A$ is to claim knowledge of a decision, which may not be available.

You can now see the stark contrast with Hilbert's program. While Hilbert tried to justify the use of non-constructive principles like LEM as a safe "ideal" instrument, Brouwer argued they were illegitimate from the start and should be discarded.

Preview of the Next Lesson:

We have seen that intuitionistic logic is a "weaker" system than classical logic, as it rejects LEM. In the next lesson, we will analyze the philosophical differences between classical and intuitionistic logic more broadly, examining other principles that are lost (like double negation elimination) and exploring the fundamentally different views on truth, meaning, and existence that separate these two worlds.