逻辑多元论与逻辑在人文科学中的应用研究——兼谈《次协调逻辑与人工智能》.docVIP

PAGE PAGE 6 逻辑多元论与逻辑在人文科学中的应用研究 ——兼谈《次协调逻辑与人工智能》 摘要：从20世纪50年代以来，非经典逻辑的研究非常活跃，逻辑多元论因而成为可能。次协调逻辑的兴起展示了逻辑走多元化发展道路的必然性和可能性。而逻辑的多元化发展有利于扩大逻辑的应用范围和领域，有助于增强逻辑的可应用性。次协调逻辑的广泛应用表明，只有把逻辑广泛应用于人文科学和自然科学领域，才能展示其强大的智慧力量。 关键词：逻辑多元论；逻辑应用研究；人文科学 20世纪下半叶是非经典逻辑蓬勃发展的时期。在这一时期，陆续诞生了相干逻辑、时态逻辑、量子逻辑、规范逻辑、多值逻辑等非经典逻辑，其中最引人注目的非经典逻辑是次协调逻辑。次协调逻辑的兴起展示了逻辑走多元化发展道路的必然性和可能性。同时它也促进了逻辑在计算机科学、人工智能、法学、伦理学等领域的广泛应用。本文试图通过评价国内关于次协调逻辑的研究和探讨，论证逻辑多元论的合理性，进而阐明逻辑的多元化发展有助于拓展逻辑的应用范围，增强逻辑的可应用性，推动逻辑在人文科学和自然科学，尤其是人文科学中的应用研究，促进人文科学和自然科学的协调发展。 一、次协调逻辑的兴起与逻辑多元论 “次协调逻辑”（para?consistent logic）是近30年来兴起于国际逻辑界的一种新思潮。它是作为一种颇带革命性的非经典逻辑而出现的，因为它允许“有意义的矛盾”进入形式演算系统。在逻辑哲学中，按苏珊?哈克的观点，非经典逻辑被划分为两大类：一类是扩展逻辑，另一类是异常逻辑。扩展逻辑可以看作是原有经典逻辑的改良和扩充，它不触动经典逻辑的基本公理和规则，只是增加某些新的算子（如模态或时态算子）以及相应的公理和规则。异常逻辑可以看作经典逻辑的革命性改造，因为它尽管使用与经典逻辑相同或相近的术语，但它从根本上触动和修改了经典逻辑的公理和规则。次协调逻辑属于异常逻辑。因为它触动了在经典逻辑中从来就认为是“神圣不可侵犯”的矛盾律，修改了否定词的经典概念。我们知道，经典逻辑把矛盾律视作不可动摇的基础。然而，从非经典逻辑的眼光看，在矛盾律失去普遍有效性即放宽限制之后，人类思维也不会陷入语无伦次的境地。“次协调逻辑”这个术语意味着，新逻辑的协调性仅次于经典逻辑，但又高于完全不协调逻辑。换句话说，在新逻辑中当矛盾的有效性减弱之后，仍能保持一种稍逊的协调性。逻辑所应有的确定性、明确性、前后一贯性和论证力量可以依然如故。桂起权、陈自立、朱福喜合著的《次协调逻辑与人工智能》（武汉大学出版社2002年版）在推动我国逻辑走多元化发展道路方面做了有益的尝试。该书作者实际上倡导的是一种发展非经典逻辑系统的方法和技巧，探讨的是逻辑如何才能多元化发展以及逻辑如何应用的重要课题。 次协调逻辑的产生具有历史的必然性，同时也展示了逻辑多元化发展的可能性。非经典逻辑的倡导者卢卡西维茨从亚里士多德的思想中悟出了背离矛盾律的潜在可能性。他在《论亚里士多德的矛盾律》（1910年）一文中指出：“按照亚里士多德，矛盾律不是最高原则，至少不是对所有其他逻辑公理都必要的预设，特别是三段论原理就独立于矛盾律。”由此，卢卡西维茨认识到，矛盾律并非总是普遍有效的。他还借助非欧几何的类比猜想到，矛盾律和排中律的作用很像欧氏第五公设的作用。失去矛盾律和排中律的非亚里士多德逻辑同样是可能的，也是值得探讨的。同年，俄国喀山大学教授瓦西里也夫（1880?1940）也通过欧氏几何与非欧几何的类比，独立地论证了非亚里士多德逻辑存在的可能性。大家知道，俄国喀山大学是罗巴切夫斯基的母校，罗氏非欧几何的诞生地。罗巴切夫斯基曾把自己的非欧几何称之为“虚拟几何”。很自然地，瓦西里也夫也把自己的逻辑称为“虚拟逻辑”。他在《虚拟逻辑——非亚氏逻辑》(1912年)和《逻辑与元逻辑》（1913年）等论文中发展了自己的思想。[1] 如果说非亚里士多德逻辑的诞生预示了逻辑多元化的潜在可能性，那么次协调命题逻辑的建构则展示了逻辑多元化的现实可能性。第一个真正提出次协调命题逻辑的是卢卡西维茨的学生雅斯可夫斯基（jaskowski）。雅氏显然受到卢卡西维茨矛盾律可修改思想的影响。他在1949年发表了奠基性论文《矛盾演绎系统的命题演算》。在这篇论文中，他指出，新逻辑必须放弃司各脱规则p?(?p?q),才能节制矛盾扩散。可见，新逻辑从根本上放弃了经典逻辑的一些基本的公理和规则。它的诞生充分说明：非经典逻辑是不同于经典逻辑的一种逻辑。就像非欧几何不同于欧几里德几何一样。[2] 《次协调逻辑与人工智能》一书的作者指出，与科学哲学界可错主义已经占上风的情况相比照，目前我国逻辑学界知识无误论的影响太强大，这可能成为逻辑的“改革开放”的一大思想障碍。人工智能研究中的新逻辑必须争取生存权利，新型的哲学逻辑也必须争取生存权利。新的