resources

The Oxford Handbook of Philosophy of Mathematics and Logic

Edited by Shapiro

https://www.amazon.com.au/Oxford-Handbook-Philosophy-Mathematics-Logic/dp/0195148770

Chapters:

  1. Philosophy of Mathematics and Its Logic: Introduction - Stewart Shapiro
  2. Apriority and Application: Philosophy of Mathematics in the Modern Period - Lisa Shabel
  3. Later Empiricism and Logical Positivism - John Skorupski
  4. Wittgenstein on Philosophy of Logic and Mathematics - Juliet Floyd
  5. The Logicism of Frege, Dedekind, and Russell - William Demopoulos and Peter Clark
  6. Logicism in the Twenty-first Century, Bob Hale and Crispin Wright
  7. Logicism Reconsidered - Agustin Rayo
  8. Formalism - Michael Detlefsen
  9. Intuitionism and Philosophy - Carl Posy
  10. Intuitionism in Mathematics - D. C. McCarty
  11. Intuitionism Reconsidered - Roy Cook
  12. Quine and the Web of Belief - Michael D. Resnik
  13. Three Forms of Naturalism - Penelope Maddy
  14. Naturalism Reconsidered - Alan Weir
  15. Nominalism - Charles Chihara
  16. Nominalism Reconsidered - Gideon Rosen and John P. Burgess
  17. Structuralism - Geoffrey Hellman
  18. Structuralism Reconsidered - Fraser MacBride
  19. Predicativity - Solomon Feferman
  20. Mathematics—Application and Applicability - Mark Steiner
  21. Logical Consequence, Proof Theory, and Model Theory - Stewart Shapiro
  22. Logical Consequence From a ConstructivistPoint of View - Dag Prawitz
  23. Relevance in Reasoning - Neil Tennant
  24. No Requirement of Relevance - John P. Burgess
  25. Higher-order Logic - Stewart Shapiro
  26. Higher-order Logic Reconsidered - Ignacio Jane

1️⃣ Key Concepts Primer (for Beginners)

A short glossary of foundational ideas you’ll encounter throughout the book:

Term Meaning Why It Matters
A priori / A posteriori A priori knowledge is independent of experience (e.g. “2+2=4”), while a posteriori depends on observation (e.g. “water boils at 100°C”). Central to how philosophers distinguish mathematical truths from empirical ones.
Logicism The view that mathematics can be reduced to logic — all of math follows from purely logical principles. Influential through Frege and Russell; shaped 20th-century formal foundations.
Formalism The idea that mathematics is a manipulation of symbols under formal rules, without intrinsic meaning. Important in understanding Hilbert’s program and the role of proof systems.
Intuitionism The belief that mathematics is a creation of the human mind, emphasizing constructible proofs rather than truth-by-law. Central to constructive mathematics and debates over excluded middle.
Constructivism Broader view including intuitionism; mathematics is valid only if constructible step-by-step. Basis for modern proof assistants and type theory.
Naturalism The claim that mathematics should be explained by the same methods as natural science — no “special” philosophical foundation. Dominant modern stance following Quine and Maddy.
Nominalism Denies existence of abstract mathematical entities (like numbers or sets). Challenges mathematical realism and raises issues for reference and truth.
Structuralism Holds that mathematics describes structures (patterns of relations) rather than individual objects. Central modern position linking logic, model theory, and ontology.
Predicativity Restricting definitions to avoid circular self-reference. Arises in the foundations of analysis and type theory (Feferman).
Logical Consequence When one statement follows from another under logical rules. The backbone of both philosophy of logic and model theory.
Model Theory The study of interpretations (models) of formal systems and their truth conditions. Bridges logic and semantics; underpins logical consequence.
Proof Theory The study of formal proofs themselves as mathematical objects. Connects intuitionism and computational logic.
Higher-order Logic Logic allowing quantification over predicates and functions, not just individuals. Extends expressivity, key for mathematics and type theory.
Relevance Logic A non-classical logic requiring that premises be relevant to conclusions. Explores meaning, inference, and paradoxes of implication.
Holism The view that beliefs (including math) form a web, tested as a whole rather than individually. Key to Quine’s “web of belief” and naturalized epistemology.
Analytic / Synthetic Analytic truths hold by meaning (e.g. “all bachelors are unmarried”), synthetic by fact. Central to Kant and debates on mathematical truth.
Ontology The philosophical study of what exists. Core to debates about abstract objects in mathematics.
Epistemology The study of how we know what we know. Raises questions about how we can have knowledge of mathematical entities.

2️⃣ Chapter Summaries (1–26)

1. Philosophy of Mathematics and Its Logic: Introduction — Stewart Shapiro

Summary: Outlines the major questions and methods linking philosophy of mathematics with logic. Importance: Sets the stage for understanding how both disciplines interweave and why their foundations matter. Date range: 19th–21st century Ratings: Math 2 Logic 3 Philosophy 3 Controversy 2 Related: (5) Logicism, (8) Formalism, (9) Intuitionism — introduces these main schools.

2. Apriority and Application: Philosophy of Mathematics in the Modern Period — Lisa Shabel

Summary: Examines Kant’s claim that mathematics is synthetic a priori — true yet informative. Importance: Frames modern debates on how math relates to the world. Date range: 1700s–1800s Ratings: M 2 L 1 P 3 C 3 Related: (3) Empiricism, (20) Applicability, (12) Quine’s Naturalism.

3. Later Empiricism and Logical Positivism — John Skorupski

Summary: Follows empiricist attempts (Mill, Carnap) to ground mathematics in sensory or linguistic frameworks. Importance: Explains why logical positivism sought to deflate metaphysical questions. Date range: 1850–1950 Ratings: M 2 L 2 P 3 C 2 Related: (4) Wittgenstein, (12) Quine, (13) Naturalism.

4. Wittgenstein on Philosophy of Logic and Mathematics — Juliet Floyd

Summary: Interprets Wittgenstein’s evolving views on meaning, proof, and mathematical practice. Importance: Bridges language philosophy and mathematical reasoning. Date range: 1920–1950 Ratings: M 2 L 3 P 3 C 3 Related: (3) Empiricism, (9) Intuitionism, (23) Relevance.

5. The Logicism of Frege, Dedekind, and Russell — Demopoulos & Clark

Summary: Describes the original logicist program to derive arithmetic from logic. Importance: Laid the groundwork for formal logic and analytic philosophy. Date range: 1879–1930 Ratings: M 3 L 3 P 2 C 3 Related: (6) Neologicism, (8) Formalism, (19) Predicativity.

6. Logicism in the Twenty-first Century — Bob Hale & Crispin Wright

Summary: Revives Fregean ideas using abstraction principles (e.g. Hume’s Principle). Importance: Shows how logicism adapts within modern analytic philosophy. Date range: 1980–2000s Ratings: M 2 L 3 P 3 C 3 Related: (7) Reconsidered Logicism, (17) Structuralism, (13) Naturalism.

7. Logicism Reconsidered — Agustín Rayo

Summary: Evaluates the technical and metaphysical viability of logicism after Frege’s failure. Importance: Clarifies limits of purely logical foundations. Date range: 1990–2005 Ratings: M 3 L 3 P 3 C 3 Related: (5), (6), (8).

8. Formalism — Michael Detlefsen

Summary: Presents Hilbert’s vision of mathematics as formal symbol manipulation. Importance: Influenced proof theory and computer verification. Date range: 1890–1930 Ratings: M 3 L 3 P 2 C 2 Related: (5) Logicism, (9) Intuitionism, (21) Proof Theory.

9. Intuitionism and Philosophy — Carl Posy

Summary: Explores Brouwer’s view that mathematics stems from mental construction. Importance: Challenges classical logic and objectivity of math. Date range: 1900–1940 Ratings: M 2 L 2 P 3 C 3 Related: (10), (11), (22).

10. Intuitionism in Mathematics — D. C. McCarty

Summary: Details intuitionistic logic’s formal consequences for analysis and arithmetic. Importance: Links philosophy to alternative mathematical practice. Date range: 1920–present Ratings: M 3 L 3 P 2 C 3 Related: (9), (11), (22).

11. Intuitionism Reconsidered — Roy Cook

Summary: Modern assessment of intuitionism within proof theory and computation. Importance: Connects Brouwer to constructive logic and type theory. Date range: 1960–2000s Ratings: M 3 L 3 P 3 C 2 Related: (9), (10), (22).

12. Quine and the Web of Belief — Michael D. Resnik

Summary: Describes Quine’s holism: mathematics is justified as part of science’s web of beliefs. Importance: Reframes philosophy of math as naturalized epistemology. Date range: 1940–1990 Ratings: M 2 L 2 P 3 C 3 Related: (13) Naturalism, (15) Nominalism, (20) Applicability.

13. Three Forms of Naturalism — Penelope Maddy

Summary: Distinguishes methodological, ontological, and epistemological naturalism. Importance: Defines how naturalism shapes modern foundations. Date range: 1970–2000 Ratings: M 2 L 2 P 3 C 3 Related: (12), (14), (17).

14. Naturalism Reconsidered — Alan Weir

Summary: Critiques whether naturalism adequately explains mathematical necessity. Importance: Probes the limits of science-based philosophy of math. Date range: 1980–2000s Ratings: M 2 L 2 P 3 C 3 Related: (13), (12), (15).

15. Nominalism — Charles Chihara

Summary: Argues mathematics can be understood without abstract objects. Importance: Challenges realism and platonism. Date range: 1940–1990 Ratings: M 2 L 2 P 3 C 3 Related: (16), (17), (12).

16. Nominalism Reconsidered — Rosen & Burgess

Summary: Reassesses nominalism through linguistic and modal perspectives. Importance: Evaluates contemporary deflationary strategies. Date range: 1980–2005 Ratings: M 2 L 2 P 3 C 3 Related: (15), (13), (17).

17. Structuralism — Geoffrey Hellman

Summary: Argues mathematics describes patterns, not objects. Importance: Major modern alternative to realism and nominalism. Date range: 1970–2000 Ratings: M 3 L 3 P 3 C 3 Related: (18), (13), (6).

18. Structuralism Reconsidered — Fraser MacBride

Summary: Analyses metaphysical and semantic issues in structuralism. Importance: Sharpens structuralism’s relation to ontology. Date range: 1990–2010 Ratings: M 3 L 2 P 3 C 3 Related: (17), (6), (14).

19. Predicativity — Solomon Feferman

Summary: Explains the philosophical and technical constraints of predicative definitions. Importance: Clarifies foundational consistency boundaries. Date range: 1900–2000 Ratings: M 3 L 3 P 2 C 2 Related: (8), (21), (25).

20. Mathematics—Application and Applicability — Mark Steiner

Summary: Explores why mathematics so effectively describes the physical world. Importance: Philosophically unites epistemology, metaphysics, and science. Date range: 1600–present Ratings: M 3 L 1 P 3 C 3 Related: (2), (12), (13).

21. Logical Consequence, Proof Theory, and Model Theory — Stewart Shapiro

Summary: Surveys formal notions of logical consequence across syntax and semantics. Importance: Central bridge between philosophy of logic and mathematics. Date range: 1930–present Ratings: M 3 L 3 P 3 C 2 Related: (22), (25), (23).

22. Logical Consequence from a Constructivist View — Dag Prawitz

Summary: Defends a proof-theoretic, constructive notion of validity. Importance: Links intuitionistic reasoning with logical foundations. Date range: 1960–2000 Ratings: M 3 L 3 P 3 C 3 Related: (9), (10), (21).

23. Relevance in Reasoning — Neil Tennant

Summary: Argues genuine logical consequence must preserve relevance between premises and conclusions. Importance: Responds to paradoxes of material implication. Date range: 1960–2000 Ratings: M 2 L 3 P 3 C 3 Related: (24), (4), (21).

24. No Requirement of Relevance — John P. Burgess

Summary: Defends classical logic’s permissive notion of implication against relevance logicians. Importance: Clarifies foundations of deductive validity. Date range: 1980–2000 Ratings: M 2 L 3 P 2 C 3 Related: (23), (21), (25).

25. Higher-order Logic — Stewart Shapiro

Summary: Introduces logics quantifying over properties and relations, not just objects. Importance: Expands expressive power beyond first-order systems. Date range: 1930–present Ratings: M 3 L 3 P 3 C 2 Related: (26), (19), (21).

26. Higher-order Logic Reconsidered — Ignacio Jané

Summary: Evaluates philosophical objections to higher-order logic’s ontological commitments. Importance: Balances expressive richness against metaphysical cost. Date range: 1980–2010 Ratings: M 3 L 3 P 3 C 3 Related: (25), (19), (7).

3️⃣ Reading Pathways

1. Mathematical Angle – Structure and Foundations

For readers who love formal systems and precision: → (5) Logicism → (8) Formalism → (9–11) Intuitionism → (17) Structuralism → (19) Predicativity → (21) Logical Consequence → (25–26) Higher-order Logic. Goal: Understand how the logical and structural foundations of mathematics evolved.

2. Logical / Computational Angle – Proof and Meaning

Ideal for those interested in reasoning, proof systems, or computation: → (4) Wittgenstein → (8) Formalism → (10–11) Intuitionism in practice → (21–22) Logical Consequence → (23–24) Relevance → (25–26) Higher-order Logic. Goal: Trace the development from human reasoning to formal and algorithmic logic.

3. Philosophical Angle – Knowledge, Reality, and Method

For those drawn to conceptual questions: → (2–3) Kant to Empiricism → (12–14) Quine and Naturalism → (15–18) Nominalism & Structuralism → (20) Applicability → (7) Logicism Reconsidered. Goal: Explore what mathematics means, how we know it, and whether its truths describe reality or our own constructions.

✅ Summary Insight: The Oxford Handbook weaves together history, logic, and philosophy — from Kant’s synthetic a priori to higher-order logic’s expressive frontiers. It’s both a map of the field and a living debate about whether mathematics is discovered, invented, or constructed — and how logic mediates between mind and world.

https://chatgpt.com/c/68ed8d60-a0bc-8322-bfeb-2cfd330578f1 (14 Oct 2025)