Philosophy of Mathematics: Logicism, Formalism, Intuitionism, and Gödel's Theorem

When a mathematician states that 2 + 2 = 4, the claim seems indubitably true. But what exactly makes it true? Does the number 2 exist somewhere — in a Platonic realm, on a sheet of paper as a symbol, or as a construction of the mind? And how do we come to know mathematical truths without observing any empirical fact? These questions, deceptively simple at first glance, lie at the heart of one of philosophy’s most demanding fields: the philosophy of mathematics. In the nineteenth and twentieth centuries they ceased to be peripheral speculation and became an intellectual emergency, triggering one of the most fertile crises in the history of thought — one whose reverberations still shape logic, computation, and contemporary philosophy of mind.

1. Two central questions: ontology and epistemology

The philosophy of mathematics revolves around two axes that intertwine without ever fully merging.

The ontological question asks about the nature of mathematical objects: do numbers, sets, functions, and geometric figures exist? And if they do, in what sense? Mathematical Platonism (or mathematical realism) answers affirmatively: mathematical objects exist independently of the human mind and the physical world, inhabiting an eternal, abstract domain. Mathematicians discover theorems; they do not invent them. By contrast, nominalism denies that abstract entities exist at all — only particular, concrete things are real; “numbers” are merely useful names, convenient fictions. Hartry Field’s fictionalism, developed in Science Without Numbers (1980), radicalizes this position: mathematical statements are literally false (since they presuppose non-existent entities), yet they are instrumentally useful for science, just as literary fictions can be useful without being true.

The epistemological question asks how we know mathematical truths. They appear to be a priori — independent of sensory experience — and necessary — they could not be false in any possible world. (For the distinction between a priori and a posteriori knowledge, see the article on a priori and a posteriori knowledge.) But if mathematical objects are abstract and bear no causal relation to us, how does the mind reach them? Paul Benacerraf formulated this tension with surgical precision in “Mathematical Truth” (1973): a realist semantics — treating mathematical statements as true of real objects — conflicts with any naturalist epistemology that requires some causal connection between the knowing subject and the objects known. Benacerraf’s dilemma remains an unavoidable reference point in contemporary debate.

2. Frege’s Platonism and the logicist project

In the late nineteenth century, Gottlob Frege undertook the most ambitious philosophical response to the problem of mathematical foundations: proving that arithmetic is reducible to pure logic. This project became known as logicism — the thesis that arithmetical truths are, at bottom, logical truths.

Frege’s starting point was dissatisfaction with the available justifications for numbers. In Die Grundlagen der Arithmetik (1884), he argued that numbers are neither properties of physical objects nor psychological constructions; they are abstract objects — extensions of concepts. Zero is the extension of the concept “not self-identical”; one is the extension of the concept “identical to zero”; and so on. To execute the derivation, Frege had already created, in Begriffsschrift (1879), a rigorous predicate logic notation — with quantifiers, variables, and functions — that superseded Aristotelian syllogistic and founded modern logic.

The project reached its most complete form in Grundgesetze der Arithmetik (vol. I, 1893; vol. II, 1903). But the very year the second volume was about to be published, Bertrand Russell sent Frege a letter containing a disturbing discovery.

3. Russell’s paradox and the collapse of foundations

In 1901, Russell discovered a contradiction at the core of the set theory underlying Frege’s system. Frege’s system permitted the formation of a set satisfying any well-defined condition. Russell applied this rule to the concept “set that is not a member of itself” and obtained the paradox that bears his name: if such a set exists, it is a member of itself if and only if it is not a member of itself — an inescapable logical contradiction.

Russell communicated the paradox to Frege in a letter of June 1902. Frege’s response, in a hastily appended postscript to the second volume of the Grundgesetze, is one of the most moving documents in the history of philosophy: he acknowledged that the paradox shook the very foundation on which he had built arithmetic, without being able, at that moment, to offer a satisfactory solution. Fregean logicism, in its original formulation, was compromised.

Russell and Alfred North Whitehead spent years reconstructing foundations on more secure ground. The result was the three-volume Principia Mathematica (1910–1913), which introduced type theory: entities are ordered in a hierarchy of types (individuals, classes of individuals, classes of classes…), and set formation must respect this hierarchy, blocking the paradox. The price was enormous technical complexity: the derivation of the simple statement “1 + 1 = 2” takes hundreds of pages. The Principia represented the most monumental attempt to save logicism, but at the cost of additional axioms (such as the Axiom of Reducibility and the Axiom of Infinity) that do not appear to be purely logical truths.

4. Hilbert’s formalism

While the logicists were attempting to reduce mathematics to logic, the German mathematician David Hilbert proposed a solution of a different character. For Hilbert, the question was not what mathematics was about, but how it functioned: mathematics should be understood as the manipulation of formal symbols according to explicit rules. A mathematical theory is a set of axioms and rules of deduction; internal “truth” consists in formal derivability.

Hilbert’s Program (Hilbertprogramm), developed in the 1920s, had a precise goal: to prove, by finitary methods (that is, reasoning only about finite, concrete objects), that the formal systems of mathematics — including arithmetic and set theory — are consistent (free of contradiction). The key distinction was between “real” mathematics (statements about finite, concrete objects, intuitively understandable) and “ideal” mathematics (statements involving infinities and abstract entities), which were useful tools without direct ontological commitment. So long as adding ideal elements produced no contradictions, their use would be justified.

Hilbert expressed his optimism with a memorable phrase: “no one shall expel us from the paradise which Cantor has created” — a reference to Georg Cantor’s theory of infinite sets, which some mathematicians (especially the intuitionists) wanted to reject as mathematically illegitimate. For Hilbert, formal rigor was enough to guarantee the soundness of the mathematical edifice.

5. Brouwer’s intuitionism

The third great school arose from a radical dissatisfaction with assumptions shared by logicists and formalists alike. The Dutch mathematician L. E. J. Brouwer, founder of intuitionism, argued that mathematics is a mental construction activity, prior to any language or formal system. Mathematical objects do not exist independently of the mind; they are constructed by intuition, whose foundation is the pure intuition of time — echoing Kant, but with far more radical consequences.

The most controversial implication of intuitionism concerns the law of excluded middle: the logical principle that, for any proposition P, either P is true or ¬P (the negation of P) is true. In classical logic, this law holds universally and enables proofs by contradiction (proving P by showing that ¬P leads to a contradiction, without constructing P explicitly). Brouwer rejected the law of excluded middle for infinite totalities: a proposition about infinities can only be affirmed as true when there is an effective mental construction demonstrating it; asserting that P or ¬P without such a construction is illegitimate.

This stance has concrete costs: significant portions of classical mathematics — including many proofs in real analysis — become invalid because they depend on non-constructive reasoning. Arend Heyting formalized intuitionistic logic in the 1930s, making it a rigorous system that can be compared to classical logic: intuitionistic logic is strictly weaker (fewer principles are valid in it), and the central difference is precisely the absence of an unrestricted excluded middle.

Intuitionism remains a minority position relative to mainstream mathematical practice, but it has exerted lasting influence on constructive logic, proof theory, and — decades later — the semantics of functional programming languages.

6. Gödel’s blow: the incompleteness theorems

In 1931, the Austrian logician Kurt Gödel (1906–1978) published an article titled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I that permanently transformed the philosophy of mathematics and logic.

Gödel’s First Incompleteness Theorem demonstrates: any consistent formal system that is sufficiently expressive to capture elementary arithmetic on the natural numbers necessarily contains propositions that can be neither proved nor refuted within the system itself. The proof employs a brilliantly engineered strategy of self-reference: Gödel encoded the very syntax of the formal system using natural numbers (the “Gödel numbering”), then constructed a sentence which, when decoded, says “I am not provable in this system.” If the system could prove that sentence, it would be inconsistent; since it cannot prove it, the sentence is true — but undecidable.

Gödel’s Second Incompleteness Theorem follows as a corollary: no sufficiently powerful consistent formal system can prove its own consistency using only resources internal to the system itself. This result struck directly at Hilbert’s Program: the finitary consistency proof that Hilbert sought is, in principle, impossible — for such a proof would constitute exactly the consistency proof the second theorem prohibits, unless the system is in fact inconsistent.

It is important to be precise about what Gödel’s theorems show and what they do not show. They do not refute mathematics, nor do they prove that mathematics is “inconsistent.” They show that, within sufficiently rich formal systems, truth and provability do not coincide: there are mathematical truths that transcend any fixed axiomatic system. Nor do they imply that mathematics is irrational or that rigor is impossible — only that no single closed formal system exhausts all arithmetical truths.

The impact of the theorems on Hilbert’s Program was technically devastating, but did not empty formalism as a philosophy: one can still maintain that mathematical practice consists of formal manipulation, acknowledging simply that no single system is complete.

7. Contemporary developments

The foundations crisis and Gödel’s theorems opened a vast landscape of debate that extends to the present.

The indispensability argument of Willard Van Orman Quine and Hilary Putnam offers a pragmatic defense of mathematical Platonism: if our best scientific theories indispensably quantify over mathematical entities (numbers, functions, sets), then we have good reason to believe those entities exist, just as we believe in electrons because physics postulates them. Mathematics is indirectly confirmed empirically, along with the scientific theories that employ it. For the underlying issues of language, reference, and ontological commitment, see the article on philosophy of language.

Hartry Field’s fictionalism (Science Without Numbers, 1980) responds to the indispensability argument by attempting to show that physical science can be reformulated without quantifying over mathematical entities — mathematics is a conservative instrument (it adds no observational consequences), not a genuine ontological commitment.

Mathematical structuralism, developed by Stewart Shapiro and Michael Resnik in the 1980s–1990s, proposes that mathematics does not speak of isolated objects but of structures: the number 2 is not an entity with intrinsic nature but the position occupied in any system satisfying the axioms of arithmetic. What matters are the relations among positions, not the positions themselves. This approach avoids some difficulties of classical Platonism without abandoning realism about structures.

Ludwig Wittgenstein offered a radically different perspective: in his notes on the foundations of mathematics (published posthumously as Remarks on the Foundations of Mathematics), he rejected the idea that Gödel’s theorems reveal a realm of mathematical truths independent of proof, arguing that the very notion of “mathematical truth” only makes sense within practices of proof. Wittgenstein’s position is controversial and has been read in very different ways by the secondary literature.

The Gettier problem — the classic objection to the definition of knowledge as justified true belief — has a curious echo in the philosophy of mathematics: we can have true, justified mathematical beliefs (by formal proofs) that, in light of Gödel’s results, do not capture the totality of mathematical truth. The article on the Gettier problem explores this epistemological structure more broadly.

8. Assessment: the unfinished crisis

The foundations crisis that unfolded between 1879 (Frege’s Begriffsschrift) and 1931 (Gödel’s theorems) did not yield a single, agreed-upon “solution.” Platonism, nominalism, logicism, formalism, and intuitionism remain living positions, each capturing genuine intuitions about the nature of mathematics.

What endures as an irreducible legacy is the clarity of the questions. Mathematicians can go about their work without worrying about ontology — but anyone who wants to understand what mathematics is, why it describes the physical world so effectively, and how the human mind accesses necessary truths cannot escape the questions that Frege, Brouwer, Hilbert, and Gödel posed with unprecedented precision. The philosophy of mathematics is, in this sense, the place where logic, epistemology, and metaphysics converge in their most demanding and most beautiful form.

Essential readings

• Gottlob Frege, Die Grundlagen der Arithmetik (1884). English translation: The Foundations of Arithmetic, Northwestern University Press.
• Bertrand Russell and Alfred North Whitehead, Principia Mathematica (3 vols., 1910–1913).
• Bertrand Russell, Introduction to Mathematical Philosophy (1919).
• Paul Benacerraf, “Mathematical Truth,” The Journal of Philosophy 70 (1973), pp. 661–679.
• Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd ed., Cambridge University Press, 1983) — a foundational anthology with texts by Frege, Hilbert, Brouwer, Gödel, Benacerraf, Putnam, and others.
• Hartry Field, Science Without Numbers: A Defence of Nominalism (Blackwell, 1980; 2nd ed. Oxford University Press, 2016).
• Stewart Shapiro, Philosophy of Mathematics: Structure and Ontology (Oxford University Press, 1997).
• Ernest Nagel and James R. Newman, Gödel’s Proof (New York University Press, 1958; rev. ed. 2001).
• Imre Lakatos, Proofs and Refutations (Cambridge University Press, 1976).

← Articles