# Quantifier shift

Jump to navigation Jump to search

A quantifier shift is a logical fallacy in which the quantifiers of a statement are erroneously transposed. The change in the logical nature of the statement may not be obvious when it is stated in a natural language like English.

## Definition

The fallacious 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 \forall x\,\exists y\,Rxy\vdash \exists y\,\forall x\,Rxy}$

However, an inverse switching:

${\displaystyle \exists y\,\forall x\,Rxy\vdash \forall x\,\exists y\,Rxy}$

is logically valid.

## Examples

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

∀x∃y(Px → (Wy & M(yx))) therefore ∃y∀x(Px → (Wy & M(yx)))

It is fallacious to conclude that there is one woman who is the mother of all 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 is some woman who is any given person's mother.

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

∀x∃y Bxy therefore ∃y∀x Bxy

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

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

3. Every natural 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 {\widetilde {m}}}$ that is a successor to all natural numbers.

∀n∃m Snm therefore ∃m̃∀n Snm̃

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

## References

• 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 to Logic, Harry J. Gensler, p. 220
• Antony G. Flew, Dictionary of Philosophy: Revised Second Edition
• Harry J. Gensler, Historical Dictionary of Logic
The text passage describes a logical fallacy known as "quantifier shift" and provides examples to illustrate the fallacy. It does not contain any mathematical questions or calculations.
no_question
Given a text passage, determine:
    1. If it contains a mathematical question (including word problems or calculations)
    2. If an answer to that mathematical question is provided in the text

First, describe the content structure you found in 1-2 sentences.

Then provide your analysis in the following format:
TYPE: <one of the following values>
- NO_QUESTION
- SINGLE_QUESTION
- SINGLE_QUESTION_WITH_ANSWER
- MULTIPLE_QUESTIONS
- MULTIPLE_QUESTIONS_WITH_ANSWERS
system
# Quantifier shift

Jump to navigation Jump to search

A quantifier shift is a logical fallacy in which the quantifiers of a statement are erroneously transposed. The change in the logical nature of the statement may not be obvious when it is stated in a natural language like English.

## Definition

The fallacious 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 \forall x\,\exists y\,Rxy\vdash \exists y\,\forall x\,Rxy}$

However, an inverse switching:

${\displaystyle \exists y\,\forall x\,Rxy\vdash \forall x\,\exists y\,Rxy}$

is logically valid.

## Examples

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

∀x∃y(Px → (Wy & M(yx))) therefore ∃y∀x(Px → (Wy & M(yx)))

It is fallacious to conclude that there is one woman who is the mother of all 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 is some woman who is any given person's mother.

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

∀x∃y Bxy therefore ∃y∀x Bxy

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

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

3. Every natural 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 {\widetilde {m}}}$ that is a successor to all natural numbers.

∀n∃m Snm therefore ∃m̃∀n Snm̃

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

## References

• 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 to Logic, Harry J. Gensler, p. 220
• Antony G. Flew, Dictionary of Philosophy: Revised Second Edition
• Harry J. Gensler, Historical Dictionary of Logic
user
The text passage describes a logical fallacy known as "quantifier shift" and provides examples to illustrate the fallacy. It does not contain any mathematical questions or calculations.

TYPE: NO_QUESTION