The Existential Fallacy: Things That Exist Only in Sentences

Here's a thought experiment. You say: "All dragons breathe fire." I agree — as a matter of definition, fire-breathing is part of what makes a dragon a dragon. You continue: "All dragons have scales." Still true by definition. You conclude: "Therefore, some fire-breathing creatures have scales." And there it is — a perfectly logical deduction about something that doesn't exist. Welcome to the existential fallacy: where logic trips over the gap between definition and reality.

The Empty Set Problem

Classical Aristotelian logic was built on a hidden assumption so obvious no one thought to state it: the categories you're reasoning about actually contain things. When Aristotle wrote about "all men" and "some men," he wasn't worried about the case where there are no men. Of course there are men. He could see them.

But formal logic, as it developed over centuries, eventually had to grapple with what happens when a category is empty — when you're making universal statements about a set with zero members. The existential fallacy occurs when an argument treats a universal statement ("All X are Y") as implying that X actually exists.

The classic example:

1. All unicorns have horns.
2. All unicorns are white.
3. Therefore, some white things have horns. ❌

The conclusion feels like it follows. And in Aristotelian logic, with its traditional assumption of existential import (that universal statements presuppose non-empty categories), it would follow. But in modern predicate logic, where "All X are Y" is interpreted as "For any thing, if it is X, then it is Y" — a statement that's vacuously true if there are no Xs — the conclusion doesn't follow at all. From statements about unicorns, you cannot conclude that any real white horned things exist.

Existential Import: The Technical Heart of the Problem

The technical term for the assumption that a category has members is existential import. A statement has existential import if its truth requires that the subject class be non-empty.

In traditional (Aristotelian) logic:

• "All S are P" implies "Some S are P" — meaning there must be at least one S.
• This makes the logic tidier in many ways and matches everyday reasoning.

In modern Boolean logic (after George Boole's 19th-century reforms, later formalized by Frege and Russell):

• "All S are P" does not imply "Some S are P."
• Universal statements are interpreted as conditional: "For everything, if it's an S, it's a P." If nothing is an S, the statement is vacuously true but tells you nothing about P.
• Particular statements ("Some S are P") do carry existential import — they assert that at least one S exists.

The existential fallacy is what happens when you mix these two systems — when you treat a modern, empty-set-friendly universal statement as if it had old-fashioned Aristotelian existential import.

Vacuous Truth: Logic's Party Trick

Modern logic allows for something called vacuous truth — statements that are technically true because their subject class is empty, even though they sound absurd. "All unicorns are accountants" is vacuously true. So is "All unicorns are anarchists." Both can be true simultaneously, which tells you immediately that you're not saying anything meaningful about the real world.

This isn't just a theoretical quirk. It matters whenever we reason about idealized objects, hypothetical scenarios, or categories we assume to exist. If someone tells you "All perfectly rational actors would accept this deal," they're making a universal claim about a category — perfectly rational actors — that may well be empty. The statement might be vacuously true and completely useless as a guide to real behavior.

Economists, take note.

Real-World Examples of the Existential Fallacy

Philosophy of religion: Some versions of the ontological argument for God's existence — famously formulated by Anselm of Canterbury in the 11th century — have been criticized as instances of the existential fallacy. The argument defines God as "that than which nothing greater can be conceived" and then infers that such a being must exist because existence is a property of greatness. Critics (including Kant, famously) objected that existence cannot simply be read off from a definition. You can define a perfect island without conjuring one into being. Defining something perfectly doesn't make it real.

Economics and game theory: "All rational agents prefer more money to less. Some agents in this market are rational. Therefore some agents prefer more money to less." This seems fine until you question whether "rational agents" in the strict economic sense actually populate your market, rather than actual humans who are inconsistent, emotional, and prone to spite.

Idealized categories in science: "All ideal gases follow the ideal gas law. Some gases in this container are ideal gases. Therefore some gases in this container follow the ideal gas law." The problem: ideal gases don't exist. The "ideal gas" is a theoretical abstraction. Applying conclusions drawn from empty idealized categories to real-world gases requires extra justification — not just logical derivation.

Political philosophy: "All truly free societies have no censorship. Some societies are truly free. Therefore some societies have no censorship." This slips from a definitional claim about an idealized category to a factual claim about the world — without establishing that any "truly free societies" actually exist.

The Ontological Argument in Detail

The ontological argument is perhaps the most famous case where the existential fallacy is philosophically contested. Anselm's argument runs roughly:

1. God is defined as the greatest conceivable being.
2. A being that exists in reality is greater than one that exists only in the mind.
3. Therefore, God must exist in reality.

Kant's devastating objection in the Critique of Pure Reason (1781) is precisely about existential import: existence is not a predicate. You cannot add "exists" to a list of properties and thereby guarantee that something has those properties in reality. The definition, however magnificent, doesn't do the ontological work.

Bertrand Russell later clarified this with predicate logic: "There exists an x such that x is God" is a separate claim from "God has properties A, B, and C." Definitions don't entail existence statements.

Aristotelian vs. Boolean Logic: A Practical Tradeoff

It's worth noting that both logical systems are internally consistent. The question is which better models the kind of reasoning we're doing.

Aristotelian logic with existential import works well for practical reasoning about real-world categories that we know to be non-empty. If you're arguing about mammals or elections or software bugs, you can assume your categories have members.

Boolean logic without existential import is more rigorous when you're reasoning about hypothetical categories, mathematical objects, or domains where emptiness is a live possibility.

The fallacy arises specifically when you apply Aristotelian-style existential import to potentially empty categories without acknowledging the assumption. That's the sleight of hand at the heart of many philosophical, economic, and rhetorical mistakes.

How to Spot It

Watch for arguments that:

• Start with "All X are Y" about an idealized or hypothetical category
• Move to a conclusion that asserts something actually exists in the real world
• Never stop to ask: "But are there actually any Xs?"

The diagnostic question is simple: Is the subject category guaranteed to be non-empty? If you can't answer yes with confidence, any particular conclusion ("some X...") is at risk of the existential fallacy.

See also: Argument from Definition (where definitional truths are mistaken for empirical ones) and Appeal to Nature (where idealized natural categories are assumed to have clean real-world referents).

References

• Aristotle. Prior Analytics. (Original formulation of syllogistic logic, c. 350 BCE.)
• Boole, G. (1854). An Investigation of the Laws of Thought. Walton and Maberly.
• Kant, I. (1781). Critique of Pure Reason. "The Impossibility of an Ontological Proof of the Existence of God." A592/B620–A602/B630.
• Russell, B. (1905). "On Denoting." Mind, 14(56), 479–493.
• Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.), pp. 243–248. Cengage Learning.
• Oppy, G. (2023). "Ontological Arguments." In Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/ontological-arguments/