归纳逻辑及其应用研究报告68页.docVIP

内容提要：我们建立若干逻辑分别刻画下列概念：溯因条件句、通过活动来否定、普遍活动可能性、知道活动弱优越关系、知道一个主体、相信一个主体、知道一个个体、通过活动知道命题、动态认知过程、活动后果。 关键词：溯因条件句、通过活动来否定；普遍活动可能性；知道活动弱优越关系；知道一个主体；相信一个主体；知道一个个体；通过活动知道命题；动态认知过程；活动后果 中图分类号：B81 文献标识码：A 一、溯因条件句 为了简单，本节只考虑单主体的情况。以后我们另行撰文把这里结果推广到多主体逻辑。 溯因条件句的最基本的想法是由结果溯求原因：某主体已知结果E，再加上他与之相关的认知内容（与之相关的知识背景和其他东西），断定C是E的原因。由果溯因是人们常识思维与科学研究中的一种重要的认知活动。夸张一点说，我们每天都要频繁进行由果溯因的认知活动。 1.形式系统及其证明论 1.1.1定义　令At＝(p1,…, pn,…(是可数个原子公式的集合。我们总用p表示At中元素。 在经典句子语言中引入3个一元认知模态算子P，R，F。本节我们总用A, B, C和E（加或不加下标）表示公式，其形成规则为：p((A((A(B)(PA(RA(FA。 所有公式的集合记为Form。另外引入缩写定义 (E (C)＝df PE(R(C(E)(F(C(E)，　其中E和C不含 (。┤ 说明：PA的直观意义是：主体认为A是他现在感