178 | Jody Azzouni on What Is and Isn't Real

Episode Summary

Executive Summary: Sean Carroll and philosopher Jody Azouni explore nominalism: the view that abstract objects like numbers, properties, institutions, and some uses of spacetime are not real in the mind-independent sense. They distinguish useful talk from ontological commitment, argue that mathematics works as an empirical tool without making math objects real, and extend the discussion to laws of physics, incompleteness, and morality.

Main Topics: Why realism matters (Priority: 5/5): Carroll opens by arguing that physics and philosophy both need a serious account of what is real, not just what is predictive. Azouni says reality is what is mind- and language-independent, helping separate what we invent from what exists independently. Nominalism vs. Platonism (Priority: 5/5): Azouni defends nominalism against the Platonist view that numbers and mathematical structures exist independently. He insists that mathematical language can be true and useful without committing us to abstract entities. Fiction, institutions, and borderline cases (Priority: 4/5): The conversation uses Sherlock Holmes, countries, Microsoft, banks, and London to show that some terms are useful shorthand for complex bundles of real things, not evidence that the named entity itself is a real object. Mathematics in physics (Priority: 5/5): They debate whether the success of math in physics implies mathematical objects are real. Azouni argues that specific mathematical formalisms can accurately model physical reality without ontological commitment to the mathematics itself. Quine, consistency, and incompleteness (Priority: 4/5): Azouni rejects Quine’s criterion that ontological commitment follows from quantified existence claims, and resists arguments from Gödel-style incompleteness and consistency proofs as evidence for abstract mathematical reality. Laws of physics and brute facts (Priority: 3/5): On whether laws themselves are real or merely summaries, Azouni leans toward a Humean view: laws may be useful generalizations without needing a deeper explanation or separate existence. Morality and aesthetics as naturalistic (Priority: 2/5): Azouni briefly extends his naturalism to morality, treating moral judgments as rooted in evolution, repulsion/attraction, and social agreement rather than in independent moral entities.

Key Arguments: Reality should be reserved for what is independent of our minds and language; useful descriptions alone do not imply ontology. Fictional and institutional terms can be meaningful and truth-evaluable even when the entities they name do not exist independently. Many apparent entities (countries, corporations, banks) are bundles of real parts plus human practices of categorization and packaging. Mathematics is indispensable in science, but its usefulness does not entail that mathematical objects exist. Specific mathematical branches are useful because they model specific physical structures; the explanation is local, not global. Quine’s inference from existential quantification to ontological commitment is rejected as both linguistically and formally overstated. Gödel incompleteness shows limits of axiom systems, not the existence of abstract truths independent of interpretation. The consistency of arithmetic is a syntactic/technical matter; invoking “truth” requires extra semantic stipulation rather than an ontological leap. Laws of physics may be brute generalizations; the demand that every regularity must have a deeper explanation is unwarranted. Moral judgments can be understood naturalistically via evolution and social convention rather than moral realism.

Data Points: Year referenced: 2022 - Carroll opens the podcast by welcoming listeners to the new year. Axiom-system history: Ancient Greek mathematics to 20th-century logic - The discussion contrasts older mathematical intuitions with Frege, Quine, Gödel, and Tarski. Incompleteness condition: No recursively enumerable axiom system for arithmetic can be complete - Azouni invokes standard incompleteness results to argue that syntax does not force ontology. Philosophical timeline: Up until some point in 2017 - Azouni says he moved from a Hobbesian nominalist view to a more complicated current position around 2017. Dimensionality: Hugely high-dimensional vector space - Carroll mentions a quantum mechanics view in which reality is represented by a single vector in Hilbert space. Approximation scale: 500 miles upstream - Used in a Chomsky example about London as a way of highlighting linguistic abstraction, not as a literal claim. Application scope: Most of 20th-century mathematics has no applications whatsoever - Azouni uses this to argue against a blanket inference from math’s usefulness to the reality of all mathematical objects.

Pivotal Quotes: "The nominalist says there are no numbers. There are no mathematical objects. They don't exist in any sense at all." — Jody Azouni: Directly states his core ontological position during the discussion of nominalism. "What exists is the physical world, and we abstract a little bit from that for our purposes. But that doesn't mean we need to attribute reality to our abstractions." — Sean Carroll: Carroll paraphrases and tests Azouni’s view on mathematics and physical theory. "We can use a certain branch of mathematics, and we can take certain terms of the mathematics... and represent aspects of the physical world." — Jody Azouni: Explains how mathematical usefulness does not entail mathematical realism.

Implications: Listeners get a framework for separating useful language from ontological commitment. For physics and philosophy, the episode argues for humility: models, laws, and abstractions can be indispensable without being literally real.