歧義

6. 各種算子的轄域歧義

以上討論的內容都只局限於量詞之間的「轄域歧義」，在本節筆者將把討論範圍擴展為量詞與各種邏輯算子之間的「轄域歧義」。由於各種算子在自然語言中表現為多種多樣的詞類：副詞、形容詞、連詞、助動詞、動詞等，這些詞項在句中的位置變化繁多，本節不再區分「正向」、「逆向」、「分枝」等轄域結構，而只說明在量詞與邏輯算子中何者取「寬域」、何者取「窄域」。

4. 概括量化
4.1 基本定義

當代的廣義量詞理論研究了多種特殊的量化關係，除了上一節介紹的「分枝量化」外，「概括量化」(Resumptive Quantification)是另一種重要的量化關係，有關「概括量化」的形式化定義請參閱拙文《廣義量詞系列：非迭代多式量詞》。「概括量詞」其實只是普通量詞的變體，兩者的區別在於，普通量詞表達普通集合之間的關係，而「概括量詞」則表達由「有序n元組」(Ordered n-tuple)組成的集合(以下稱為「n元集合」)之間的關係。以下用一個例子來說明「概括量化」，請看以下句子：

3. 分枝量化
3.1 齊備三種解讀的量化句

在傳統的謂詞邏輯下，量詞的「邏輯依存」關係取決於它們在表達式中所處的位置，「存在量詞」的變項依存於其左面的所有「全稱量詞」的變項。舉例說，在以下的表達式中，

1. 引言

人類的語言充滿各種歧義，有些歧義來自詞匯本身(一詞多義或各種同形異義詞)，例如英語的"bank"既可以解作「銀行」，又可以解作「河岸」；有些則是由句子的結構引起。在各種「結構歧義」中，有些與句法結構有關，只要具備一些語法知識便能指出歧義的所在，例如英語句子"Flying planes can be dangerous"中"flying"與"planes"的關係既可理解為「動賓關係」(即把該句解作「駕駛飛機可以是危險的」)，又可理解為「偏正關係」(即把該句解作「飛行中的飛機可以是危險的」)；有些則來自句子的邏輯／語義結構，特別是「轄域結構」，這類歧義較難察覺和理解，但卻是當代語言學的重要課題之一，而且還涉及有趣的邏輯推理。本文的主旨是介紹與「轄域歧義」(Scope Ambiguity)相關的各種問題。