Foundations of Mathematics: Logicism, Formalism, and Intuitionism

Recommended resources

The freely available resources this lesson will direct you to.

Hello! Welcome to the first lesson in our module on the Foundations of Mathematics.

In the previous module, we explored how analytic philosophers dissect language, distinguishing what is literally said (semantics) from what is contextually conveyed (pragmatics). This deep dive into language was a hallmark of 20th-century philosophy. Now, we turn to another of its great pillars, and a topic central to your interests: the philosophy of mathematics.

In the late 19th and early 20th centuries, the discovery of paradoxes in set theory and disagreements about the nature of infinity triggered what is often called a "foundational crisis" in mathematics. Mathematicians and philosophers were forced to ask fundamental questions they had long taken for granted: What is mathematics about? What are numbers? Why is mathematical reasoning so certain?

This lesson provides an overview of the three major schools of thought that emerged from this crisis: Logicism, Formalism, and Intuitionism. By the end of our session, you will be able to compare the core theses of these three competing foundational programs. This will set the stage for our deeper exploration of the foundations of mathematics in the coming lessons.

1. The Core Dilemma: Ontology vs. Epistemology

Before we examine the proposed solutions, we must first understand the problem. The philosophy of mathematics is driven by a fundamental tension between what mathematical objects are (ontology) and how we can know about them (epistemology).

On one hand, numbers, sets, and functions seem to be abstract objects—they don't exist in space and time, and we can't interact with them causally. This view is often called Platonism. On the other hand, our knowledge of the physical world is typically based on causal interaction. How, then, can we have knowledge of these causally isolated abstract objects? This is often called Benacerraf's identification problem or access problem.

The following video provides an excellent introduction to this central dilemma, which motivated the foundational programs we are about to study.

What Are Numbers? Philosophy of Mathematics (Elucidations)

This clip from the 'Elucidations' podcast clearly explains the central tension in the philosophy of mathematics between the ontology of mathematical objects (what they are) and the epistemology of mathematical knowledge (how we know about them).

Please watch from 00:43 to 11:12. Focus on understanding the dilemma: if numbers are abstract objects (the Platonist view), how do we gain knowledge of them? If they are not abstract objects, what are they (e.g., mental constructions, properties of physical collections), and can these alternative views account for the nature of mathematics?

Each of the three major foundational schools—Logicism, Formalism, and Intuitionism—can be understood as a radical attempt to resolve this dilemma.

2. Logicism: Mathematics is Just Logic

The first major program, Logicism, advanced the bold thesis that mathematics is nothing more than a branch of logic. If this were true, the certainty of mathematics would be explained by the certainty of logic, and the special problem of mathematical objects and knowledge might be dissolved.

The Core Thesis

Pioneered by Gottlob Frege and later developed by Bertrand Russell, the logicist project aimed to:

Define all mathematical concepts (like 'number') in purely logical terms.
Prove all mathematical theorems using only the principles of logic.

For a high-level overview of this project and its motivations, let's return to the "Elucidations" video.

What Are Numbers? Philosophy of Mathematics (Elucidations)

This segment explains the core idea behind Logicism: the attempt to show that mathematics is reducible to logic, thereby grounding its certainty and hopefully clarifying its ontology.

Watch from 19:27 to 23:18. Pay attention to the motivation for the project and the key reason it was only partially successful: its reliance on set theory, which introduced its own ontological commitments and paradoxes.

A Deeper Look

Your mathematics background will help you appreciate the technical ambition of this project. Frege, for instance, defined the number 2 as "the class of all two-membered classes." The project then was to show that truths like "2 + 2 = 4" could be derived as theorems of a logical system that quantified over classes (or concepts).

The following reading provides a more detailed history and analysis of the logicist program, including the devastating paradox Russell discovered in Frege's system.

The Philosophy of Mathematics. John L. Bell

This chapter from 'The Philosophy of Mathematics' by John L. Bell provides a concise yet thorough account of the logicist program, from its motivations to the technical challenges it faced.

Please read the section titled 'Logicism' (pages 3-12). Focus on understanding: The shared goal of Frege and Dedekind to ground arithmetic in the 'laws of thought'. The basic idea behind Frege's definition of number. The impact of Russell's paradox on Frege's system. Russell's own attempt with the theory of types and the non-logical axioms (Infinity, Reducibility) he was forced to adopt.

Ultimately, Logicism failed in its purest form. The discovery of paradoxes (like Russell's) showed that naive set theory was inconsistent. The refined systems developed to avoid these paradoxes, like Russell's own Theory of Types, had to rely on axioms (like the Axiom of Infinity) that did not seem to be purely logical truths. They appeared to be substantive claims about what exists, reintroducing an irreducible mathematical element.

3. Formalism: Mathematics as a Formal Game

In response to the difficulties of Logicism and the perceived dangers of intuition, Formalism, championed by David Hilbert, proposed a completely different approach.

The Core Thesis

The formalist view treats classical, infinitary mathematics as a game of manipulating meaningless symbols according to specified rules. The core ideas are:

There is a small, secure part of mathematics called finitary mathematics, which is contentful and deals with concrete, surveyable objects (like strings of symbols). Our reasoning here is intuitively certain.
The rest of mathematics (e.g., involving actual infinity, complex analysis) is ideal mathematics. We formalize these theories into axiomatic systems where the symbols are treated as meaningless.
The goal of Hilbert's Program was to use secure, finitary reasoning to prove that the formal systems for ideal mathematics are consistent (i.e., that they will never lead to a contradiction like 0=1).

This approach aims to save classical mathematics from paradoxes without making problematic ontological claims about a "Platonic heaven" of abstract objects. The certainty of mathematics rests not on insight into an abstract realm, but on a finitary proof of the consistency of its formal representation.

The Philosophy of Mathematics. John L. Bell

The following texts give a clear account of Hilbert's sophisticated formalist program, distinguishing it from naive formalism and explaining its philosophical motivations.

First, read the 'Formalism' section in the Bell text (pages 12-15). Focus on Hilbert's distinction between 'real' (finitary) and 'ideal' (abstract) propositions and the goal of his program.

HILBERT'S PROGRAM THEN AND NOW

For a more focused look at the philosophical underpinnings, this excerpt from 'Hilbert's Program Then and Now' by Richard Zach explains the 'finitary point of view' in more detail.

Now, read the sections '2.2 The consistency program, finitism, and proof theory' and '3.1 The finitary point of view' (pages 415-424). Don't worry about the technical details of the ε-calculus. Concentrate on understanding what Hilbert considered to be the domain of secure, 'finitary' reasoning, and how this was supposed to provide a foundation for 'ideal' mathematics.

Like Logicism, Hilbert's original program also met a devastating blow. In 1931, Kurt Gödel proved his incompleteness theorems, which showed that for any consistent formal system strong enough to contain arithmetic, its consistency cannot be proven within that system. More damagingly for Hilbert, the proof of consistency could not be carried out by the simple finitary means Hilbert had envisioned. We will explore Gödel's theorems in detail in a future lesson.

4. Intuitionism: Mathematics as Mental Construction

The most radical of the three schools is Intuitionism. Led by the Dutch mathematician L.E.J. Brouwer, it proposed a complete reconstruction of mathematics based on a different philosophical foundation.

The Core Thesis

For the intuitionist:

Mathematics is not the study of an external reality (Platonic or physical) but is a creative activity of the human mind. Mathematical objects are mental constructions.
A mathematical statement is true only if one has a constructive proof for it—a mental construction that demonstrates it.
This position leads to a rejection of classical logic for mathematical reasoning, most famously the Law of the Excluded Middle ( $P \lor \neg P$ ).

Intuitionism directly solves the epistemological problem by identifying mathematical objects with our own constructions. The price is a radical revision of mathematics—many classical theorems whose proofs are non-constructive are not accepted.

This video gives a wonderfully clear explanation of Brouwer's philosophy.

Mark van Atten: Brouwer and the Mathematics of the Continuum

In this lecture, Mark van Atten provides an accessible introduction to Brouwer's intuitionism, explaining its core philosophical tenets and their revolutionary consequences for logic and mathematics.

Please watch the following segments: The Core Idea (00:55 - 03:42): This explains the central thesis that mathematics describes mental constructions and that truth consists in successfully performing such a construction. Rejection of the Law of Excluded Middle (03:42 - 05:25): This gives a classic example of a non-constructive proof that an intuitionist would reject, demonstrating why the law 'P or not P' is not considered universally valid. Comparison with Formalism and Platonism (08:02 - 09:25): This section explicitly contrasts the intuitionist view of mathematics and language with the other schools.

Intuitionism holds that you cannot assert P or not P unless you have either a proof of P or a proof of not P. For an unsolved problem like the Goldbach Conjecture ("Every even integer greater than 2 is the sum of two primes"), an intuitionist would say we cannot assert that the conjecture is either true or false until a proof or a counterexample is actually constructed.

Test your understanding!

Consider the statement: "There exists an irrational number $a$ such that $a^{2}$ is rational."

A classical proof might go: "Let $x = 2^{2}$ . If $x$ is rational, we are done (let $a = 2$ ). If $x$ is irrational, then let $a = x$ . Then $a^{2} = (2^{2})^{2} = 2^{2} = 2$ , which is rational. So, either way, such a number exists."

Why would an intuitionist reject this proof?

Show answer

An intuitionist would reject this proof because it is non-constructive. The proof shows that one of two possibilities must hold, relying on the Law of the Excluded Middle ("Either $x$ is rational or it is not rational"). However, it does not provide a method to actually construct the specific number $a$ . It proves existence without providing an example. An intuitionist would demand a proof that actually identifies whether $a = 2$ or $a = 2^{2}$ (or some other constructible number) is the required number.

5. Summary and Comparison

The three foundational programs offer starkly different pictures of mathematics. Let's summarize their core theses in a comparative table.

Feature	Logicism (Frege, Russell)	Formalism (Hilbert)	Intuitionism (Brouwer)
Ontology (What is math about?)	A realm of logical objects (classes, concepts).	Finitary math is about concrete symbols. Ideal math is a meaningless game of symbols.	Mental constructions created by the human mind.
Epistemology (How do we know?)	By logical proof from self-evident axioms of logic.	Through finitary, intuitive reasoning about symbols (for consistency proofs).	By successfully carrying out a mental construction.
View of Logic	Mathematics is logic. There is one universal, classical logic.	Classical logic is used in the 'ideal' formal systems, but must be justified by finitary metatheory.	Logic is a description of valid constructions. Classical logic is flawed; we must use intuitionistic logic.
Status of Practice	Largely conservative; aims to justify and ground existing mathematics.	Conservative; aims to secure all of classical mathematics on a new foundation.	Revisionist; demands that large parts of classical mathematics (using non-constructive proofs) be discarded.

Conclusion

Today we've surveyed the three great foundational programs of the early 20th century. Each tried to provide a secure and philosophically coherent answer to the question "What is mathematics?"

Logicism attempted to reduce mathematics to logic, but was stymied by paradoxes and the need for non-logical axioms.
Formalism sought to save classical mathematics by treating it as a formal game to be proven consistent by secure, finitary means, a project thwarted by Gödel's theorems.
Intuitionism proposed a radical reconstruction of mathematics based on mental construction, solving the epistemological puzzle at the cost of abandoning parts of classical mathematics and logic.

Though none of these programs fully succeeded in their original, ambitious forms, their influence has been immense. They opened up new fields of research (like proof theory and model theory), clarified the relationship between logic and mathematics, and forced us to think deeply about the nature of truth and proof. Your background in mathematics puts you in a prime position to understand the technical motivations and philosophical stakes of this profound debate.

Preview of the Next Lesson:

In our next lesson, we will zoom in on the logicist project. We'll examine in detail the problem that Russell's Paradox posed for set theory and logic, and we will analyze Russell's Theory of Types, his ingenious solution designed to avoid such paradoxes. This will be our first deep dive into the technical tools developed during this foundational crisis.