THE 研究报告2005 修改稿GUIDE DOWNLOAD.pdfVIP

Http:///journal.htm 逻辑与认知 Vol.3, No.4, 2005 研究报告 2005* （修改稿） 李小五 (中山大学逻辑与认知研究所，中山大学哲学系，广东 广州 510275) 内容提要：我们建立若干逻辑分别刻画下列概念：溯因条件句、通过活动来否定、普遍活动可能性、知道 活动弱优越关系、知道一个主体、相信一个主体、知道一个个体、通过活动知道命题、动态认知过程、活 动后果。 关键词：溯因条件句、通过活动来否定；普遍活动可能性；知道活动弱优越关系；知道一个主体；相信一 个主体；知道一个个体；通过活动知道命题；动态认知过程；活动后果 中图分类号：B81 文献标识码：A 一、溯因条件句(aduction conditional) 为了简单，本节只考虑单主体的情况。以后我们另行撰文把这里结果推广到多主体逻辑。 溯因条件句的最基本的想法是由结果溯求原因：某主体已知结果 E ，再加上他与之相关 的认知内容（与之相关的知识背景和其他东西），断定 C 是 E 的原因。由果溯因是人们常识 思维与科学研究中的一种重要的认知活动。夸张一点说，我们每天都要频繁进行由果溯因的 认知活动。 1.形式系统及其证明论 1.1.1 定义 令 At ＝{p 1,…, pn,…}是可数个原子公式的集合。我们总用 p 表示 At 中元素。 在经典句子语言中引入 3 个一元认知模态算子 P，R，F。本节我们总用A, B, C 和 E （加 或不加下标）表示公式，其形成规则为：p ⏐¬A ⏐(A∧B) ⏐PA ⏐RA ⏐FA 。 所有公式的集合记为 Form 。另外引入缩写定义 (E aC) ＝ PE∧R(C→E)∧F(C→E) ， 其中E 和 C 不含 a。┤ df 说明：PA 的直观意义是：主体认为 A 是他现在感知到的命题。这样的A 类似我们所谓 的感性认识（perception （感知）, learning （获悉）, awareness （觉察）），即A 是表述主体现 实感受到的东西的命题。 RA 的直观意义是：主体认为 A 是过去一直对他呈现规律性的命题。这样的 A 类似我们 所谓的理性认识。 FA 的直观意义是：主体相信 A 是将来对他呈现规律性的命题。这样的 A 类似所谓的信 念（faith ），即A 是表述主体相信将来总出现的东西的命题。这种相信是一种预期性的信念。 这样，PE 表示主体关于结果 E 的现实认知，而 R(C→E)∧F(C→E)表示主体关于相关 E 的知识背景和其他东西。 根据 E aC 的缩写定义，我们认为E aC 描述了下列直观意义： 主体由结果 E 回溯断定 C 是 E 的原因。 由于上述理由，我们称形如E aC 的公式为由果溯因的条件句，简称为溯因条件句。 收稿日期：2005-9-10 基金项目：本文得到教育部哲学社会科学研究重大课题攻关项目 (04JZD0006) 资助和教育部基地重大项目 《归纳逻辑及其应用》（项目编号05JJD720.40001）资助。 作者简介：李小五(1955-)，男，河北人，中山大学教授，博导，北京书生公司书生研究中心客座研究员。 1 研究报告 2005 （修改稿） 举例：今晨我醒来，看到窗外操场是湿的，于是我溯因断定昨夜下了不小的雨（虽然昨 夜我不知道此事），因为以前我每次发现下了不小的雨后操场是湿的，而且我相信将来每次 下了不小的雨后操场是湿的。 通过这样的溯因推断，我认为我得到已知结果的原因。显然，这样的溯因推断是主观的， 即在认知层次上进行。因为今晨操场湿这一结果很可能由其他原因造成。在我们看来，主体 溯求得到的东西不见得是造成结果的客观原因（若有的话），尽管他自己认为如此。 我们注意到，不像一般的嵌套因果条件句，