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:

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

1️⃣ Key Concepts Primer (for Beginners)

This glossary defines the core “-isms” and technical terms that form the battle lines in the philosophy of mathematics and logic.

A priori
- What it is: Knowledge that is justified independently of experience. For example, you know that ‘$2+2=4$’ or that ‘all bachelors are unmarried’ without needing to conduct a scientific experiment.
- Why it matters: Mathematics seems to be a paradigm case of a priori knowledge. How we can know so much about complex structures without empirical investigation is a central philosophical puzzle.
Logicism
- What it is: The thesis that all of mathematics is reducible to logic. The goal was to show that mathematical truths are just complex logical truths, and mathematical objects are logical objects.
- Why it matters: If successful, logicism would provide a certain and unshakable foundation for mathematics. The project, led by Frege and Russell, ultimately failed due to paradoxes, but its technical innovations (like modern logic) and successor programs (neologicism) have been hugely influential.
Formalism
- What it is: The view that mathematics is not about a realm of abstract objects, but is the formal manipulation of symbols according to specified rules. It treats mathematics like a game—the focus is on the consistency of the rules, not what the pieces (symbols) ‘represent’.
- Why it matters: It sidesteps difficult questions about what numbers are. Hilbert’s program, a form of formalism, aimed to prove the consistency of mathematics using finite, checkable means. Gödel’s incompleteness theorems showed this ambitious goal was impossible, fundamentally changing the landscape of mathematical logic.
Intuitionism / Constructivism
- What it is: The view that mathematical objects only exist if they can be mentally constructed. A proof of existence must provide a method for finding or building the object.
- Why it matters: This view rejects non-constructive proofs, most famously proofs by contradiction (reductio ad absurdum) for existence claims. It requires abandoning the classical Law of the Excluded Middle (‘$P \lor \neg P$’), leading to a different, more restrictive logic and body of mathematics. It has deep connections to computation.
Naturalism
- What it is: The philosophical stance that there is no ‘first philosophy’ that stands above or outside of science. We should study mathematics as a human, scientific practice, using the methods of science itself.
- Why it matters: It’s an anti-foundationalist approach. Instead of asking “What ultimate foundation can we give math?”, it asks “How does mathematics actually work within our best scientific theories?”. This often leads to the ‘indispensability argument’: we should believe in mathematical objects because they are indispensable to science.
Nominalism
- What it is: The radical view that abstract objects—like numbers, sets, and functions—do not exist. The physical world is all there is.
- Why it matters: This is the most ontologically minimalist position. The great challenge for a nominalist is to explain the success and apparent truth of mathematics without committing to the existence of mathematical entities.
Structuralism
- What it is: The view that mathematics is not about individual objects (like the number 3) but about the structures in which these objects are placeholders. What matters is the web of relationships (e.g., the successor relation in the natural numbers), not the intrinsic nature of the positions in the structure.
- Why it matters: It captures the common mathematical practice of treating isomorphic systems as ‘the same’. It doesn’t matter what the natural numbers are, only that they satisfy the Peano axioms.
Predicativity
- What it is: A restriction on definitions to avoid ‘vicious circles’. A definition is impredicative if it defines an object by quantifying over a collection that includes the very object being defined (e.g., defining the ‘least upper bound’ of a set of reals by referring to the collection of all real numbers).
- Why it matters: It was proposed as a way to solve Russell’s paradox. Adopting a predicative-only framework results in a significant portion of standard analysis becoming unprovable, forcing a re-evaluation of what axioms are ‘safe’ or justifiable.
Logical Consequence
- What it is: The intuitive notion that a conclusion follows from a set of premises. The central task of logic is to formalise this notion.
- Why it matters: It is the bedrock of reasoning. The two main approaches to defining it give rise to the next two concepts.
Model Theory (Semantic Approach)
- What it is: Defines logical consequence in terms of truth preservation. A sentence $\phi$ is a logical consequence of a set of sentences $\Gamma$ if and only if there is no interpretation (or ‘model’) in which all sentences in $\Gamma$ are true and $\phi$ is false.
- Why it matters: This is Tarski’s hugely successful semantic definition of consequence, which underpins much of modern mathematical logic.
Proof Theory (Syntactic Approach)
- What it is: Defines logical consequence in terms of derivability. A sentence $\phi$ is a logical consequence of a set of sentences $\Gamma$ if and only if there is a formal proof of $\phi$ starting from the premises in $\Gamma$ and using a fixed set of inference rules.
- Why it matters: This approach focuses on the formal, symbolic structure of arguments. Gödel’s Completeness Theorem shows that for first-order logic, the model-theoretic and proof-theoretic approaches coincide, which is a foundational result.

2️⃣ Chapter Summaries (1–26)

Part I: Introduction & History

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

Summary: Sets the stage for the volume, outlining the major historical traditions, the key philosophical questions (ontology, epistemology, application), and the structure of the debates presented in the subsequent chapters.
Why it’s important: An essential roadmap for understanding how the different philosophical positions relate to one another.
Date range: Contemporary overview.
Ratings: Mathematics: 1 Logic: 1 Philosophy: 3 Controversy: 2
Related chapters: N/A (introduces all)

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

Summary: Examines how Immanuel Kant tried to solve the puzzle of how mathematics can be both a priori (known through reason alone) and yet accurately apply to the physical world, a problem inherited from his rationalist and empiricist predecessors.
Why it’s important: Kant’s work defined the terms of debate for the entire 19th and early 20th centuries; all subsequent foundational schools responded to his ideas.
Date range: Primarily 17th–18th century (focus on Kant, 1781).
Ratings: Mathematics: 1 Logic: 1 Philosophy: 3 Controversy: 2
Related chapters: 3 (shows the empiricist reaction), 5 (Logicism was an attempt to refute Kant’s view of arithmetic), 9 (Intuitionism has Kantian roots).

3. Later Empiricism and Logical Positivism - John Skorupski

Summary: Traces the empiricist tradition from John Stuart Mill (who argued math is empirical) to the logical positivists (who argued it is analytic, true by definition, and thus empty of factual content).
Why it’s important: This line of thought tried to demystify mathematics by denying it describes a special, abstract realm.
Date range: Mid-19th century to mid-20th century.
Ratings: Mathematics: 1 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 2 (direct opposition to Kant), 12 (Quine’s work grew out of and ultimately rejected logical positivism), 5 (Positivism adopted the logicist reduction of math to logic).

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

Summary: Explores Ludwig Wittgenstein’s radical view that mathematical ‘truth’ is a matter of convention and following rules within a linguistic “language-game,” rather than discovering pre-existing facts.
Why it’s important: Wittgenstein offers a complete deflation of the traditional problems, suggesting they arise from a misunderstanding of how mathematical language works.
Date range: c. 1920s–1950.
Ratings: Mathematics: 1 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 8 (shares an anti-Platonist spirit with some forms of formalism), 3 (Wittgenstein was deeply engaged with the positivists).

Part II: The Big Three Foundational Views

5. The Logicism of Frege, Dedekind, and Russell - William Demopoulos & Peter Clark

Summary: Details the original logicist project: the attempt by Frege, and later Russell, to demonstrate that the entirety of arithmetic could be rigorously derived from purely logical axioms.
Why it’s important: This was the first great foundational program of the 20th century, and its successes (e.g., modern predicate logic) and failures (e.g., Russell’s Paradox) set the agenda for all that followed.
Date range: c. 1879–1913.
Ratings: Mathematics: 2 Logic: 3 Philosophy: 3 Controversy: 3
Related chapters: 6 (the modern revival), 7 (a critical assessment), 19 (arose from attempts to solve the paradoxes logicism uncovered).

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

Summary: Defends “neologicism,” a contemporary revival of Frege’s program that aims to derive arithmetic from a logical principle (Hume’s Principle) without falling into the paradoxes that plagued the original.
Why it’s important: This is a major, active research program attempting to secure a moderate form of Platonism on purely logical grounds.
Date range: c. 1983–Present.
Ratings: Mathematics: 2 Logic: 3 Philosophy: 3 Controversy: 3
Related chapters: 5 (the historical source), 7 (the direct critique), 17 (a competing view on what numbers are).

7. Logicism Reconsidered - Agustin Rayo

Summary: Critically assesses the logicist project, both old and new, questioning whether the principles required (like Hume’s Principle or axioms of infinity) can truly be considered purely logical.
Why it’s important: It articulates the central philosophical challenge to logicism: the line between logic and mathematics seems impossible to draw in a non-arbitrary way.
Date range: Contemporary critique.
Ratings: Mathematics: 2 Logic: 3 Philosophy: 3 Controversy: 3
Related chapters: 5 (the object of critique), 6 (the direct counter-argument).

8. Formalism - Michael Detlefsen

Summary: Provides a philosophical and historical overview of formalism, focusing on Hilbert’s program, which sought to secure classical mathematics by proving its consistency using finitary, combinatorial methods.
Why it’s important: Hilbert’s program was arguably the most influential research program in the foundations of mathematics, and its demise at the hands of Gödel’s incompleteness theorems was a landmark event.
Date range: c. 1900–1931.
Ratings: Mathematics: 3 Logic: 3 Philosophy: 2 Controversy: 3
Related chapters: 9 (Intuitionism was a key rival), 21 (Proof theory was invented for Hilbert’s program).

9. Intuitionism and Philosophy - Carl Posy

Summary: Explores the philosophical motivations behind intuitionism, particularly L.E.J. Brouwer’s idea that mathematics is a creation of the human mind and that truth cannot outstrip our ability to construct a proof.
Why it’s important: Intuitionism represents the most radical challenge to classical mathematics and logic, demanding a complete reconstruction of the field on constructivist principles.
Date range: c. 1907–1950s.
Ratings: Mathematics: 2 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 10 (the mathematical details), 11 (a critical re-evaluation), 22 (a modern constructivist view on logic).

10. Intuitionism in Mathematics - D. C. McCarty

Summary: Delves into the mathematical consequences of adopting an intuitionistic framework, showing how fields like analysis and topology are transformed when classical logic and non-constructive principles are abandoned.
Why it’s important: This chapter shows that intuitionism is not just a philosophical stance but a concrete mathematical practice with its own theorems and techniques.
Date range: c. 1907–Present.
Ratings: Mathematics: 3 Logic: 3 Philosophy: 1 Controversy: 2
Related chapters: 9 (the philosophical basis), 11 (the logical critique).

11. Intuitionism Reconsidered - Roy Cook

Summary: Provides a modern logical analysis of intuitionistic logic, evaluating its strengths and weaknesses as a formal system and questioning whether its philosophical motivations justify such a radical departure from classical mathematics.
Why it’s important: It treats intuitionism not as a historical curiosity but as a live logical option, subject to rigorous contemporary analysis.
Date range: Contemporary critique.
Ratings: Mathematics: 2 Logic: 3 Philosophy: 2 Controversy: 3
Related chapters: 9, 10 (the positions being reconsidered), 22 (a related but different constructivist viewpoint).

Part III: Later 20th-Century and Contemporary Views

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

Summary: Lays out W.V.O. Quine’s influential holistic and empiricist view, where mathematics and logic are not fundamentally different from science; they are simply the most central and well-entrenched threads in our “web of belief,” justified by their role in our overall theory of the world.
Why it’s important: Quine’s work dissolved the traditional analytic/synthetic distinction and led to the powerful ‘indispensability argument’ for mathematical realism.
Date range: c. 1951–1990.
Ratings: Mathematics: 1 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 3 (develops from logical positivism), 13 (provides the basis for one form of naturalism), 15 (nominalists must respond to Quine’s argument).

13. Three Forms of Naturalism - Penelope Maddy

Summary: Distinguishes between different versions of naturalism, particularly Quine’s version (which accepts mathematical objects due to their scientific utility) and a more radical version that studies mathematics as a cognitive and social phenomenon without making ontological commitments.
Why it’s important: It shows the diversity within the naturalist camp and highlights the tension between accepting scientific realism and explaining mathematical practice from within.
Date range: Late 20th century–Present.
Ratings: Mathematics: 1 Logic: 1 Philosophy: 3 Controversy: 2
Related chapters: 12 (Quine’s is the starting point), 14 (the critical response).

14. Naturalism Reconsidered - Alan Weir

Summary: Critically examines the coherence of naturalism, arguing that it struggles to account for the a priori nature and normative force of mathematical and logical claims from a purely descriptive, scientific standpoint.
Why it’s important: This chapter voices a central objection to naturalism: that it risks explaining away the very features of mathematics (certainty, necessity) that make it philosophically interesting.
Date range: Contemporary critique.
Ratings: Mathematics: 1 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 12, 13 (the positions being reconsidered).

15. Nominalism - Charles Chihara

Summary: Presents a defense of nominalism, the view that mathematical objects do not exist, focusing on developing “reconstructionist” strategies that show how one can talk as if numbers exist without being ontologically committed to them.
Why it’s important: It represents the most austere and challenging ontological position, forcing a deep analysis of what mathematical language is really doing.
Date range: Mid-20th century–Present.
Ratings: Mathematics: 2 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 12 (responds to the indispensability argument), 16 (the critique), 17 (structuralism is a key anti-nominalist view).

16. Nominalism Reconsidered - Gideon Rosen & John P. Burgess

Summary: Offers a powerful critique of nominalist programs, arguing that their attempts to paraphrase away references to mathematical objects are either technically inadequate, philosophically unmotivated, or more complex than the Platonism they seek to replace.
Why it’s important: It articulates the mainstream pushback against nominalism, suggesting that the price of denying mathematical objects is simply too high.
Date range: Contemporary critique.
Ratings: Mathematics: 1 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 15 (the position being critiqued).

17. Structuralism - Geoffrey Hellman

Summary: Argues for structuralism, the view that mathematics is about abstract structures, and presents a specific “modal-structural” version where mathematical statements are interpreted as claims about what would be true in any possible system exhibiting a certain structure.
Why it’s important: Structuralism is arguably the most popular contemporary philosophy of mathematics, as it aligns well with mathematical practice (e.g., category theory).
Date range: c. 1980s–Present.
Ratings: Mathematics: 2 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 18 (the critique), 15 (a rival view), 5 (offers an alternative to logicism’s object-based approach).

18. Structuralism Reconsidered - Fraser MacBride

Summary: Critiques various forms of structuralism, arguing that they struggle to explain what a ‘structure’ is without presupposing the very abstract objects they were meant to replace or analyse.
Why it’s important: It highlights the deep metaphysical difficulties lurking beneath structuralism’s intuitive appeal.
Date range: Contemporary critique.
Ratings: Mathematics: 1 Logic: 2 Philosophy: 3 Controversy: 3
Related chapters: 17 (the position being reconsidered).

19. Predicativity - Solomon Feferman

Summary: Provides a deep dive into predicativism, a philosophy that rejects “impredicative” definitions and seeks to rebuild mathematics on a more secure, step-by-step foundation, arguing that most scientifically applicable mathematics can be recovered in this framework.
Why it’s important: Feferman was a leading proponent of this view, showing it to be a viable and mathematically rich alternative to both classical Platonism and radical constructivism.
Date range: Early 20th century (origins), late 20th century (revival).
Ratings: Mathematics: 3 Logic: 3 Philosophy: 2 Controversy: 2
Related chapters: 5 (predicativity arose from logicist paradoxes), 8 (shares a concern with foundational security), 10 (another form of ‘restricted’ mathematics).

20. Mathematics—Application and Applicability - Mark Steiner

Summary: Investigates the “unreasonable effectiveness of mathematics,” exploring not just how mathematics is applied, but why the specific, often aesthetically-driven, structures developed by mathematicians turn out to be so surprisingly useful for describing the physical world.
Why it’s important: It tackles a core philosophical mystery that any complete philosophy of mathematics must address, moving beyond foundations to the relationship between mathematics and reality.
Date range: Contemporary.
Ratings: Mathematics: 2 Logic: 1 Philosophy: 3 Controversy: 2
Related chapters: 2 (Kant’s core problem), 12 (central to the naturalist/Quinean view).

Part IV: Core Topics in Philosophy of Logic

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

Summary: Defends the standard model-theoretic (semantic) account of logical consequence as the best formalisation of our intuitive notion of ‘follows from’, while explaining the role and importance of its proof-theoretic (syntactic) counterpart.
Why it’s important: This chapter champions the orthodox, Tarskian view that underpins most of modern logic.
Date range: c. 1930s–Present.
Ratings: Mathematics: 2 Logic: 3 Philosophy: 2 Controversy: 2
Related chapters: 22 (the constructivist alternative), 23 (a challenge based on relevance), 8 (proof theory originated here).

22. Logical Consequence From a Constructivist Point of View - Dag Prawitz

Summary: Argues for a proof-theoretic, verificationist understanding of logical consequence, where the meaning of logical connectives is given by their introduction rules in a system of natural deduction, in line with a constructivist/intuitionist philosophy.
Why it’s important: This presents the main alternative to the standard model-theoretic account, grounding logic in the act of proving rather than in abstract truth conditions.
Date range: c. 1960s–Present.
Ratings: Mathematics: 1 Logic: 3 Philosophy: 3 Controversy: 3
Related chapters: 21 (the view it opposes), 9, 10 (the philosophical family it belongs to).

23. Relevance in Reasoning - Neil Tennant

Summary: Argues that genuine logical consequence requires a condition of relevance: the premises of a valid argument must be genuinely used to derive the conclusion. This leads to a rejection of classical logic in favour of a “relevant logic”.
Why it’s important: It challenges the classical view by pointing out its counter-intuitive results (e.g., from a contradiction, anything follows) and proposes a more refined logical system.
Date range: c. 1970s–Present.
Ratings: Mathematics: 1 Logic: 3 Philosophy: 2 Controversy: 3
Related chapters: 24 (the direct rebuttal), 21 (the classical view being criticized).

24. No Requirement of Relevance - John P. Burgess

Summary: Defends classical logic against the charge of irrelevance, arguing that the so-called “paradoxes of material implication” are not paradoxes at all, and that the benefits and simplicity of classical logic far outweigh the supposed intuitive gains of moving to a more complex relevant logic.
Why it’s important: This is a robust defense of the logical orthodoxy from a pragmatic and technical standpoint.
Date range: Contemporary critique.
Ratings: Mathematics: 1 Logic: 3 Philosophy: 2 Controversy: 3
Related chapters: 23 (the direct counter-argument).

25. Higher-order Logic - Stewart Shapiro

Summary: Introduces second-order and higher-order logics (which allow quantification over properties, functions, and sets) and argues that they are essential tools for mathematics, capturing concepts like infinity and continuity in ways that first-order logic cannot.
Why it’s important: Higher-order logic is much more expressive than first-order logic, but at the cost of desirable metalogical properties like completeness. This chapter argues the trade-off is worthwhile.
Date range: c. 1970s–Present.
Ratings: Mathematics: 3 Logic: 3 Philosophy: 2 Controversy: 3
Related chapters: 26 (the critique), 5 (Frege’s logic was higher-order), 17 (structuralism often uses higher-order logic).

26. Higher-order Logic Reconsidered - Ignacio Jané

Summary: Critically examines the status of higher-order logic, questioning whether it is truly ‘logic’ or if it is better understood as a form of set theory in disguise.
Why it’s important: It addresses the fundamental debate over the boundaries of logic itself. If higher-order logic is just set theory, then claims that mathematics can be based on it are less impressive.
Date range: Contemporary critique.
Ratings: Mathematics: 2 Logic: 3 Philosophy: 3 Controversy: 3
Related chapters: 25 (the position being reconsidered), 6 (neologicism relies on second-order logic).

3️⃣ Reading Pathways

Here are three suggested pathways to navigate the book based on your primary interest.

Path 1: The Mathematical Angle

Focus: Foundations, structure, formal rigor, and what parts of mathematics are ‘safe’ or necessary.

Start with the “Big Three”:
- Ch 5: Logicism of Frege, Dedekind, and Russell (The quest for logical certainty)
- Ch 8: Formalism (The quest for consistency via Hilbert’s Program)
- Ch 10: Intuitionism in Mathematics (The consequences of a constructive approach)
Explore a Major Restriction:
- Ch 19: Predicativity (A middle ground, asking what can be built without ‘vicious circles’)
Move to Modern Structural Views:
- Ch 17: Structuralism (Reflects the modern focus on structures and isomorphism, as in category theory)
Consider the Role of Logic:
- Ch 25: Higher-order Logic (Discusses the powerful logical tools needed to actually do mathematics, like defining the real numbers)
Conclude with Application:
- Ch 20: Mathematics—Application and Applicability (Why does all this formal machinery work so well?)

Path 2: The Logical/Computational Angle

Focus: Proof, consequence, semantics, computability, and the limits of formal systems.

Define the Core Subject:
- Ch 21: Logical Consequence, Proof Theory, and Model Theory (The orthodox Tarskian view)
- Ch 22: Logical Consequence From a Constructivist Point of View (The main alternative, linking proof to meaning)
See the Foundational Crisis that Launched Modern Logic:
- Ch 5: The Logicism of Frege, Dedekind, and Russell (Birth of modern logic and the discovery of paradox)
- Ch 8: Formalism (The birth of proof theory and the impact of Gödel’s theorems)
Explore Challenges to Classical Logic:
- Ch 9 & 10: Intuitionism (Rejection of the Law of the Excluded Middle; deep links to computation)
- Ch 23: Relevance in Reasoning (A different critique, focused on how premises connect to conclusions)
- Ch 24: No Requirement of Relevance (The classical defense)
Examine the Boundary of Logic:
- Ch 25: Higher-order Logic (For expressive power)
- Ch 26: Higher-order Logic Reconsidered (Is it really logic, or math in disguise?)

Path 3: The Philosophical Angle

Focus: Meaning, realism, and knowledge. What *are mathematical objects and how do we know about them?*

Set the Historical Stage:
- Ch 2: Apriority and Application… in the Modern Period (Kant’s framing of the core problem)
Understand the Quinean Revolution:
- Ch 12: Quine and the Web of Belief (The most influential 20th-century challenge to traditional views)
- Ch 13: Three Forms of Naturalism (Where Quine’s ideas lead)
Survey the Main Ontological Positions (What Exists?):
- Ch 6: Logicism in the Twenty-first Century (A defense of abstract, logical objects)
- Ch 15: Nominalism (The view that abstract objects don’t exist)
- Ch 16: Nominalism Reconsidered (The powerful counter-arguments)
- Ch 17: Structuralism (The popular modern view that it’s about patterns, not objects)
Consider a Radical Alternative:
- Ch 4: Wittgenstein… (The view that the philosophical ‘problems’ are illusions born of linguistic confusion)
Circle Back to the Core Mystery:
- Ch 20: Mathematics—Application and Applicability (The deepest puzzle for any philosophical view)

https://gemini.google.com/app/e8bc9f2d6592a1af (14 Oct 2025)