辖域（Scope）是现代逻辑学的概念，系指各种逻辑算子（如命题 连接词、量词、模态词等）的作用范围。
自然语言的辖域经常不明确，往往导致不同的解读，这种情况称为辖域歧义（scope ambiguity）。因辖域歧义造成的错误推论，即为辖域谬误（Scope Fallacy）。
“单身汉是必然未婚的”有以下两种解读：
（若x是单身汉，则x是必然未婚的）
（必然地：若x是单身汉，则x是未婚的）
“小明是必然未婚的”亦有以下两种解读：
（若x是小明，则x是必然未婚的）
（必然地：若x是小明，则x是未婚的）
若将原句用完全一样的方式解读，可得到以下的有效论证：
（若x是小明，则x是单身汉）
然而，自然语言习惯上会把第一句话解读为 A2，第三句话解读为 C1，因而得到不合理的推理。