代替意味論

代替意味論（またはハンブリン意味論）は、形式意味論と論理学における枠組みです。代替意味論では、式は代替集合を表します 。代替集合とは、同じ意味型のオブジェクトの集合として理解されます。例えば、古典的な意味論では「Lena」という単語はLena自身を表すかもしれませんが、代替意味論ではLenaを含む単一集合を表します。この枠組みは、1973年にチャールズ・レナード・ハンブリンによって、モンタギュー文法を拡張して質問の分析を提供する方法として導入されました。この枠組みでは、質問は可能な回答の集合を表します。したがって、${\displaystyle P}$そして${\displaystyle Q}$命題であるならば、${\displaystyle \{P,Q\}}$は、${\displaystyle P}$または${\displaystyle Q}$これは真実である。1970年代以降、焦点、^{[ 1 ]}範囲、選言、^{[ 2 ]} NPIs、^{[ 3 ] [ 4 ]}前提、含意^{[ 5 ] [ 6 ]}などの現象を分析するために拡張および適用されてきた。

• モンタギュー文法― 自然言語意味論へのアプローチ 
• 質問– 情報提供依頼 
• 波線演算子– 言語形式主義 
• 探求的な意味論― 論理学と自然言語意味論における枠組み 
• 自由選択推論– 自然言語における現象