模态谓词逻辑的邻域语义学-北京大学哲学系.docVIP

不定主体的认知谓词逻辑 刘壮虎 一、基本思想 用逻辑的形式化的方法讨论问题，首先要将讨论的范围和问题本身有一个严格和清晰的表述。 我们考虑的是多主体认知的情况，我们把多主体所在的世界称为现实世界（我们将在另外的意义下使用客观世界这个词）。 在这个情况中，所谓的同一替换难题中的内涵语境就可以精确地表述为认知主体的认知语境。 同一替换问题的一个简单而本质的表述是：在现实世界中相同的个体，在内涵语境中是否相同。 在多主体认知的情况下，同一替换一般是不成立的。 例如：在现实世界中，周树人=鲁迅，但某个认知主体a认为周树人(鲁迅。 多主体认知的情况，并不是简单地一些认知主体的集合，他们之间应该可以交流。对于这样的交流，当谈论个体时就不能使用现实世界的个体，而是另一种个体。当然，我们也不能认为我们谈论的是表示个体的名称。 认知同一原则： 所有认知主体都认为相等的主体就是同一个主体。 这种个体是由现实的个体和“认知同一原则”构造出来的，可以称为认知同一的个体，它们的世界可以称为这些认知主体公共的客观世界。这客观世界就是我们建立逻辑的基础，我们建立的逻辑中的相等就是指这个客观世界中的个体同一。 以下就是一个具体的例子： 现实世界：　　　周树人(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； 推演规则： 分离规则 从{(, (((}得到(；