Table of Contents
Philosophy of Mathematics
The philosophy of mathematics is the branch of philosophy concerned with the nature, foundations, and methods of mathematics. It addresses questions such as what mathematical objects are, whether mathematical truths are discovered or invented, why mathematics applies so effectively to the physical world, and what constitutes a valid mathematical proof. Some of these foundational questions - particularly whether mathematics is a body of necessary truths, a human construction, or a formal game with symbols - are themselves contested; see Mathematical Platonism - Mathematical Platonism Viewpoint, Formalism - Formalism Philosophy of Mathematics Viewpoint, and related pages for competing positions.
Current State of Knowledge and Debate
Philosophy of mathematics engages both professional philosophers and working mathematicians, though the two communities often approach its questions differently. The discipline encompasses several broad clusters of inquiry: ontological questions (what mathematical objects such as numbers, sets, and functions are, and whether they exist independently of minds and physical reality); epistemological questions (how humans come to know mathematical truths, and what justifies mathematical belief); and semantic questions (what mathematical statements mean and how they refer).
The early twentieth century witnessed a foundational crisis precipitated by the discovery of paradoxes in naive set theory, most prominently Russell's paradox. Responses to this crisis gave rise to three major research programs: logicism, which sought to reduce mathematics to logic; formalism, which reinterpreted mathematics as the manipulation of uninterpreted symbol systems governed by explicit rules; and intuitionism, which grounded mathematics in mental constructions and rejected certain classical logical laws. None of these programs achieved the comprehensive resolution their founders sought, and foundational debate has continued in varied forms.
Kurt Gödel's incompleteness theorems (1931) demonstrated that any consistent formal system powerful enough to express basic arithmetic contains true statements unprovable within that system, and that such a system cannot prove its own consistency. These results constrained all subsequent foundational programs and are variously interpreted as supporting or undermining specific philosophical positions. Their precise philosophical implications remain contested; see philosophy-of-mathematics-godels-theorems-implications-debate.
Contemporary philosophy of mathematics also engages with the applicability of mathematics to natural science - a puzzle sometimes called “the unreasonable effectiveness of mathematics” - the status of mathematical explanation in empirical science, the role of visualization and informal reasoning in mathematical practice, and the social dimensions of mathematical knowledge production.
Viewpoints
The following viewpoints represent major, argumentatively distinct positions in the field. The list is representative, not exhaustive.
Mathematical Platonism - Mathematical Platonism Viewpoint holds that mathematical objects exist independently of minds, language, and physical reality, and that mathematical truths are discovered rather than invented. On this view, numbers and sets are abstract entities to which mathematicians have some form of epistemic access. Platonism is often associated with the intuitions of working mathematicians but faces challenges in explaining how finite, physical minds access abstract objects.
Formalism - Formalism Philosophy of Mathematics Viewpoint treats mathematics as the manipulation of symbols according to explicitly stated formal rules, without commitment to the independent existence of mathematical objects. Associated with David Hilbert's program, formalism aimed to secure mathematics by proving the consistency of formal systems by finitary means. Gödel's theorems imposed limits on this project, though various neo-formalist positions continue to be defended.
intuitionism-philosophy-of-mathematics-viewpoint holds that mathematics is a mental activity and that mathematical objects are mental constructions. Developed principally by L.E.J. Brouwer, intuitionism rejects the law of excluded middle as applied to infinite totalities and endorses a constructive notion of proof. It implies the revision of significant portions of classical mathematics.
logicism-philosophy-of-mathematics-viewpoint is the thesis that mathematics is reducible to, or continuous with, pure logic. Associated with Gottlob Frege and developed in different form by Bertrand Russell and Alfred North Whitehead in the Principia Mathematica,1) logicism encountered difficulties with the need for existence axioms not obviously logical in character. Contemporary Neo-Logicism (associated with Crispin Wright and Bob Hale) attempts to rehabilitate logicist ambitions by grounding arithmetic in abstraction principles.
structuralism-philosophy-of-mathematics-viewpoint holds that mathematics describes structural relationships rather than intrinsic features of objects. What matters about the natural numbers is not what they are in themselves but the relational structure they instantiate. Structuralism comes in realist and nominalist variants that differ on whether structures themselves have mind-independent existence.
nominalism-philosophy-of-mathematics-viewpoint denies that abstract mathematical objects exist and attempts to account for mathematical truth and practice without ontological commitment to them. Nominalist programs include fictionalism - the view that mathematical statements are useful fictions - and various paraphrase strategies.
empiricism-philosophy-of-mathematics-viewpoint treats mathematical knowledge as continuous with empirical knowledge rather than a priori. Associated in contemporary form with W.V.O. Quine and Hilary Putnam, this view holds that mathematical entities are posited for the same broadly scientific reasons as theoretical physical entities, and that mathematics is in principle revisable in light of experience.
Controversies
Foundations crisis and the Hilbert program. The early twentieth-century debate over the proper foundations of mathematics, including the responses of logicists, formalists, and intuitionists, constitutes a documented episode with identifiable parties and lasting consequences for the discipline. See philosophy-of-mathematics-foundations-crisis-controversy.
Implications of Gödel's theorems. The philosophical significance of the incompleteness theorems has been disputed since their publication, with disagreements over whether they refute formalism, support Platonism, or bear on questions of mind and mechanism. See philosophy-of-mathematics-godels-theorems-controversy.