一个匹配生成更新语义的条件句系统

• 作 者: 李小五
• 机 构: 中山大学逻辑与认知研究所,中山大学哲学系
• 出 处: 逻辑学研究
• 发表日期: 2009年3期
• 关键词: 条件句 语义 系统 匹配 值函数 可靠性 命题
• 基金项目: This paper is sponsored by National Social Science Fund （08BZX050）： Studies in Update Semantics and Dynamic Epistemic Logic.

条件句系统通常用择类语义来刻画，此语义对条件句逻辑来说是标准的。一个择类模型可以用一个三元组（W，f，V）来表示，其中W≠Φ，f是从P（W）×W到P（W）中的择类函数，且V是从一命题变元集PV到P（W）中的赋值函数。本文我们提出一个更新语义，它保留择类框架，但V被从PV到P（W）^P（W）中的一个更新函数代替，因为更新函数能表示动态命题而赋值函数则不能。最后我们证明一个条件句系统相对这样的语义有框架可靠性。