相关推论与强相关逻辑研究论文

1 何谓推论？

　　推论（reasoning）是从前提（为结论提供证据的已知事实或预设假说）推导出新结论的过程，是从已知或预设（即前提）到达未知（即新结论）从而获取新知识、扩展已有知识的过程。一个推论过程一般由一系列被称为推断（argument）或者推理（inference）的步骤有序构成。人们所掌握的知识，尤其是抽象知识，并非所有都是自己亲身经历过后从直接的经验总结得出的，而大部分都是根据已知知识通过推论而得到的。可以说，如果没有推论这一手段，人类就不可能把知识宝库扩展到今天如此丰富的地步。

　　举一个用自然语言表达的推论的简单例子。

　　（1）所有的有理数都可以表达为一对整数之比。

　　（2）π不能表达为一对整数之比。

　　所以

　　（3）π不是一个有理数。

　　（4）π是一个数。

　　所以

　　（5）至少存在一个非有理数（无理数）。

　　这里，用一步推理先从前提（1）和（2）推出（3）作为结论，又用一步推理从前提（3）和（4）推出（5）作为结论，这样的两步推理构成一个完整的推论，从前提（1），（2）和（4）推出结论（5）。

　　推论的能力，尤其是抽象推论的能力（一般动物并不具备），无疑是人类智能最本质的特征之一，因而应该是任何以实现人工人类智能（本文用此名词以区别人工智能所实现的动物智能）为目标的计算智能系统都具备的必不可少的功能。说一个没有具备推论能力的计算智能系统实现了人工人类智能，显然有言过其实之嫌。尽管推论及其自动化曾经是计算机科学和人工智能科学中最活跃的研究课题，但关于推论的基本性质还有许多未解决问题需要探究，关于推论在计算机上的有效实现也还仍然有许多重要课题需要实践。

2 何谓逻辑学？

　　在上述有关推论的一般哲学定义中，尽管说推论的前提要为其结论提供证据，但一个具体推论的前提是否实际上真正有效地为其结论提供了证据是独立于一般定义的另一件事，也就是说，确实提供或者实际没有提供都是可能的。因此就需要某种确切标准来区分鉴别正确、有效推论和不正确、非有效推论。逻辑学正是研究推论正确性或有效性学问的学科。逻辑学首先是关于推论（推理）的学问，它探索和研究究竟是什么构成了正确、有效的推论，探索和研究用于区分鉴别正确、有效的推论和不正确、非有效的推论的一般原理和标准，探索和研究如何进行正确、有效推论而避免不正确、非有效推论的一般方法论。因此，历史上，逻辑学从来就被称之为“科学之科学，技艺之技艺”（司各脱，13世纪）、“所有其他科学之基础”（塔斯基，1941）、“先于所有其他科学，以其思想和原理支撑所有科学之科学”（哥德尔，1944）。

　　另一方面，在各种各样推论的前提和结论之间可以有多种不同种类的证据关系存在，而对不同的证据关系的认同与否就可以引导出不同的正确有效性标准。任何科学都是基于一些基本假设和基本原理建立起来的，一旦其中某个假设或原理被一个新的假设或原理所替换，可能会给予该门科学巨大影响，以至于产生一个全新分支。逻辑学也不例外，关于基本假设和基本原理的不同哲学动机可以引导出不同的逻辑有效性标准和逻辑系统。

3 作为逻辑学之核心的条件关系

　　在逻辑学中，一个形式为“如果（若，if）…，那么（则，then）…”的句子通常被称为条件命题（conditional position）或者简单地被称为条件句（conditional）；它用于断定在句子的“如果（若，if）”部分和“那么（则，then）”部分之间存在的某种充分条件关系。在一般情况下，一个条件句必然涉及由逻辑连接词（connective）“如果…，那么…”，也被称为条件关系（conditional relation），来连接起来的两个部分，它们分别被称之为该条件句的前件（antecedent）和后件（consequent）。一个条件句的真实性不仅取决于其前件和后件的真实性，而在本质上更取决于两者之间的必然相关性和充分条件性。条件关系概念在推论中起最基本的作用，因为任何推论形式都必须基于它，所以，条件关系概念一直都是逻辑学研究中最重要的课题，从而被认为是逻辑学的核心。

　　当研究和使用逻辑时，条件关系概念既会出现在对象逻辑（即作为对象，正在研究的逻辑）之中也会出现在元逻辑（即作为工具，正在用于研究对象逻辑的逻辑）之中。在对象逻辑中，通常是在其形式语言中有一个用来表示条件关系概念的连接词；同时，条件关系概念也通常用一个元语言符号表示，在该对象逻辑的证明论和模型论中用于描述逻辑后承（logical consequence）关系。另一方面，在元逻辑中，条件关系概念，通常会以自然语言形式表示，用于定义关于对象逻辑的各种元概念和描述关于对象逻辑的`各种元定理。

　　从对象逻辑的观点来看，有两种类型的条件句，一类是经验的条件句，另一类是逻辑的条件句。对于一个给定的对象逻辑，如果一个条件句的真值，从该逻辑的意义来说，必须取决于其前件和后件的具体内容而不能仅由其抽象形式来确定（亦即，从该逻辑的观点来看，其前件和后件之间的相关关系被视为是经验的），则该条件句被称为该逻辑的经验条件句；如果一个条件句的真值，从该逻辑的意义来说，仅取决于其抽象的形式而与其前件和后件的具体内容无关，因而可以被认为是普遍真的或普遍假的（亦即，从该逻辑的观点来看，其前件和后件之间的相关关系被视为是逻辑的），则该条件句被称为该逻辑的逻辑条件句；从该逻辑的意义来说，一个普遍真的条件句也被称为该逻辑的一个必然归结（entailment）。事实上，各种不同的逻辑系统之间最本质的区别就是把什么样的条件句视为、定义为必然归结，正如Diaz所指出的：“现代逻辑中的问题可以最恰当地表述为：我们如何能够给予那些表示了必然归结的条件句一个合理的解释？”

4 相关的推论与推论的经典有效性标准

　　在对推论、逻辑学、条件关系这些最基本的概念做了清晰的介绍之后，进入本文的主题。

　　先看几个简单的例子。（1）“如果雪是白的，那么1+1=2”，（2）“如果雪是黑的，那么1+1=2”，（3）“如果雪是白的，那么1+1=3”，（4）“如果雪是黑的，那么1+1=3”，这4个以自然语言形式表达的经验的条件句陈述了4个简单的推理（推论）。按照常识和经验，大概谁也不会认为这4个推理是正确的，因为在这4个推理当中，无论前提与结论正确与否，从常识和经验来看它们之间没有任何关联，亦即，没有任何相关关系。这样的例子当然还可以举出很多，应有尽有，它们至少揭示了这样一个事实：一个条件句（推理、推论）的前件（前提）和后件（结论）之间，可能不存在相关性，由这样的条件句陈述的推理（推论），不应该被视为是正确的。基于这个事实，暂且把前提和结论之间具有相关性的推论称为“相关的推论”，而把前提和结论之间不具有相关性的推论称为“不相关的推论”。

　　接下来，来看一看经典数理逻辑和相关的推论之间的关系。经典数理逻辑（classical mathematical logic）是为了给数学家们的工作提供形式化语言来描述数学证明结构而建立起来的，其主要目的是对数学证明给予严格的描述（请注意，“经典数理逻辑是形式逻辑的现代化”这种说法是片面的、不正确的）。

　　在各种各样的形式逻辑系统中，经典数理逻辑可以说是最简单的。经典数理逻辑基于几个基本假设，其中最基本的假设就是采用经典有效性（the classical account of validity）（亦即，一个推论是有效的当且仅当其前提为真时其结论不为假）作为推论（证明）的逻辑有效性标准；在经典数理逻辑的理论框架范围内，人们必须以此标准来确定一个推论（推理）的结论是否实际上依据于其前提。

　　然而，因为经典有效性不要求推论（推理）的前提和结论之间必须存在相关关系，所以一个经典有效的推论（推理）之结论未必一定与其前提相关，甚至可以毫不相关。在人们的常识和经验看来，不正确的推论却有可能在经典数理逻辑的范围内是有效的，换言之，经典有效性这个逻辑标准并非与人们常识和经验中推论的正确性判断标准完全一致。

　　那么，是否有某种逻辑系统，其逻辑有效性标准考虑了推论之前提与结论间的相关关系？是否有某种逻辑系统，其逻辑有效性标准与人们常识中推论的正确性判断标准完全一致？这是2个尽管陈述起来简单但是在本质上、在哲学上、在逻辑学上相当难的问题。