This episode explores the philosophical puzzle of existence through the lens of the “Batman paradox,” questioning what it means to claim something exists or doesn’t exist, and examining how language handles non-existent entities.
The Batman Paradox
The central problem is how we can meaningfully refer to and deny the existence of fictional characters like Batman, which seems to require both reference and non-existence simultaneously.
When we say “Batman doesn’t exist,” we appear to use a singular term (Batman) to refer to something that doesn’t exist, creating a logical puzzle about reference and meaning.
This raises questions about whether existence is a property of individuals or something else entirely, and how language can meaningfully talk about non-existent things.
Russell’s Theory of Descriptions
Bertrand Russell proposed that existence is not a first-order property of individuals but a second-order property of properties being instantiated.
Names like “Batman” are not genuine singular terms but disguised definite descriptions (e.g., “the caped crusader of Gotham”).
The sentence “Batman doesn’t exist” translates logically to denying that there exists exactly one Caped Crusader, eliminating the need for Batman to refer to an actual object.
This view dominated philosophy for decades until Saul Kripke challenged it in the 1970s with his work “Naming and Necessity.”
Kripke’s Rigid Designators
Kripke argued that names and descriptions behave differently in modal contexts (possibility/necessity), showing names are rigid designators that refer to the same individual across possible worlds.
Examples like Peter Parker vs. “the guy bitten by a radioactive spider” demonstrate that names don’t work like descriptions, as they maintain reference even when descriptive content changes.
This undermines Russell’s descriptive theory, forcing a return to the original problem of how names refer to non-existent entities.
Meinongian Domain Quantification
Alexius Meinong proposed that the domain of quantification includes non-existent objects, making existence a genuine property some things lack.
Under this view, “Batman doesn’t exist” is a coherent statement about an object in the domain that lacks the property of existence.
Russell objected that this leads to contradictions (e.g., round squares) and allows defining things into existence (e.g., golden mountains).
Modern Meinongians refined the theory by distinguishing nuclear properties (ordinary characteristics) from extra-nuclear properties (metaphysical status like existence), avoiding contradictions.
Nuclear and Extra-Nuclear Properties
Nuclear properties are ordinary characteristics like being red or tall, while extra-nuclear properties concern metaphysical status like existence or possibility.
The comprehension principle applies only to nuclear properties, preventing the round square from being both round and square in a contradictory way.
Edward Zalta’s dual copula strategy further refines this by distinguishing encoding (properties as part of an object’s nature) from exemplifying (actual instantiation of properties).
These solutions work but add complexity, requiring careful tracking of property types and modes of predication.
Modal Descriptivism and AI
Some philosophers developed variants of descriptivism to survive Kripke’s attacks, including metalinguistic, causal, and wide-scope descriptivism.
Computer science faces similar issues with null pointer exceptions and object-oriented programming, which allows declaring objects without instantiating them.
AI systems struggle with fictional characters, needing to represent them accurately while distinguishing them from reality, relating to the frame problem in knowledge representation.
The self-referential nature of the debate means even stating the problem assumes certain positions about existence and reference.
Three Theoretical Options
Descriptivism treats names as disguised descriptions but faces challenges from Kripke’s arguments about rigid designation.
Meinongianism includes non-existent objects in the domain of quantification but risks metaphysical profligacy and complexity.
Abstract realism holds that everything exists but some things are abstract (like numbers or stories), though this may not align with ordinary usage of “existence.”
Each approach involves theoretical compromises, with no clear consensus on the correct solution.
Presentism and Temporal Ontology
The episode shifts to broader questions about existence beyond language, including whether existence is purely linguistic or has deeper metaphysical meaning.
Presentism is introduced as a view where only the present moment exists, contrasting with the block universe view where past and future equally exist.
Future episodes will explore Heidegger’s view of existence, Leibniz’s question about why there’s something rather than nothing, and van Inwagen’s skepticism about existence being a single unified concept.
