这本《次协调逻辑与人工智能(AI)》,第一编写协调逻辑基本原理,包括历史背景、现实原型、次协调逻辑命题演算,谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等,由作者所写。第二编一系列创新的次协调公理系统的绝大部分,大都出自陈立自的手笔。技术方面只有小部分工作才属于作者的,但在文字上作者作了很多改写。第三编在计算机人工智能方面的应用,则是由武汉大学计算机科学系
朱福喜副教授担任。本书作者的逻辑思想带有明显的非正统色彩,可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。
经典(演绎)逻辑的特色可以概述于下:它是由经典一阶谓词演算(带等词或不带等词)及其扩展(如经典集合论各体系,有策梅罗一弗兰克-冯诺意曼一贝纳斯·哥德尔、凯利一莫尔斯、蒯因的NF等系统)和经典高阶逻辑(几种经典类型论系统)构成的。在这些系统中,有一些子系统也被看做是经典逻辑的一部分,如经典蕴涵逻辑和经典肯定逻辑。
非经典逻辑现有两类:(a)扩展逻辑,(b)非正统逻辑或异常逻辑。第一类逻辑扩充了经典逻辑的领域,经典模态逻辑、经典时态逻辑、经典内涵逻辑就是这样的逻辑。第二种逻辑限制或取消了经典逻辑的某些(句法或语义)原则,这些逻辑有
直觉主义逻辑、多值逻辑和次协调逻辑等。
构造非经典逻辑是我们这个时代的基本特色之一,这是一个彻底的文化变革的时代。专而论之,次协调逻辑是我们这个时代最有革命性的进步之一。G.H.冯·赖特说,这种逻辑是20世纪下半叶逻辑学上最有意义的发展之一。
次协调逻辑几乎适用于一切知识领域。例如,我们可以运用次协调技术把辩证法系统化[形式化],构造强有力的次协调数学(拓广现有的经典数学)。处理逻辑程序编制和人工智能中的问题。另一方面。从赫拉克利特到当代马克思主义,次协调的思想和方法在哲学和科学领域得到自觉的或不自觉的运用。
本书有对次协调逻辑及其历史和某些最重要的应用的精彩介绍。毫无疑问,不管是对哲学家、数学家、科学家、计算机和信息专家,还是对普通人,只要关心次协调性文献的问题,本书将大有裨益。本书的作者近几年致力于这个领域的研究,并且在某些方面很有特色,这足以说明本书的质量是不错的。
近30年来,我把心血全部花在次协调逻辑及相关课题上。对于像我这样一个逻辑学家,为眼前这本书作序是一件乐事。我希望本书有益于中国逻辑学的大进步。这个国家有令人赞叹的文明,这是一片有着最奇异的文化成就的国土。也许,在不远的将来,中国将成为次协调逻辑之国。说开去,中国将成为逻辑之国。