熊明辉 易永胜

逻辑与科学思维的融合
——第二届逻辑与思维科学论坛综述

熊明辉 易永胜

“科学发展离不开科学思维，科学思维离不开逻辑”。由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所、广东逻辑学会、广西思维科学学会主办，深圳市委党校协办的“第二届逻辑与思维科学论坛暨广东逻辑学会和广西思维科学学会学术年会”于2010年12月25日至26日在深圳市委党校隆重召开。参加这次会议的有来自国内多所高校及科研机构的专家学者近50人。有10多位专家学者在大会上做了学术报告，就逻辑理论与逻辑学史、法律逻辑与法律思维、思维科学与科学思维三大主题进行热烈讨论。

一、逻辑理论与逻辑学史

命题逻辑是当代逻辑大厦的基石。中山大学逻辑与认知研究所教授、博士生导师赵希顺作了题为《命题逻辑及相关课题》的报告。他在介绍命题逻辑的思维可谓满足性（SAT）问题及最新SAT算法基础上，评价了SAT问题的重要性。SAT问题可以让计算机帮助人们进行逻辑推理；SAT问题和世界7大数学难题“P=NP？”有着密切的关系；更重要的，SAT问题广泛应用于自然科学、工程技术、人文科学等各个领域。但是，SAT问题面临着极大的挑战。如何面对这些挑战，赵希顺教授介绍了近年来的研究课题。为了发现提高SAT算法效率的技术，赵希顺和德国学者合作开创性地研究了极小不可满足公式的结构、复杂性等。发展了量化布尔公式的模型理论。他们的思想和成果被国外学者用于开发QSAT算法。……