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