動的意味論
Dynamic Semantics, Stanford Encyclopedia of Philosophy
Dynamic Semantics Notes, Daniel Rothschild
Dynamic Semantics and Pragmatic Alternatives, ESSLLI 2017 Course Notes
認識的矛盾原理: φ ∧ ◊ ¬ φ ⊨ ⊥ {\displaystyle \varphi \land \Diamond \neg \varphi \models \bot }
こうした文は、様相論理のクリプキ意味論のような、純粋に共通部分的な枠組みの中では、論理的矛盾として分析することができない。認識的矛盾原理は R w v ⇒ ( w = v ) {\displaystyle Rwv\Rightarrow (w=v)} となるようなクリプキフレームにおいてのみ成り立つ。しかしながら、そうしたフレームでは ◊ φ {\displaystyle \Diamond \varphi } から φ {\displaystyle \varphi } を導く推論も妥当となる。したがって、認識的矛盾の不適切さを様相の古典的意味論の中で説明しようとすれば、「雨が降っているかもしれない」から「雨が降っている」が導かれるという、受け入れがたい帰結を招くことになるのである。更新意味論は、様相の非共通部分的な意味論的値を与えることによってこの問題を回避する。そのような意味論的値が与えられるとき、 ◊ ¬ φ {\displaystyle \Diamond \neg \varphi } は、入力文脈が φ {\displaystyle \varphi } によってもたらされる情報をすでに含んでいるかどうかによって、異なる仕方でその入力文脈を更新することができる。