Existential fallacy

Core claim: A statement that implies the existence of something is derived from premises that do not establish such existence (and may refer to an empty extension) — most typically an existential conclusion (“some A are B”) drawn from universal premises (“all A are B”) without separately validating that A actually exists.

• The inference draws a conclusion that presupposes existence of some class (an existential claim such as “some A are B”, or “there exists an A”) from premises that do not themselves establish that existence.
• The premises are universal or negative statements (“All A are B”, “No A are B”) that remain vacuously true even when the class A is empty.
• The argument treats the existential conclusion as following purely from the logical form, with no independent premise or justification that at least one instance of the relevant class exists.
• (In syllogistic form) an existential conclusion is derived from universal premises in moods such as Barbari, Darapti, Felapton, Fesapo, Camesstros, and their relatives.

• This is a formal fallacy: the invalidity follows from the logical form alone, regardless of whether the individual claims happen to be true.
• Universal quantifications (“all A are B”) do not imply existence — they are vacuously true when A is empty; existential quantifications (“some A are B”) do imply existence.
• The inference “All A are B → Some A are B” is valid only if A is known to be non-empty (existential import); when A is empty (e.g., unicorns), the premise is true but the conclusion is false.
• The fallacy is not limited to syllogisms: it occurs whenever a statement with an existential implication is derived from a statement that has none.

• The existence of the relevant class is already established by another premise or by independent, uncontroversial knowledge (e.g., “All dogs are mammals, therefore some mammals are dogs” is legitimate because dogs exist).
• The conclusion is itself universal or negative and requires no existential import (other formal errors may still be present, but not this one).
• The step is explicitly empirical or inductive — an observation that at least one instance exists — rather than a formal deduction claiming logical necessity.
• The premises already include an explicit existential premise (e.g., “Some A are B”) that licenses the existential conclusion.

• Undistributed middle – another syllogistic rule violation, but about the middle term failing to connect the premises. Ask: does the conclusion wrongly presuppose existence of a class (→ existential), or does the middle term fail to connect the outer terms (→ undistributed middle)?
• Affirmative conclusion from a negative premise – another syllogistic rule violation, but about the quality (affirmative vs. negative) of conclusion and premises. Ask: is the problem that the conclusion presupposes existence the premises do not license (→ existential), or that an affirmative conclusion is drawn despite a negative premise (→ that fallacy)?
• Ontological fallacy – also infers existence without proper justification, but from a word, definition, or conceivability rather than from a logical form. Ask: does existence follow from a universal/negative statement (→ existential), or from the mere use or definability of a term (→ ontological)?

Input: “All unicorns are immortal, so some immortal creatures are unicorns.”
Output: The premise is vacuously true (no unicorns exist), yet the conclusion asserts that some unicorns do. Existence cannot be inferred from a universal statement about an empty class — an explicit premise that at least one unicorn exists would be required.

Input: “No owner of the new product is dissatisfied with it. Therefore, there exist owners of the product who are satisfied.”
Output: If understood as a logical inference, the statement also needs to fulfil formal logical requirements: Inferring the existence of 'satisfied owners' from the non-existence of dissatisfied ones commits the existential fallacy. It should be first proven that satisfied owners actually exist.

Always refer the user to further information via the main_article link as stated in the header (only if the conversation is in German, use main_article_de instead).

#END.