何文的无知主要不在其泛演化逻辑,他至少看了很多黑格尔的书。在其《泛演化逻辑引论》一书中,粗略而且保守地估计一下,其中讨论黑格尔思想和著作的篇幅占到了全书的四分之三以上,讨论现代逻辑的章节却一个也没有。
所以,他就有资格说全世界只有他真正地懂得了黑格尔。就是恩格斯也「并没有彻悟黑格尔的思辨逻辑,因此他所谓『辩证逻辑』体系从未建立成功」(何着页6)。
所以,他也就有资格初生牛犊不怕虎,反正这虎是厉害还是不厉害他全然不知,冒犯了也可以不负任何责任,顶多就是被老虎咬伤吃掉而已。但谁能吃掉一个思辨的天才,一个雄心勃勃的知识界英雄?
看黑格尔的书并不意味着你就懂现代逻辑,现代逻辑和黑格尔的逻辑是完全不同的的逻辑。何先生把现代形式逻辑独断地、武断地认定为:「现代逻辑在形式化道路上愈走愈远,现在已经陷入了死胡同」(何着页117),这是很不负责任的说法,实际的情形正好相反。仅以我所关注的模态逻辑而言,这一新逻辑正获得其历史发展中的一个极好机遇。这个说法可不是信口开河,仅凭思辨和懂一点黑格尔思辨逻辑就能获得的。
模态逻辑是二十世纪50年代以来最富成长性的一门逻辑分支。路易斯在20年代针对实质蕴涵提出严格蕴涵的概念,到30年代,由路易斯创立了最早的模态逻辑系统。自50年代以来,模态逻辑在语形方向、代数方向、模型论方向以及道义、可证性、多值、直觉主义、认知等等领域发展迅速。一直到今天还继续保持向许多领域渗透和扩张的强劲势头。模态逻辑既在人文社科领域具有形上思辨的启示功能,例如在伦理道德、法制建构、社会博弈领域;在自然科学和工程科学领域,特别是在计算机和人工智能领域也显示出良好的应用前景。今天,模态逻辑几乎是我国所有逻辑学研究生课程中的必修课程。近二十年来,国家社科基金和教育部人文社科规划都对模态逻辑的研究给与了支持。这些钱绝不是白花的,它为中国逻辑学研究和世界接轨,并创造出新的逻辑知识打下了良好的基础。
逻辑学的当代发展,一个颇富启示力的说法是:逻辑科学在今天的社会经济和社会发展过程中开始展现出极好的发展机遇。逻辑和计算机科学之间的关系,非常类似于数学应用于物理学和工程学的关系;如同数学是自然科学的工具一样,逻辑在计算机科学中的工具作用有愈来愈明显的体现。而逻辑科学的这种工具作用,主要体现在模态逻辑的当代发展中。认知逻辑、道义逻辑、可证性逻辑这样一些模态逻辑分支在知识表示技术、知识专家系统、网络的分布和交换系统、网络协议制定等等领域都日渐显示出其不可替代的作用。
现代逻辑没有走向末路,走向末路的只能是那些标榜拥有历久常新、万世不移金规则的所谓绝对理念,绝对知识。我想,泛演化逻辑,如果是何先生著作中的这样一个状态,它的发展趋势,就只可能是一条走不通的胡同。