動的意味論

動的意味論

動的意味論は、論理学や自然言語意味論の一分野であり、文の意味を単にその文が真となる条件としてではなく、文脈を変化させる能力として捉える理論です。従来の静的意味論が文の真理条件に注目していたのに対し、動的意味論では、文が伝える情報が受け手の情報状態にどのように変化をもたらすのかに着目します。つまり、文の意味はその文が生じる文脈に依存して変わるという概念です。

この理論において、文は文脈を受け取り、新たな文脈を生成する関数として機能します。この関数は「文脈変化力（context change potentials）」と呼ばれます。動的意味論は1981年にイレーネ・ハイムとハンス・カンプによって提案され、その後、照応の問題や前提、複数形、疑問文、談話関係、様相といった様々な言語現象に適用されてきました。

照応の動態性

動的意味論の初期の体系はファイル変化意味論や談話表示理論と関連があり、これらもハイムとカンプによって独立に構築されました。これらの体系は特に「ロバ照応」と呼ばれる現象のモデル化を目的としています。ロバ照応とは、特に不定名詞句とそれに対応する代名詞の関係が論理学において難解であるという問題です。例として、以下のロバ文が挙げられます。

• - 「Every farmer who owns a donkey beats it.」
• - 「If a farmer owns a donkey, he beats it.」

このような文を一階述語論理で表現するためには、通常は不定名詞句「あのロバ」が代名詞「それ」に対応する変数を持つ全称量化子に変換される必要があります。しかし、ロバ文においては、通常の文脈とは異なる不定名詞の扱いが要求されます。

ハイムとカンプは、こうした特殊性を説明するために、新たな談話指示対象を導入する形式体系を提案しました。これはエグリの定理やその補題に基づいています。

更新意味論

更新意味論は、フランク・ヴェルトマンによって発展させられた動的意味論の一形態です。この枠組みでは、各式が談話文脈を入力として受け取り、その文脈を更新して返すと考えます。これにより、ある文脈が特定の文で更新され、新たな文脈が生じます。更新意味論のシステムは多様であり、文脈の定義や意味の取り扱いにおいて異なるアプローチがあります。

最も基本的な更新の形式は共通部分的な更新で、入力文脈から与えられた情報に基づいて命題の共通部分を取るという考え方です。ロバート・スタルネイカーは1978年にこの考えを提案し、文脈を可能世界の集合として定義しました。会話の共通認識に基づくこのモデルは、例えば「C = {w, v, u}」とすることで共有される情報を示せます。

様相に対する検査意味論

更新意味論は、静的な意味論よりも一般化されており、非共通部分的な意味を含む理論には非共通部分的な意味の提供も可能です。これは、ある文が文脈によって異なる情報を伝える場合において有用です。特に、認識的矛盾の概念により、更新意味論は非共通部分的な意味を持たせることができます。こうした観点から、様相に対する検査意味論が広く受け入れられるようになりました。

この理論では、入力文脈が特定の条件を満たす場合のみ、文脈の変更が許可されます。そうしない場合、文脈は空集合となり、情報が明示化されることを防ぎます。このように、動的意味論は複数の言語現象に広範に適用され、従来の意味論を超えた新しい理解を提供しています。

もう一度検索