条件句逻辑完全性问题探微初步  

A Preliminary Study on the Completeness of Conditional Logic

作　　者：张立英[1] 

机构地区：[1]中央财经大学文化与传媒学院,北京100081

出　　处：《湖南科技大学学报（社会科学版）》2007年第4期35-40,共6页Journal of Hunan University of Science and Technology(Social Science Edition)

基　　金：教育部哲学社会科学研究重大课题攻关项目资助(04JZD0006)

摘　　要：直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。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 W° = W ＋ RCEA, and proves the frame completeness of W°. 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.

关 键 词：BCS-框架 典范结构 Г-典范框架 Г-典范模型 

分 类 号：B81[哲学宗教—逻辑学]