大话学者和大话逻辑──读何新《泛演化逻辑引(5)
2015-03-18 01:02
导读：模态逻辑是二十世纪50年代以来最富成长性的一门逻辑分支。路易斯在20年代针对实质蕴涵提出严格蕴涵的概念，到30年代，由路易斯创立了最早的模态逻辑
模态逻辑是二十世纪50年代以来最富成长性的一门逻辑分支。路易斯在20年代针对实质蕴涵提出严格蕴涵的概念，到30年代，由路易斯创立了最早的模态逻辑系统。自50年代以来，模态逻辑在语形方向、代数方向、模型论方向以及道义、可证性、多值、直觉主义、认知等等领域发展迅速。一直到今天还继续保持向许多领域渗透和扩张的强劲势头。模态逻辑既在人文社科领域具有形上思辨的启示功能，例如在伦理道德、法制建构、博弈领域；在和工程科学领域，特别是在机和人工智能领域也显示出良好的前景。今天，模态逻辑几乎是我国所有逻辑学生课程中的必修课程。近二十年来，国家社科基金和部人文社科规划都对模态逻辑的研究给与了支持。这些钱绝不是白花的，它为逻辑学研究和世界接轨，并创造出新的逻辑知识打下了良好的基础。
逻辑学的当代发展，一个颇富启示力的说法是：逻辑科学在今天的社会和社会发展过程中开始展现出极好的发展机遇。逻辑和计算机科学之间的关系，非常类似于数学应用于物和工程学的关系；如同数学是自然科学的工具一样，逻辑在计算机科学中的工具作用有愈来愈明显的体现。而逻辑科学的这种工具作用，主要体现在模态逻辑的当代发展中。认知逻辑、道义逻辑、可证性逻辑这样一些模态逻辑分支在知识表示技术、知识专家系统、的分布和交换系统、网络协议制定等等领域都日渐显示出其不可替代的作用。
现代逻辑没有走向末路，走向末路的只能是那些标榜拥有历久常新、万世不移金规则的所谓绝对理念，绝对知识。我想，泛演化逻辑，如果是何先生著作中的这样一个状态，它的发展趋势，就只可能是一条走不通的胡同。
|
|
