| 条件句逻辑完全性问题探微初步 |
| |
| 引用本文： | 张立英.条件句逻辑完全性问题探微初步[J].湖南科技大学学报(社会科学版),2007,10(4):35-40. |
| |
| 作者姓名： | 张立英 |
| |
| 作者单位： | 中央财经大学,文化与传媒学院,北京,100081 |
| |
| 基金项目： | 教育部哲学社会科学研究重大课题 |
| |
| 摘 要： | 直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。
|
| 关 键 词： | BCS-框架 典范结构 Γ-典范框架 Γ-典范模型 |
| 文章编号： | 1672-7835(2007)04-0035-06 |
| 修稿时间： | 2007年4月28日 |
A Preliminary Study on the Completeness of Conditional Logic |
| |
| ZHANG Li-ying.A Preliminary Study on the Completeness of Conditional Logic[J].journal of hunan university of science&technology,2007,10(4):35-40. |
| |
| Authors: | ZHANG Li-ying |
| |
| Abstract: | It is common that defining model directly but not defining frame in the study of conditional logic.Based on the logic system W given by Donald Nute in Topics in Conditional Logic,this paper introduces a logic Wo=W RCEA,and proves the frame completeness of Wo.It also discusses the RCEA's influence on the completeness of conditional logic and points out it is not accidental that defining model directly but not defining frame for the conditional logics without RCEA.Their frame completeness of the logic systems with RCEA can be further discussed. |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
