不定主体的认知谓词逻辑-北京大学哲学系宗教学系.pptVIP

不定主体的认知谓词逻辑 北京大学哲学系　刘壮虎 认知同一原则： 所有认知主体都认为相等的主体就是同一个主体。 是由现实的个体和“认知同一原则”构造出来的个体，可以称为认知同一的个体，它们的世界可以称为 这些认知主体公共的客观世界。 这客观世界就是我们建立逻辑的基础，我们建立的逻辑中的 相等就是指这个客观世界中的个体同一。 现实世界：　　　周树人(a)　　　　　　沈雁冰（b） 语言：周树人(a1)、鲁迅(a2)、L.S.(a3)　沈雁冰(b1)、茅盾(b2) ? 现实世界：　　a　　　　　b —————————————————————— 　　　　　　a1(a2, a3)、b1(b2) ?? {a1(a2)、a3、b1(b2)}　　　　{a1(a2, a3)、b1、b2} ?? {a1、a2、a3、b1(b2)}　　　{a1(a2)、a3、b1、b2} ? 　　　　　{a1、a2、a3、b1、b2} ———————————————————— 语言：　　a1、a2、a3　　　b1、b2 现实性原则： 现实世界中不同的个体，至少有一个认知主体能够认识到它们的不同。 简单地说： 认知同一的一定是现实同一的。 不定主体的认知谓词逻辑的形式语言包括： (1) 个体变元，用x, y, z等表示； (2) 谓词，用R, P等表示，每个谓词都有一个元数n?1； (3) 命题联结词：?、?；