Announcer
The following program features simulated voices generated for educational and philosophical exploration.
Leonard Jones
Good afternoon. I'm Leonard Jones.
Jessica Moss
And I'm Jessica Moss. Welcome to Simulectics Radio.
Leonard Jones
Yesterday we examined the problem of induction and constructive empiricism. Today we turn to philosophy of mathematics. What is the nature of mathematical truth? Do numbers, sets, and other mathematical objects exist independently of human minds, or are they constructed by mathematical practice?
Jessica Moss
This touches fundamental questions about the relationship between abstract thought and reality. If mathematical truths are discovered rather than invented, what does that tell us about the structure of the world?
Leonard Jones
Our guest is Dr. Penelope Maddy, Distinguished Professor of Logic and Philosophy of Science at the University of California, Irvine, and author of Realism in Mathematics, Naturalism in Mathematics, and Defending the Axioms. Welcome, Dr. Maddy.
Dr. Penelope Maddy
Thank you. I should say at the outset that my views on these matters have evolved considerably. I once defended a form of mathematical realism, but I've become increasingly convinced that we need to understand mathematics through its practices rather than through metaphysical commitments.
Jessica Moss
Let's start with the fundamental divide. What's at stake in the debate between mathematical realism and anti-realism?
Dr. Penelope Maddy
Mathematical realism holds that mathematical objects exist independently of minds and that mathematical statements are true or false in virtue of facts about these objects. Anti-realism denies this—it might say mathematical objects are mental constructions, useful fictions, or that mathematical statements lack truth values altogether.
Leonard Jones
Let me be precise about this. When we say the number two exists, the realist claims this refers to an actually existing abstract object, while the anti-realist says something else is going on?
Dr. Penelope Maddy
Exactly. The realist takes mathematical existence claims at face value. When we prove there are infinitely many prime numbers, we're discovering facts about mind-independent reality. The anti-realist needs to explain away this apparent commitment to abstract objects.
Jessica Moss
What's the strongest argument for mathematical realism?
Dr. Penelope Maddy
The indispensability argument, developed by Quine and Putnam. Our best scientific theories are stated in mathematical language and quantify over mathematical objects. If we believe in electrons because they're indispensable to physics, we should believe in numbers for the same reason. We can't have scientific realism without mathematical realism.
Leonard Jones
But this assumes we should believe in whatever our theories quantify over. Can't we be instrumentalists about mathematics even if we're realists about physics?
Dr. Penelope Maddy
That's what Hartry Field tried to show—that you can reformulate physics without mathematical objects. But the project is enormously complicated and it's unclear whether it succeeds. Most philosophers think mathematics is genuinely indispensable to science.
Jessica Moss
Even if mathematics is indispensable, why does that require believing in abstract objects? Can't we say mathematical language is useful without being literally true?
Dr. Penelope Maddy
You can, but then you need to explain why mathematics is so unreasonably effective in describing physical reality. Wigner called this the unreasonable effectiveness of mathematics in the natural sciences. If mathematical objects don't exist, why does mathematics apply so precisely to the physical world?
Leonard Jones
This brings us to what seems like a deep epistemological problem for realism. If mathematical objects are abstract and causally inert, how can we have knowledge of them? Our epistemic access seems mysterious.
Dr. Penelope Maddy
This is Benacerraf's epistemological challenge, and it's powerful. If numbers exist outside space and time, they can't causally interact with us. But our standard account of knowledge requires causal connection to what we know about. How do we perceive or interact with the number two?
Jessica Moss
How did you respond to this when you were a realist?
Dr. Penelope Maddy
I argued that we can perceive sets—that when you see three eggs, you're literally perceiving the set of three eggs. Sets would be located wherever their members are, making them causally accessible. But I came to think this was stretching the notion of perception beyond plausibility.
Leonard Jones
What about other responses to Benacerraf? Can't realists argue that mathematical intuition is a sui generis cognitive capacity?
Dr. Penelope Maddy
Gödel took this approach, comparing mathematical intuition to perception. But this seems to multiply mysteries. We understand perception through causal interaction with physical objects. Mathematical intuition would be fundamentally different, and it's unclear how it could be reliable.
Jessica Moss
There's also Benacerraf's identification problem. If numbers are objects, which objects are they? Is the number three the set with three elements, or something else entirely?
Dr. Penelope Maddy
Right. Set theory can represent numbers in multiple ways—as von Neumann ordinals, as Zermelo ordinals, as equivalence classes of equipollent sets. These are all structurally isomorphic but metaphysically distinct. Which one is really the number three?
Leonard Jones
This suggests a structuralist approach. Perhaps mathematics isn't about particular objects but about structural relationships. What matters isn't which objects the numbers are, but how they relate to each other.
Dr. Penelope Maddy
Structuralism has become popular precisely because it addresses Benacerraf's problems. It says mathematical theories describe structures, not individual objects. The natural numbers are characterized by their position in the successor structure, not by their intrinsic nature.
Jessica Moss
But doesn't structuralism face its own puzzles? If numbers aren't objects but positions in structures, what are structures? Don't we end up with the same ontological questions at a different level?
Dr. Penelope Maddy
Exactly. Some structuralists say structures exist as abstract objects—but then we haven't escaped Benacerraf's epistemological challenge. Others say structures are patterns that can be instantiated in different systems—but then what grounds mathematical truth when no physical system perfectly instantiates the structure?
Leonard Jones
Let me turn to your more recent naturalistic approach. You argue we should understand mathematics through mathematical practice rather than metaphysical theorizing. Can you explain this methodology?
Dr. Penelope Maddy
I call it Second Philosophy—we should investigate mathematics using the methods of mathematics and empirical science, not through armchair metaphysics. We look at what mathematicians actually do, what goals they pursue, what methods they trust. Philosophy should describe and systematize this practice, not legislate to it from external philosophical principles.
Jessica Moss
This sounds deflationary. Are you saying the traditional questions about mathematical ontology are misguided?
Dr. Penelope Maddy
I think we've been asking them in the wrong way. Instead of asking 'Do mathematical objects really exist?', we should ask 'Why do mathematicians accept certain axioms and methods?' The answers come from mathematical goals and evidential standards internal to the practice.
Leonard Jones
But surely mathematics involves making claims about what exists. Set theory says there exists an infinite set. How can we understand this without ontological commitments?
Dr. Penelope Maddy
Within mathematics, existence claims have precise technical meaning. To exist is to be quantified over in our theories. But this doesn't settle whether mathematical objects exist in some ultimate metaphysical sense. That's a philosophical question that doesn't arise within mathematical practice itself.
Jessica Moss
This reminds me of Carnap's distinction between internal and external questions. Internal to the mathematical framework, we can ask whether certain objects exist. But whether the framework itself corresponds to reality is an external question that might be meaningless or merely pragmatic.
Dr. Penelope Maddy
There's definitely an affinity with Carnap, though I'm more focused on actual mathematical practice than linguistic frameworks. The key point is that mathematics has its own standards of evidence and justification that don't depend on resolving metaphysical debates.
Leonard Jones
Let's discuss those standards. How do mathematicians justify accepting new axioms? You've written about this in the context of set theory.
Dr. Penelope Maddy
Set theorists use several types of considerations. Intrinsic justifications appeal to intuitions about the iterative conception of set—that sets are formed in stages by collecting objects from previous stages. Extrinsic justifications appeal to consequences—an axiom is supported if it proves important theorems, unifies different areas, or resolves open questions.
Jessica Moss
The extrinsic justifications sound more like pragmatic reasoning than discovering truths about abstract reality.
Dr. Penelope Maddy
Yes, and I think that's revealing. Mathematicians care about fertility, elegance, unifying power. These are epistemic virtues that guide inquiry, but they're not straightforwardly about correspondence to a realm of abstract objects.
Leonard Jones
What about cases where mathematical practice seems to conflict with philosophical principles? For instance, some philosophers argue we should only accept nominalistic mathematics that doesn't quantify over abstract objects. But practicing mathematicians ignore such restrictions.
Dr. Penelope Maddy
This is where Second Philosophy parts ways with traditional philosophy. If a philosophical principle would require abandoning fruitful mathematical methods, that's evidence against the principle, not against the mathematics. We shouldn't let philosophy dictate to successful scientific practice.
Jessica Moss
But doesn't this make philosophy subservient to contingent historical practice? What if mathematicians are collectively making a mistake?
Dr. Penelope Maddy
We can criticize mathematical practice from within—showing that certain methods don't achieve mathematicians' own goals, for instance. But we can't criticize it from some supposedly superior external standpoint. There's no view from nowhere in epistemology.
Leonard Jones
This seems to avoid the question of whether mathematics describes an independent reality. Is that question simply unanswerable, or do you think it's confused?
Dr. Penelope Maddy
I think it's less important than philosophers have assumed. What matters is that mathematics works—it's internally coherent, applicable to science, generative of new insights. Whether this success requires mathematical objects to really exist is a metaphysical question that doesn't affect mathematical practice.
Jessica Moss
But the applicability of mathematics does seem puzzling. Why should a priori reasoning about abstract structures tell us about physical reality?
Dr. Penelope Maddy
I think we need to be careful here. Mathematics isn't purely a priori—it's informed by empirical considerations at fundamental levels. The axioms of set theory, for instance, are justified partly by their consequences for mathematics and science. And physical theories aren't purely empirical—they involve idealization and mathematical structure from the start.
Leonard Jones
You're suggesting the division between a priori mathematics and empirical science is less sharp than traditional philosophy assumes?
Dr. Penelope Maddy
Exactly. Quine was right about this—our beliefs form a web where mathematics and science are interconnected. We adjust our theories holistically in response to experience and theoretical considerations. This doesn't require mathematical objects to exist, but it does explain why mathematics is useful in science.
Jessica Moss
What about pure mathematics that has no current applications? Does your naturalism have anything to say about number theory or category theory when they're pursued for their own sake?
Dr. Penelope Maddy
Pure mathematics has its own internal goals—proving theorems, discovering structure, achieving generality and unification. These are legitimate epistemic aims. We don't need to justify every mathematical inquiry by its applications, any more than we justify basic science only by technological payoff.
Leonard Jones
But this raises a question about mathematical pluralism. If mathematics is shaped by the goals of practitioners, couldn't there be multiple legitimate mathematics pursuing different aims? Could we have rival mathematical frameworks that are each internally valid?
Dr. Penelope Maddy
In principle, yes. We already see this to some extent—classical versus constructive mathematics, different approaches to set theory. But there's also remarkable convergence in mathematical practice, suggesting that the goals and constraints of mathematics are fairly robust.
Jessica Moss
The convergence might reflect sociological factors rather than objective mathematical reality. How would you distinguish between the two?
Dr. Penelope Maddy
Sociological factors certainly play a role, but mathematical arguments have force independent of social consensus. A proof convinces because of its logical structure, not because of the authority of whoever presents it. There are objective standards internal to mathematical practice.
Leonard Jones
Let me ask about a different challenge to your naturalism. Some philosophers argue that mathematics is special precisely because it's necessary and a priori. If we naturalize mathematics, don't we lose this modal status?
Dr. Penelope Maddy
I think the necessity of mathematics has been overemphasized. Mathematical theorems are necessary relative to axioms—if the axioms are true, the theorems must be true. But the axioms themselves might be contingent choices made for practical and theoretical reasons. The necessity is conditional, not absolute.
Jessica Moss
This connects to questions about the foundations of mathematics. Are you committed to a particular foundational framework, like set theory or category theory?
Dr. Penelope Maddy
No, I think foundational questions should be approached pragmatically. Set theory has been enormously successful as a foundation, but that's a contingent empirical fact about its utility. If category theory or some other framework proved more fruitful for mathematical goals, that would be reason to adopt it.
Leonard Jones
A final question about the relationship between your view and traditional disputes. Does your naturalism count as a form of realism or anti-realism about mathematics?
Dr. Penelope Maddy
I think it transcends that debate. It's realist in accepting mathematical practice at face value, not trying to reinterpret mathematical claims. But it's anti-realist in rejecting metaphysical commitments to abstract objects independent of practice. The question 'Does mathematics describe mind-independent reality?' doesn't have the significance traditional philosophy assigns it.
Jessica Moss
This seems to dissolve the problem rather than solve it—saying the question doesn't need answering rather than providing an answer.
Dr. Penelope Maddy
Dissolution is sometimes the right philosophical move. Not every question we can formulate is well-posed or requires resolution. Sometimes the way forward is reconceiving what we're asking about.
Leonard Jones
Though one might worry this leaves us without resources to address genuine puzzles about mathematical knowledge and applicability.
Dr. Penelope Maddy
I think we have better resources by focusing on actual mathematical and scientific practice than by constructing metaphysical theories of abstract objects. The puzzles dissolve when we see mathematics as human activity embedded in broader inquiry rather than as a realm apart from nature.
Jessica Moss
Dr. Maddy, thank you for this illuminating discussion of mathematical truth and practice.
Dr. Penelope Maddy
Thank you. These foundational questions deserve continued attention from both mathematicians and philosophers.
Leonard Jones
We'll return tomorrow with more philosophical inquiry.
Jessica Moss
Good afternoon.