不定主体的认知谓词逻辑.ppt

《不定主体的认知谓词逻辑.ppt》由会员上传分享，免费在线阅读，更多相关内容在PPT专区-天天文库。

1、不定主体的认知谓词逻辑北京大学哲学系　刘壮虎认知同一原则：所有认知主体都认为相等的主体就是同一个主体。是由现实的个体和“认知同一原则”构造出来的个体，可以称为认知同一的个体，它们的世界可以称为这些认知主体公共的客观世界。这客观世界就是我们建立逻辑的基础，我们建立的逻辑中的相等就是指这个客观世界中的个体同一。现实世界：　　　周树人(a)沈雁冰（b）语言：周树人(a1)、鲁迅(a2)、L.S.(a3)沈雁冰(b1)、茅盾(b2)现实世界：ab——————————————————————a1(a2,a3)、b1(b2){a1(a2)、a3、b1(b2)}{a1

2、(a2,a3)、b1、b2}{a1、a2、a3、b1(b2)}{a1(a2)、a3、b1、b2}{a1、a2、a3、b1、b2}————————————————————语言：a1、a2、a3b1、b2现实性原则：现实世界中不同的个体，至少有一个认知主体能够认识到它们的不同。简单地说：认知同一的一定是现实同一的。不定主体的认知谓词逻辑的形式语言包括：(1)个体变元，用x,y,z等表示；(2)谓词，用R,P等表示，每个谓词都有一个元数n1；(3)命题联结词：、；(4)量词：；(5)等词：（逻辑谓词）；(6)不定主体的认知算子：□。(7)现实相等：

3、（特殊的非逻辑谓词）。除□外其它的形成规则如常（和都是二元谓词）。□的形成规则如下：如果是公式，x是变元，则□x是公式。按通常的方式由定义引进、、、。◇x=df□x(1)；(2)(γ)()γ；(3)()()；(4)x()xx；(5)x(y/x)，y在中对x代人自由；(6)x，x在中不自由；(7)xx；(8)x1y1…xnynR(x1,…,xn)R(y1,…,yn)；(9)□x()□x□x；(10)xyz(

4、□z(xy))，zx,zy；(11)(xy)z(□z(xy))，zx,zy；(12)xyyx；(13)xyyzxz；(14)xyxy；(15)z(□z(xy))xy，zx,zy；推演规则：分离规则从{,}得到；概括规则从得到x；认知概括规则从得到□x。x1y1…xnyn(x1,…,xn)(y1,…,yn)才是同一替换的一般表现。我们前面只讨论xyz(□z(xy))，是因为假定了外延语境下同一替换（x1y1…xnynR(x1,…,xn)R(y1,

5、…,yn)）是成立的，而且有蕴涵的认知概括规则：从得到□x□x。这样由归纳法可以得到：x1y1…xnyn(x1,…,xn)(y1,…,yn)由同一替换得xyz(□z(xy))，所以xyz(□z(xy))，这就是认知同一原则的形式刻画。xyxy是现实性原则的形式刻画。框架K=

6、aD}>称为框架，如果D(认知主体域)和W(可能世界集)都是非空集合，Fa是W到P(W)的映射。设X是全体变元的集合，R是全体谓词（包括，不包括）的集合。赋值和模型K=

7、aD}>是框架，V是X

8、W×R上的映射，V称为K上的赋值，如果V满足以下条件：(1)任给变元x，V(x)D；(2)任给uW，任给谓词R，V(u,R)Dn；(3)V(u,)是等价关系。(4)任给uW，如果(任给cD，vFc(u)，都有V(v,))，则a=b。公式的值K=

9、aD}>是框架，V是K上赋值。公式在V下的值V()W定义如下：(1)uV(xy)当且仅当V(x)=V(y)；（因此V(xy)=W或V(xy)=）(2)uV(R(x1,…,xn))当且仅当V(u,R)；(3)uV(

10、)当且仅当uV()（V()=WV()）；(4)uV()当且仅当(如果uV()，则uV())（V()=(WV())V()）；(5)uV(x)当且仅当(任给aD，都有uV(a/x)())（V(x)=∩aDV(a/x)()）；(6)uV(□x)当且仅当FV(x)V()。满足K=

11、aD}>是框架，V是K上赋值。

12、=当且仅当V()=WK

13、=当且仅当任给V是K上赋值，都有

14、=。可靠性应该没有问题，完全性存疑。如果两个主体在现实中同一，他们的认知应该是一

15、样的：(16)xy(□x□y)。对应语义条件是：(5)任给uW，任给