Existential Fallacy

77 Existential Fallacy

The existential fallacy occurs when we erroneously suppose that some class or group has members—that is, when we conclude that some individuals of a given kind exist solely on the basis of a universal claim about the whole class. In terms of syllogistic argumentation, this is a formal fallacy: the premises are universal in quantification (using All or None) but the conclusion is particular (using Some). The truth of such premises does not guarantee that an instance of the class actually exists, so the inference fails. For example, the statement “All humans are mortal” is true, and from it we may validly infer “Some humans are mortal.” However, although “All unicorns are one‐horned creatures” is true, it would be false to conclude “Some unicorns are one‐horned creatures” if Some is taken to mean “there exist” unicorns that are one‐horned. The error lies in treating a universal statement as if it carried built‑in assurance that the class is non‑empty.

The fallacy can be seen in the following invalid syllogistic form:

• All A are B.
• All B are C.
• Therefore, some A are C.

Consider these examples:

1. All members of the babysitter club are teenagers. All teenagers have pimples. Therefore, some members of the babysitter club have pimples.

2. All leprechauns are green. All green things are living. Therefore, some leprechauns are living.

The first example may seem plausible because in the real world babysitter clubs typically do have members. Yet the logic itself is unsound; a completely empty babysitter club would make the premises true and the conclusion false. The second example makes the error obvious: leprechauns do not exist, so the conclusion that some leprechauns are living is plainly false. The fallacy demonstrates that universal claims do not automatically have “existential import”—that is, they do not by themselves assert the existence of any member of the class.

In the history of logic, the existential fallacy traces back to the Aristotelian principle dictum de omni, which states that whatever is said universally of a subject is also said of everything contained under that subject. Under Aristotelian logic, it was generally assumed that classes have at least one member, and therefore the inference from a universal to a particular was permissible. This explains why, if one works strictly within that older framework, the pattern is not considered a fallacy—an exception that contrasts with modern logical systems.

Following George Boole, first‑order predicate calculus eliminates the ambiguity by making existential import explicit. Universal statements are translated as conditionals: “All Ps are Qs” becomes “For every x, if x is a P, then x is a Q.” By using for every rather than All or None, the calculus no longer silently assumes that P’s exist. This refinement exposes the existential fallacy clearly: without an additional premise that asserts existence (e.g., “There is at least one P”), one cannot validly deduce a particular claim.

Immanuel Kant’s famous dictum that “existence is not a predicate” highlights a related philosophical dimension. In the Critique of Pure Reason, Kant argued that adding the concept of existence to a thing adds nothing to the thing itself; one cannot ensure the existence of an entity merely by manipulating definitions or meanings. His critique of the ontological argument for God’s existence shows that even a maximally perfect or great conception does not logically entail that the conceived being actually exists. The semantic truths of language do not force objects into the world.

To avoid committing the existential fallacy, look for empirical verification of the existence of whatever entity is in question. In straightforward cases—such as checking whether your car has been stolen—you simply go and look. In more abstract cases, you must ensure that you have a clear and distinct understanding of the concept involved, so that you know what would count as evidence for existence and can properly investigate it. Checking for non‑empty membership before drawing particular conclusions keeps language from inadvertently inventing the things it describes.