双主体认知逻辑研究.pdfVIP

2003年第 1期 双主体认知逻辑研究 许 涤 非 (北京尢擘 哲肇系．北京 ioo871) 摘要： 本文介绍了双主体认知逻辑的语义学，给出了双主体认知逻辑的若干系统．这些系统刻两了寻找交流对象和 学习对象的条件．而且证明了这些系统的可靠性和其中一些系统的完全性 · 关键词： 模拟：封闭框架类：有效性：典范模型 中图分类号：B813 文献标识码：A ’ 认知逻辑研究的是认知语句的逻辑结构．在双主体认 (3)对于XEW有 知逻辑中，认知语句用命题前加认知算子来表示．双主体 xEV(B-a)当且仅兰 任给 yEw，若 xRIy·则 yeV(a)， 认知逻辑有两个认知主体 a和b，基本语句是 “主体 a认知 xeV(Bba)当且仅当 任给 yEw，若 xP．by，则 yEV(a)． 命题a 和 “主体b认知命题a”分别衰示为 B拥 Bba．公 对于 0有 式、公式的代入、公式的置换定义如常．全体公式的集合 xEV(Baa)当且仅当 任给 yEUj，都有 yEV(a)． 记为Form．对公式使用归纳定义和归纳证明时使用 和_+． xGV(Bba)当且仅当 任给 yEUb，都有 yEV(a)． 双主体认知逻辑 中，认知对象除客观命题、 自己的主 v(a)称为a在 v下的值．M 一K．V称为模型． 观命题，还可 以是他人的主观命题 ．本文所研究的若干逻 赋值 v 由赋值在全体命题上的值所确定，所 以构造一 辑系统刻画的认知对象是对方对 自己认知性质韵认知 以及 个赋值只需对每个命题变项p，构造 V(P)就行了． 对方对他们认知关系的认知． 1-3定义 有效 K=o， U|，Ub，R|，Rb是框架． (1)v是K上赋值，M = V是模型．M 产a 当且 1 双主体认知逻辑 的语义 仅 当 oEV(a)． (2)K产a当且仅当 任给 K上赋值V，都有 ‘ 双主体认知逻辑的语义是可能世界的语义．但是这种 V产a· 语义与标准的可能世界语义有两方面不同：(1)区分了现实 (3)r是框架类．r户a 当且仅 当 任给KEr，都有 世界与可能认知世界，现实世界不是可能认知世界．在这 K }a · 种语义中有两种不同的通达关系．·种是认知可能世界间 标准可能世界语义学中的一些重要结果在双主体认知 的关系，另一种是现实世界与可能世界问的关系．和现实 逻辑的语义学中还是成立的． 世界有关系的认知可能世界是主体通过认知而认识到的世 1．4定理 K是框架 ． 界，可以称为主体所认识的世界．形式上它是认知可能世 (1)若a是重言式的代入，则K产a． 界的一个子集，在处理上，我们直接使用这个子集．(2)有 (2)K 卜B丑(a·÷D)— B-a·÷B-p)一 效性的定义不 同 标 准的可能世界语义的模型有效性需要 K产Bb(a-~ 卜 Bba--d,Bb~3)． 在所有可能世界上郝真，而认知逻辑语义的模型有效性只 (3)若K 卜a且 K 卜¨ p，-则K 卜p． 需要在现实世界上真就可以了． 但是标准可能世界语义学中的有些重要结果在认知逻 1：l定义、框榘 K一匈 U-、UbR Rb称为框 辑的语义学中是不成立的． 架 ，．若 w。 是非空集合，．U ． 都是 ．w 的子集，RlI，．Rb都‘