【次协调协逻辑与人工智能】桂起权.pdf
版式设计:支笛 次协调逻辑与人工智能/桂起权,陈自立,朱福喜著.一武汉:武 I.次I.①桂②陈③朱I.逻辑一应用一人(430072武昌珞珈山)(wdp4@whu.edu元 版权所有,不得翻印.凡购买我社的图书,如有缺页、倒页、脱页等质量问题,核字第02036号 责任校对:叶效 字数:插页:1,2002.
牛顿.C.A.达科斯塔 1997年12月4日巴西圣保罗 本书有对次协调逻辑及其历史和某些最重要的应用的精彩介 绍。毫无疑问,不管是对哲学家、数学家、科学家、计算机和信息专 家,还是对普通人,只要关心次协调性文献的问题,本书将大有神 益。本书的作者近几年致力于这个领域的研究,并且在某些方面 近30年来,我把心血全部花在次协调逻辑及相关课题上。对 于像我这样一个逻辑学家,为眼前这本书作序是一件乐事。我希 望本书有益于中国逻辑学的大进步。这个国家有令人赞叹的文 明,这是一片有着最奇异的文化成就的国土。也许,在不远的将 来,中国将成为次协调逻辑之国。说开去,中国将成为逻辑之国。
经典逻辑一一则表现出对该经典系统的各种背离,以竞争对手的 面目出现。然而,根据外延来看,像模态逻辑、道义逻辑、认知逻 辑、多值逻辑等等,都既是哲理逻辑又是非经典逻辑,只有少数例 外。例如,组合逻辑是分析和研究函数、代人等概念和方法的一种 非经典形式演算,它可界定为数学性的非经典逻辑,却不是哲理逻 很自然的,从坚定的正统逻辑立场看,所有那些对经典系统的“背离”或是“竞争对手”,都是离经叛道的,都不能算作真正的逻 辑。其实,说到底,那只是一个名称问题。对于一个新系统来说,最重要的是它的实际价值,而不在于它起什么名字。