| 一个匹配生成更新语义的条件句系统 |
| |
| 引用本文： | 李小五. 一个匹配生成更新语义的条件句系统[J]. 逻辑学研究, 2009, 0(3): 1-11 |
| |
| 作者姓名： | 李小五 |
| |
| 作者单位： | 中山大学逻辑与认知研究所;中山大学哲学系; |
| |
| 基金项目： | 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）中的一个更新函数代替，因为更新函数能表示动态命题而赋值函数则不能。最后我们证明一个条件句系统相对这样的语义有框架可靠性。
|
| 关 键 词： | 条件句 语义 系统 匹配 值函数 可靠性 命题 |
A Conditional System for Generated Update Semantics |
| |
| Xiaowu Li Institute of Logic , Cognition,Sun Yat-sen University. A Conditional System for Generated Update Semantics[J]. Studies in Logic, 2009, 0(3): 1-11 |
| |
| Authors: | Xiaowu Li Institute of Logic Cognition Sun Yat-sen University |
| |
| Affiliation: | Xiaowu Li Institute of Logic and Cognition,Sun Yat-sen University Department of Philosophy,Sun Yat-sen University |
| |
| Abstract: | By generated update semantics we mean that it is an update semantics generated by standard semantic frames.In this paper,we will present such an update semantics that is generated by selection-class semantic frames for conditional systems,and thus prove the frame soundness of a conditional system for the semantics. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
