Mathematical Fictionalism and Applicability

Hello! Welcome to your next lesson in the philosophy of mathematics.

In our last lesson, we dove into the Quine-Putnam indispensability argument, which posits that we should believe in mathematical objects because they are indispensable to our best scientific theories. We saw that this argument rests on two key premises: (P1) a commitment to scientific realism grounded in naturalism and holism, and (P2) the claim that mathematics is, in fact, indispensable.

Today, we'll examine one of the most direct and influential responses to this argument: mathematical fictionalism. This view tackles the indispensability argument head-on by challenging its core assumptions about the relationship between usefulness and truth.

Your learning outcome for this lesson is to: Explain mathematical fictionalism and its strategy for accounting for the applicability of mathematics.

We will explore the radical claim that mathematics is a kind of "useful fiction," and then investigate the sophisticated ways fictionalists explain why this "fiction" is so powerfully effective at describing the real world.

1. The Core Idea: Mathematics as a Useful Fiction

At its heart, mathematical fictionalism is an error theory. It agrees with Platonism on one crucial point: we should interpret mathematical sentences at face value. A statement like "There are infinitely many prime numbers" really is a claim about the existence of numbers.

However, the fictionalist then makes a sharp break: because they are nominalists (they deny the existence of abstract objects), they conclude that these mathematical statements are all, strictly speaking, false.

To get a feel for this counter-intuitive but powerful idea, let's start with a short video.

As the video explains, the fictionalist position is that sentences like "3 is prime" are false for the same reason "The tooth fairy is generous" is false—the subject of the sentence (the number 3, the tooth fairy) does not exist.

However, this doesn't mean mathematical statements are meaningless or useless. Just as we can say "Hogwarts is a school for wizards" and judge this statement as correct within the context of the Harry Potter story, a fictionalist can say "3 is prime" is correct within the story of mathematics. The key move is to distinguish literal truth from "truth-in-the-fiction."

This stance allows the fictionalist to agree with the Platonist about the semantics of mathematical language (it should be read literally) while maintaining a nominalist ontology (no abstract objects).

2. The Fictionalist's Great Challenge: Accounting for Applicability

This brings us to the central problem for fictionalism and the main focus of this lesson. If mathematics is just a false story, why is it so "unreasonably effective" in science? The indispensability argument claims this effectiveness is evidence of truth. The fictionalist must provide an alternative explanation. They do this via two main strategies, often called the "hard road" and the "easy road."

For a detailed look at these two strategies, we'll turn to an excellent article from the Internet Encyclopedia of Philosophy.

Let's unpack the key ideas from that reading.

The "Hard Road": Field's Dispensability Project

This approach, pioneered by philosopher Hartry Field, is the most direct assault on the indispensability argument. It attacks premise P2: Mathematics is indispensable to our best scientific theories.

Field argues that mathematics, while extremely convenient, is ultimately dispensable. His project aims to show that any scientific theory formulated with mathematics (a "platonistic" theory, P) can, in principle, be reformulated without mathematics (a "nominalistic" theory, N).

The crucial property that makes mathematics so useful, according to Field, is its conservativeness.

A mathematical theory is conservative if, when added to a nominalistic scientific theory, it does not allow you to prove any new nominalistic claims that weren't already provable (perhaps with much more difficulty) from the nominalistic theory alone.

In Hempel's analogy cited in the reading, mathematics is a "theoretical juice extractor." It doesn't add any new juice (nominalistic facts) to the fruit (the nominalistic theory); it just helps us get the juice out much more efficiently.

So, for the hard-road fictionalist:

• We only need to believe the nominalistic theory N.
• We can use the platonistic theory P (which is N + Math) as a convenient shortcut for deriving consequences of N.
• We are justified in believing the nominalistic conclusions derived using P, because the conservativeness of the math guarantees that these conclusions were already entailed by N.

If Field is right, P2 is false. Mathematics is not indispensable, it is just an incredibly useful instrument.

The "Easy Road": Indispensable but Untrue

The "hard road" requires the monumental task of actually reformulating all of science in nominalistic terms—a project many find implausible. The "easy road" takes a different path.

Proponents of this view (like Mark Balaguer and Mary Leng) concede that mathematics might be genuinely indispensable for stating and using our scientific theories. However, they deny that this indispensability implies truth.

Their central claim is that the predictive success of a scientific theory rests on its nominalistic content being accurate.

Nominalistic content: What a theory says about the physical, non-mathematical world.

For the easy-road fictionalist, a theory like Newton's law of gravitation succeeds not because numbers and functions literally exist, but because the theory's claims about the relationships between physical bodies, masses, and forces are correct. The mathematics is simply the descriptive framework we use to represent those physical relationships.

Think of a map. A map of London is indispensable for navigating the city. It uses colours, lines, and symbols (a "fiction") to represent the real layout of streets. The map is useful because its representational content is accurate, not because the city is literally made of coloured paper. Similarly, a scientific theory is successful because its nominalistic content is accurate, not because the world is literally made of numbers.

This view must then contend with the "Enhanced Indispensability Argument" mentioned in the reading, which focuses on the explanatory role of mathematics. The easy-road fictionalist's response is to argue that even these explanations do not depend on the literal truth of the mathematics involved.

Conclusion

Mathematical fictionalism offers a radical but coherent alternative to Platonism. By treating mathematics as an elaborate and useful fiction, it seeks to enjoy the practical benefits of mathematics without the ontological cost of committing to a realm of abstract objects.

Key Takeaways:

• Core Thesis: Fictionalism is an error theory that claims mathematical sentences are literally false because mathematical objects do not exist, but they can be "correct" within the "story" of mathematics.
• Response to Indispensability: It explains the applicability of mathematics without its truth.
• The "Hard Road" (Field): Argues that mathematics is a dispensable but conservative tool. It helps us derive true conclusions about the physical world from our true (but non-mathematical) scientific theories more easily.
• The "Easy Road" (Balaguer, Leng): Argues that mathematics may be indispensable as a descriptive framework, but its success comes from the accuracy of its nominalistic content—its claims about the physical world—not its literal truth.

Preview of the Next Lesson:
We have now surveyed three major positions on the ontology of mathematics: Platonism (objects exist independently), Structuralism (patterns are primary), and Fictionalism (it's a useful fiction). To sharpen our understanding, our next lesson will be dedicated to a direct comparison: Evaluate the key strengths and weaknesses of Platonism versus structuralism. This will allow us to weigh the philosophical trade-offs involved in accepting these competing pictures of the mathematical universe.