Origin and naming
A fallacy of the quantified syllogism: premises that only say every member of a class would have a property are read as proving that some member exists. Medieval logic assumed universal statements carried 'existential import'; Bertrand Russell's 1905 essay 'The Existential Import of Proposition' helped settle the modern, Boolean convention that they do not.
More places it shows up
- 01
All unicorn sightings in the data are fake; therefore some fake sightings are unicorn sightings — the set may simply be empty.
- 02
Every overdue invoice gets a penalty fee; therefore some invoices have penalty fees — says the report whose penalty table has zero rows.
- 03
All prohibited items are confiscated at the gate; so some items were confiscated today — on a day nothing was prohibited from entering.
- 04
All ghost sightings happen at night; therefore some nighttime events are ghost sightings — before establishing a single sighting exists.
How to spot it
- Notice when the conclusion says 'some exist' while every premise only says 'all, if any'.
- Notice when swapping the subject for something plainly fictional — dragons, unicorns — leaves the reasoning untouched.
- Notice when a database query returns zero rows and the argument still proceeds as if it returned some.