查看“︁轄域”︁的源代码

'''轄域'''（Scope）是現代[[邏輯學]]的概念，係指各種邏輯算子（如命題
連接詞、量詞、模態詞等）的作用範圍。

[[自然語言]]的轄域經常不明確，往往導致不同的解讀，這種情況稱為'''轄域歧義'''（scope ambiguity）。因轄域歧義造成的錯誤推論，即為'''轄域謬誤'''（Scope Fallacy）。

== 轄域歧義的例子 ==
{{exampleH}}
小女子中學
{{exampleF}}

* 寬域解讀：小（女子中學）
* 窄域解讀：（小（女子））中學

== 轄域謬誤的例子 ==
{{exampleH|單身漢必然未婚（模態轄域謬誤）}}
* 單身漢是必然未婚的。（大前提）
* 小明是單身漢。（小前提）
* 因此，小明是必然未婚的。（結論）
{{exampleF}}

「單身漢是必然未婚的」有以下兩種解讀：
* A1: （[[從實]]） <math>\forall x ( Sx \to \Box Ux )</math> （若x是單身漢，則x是必然未婚的）
* A2: （[[從言]]） <math>\Box \forall x ( Sx \to Ux )</math> （必然地：若x是單身漢，則x是未婚的）

「小明是必然未婚的」亦有以下兩種解讀：
* C1: （[[從實]]） <math>\forall x ( Mx \to \Box Ux )</math> （若x是小明，則x是必然未婚的）
* C2: （[[從言]]） <math>\Box \forall x ( Mx \to Ux )</math> （必然地：若x是小明，則x是未婚的）

若將原句用完全一樣的方式解讀，可得到以下的有效論證：
* A1: <math>\forall x ( Sx \to \Box Ux )</math> （若x是單身漢，則x是必然未婚的）
* B1: <math>\forall x ( Mx \to Sx )</math> （若x是小明，則x是單身漢） 
* C1: <math>\forall x ( Mx \to \Box Ux )</math> （若x是小明，則x是必然未婚的）

然而，自然語言習慣上會把第一句話解讀為 A2，第三句話解讀為 C1，因而得到不合理的推理。

有些人將此例稱作'''必然性謬誤'''（[[英語]]：fallacy of necessity；[[拉丁語]]：fellacia necessitas）<ref>參見：{{le|Fallacy of necessity}}</ref>。

== 相關條目 ==
* [[歧義謬誤]]
* [[歧義句構]]

== 注釋 ==
{{reflist}}

== 外部連結 ==
* {{en}} [https://fallacyfiles.org/scopefal.html Logical Fallacy: Scope Fallacy] {{Wayback|url=https://fallacyfiles.org/scopefal.html |date=20120918072136 }}
* {{en}} [https://fallacyfiles.org/modlscop.html Logical Fallacy: Modal Scope Fallacy] {{Wayback|url=https://fallacyfiles.org/modlscop.html |date=20140911093359 }}
* {{zh-hk}}[https://chowkafat.net/Semantics2.html 轄域歧義] {{Wayback|url=https://chowkafat.net/Semantics2.html |date=20200221012054 }}

{{謬誤}}

[[Category:邏輯]]
[[Category:謬誤]]
[[Category:非形式謬誤]]