Editing Existential fallacy (section)

{{short description|Type of formal fallacy}}
{{More footnotes|date=November 2010}}
The '''existential fallacy''', or '''[[existential instantiation]]''', is a [[formal fallacy]].  In the existential fallacy, one presupposes that a class has members when one is not supposed to do so; i.e., when one should not assume [[existential import]]. Not to be confused with the '[[Affirming the consequent]]', as in "If A, then B. B. Therefore A".

One example would be: "''Every unicorn has a horn on its forehead''". It does not imply that there are any unicorns at all in the world, and thus it cannot be assumed that, if the statement were true, somewhere there is a unicorn in the world (with a horn on its forehead). The statement, if assumed true, implies only that if there were any unicorns, each would definitely have a horn on its forehead.