Quantifier Shift¶
An invalid inference from a possibly different witness for each case to one fixed witness for every case, without a premise licensing the stronger quantifier scope.
Core Idea¶
Quantifier shift is the invalid inference from “for each \(x\) there is some \(y\) related to it” to “one particular \(y\) is related to every \(x\),” without an added premise establishing that common witness. The premise \(\forall x\exists y\,R(x,y)\) permits \(y\) to vary with \(x\); the proposed conclusion \(\exists y\forall x\,R(x,y)\) does not. The fallacy is the unsupported move, not merely an ambiguous sentence or a pair of formulas.[^ref-7626f4909fc1]
Scope of Application¶
In the textbook's countermodel, everyone loves someone but no one person is loved by everybody. The same dependency appears in analysis: pointwise continuity permits a tolerance varying by location, whereas uniform continuity asks for one tolerance across the domain for a given error bound. A continuous \(x^2\)-type function on an unbounded domain shows why the stronger result does not follow from pointwise continuity alone. Additional theorems or premises can warrant it in restricted settings.[ref-7626f4909fc1][ref-b53f8b34e27c]
Clarity¶
Write the premise and conclusion over the same domain and relation, then ask who may choose \(y\) and whether it must stay fixed as \(x\) changes. A countermodel with different needed witnesses refutes the supposed entailment. Conversely, the reverse inference from one already-common witness to a witness for each case is valid in ordinary nonempty-domain first-order semantics.[ref-7626f4909fc1][ref-f50607f7d754]
Manages Complexity¶
The dependence test connects everyday assertions, philosophical claims and mathematical definitions without confusing their subject matter. It also guards against overdiagnosis: a compact-domain theorem or explicit common-witness premise may make a uniform conclusion valid even though the bare \(\forall\exists\) premise would not.[ref-7626f4909fc1][ref-b53f8b34e27c]
Abstract Reasoning¶
The recurring structure is case-wise existence promoted to global existence: \(\forall x\exists y\,R(x,y)\not\Rightarrow\exists y\forall x\,R(x,y)\). This is a formal inference defect, not an instance of live Informal Fallacy, which requires a content/context defect. It presupposes the scope operation of live Quantifier but is not itself a quantifier.[ref-7626f4909fc1][ref-f50607f7d754]
Knowledge Transfer¶
Replace people and their beloved persons with domain points and error tolerances: the fillers change, while the witness-dependence question remains. The label is still a specific logic/argumentation diagnosis, not a new prime for all uses of quantification.[ref-7626f4909fc1][ref-b53f8b34e27c]
[^ref-7626f4909fc1]: P. D. Magnus, Tim Button, J. Robert Loftis, Robert Trueman, Aaron Thomas-Bolduc and Richard Zach, forall x: Calgary, “Multiple generality,” §25.3, Fall 2021+ online edition. [^ref-b53f8b34e27c]: Cornell Mathematics, MATH 2210: Supplementary Notes on Week 2, PDF p. 6. [^ref-f50607f7d754]: Magnus et al., forall x: Calgary, “Truth in FOL,” §31.3, quantified truth conditions.
Relationships to Other Abstractions¶
Current abstraction Quantifier Shift Domain-specific
Parents (1) — more general patterns this builds on
-
Quantifier Shift presupposes Quantifier Prime
The invalid shift presupposes quantified claims whose relative scope controls witness dependence.
Hierarchy path (1) — routes to 1 parentless root
- Quantifier Shift → Quantifier → Predicate → Relation
Neighborhood in Abstraction Space¶
Quantifier Shift sits in a moderately populated region (58th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Property Ontology & Code Smells (18 abstractions)
Nearest neighbors
- Existential Quantification — 0.86
- Elementary-embedding large-cardinal schema — 0.85
- Peirce's Law — 0.85
- Intuitionistic Type Theory — 0.85
- Denying the Antecedent — 0.84
Computed from structural-signature embeddings · 2026-10-08