《逻辑和知道蕴涵下的认知封闭原则及其逻辑问题,逻辑学论文.docx》由会员分享，可在线阅读，更多相关《逻辑和知道蕴涵下的认知封闭原则及其逻辑问题,逻辑学论文.docx（12页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、逻辑和知道蕴涵下的认知封闭原则及其逻辑问题,逻辑学论文关于认知封闭原则的研究是现代认识论中的一个重要话题，而当代逻辑工具是讨论这一话题的基本工具。所谓 封闭 是集合论中的术语，讲一个集合是封闭的，指的是在给定的某一运算或 R 关系下，对于任意的 x，假如 x 是集合中的元素，且 x 通过给定的某一运算得到 y，或 x 和 y 有 R 关系，那么 y 也是集合中的元素。例如: 自然数集 N 对加法运算是封闭的，3 +3 =6，6 仍然是自然数集的元素; 而自然数集 N 对减法不是封闭的，由于3 6 = 3，但 3 不属于自然数集 N。我们知道，我们的知识能够通过有效的逻辑推理(本文仅限于演绎推理
2、) 来加以扩大，那么我们的知识是不是在逻辑推理规则下封闭的?换句话讲，知识集是不是一个封闭集? 认知封闭原则 就是对这一问题的肯定回答。假如知识集是一个封闭集，这就意味着认知主体能够知道自个已有的知识及其所有的后承。而这点是不符合人们的直觉的，如对于数学知识而言，人们不可能知道所有已经知道的数学知识的所有的逻辑后承。因此，一些学者反对这样的认知封闭原则。Steven Luper 曾总结出 4 类反对的论证: 一是从知识分析来论证，以为知识不是封闭的，因此认知也不是封闭的; 二是从知识模型的非封闭来论证，由于知识的获得、保持和扩展都不是单个封闭，因此知识也不是封闭的; 三是从不可知命题来论证，存
3、在某个不可知的命题，而根据封闭性这些不可知的命题是能够通过推导得到，因此知识不是封闭的; 四是从怀疑论来论证，怀疑论论证是有问题的，但是假如知识是封闭的，那么怀疑论论证就是对的，因此知识不是封闭的。过去数十年来，学者们对认知原则进行不断的修改，虽还存在一些问题，但已逐步逼近人们的直觉。在逻辑视域中，学者们讨论认知封闭原则通常有两个经典的范式: 一是逻辑蕴涵下的封闭原则，另一个是知道蕴涵下的封闭原则。本文以这两个范式为蓝本，根据反驳论证的重点，试图厘清问题的关键所在，同时讨论它们与认知逻辑中逻辑全能问题的关联。一、逻辑蕴涵下的认知封闭原则所谓 逻辑蕴涵 ，是 逻辑后承 关系的逆关系，也就是通常所
4、谓 演绎推出 或 形式保真 关系。在经典演绎逻辑和集合论中，真命题集合都是在蕴涵关系是封闭的，由于真命题蕴涵的真命题仍然在集合中，而假命题有时候也会蕴涵真命题可以蕴涵假命题，但是假命题不会出如今集合中，因此假命题不是在蕴涵关系下封闭。知识通常定义为证成的真信念，即知识集合就是真命题集合的真子集。那么，知识是不是也是逻辑蕴涵下的封闭的呢?一个素朴的认知封闭原则对此问题的回答是(下面在不产生歧义的情况下把 逻辑蕴涵 简称为 蕴涵 ) :ECP1: 假如认知主体 i 知道 p，并且 p 蕴涵 q，那么认知主体 i 也知道 q。显然，这个原则讲的是认知主体 i 假如知道命题 p，且 p 蕴涵另一个命题
5、 q，那么这个认知主体 i 也就知道 q。这个原则的形式化表述是辛提卡在 1962 年(知识和信念: 两个概念的逻辑导论一书中提出来的，同时他以为这个原则存在一定的问题: 仅仅在 p 蕴涵 q 的基础上，就从 他知道 p 推出 他知道q ，这是明显的不能允许的。由于这个人可能不知道 p 蕴涵 q ，十分是当 p 和 q 是相对复杂的陈述时。例如数学知识，一个数学命题可能会蕴涵很多的数学命题，而现实的认知主体是不可能完全知道这些所蕴涵的数学知识的。也就是讲， 认知主体 i 假如知道命题 p，且 p 蕴涵另一个命题 q ，并不是 这个认知主体 i 就知道命题 q 成立的充分条件。认知逻辑系统假如把
6、 ECP1 作为初始公理的话，那么系统所刻画的认知主体就是一个超强的主体，知道所有的逻辑定理，也知道本身知识系统的所有逻辑推理。这种情形就是 R Fagin 等人所称的 完全逻辑全能 。ECP1 显然难以令人接受，必须加以修改。这样的修改通常有下面两个版本:ECP2: 假如认知主体 i 知道 p，并且相信 p 蕴涵 q，那么认知主体 i 也知道 q。ECP3: 假如认知主体 i 知道 p，并且 p 蕴涵 q 得到证成，那么认知主体 i 也知道 q。上述两个原则仍然无法逃脱上述的反例，同时还增加了一些概念，如相信、证成，而这些概念本身就存在不清楚的地方，用不清楚的概念来阐释另外一个概念肯定是有问
7、题的。例如，我知道如今窗外是阳光明丽，而我相信在阳光明丽的环境中鸟儿叫得欢，但是如今的鸟儿并没有叫得欢，此时讲我知道如今窗外的鸟儿叫得欢并不为真。由于相信的东西有可能是一个假的命题，而假命题显然是不能够作为推理的前提的。所以 ECP2 引进 相信 概念并不能够保证认知主体对于蕴涵命题的真假进行识别。再如，我知道西塞罗是一个演讲家，而托利就是西塞罗得到证成，但是假如我不知道托利就是西塞罗，那么我就仍然不会知道托利也是一个演讲家。ECP3 这样的修改方案想从蕴涵命题的真来确保后承的真，但是蕴涵命题的真显然无法担保后承的真。因此引进 证成 概念这样的修改方案于事无补。由于蕴涵命题的真与认知主体没有关
8、联起来，人们能够知道 p，但是不知道 p 蕴涵 q，即便 p 蕴涵 q 是一个逻辑真理，人们仍然不知道 q。这两个修改的原则固然没有确保知识的封闭性，但是也反映了人们对于知识的获得有一个初步的反省，在知识的获得经过中，所有的知识都是需要和认知主体相关联。这一点也暗示了认知主体是一定需要知道蕴涵命题，才能够知道其后承。这正是下文所讨论的知道蕴涵下的认知封闭原则。二、 知道蕴涵下的认知封闭原则蕴涵下的认知封闭原则有悖于人们的认知直觉，除了上述的修改方案之外，人们更倾向于下述的知道蕴涵下的认知封闭方案:ECP4: 假如认知主体 i 知道 p，并且知道 p 蕴涵 q，那么认知主体 i 也知道 q。这个
9、原则仍然是由辛提卡 1962 年提出的。然而，这个知道蕴涵下的认知封闭原则似乎也无法逃离同样的反例。也就是讲，认知主体 i 知道 p，并且知道 p 蕴涵 q，但是认知主体可能不能够从这两个前提中推出 q，进而认知主体 i 并不知道 q。同时该原则在怀疑论证中有着重要的作用。如著名的就是 钵中之脑 :(1) 我不知道我不是钵中之脑。(2) 假如我知道我有一双手，并且我知道我有一双手蕴涵我不会是钵中之脑，那么我知道我不是钵中之脑。(3) 假如我知道 p，并且知道 p 蕴涵 q，那么我也知道 q。(4) 所以，我不知道我有一双手。(从(2) 、(3) 得到，假如我知道我有一双手的话，那么我就知道我不
10、是钵中之脑，这和前提 1 相矛盾。)这样根据认知封闭原则 ECP4，反驳者以为 钵中之脑 为怀疑论提供了一个有力的论证。但是假如我们真的不知道自个能否就是一个钵中之脑，那么就意味着我们知道某些东西就可能只是一些虚幻的东西，如骇客帝国中的虚幻世界。那么，我们的知识何以可能? 所以反怀疑论论证的学者如 G EMoore 构造了类似的论证:(1) 我知道我有一双手。(2) 假如我知道我有一双手，并且我知道我有一双手蕴涵我不会是钵中之脑，那么我知道我不是钵中之脑。(3) 假如我知道 p，并且知道 p 蕴涵 q，那么我也知道 q。(4) 所以我知道我不是钵中之脑。这两论证从逻辑形式上稍有不同，但都是有效
11、的推理，前者使用的能否定后件进而否认前件的推理形式，而后者使用的就是分离规则。同样根据认知封闭原则 ECP4，却得到了不同的结论。从这个意义上来讲认知封闭原则并不会导致怀疑论。有反例，这就讲明这样的认知封闭原则还不够精细，但并不一定需要彻底否认该原则。或许需要做的是再增加一些限制，使得原则更逼近人们的直觉。Graeme For-bes 和 Luper Foy 两人不约而同提出了下面的修改形式:ECP5: 假如认知主体 i 知道 p，知道 p 蕴涵 q 并且相信 q，那么认知主体 i 也知道 q。显然，这个原则是在 ECP4 的基础上增加认知主体相信 q，但是仍然会碰到严重的问题。如 Monty
12、Hall 问题: 假设你正在参加一个游戏节目，你被要求在三扇门中选择一扇: 华而不实一扇后面有一辆车;其余两扇后面则是山羊。你选择了一道门，假设是一号门，然后知道门后面有什么的主持人，开启了另一扇后面有山羊的门，假设是三号门。继而他问你: 你想选择二号门吗? 问题是: 换另一扇门能否会增加参赛者博得汽车的时机? 或者讲，转换你的选择对你来讲是一种优势吗? 假如严格根据上述的条件的话，同时你知道贝叶斯定理是为真的，那么答案:是换另 扇门的话，博得汽车的概率是 2/3。也就是讲，你知道贝叶斯定理，而根据贝叶斯定理可知道应该换门，你也相信换另一扇门会否增加博得汽车的概率，但是你仍然会觉得自个不知道应
13、不应该换门。因此，ECP5 原则仍然没有办法确保知识的真。鉴此，Steven D Hales 又把 ECP5 修改如下:ECP6: 假如认知主体 i 知道 p，知道 p 蕴涵 q，相信 q 并且相信 q 是使用分离规则从 Bp 和 B(p q)得到的，那么认知主体 i 也知道 q。ECP6 增加了更多的限制: 认知主体相信 q 是使用分离规则从 Bp 和 B(p q) 得到的，也就是讲 q是正确使用逻辑推理规则而得到。这里能够看到知识定义的影子: 证成的真信念。使用逻辑推理得到的结论一般讲来是可靠的，因此在逻辑算子下的封闭得到的知识应该是可靠的。增加认知主体对于逻辑规则的使用，这恰恰讲明认知主
14、体在认知经过中的主导地位。前面的那些原则固然关涉认知主体，但是都是预设认知主体的认知能力之绝对无误性。而 ECP6 没有预设认知主体的推理能力，而是直接把它作为知识获得的条件之一，假如认知主体是正确使用分离规则，那么认知主体就有能力得到他应该得到的知识。实际上，这个条件的参加，把前面抽象剥离出去的认知推导经过又请回来了，愈加具有时空感。尽管对于该原则仍有众多争议，但这是迄今为止所提出的最接近于我们关于 理性主体 的一般直觉的认知封闭原则。三 认知封闭原则下的逻辑全能问题辛提卡在其创立的经典认知逻辑系统中使用了 ECP4 作为初始公理，带来了一些其并不想要的结果。在这样的认知逻辑系统中，系统所刻
15、画的认知主体是一个高度理想化的主体，能够知道系统中的所有定理以及本身知识的所有逻辑后承，进而提出了 逻辑全能问题 。其与认知封闭原则问题的侧重点是不一样的: 逻辑全能讲的是认知主体获取知识的能力，首先预设了知识的属性，是建立在知识属性的基础上; 而认知封闭原则并没有预设知识的属性，而是试图通过这个原则来阐释知识系统。固然这两者的侧重点不一样，但是这两者是能够互相阐释的。为了更好地理解这一点，我们首先需要把认知封闭原则用形式化的方式表示出出来:ECP1 的形式化表述就是我们在前面提到过的完全逻辑全能形式，所以无论是从认知主体的认知能力角度还是从知识的属性这个角度来讲，都是不适宜的。由于，一个现实
16、的认知主体不可能知道本身知识的所有逻辑后承，假如不忽视时间因素的话，知识的获得显然是一个渐进的经过，不可能一个知识的所有逻辑后承一下都能够显现出来。从认知封闭原则来看，知识是封闭在逻辑运算下。这一点与逻辑全能是一致的，都是逻辑运算下的封闭。逻辑全能是系统中算子运算封闭的结果，而认知封闭原则讲的是算子运算封闭下才有知识的可能。两者都强调封闭，结果侧重不同。而 ECP2 和 ECP3，对 ECP1 进行了限制，增加了和知识相关联的信念和证成等要素，把任何知识都和认知主体关联起来。这种做法固然一种弱化，但是对于现实的认知主体或知识的属性来讲仍然过强。ECP4 的形式化表述恰好就是认知逻辑系统中的基础
17、公理(即模态逻辑中的 K 公理) ，表示出了公理系统对于知识概念的刻画，或者讲系统预设了知识概念的属性。而这个基础公理在系统中被以为是逻辑全能主体的根本原因之一，即认知主体知道本身有某一知识，同时知道这一知识蕴涵另一知识，那么认知主体就知道这一知识的后承。这个基础公理其实就是预设了知识的属性，即认知封闭原则，而在认知逻辑系统中，这一原则刻画的认知主体是一个理想化的认知主体，不是现实的认知主体。认知主体知识的获得是一个动态的经过，在这个经过中认知主体有可能不能够正确使用推理规则。例如计算复杂度的增加: 24 +24，对于具有加法运算能力的人来讲不存在问题，但是对于 24 的 24 次幂，那一般的
18、人就会有吃力的感觉。这就表示清楚，现实主体的认知能力是存在时空等各个方面的限制的。从这一点来看，认知封闭原则和逻辑全能在形式刻画上也是一致的。根据这一公理，上述的钵中之脑的论证能够重新表述为:能够得出认知逻辑系统中会存在一个逻辑无能主体，即什么都不会知道，那么就会陷入一个两难的境地: 既是逻辑全能主体又是逻辑无能的主体。同时我们能够看出，认知逻辑系统中出现的这些问题就反映了认知封闭原则并未完全正确地表示出知识这一概念，而克制或避免这些问题就需要重新表述认知封闭原则，以便更好地表述知识的属性。而这一点在从对 ECP4 修改而得到 ECP5 和 ECP6 这两个认知封闭原则中得到了具体表现出。我们
19、看到，ECP6 充分具体表现出了知识的标准定义，即柏拉图的三分定义:i 知道 p，当且仅当:(1) i 相信 p;(2) p 是真的;(3) p 是得到了证成的(即从 i 自个的角度来看，p 的得出是根据逻辑推理规则而获得的) 。从 ECP6 所表示出知识来看，愈加接近标准的知识定义，但是我们知道盖提尔问题一直困扰着知识概念的定义，因此从这个角度来讲，ECP6 认知封闭原则也是会有类似的问题。显然，厘清逻辑全能问题与认知封闭原则的关联，对于知识定义的进一步探究也是很有意义的。四、 结 语认知封闭原则 ECP1 ECP5 和逻辑全能问题都预设了一个高度理想化的认知主体，即认知主体有着绝对无误的认
20、知能力，表如今逻辑推理上能够准确使用逻辑推理规则。这种高度理想化的认知主体把时空抽象掉了，这就把整个的认知推导经过省略了。假如认知推导经过的复杂度非常的复杂，固然对于整个人类这个群体来讲不存在太大的问题，但是对于单个的认知主体来讲那么就存在一个时空的问题。ECP6 的修改把认知推导经过请回来，虽还有一定的理想化，但这种理想化是合理的。在有穷步骤的推理经过中，假定认知主体能够准确使用推理规则，这既是可能的，也是知识系统何以可能的必要条件。这种加了合理限制性条件的认知封闭原则是一种弱化的封闭，既能够符合人们的直觉，又能够保证知识的获得。这个限制性条件的增加给试图克制逻辑全能问题的认知逻辑系统的构建
21、带来了新的启示，那就是要诉诸于认知动作如推理动作的考察，而不仅仅仅是停留在知识的静态属性上，应该更多的考察知识的动态属性。当前动态认知逻辑的发展就印证这一点，不过仍然有动态静态化之嫌疑，即还是没有逃脱认知逻辑系统研究是模态逻辑解读的形式。纵观这些认知逻辑系统的研究，我们能够看到不同的系统对于知识的解读存在一定的差异，这些差异恰好能够解析认知封闭原则的不同解读。我们以为，解决问题的关键在于怎样在 逻辑全能 与 逻辑无能 之间维持 必要的张力 ，即怎样合理把握和刻画适用于特定领域的认知主体的 理想化程度 ，这显然需要通过探寻求索新的非经典逻辑工具而加以解决。我们赞同这样的观点: 逻辑全能问题与逻辑无能问题是当代逻辑向当代哲学提出的一个特别基本的问题，其地位可与传统哲学中的休谟问题相提并论。而本文对于认知封闭原则与逻辑全能问题之关系的讨论启示我们， 置信 与 证成 问题在该问题探究中的引入，或许预示了逻辑全能问题与休谟问题获得统一性解决的可能性。