直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。
DRT is a very important theory in natural language logic after Montague Grammar. It was proposed by Dutch logician Hans Kamp in early 1980s. In the West, DRT not only received attention by logician and the linguists, but also attracted more artificial intelligent study and psychologist’s interest. Why are so many scholars interested in DRT? What is the background of DRT? Which problems have been solved by DRT? This paper tries to answer these above questions.
