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

不定主体的认知谓词逻辑;认知同一原则： 所有认知主体都认为相等的主体就是同一个主体。 是由现实的个体和“认知同一原则”构造出来的个体，可以称为认知同一的个体，它们的世界可以称为 这些认知主体公共的客观世界。 这客观世界就是我们建立逻辑的基础，我们建立的逻辑中的 相等就是指这个客观世界中的个体同一。;现实世界：　　　周树人(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) 命题联结词：?、?； (4) 量词：?； (5) 等词：?（逻辑谓词）； (6) 不定主体的认知算子：□。 (7) 现实相等：?（特殊的非逻辑谓词）。;除□外其它的形成规则如常（?和?都是二元谓词）。 □的形成规则如下： 如果?是公式，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(□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,…, 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 = D, W, {Fa | a?D}称为框架，如果D(认知主体域)和W(可能世界集)都是非空集合，Fa是W到P(W)的映射。 ? 设X是全体变元的集合，R是全体谓词（包括?，不包括?）的集合。 ? 赋值和模型　K = D, W, {Fa | a?D}是框架，V是X? 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)，都有a, b?V(v, ?) )，则a = b。;公式的值　K = D, W, {Fa | 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(x1),…, V(xn) ?V(u, R)； (3) u?V(??) 当且仅当 u?V(?) （V(??) = W \ V(?)）； (4) u?V(???) 当且仅当 (如果u?V(?)，则u?V(?)) （V(???) = (W \ V(?))?V(?)）； (5) u?V