動的意味論
動的意味論(どうてきいみろん)は、論理学や自然言語意味論において、「文の意味」というものを「文脈を更新する能力」として扱う枠組みである。静的意味論では、文の意味を知ることはその文がいつ真となるかを知ることであるが、動的意味論では、文の意味を知ることは「その文によって伝達された情報を受け入れた人の情報状態にもたらされる変化」を知ることである。動的システムでは、文は、文脈を受け取って文脈を返す関数へと写像される。この関数は文脈変化力(context change potentials)と呼ばれる。動的意味論は元々、照応をモデル化するために1981年にイレーネ・ハイム(英語版)とハンス・カンプ(英語版)によって開発されたが、その後、前提、複数形、疑問文、談話関係、様相などの現象に広く応用されている。