Existential fallacy

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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.

One example would be: "Every unicorn definitely 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.

Overview[edit]

An existential fallacy is committed in a medieval categorical syllogism because it has two universal premises and a particular conclusion with no assumption that at least one member of the class exists, an assumption which is not established by the premises.

In modern logic, the presupposition that a class has members is seen as unacceptable. In 1905, Bertrand Russell wrote an essay entitled "The Existential Import of Proposition", in which he called this Boolean approach "Peano's interpretation".

The fallacy does not occur in enthymemes, where hidden premises required to make the syllogism valid assume the existence of at least one member of the class.[citation needed]

Examples[edit]

In the following syllogism, it is incorrectly concluded that dinosaurs exist.[1]

  • All dinosaurs are reptiles
  • All reptiles lay eggs
  • Some dinosaurs lay eggs

See also[edit]

References[edit]

External links[edit]

This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.