更新时间：2022-08-25 14:26
辖域（Scope）是现代逻辑学的概念，系指各种逻辑算子（如命题 连接词、量词、模态词等）的作用范围。
辖域（Scope）是现代逻辑学的概念，系指各种逻辑算子（如命题 连接词、量词、模态词等）的作用范围。
自然语言的辖域经常不明确，往往导致不同的解读，这种情况称为辖域歧义（scope ambiguity）。因辖域歧义造成的错误推论，即为辖域谬误（Scope Fallacy）。
A2: （从言）（必然地：若x是单身汉，则x是未婚的）
“小明是必然未婚的”亦有以下两种解读：
C1: （从实）（若x是小明，则x是必然未婚的）
C2: （从言）（必然地：若x是小明，则x是未婚的）
若将原句用完全一样的方式解读，可得到以下的有效论证：
A1:（若x是单身汉，则x是必然未婚的）
B1: （若x是小明，则x是单身汉）
C1: （若x是小明，则x是必然未婚的）
然而，自然语言习惯上会把第一句话解读为 A2，第三句话解读为 C1，因而得到不合理的推理。
有些人将此例称作必然性谬误（英语：fallacy of necessity；拉丁语：fellacia necessitas）。
歧义谬误是由于语言歧义导致无效推理的现象，是一种言词谬误。
歧义是一个字词或语句可理解为多种意思的现象。
歧义容易造成误解与误会，比如某甲用某语句想表达 A 意思，某乙却理解为 B 意思。
歧义句构（amphibology, amphiboly）或歧义结构系指因歧义的文法结构，导致一个句子能以多种不同方式理解的情形。