Aquantifier shift is alogical fallacy in which thequantifiers of a statement are erroneously transposed during therewriting process. The change in the logical nature of the statement may not be obvious when it is stated in anatural language likeEnglish.

Thefallacious deduction is that:For every A, there is a B, such that C. Therefore, there is a B, such that for every A, C.

${\displaystyle \mathrm{\forall }x\mathrm{\exists }yRxy⊢\mathrm{\exists }y\mathrm{\forall }xRxy}$

However, an inverse switching:

${\displaystyle \mathrm{\exists }y\mathrm{\forall }xRxy⊢\mathrm{\forall }x\mathrm{\exists }yRxy}$

is logically valid.

1. Every person has a woman that is their mother. Therefore, there is a woman that is the mother of every person.

${\displaystyle \mathrm{\forall }x\mathrm{\exists }y(Px\to (Wy\wedge M(yx)))⊢\mathrm{\exists }y\mathrm{\forall }x(Px\to (Wy\wedge M(yx)))}$

It is fallacious to conclude that there isone woman who is the mother ofall people.

However, if the major premise ("every person has a woman that is their mother") is assumed to be true, then it is valid to conclude that there issome woman who isany given person's mother.

2. Everybody has something to believe in. Therefore, there is something that everybody believes in.

${\displaystyle \mathrm{\forall }x\mathrm{\exists }yBxy⊢\mathrm{\exists }y\mathrm{\forall }xBxy}$

It is fallacious to conclude that there issome particular concept to which everyone subscribes.

It is valid to conclude that each person believesa given concept. But it is entirely possible that each person believes in a unique concept.

3. Everynatural number${\displaystyle n}$ has a successor${\displaystyle m=n+1}$, the smallest of all natural numbers that are greater than${\displaystyle n}$. Therefore, there is a natural number${\displaystyle m}$ that is a successor to all natural numbers.

${\displaystyle \mathrm{\forall }n\mathrm{\exists }mSnm⊢\mathrm{\exists }m\mathrm{\forall }nSnm}$

It is fallacious to conclude that there is a single natural number that is the successor of every natural number.

• Robert Audi (General Editor),The Cambridge Dictionary of Philosophy (Second Edition), 1999, pp. 272–3.
• A. R. Lacey, Dictionary of Philosophy (Third Revised Edition) (Barnes & Noble, 1996).
• Introduction toLogic, Harry J. Gensler, p. 220
• Antony G. Flew, Dictionary of Philosophy: Revised Second Edition
• Harry J. Gensler, Historical Dictionary of Logic

• Quantificational fallacies

• Articles with short description
• Short description matches Wikidata