动态认知条件句逻辑DEC(修改稿).docVIP

动态认知条件句逻辑DEC2（修改稿） 李小五 (中山大学逻辑与认知研究所，中山大学哲学系，广东 广州 510) 摘要：首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。最后，我们证明DEC2相对这些框架条件也是框架完全的。 关键词：动态认知条件句系统；有序邻域语义；框架可靠性；框架完全性 中国分类号: B81 文献标识码: A 主体的一个动态认知全过程至少有4个要素：认知目的、背景知识、认知活动和认知结果。主体根据它的认知目的和背景知识，通过认知活动，最后达到认知结果。 本文我们用一种4元条件句ABa≥C来描述这个过程。在这样的条件句，A表示主体的认知目的，B表示它的背景知识，a表示它的认知活动，C表示由此产生的认知结果。因此ABa≥C的直观意义是“主体根据它的认知目的A和背景知识B通过认知活动a能得到认知结果C（能认知C）”。所以ABa≥C应该是模态公式。 我们在参考文献［1］已经建立动态认知逻辑DEC1，本文我们提出另一个动态认知逻辑DEC2。较之DEC1，DEC2有一些部分与之相同，也有一些部分不同。 ［顺便指出，我们在［1］的定义3.9（b）的N(a, w)表述有误，应该更正为： N(a, w)＝{|A|, Y, Z：存在ABa≥C(w使得Y(