［本站讯］12月8日晚，由山东大学研究生院、党委研究生工作部主办，哲学与社会发展学院承办的第51期（总469期）“稷下风”研究生学术讲坛在中心校区举办。中国社会科学院哲学所逻辑室主任刘新文做客本次讲坛，作了题为“图形推理的逻辑”的报告。此次讲坛由哲学与社会发展学院院长刘杰主持。
　　刘新文围绕图形推理和逻辑哲学，讲述了三个部分：（1）逻辑图简史；（2）图式逻辑；（3）一个逻辑哲学问题。
　　首先，刘新文介绍了逻辑图简史，它分为欧拉图、文恩图和皮尔士图。逻辑图首先就是为理解亚里士多德的直言命题（A、E、I、O）和三段论推理而发展起来的，其开端一般追溯到欧拉图。接着文恩图的问世，以相交区域的图形来解释类之间或命题的真值之间的关系。皮尔士图进一步发展了表示特称命题和复合命题，与此同时引进皮尔士的逻辑图示系统——存在图。其次，刘新文谈到，在数学和逻辑领域，图形仅仅是一种直观的数学辅助工具，精确的数学推理和逻辑演算根本就无法用图形来模拟。然而，皮尔士的革命性思想不仅克服了逻辑图的重大缺陷，而且为逻辑图打开一个新的天地，即皮尔士-文恩图和存在图是现代意义上可靠的和完全的图式推理系统。围绕图式逻辑，他又介绍了higraph的逻辑系统。最后，刘新文强调逻辑哲学问题。图式逻辑是应用数理逻辑、普遍语言传统的工具研究皮尔士工作中的主题——理性演算中的主题所得到的一族逻辑。
　　持续两个小时的报告，让在座师生受益匪浅，并围绕“逻辑是什么”这一无人解答的问题展开深入的讨论。刘杰认为，逻辑图的发展与表现能力为哲学问题带来极大的便利，逻辑作为学习的辅助工具确实是一门很实用的学科。本次“稷下风”研究生学术讲坛在热烈的掌声中圆满结束。
　　刘新文，哲学博士，研究员，中国社会科学院哲学所逻辑室主任，中国逻辑学会现代逻辑专业委员会主任。研究兴趣为图式逻辑、核证逻辑、皮尔士逻辑、拉姆齐哲学和证明复杂性，兼及中国古代逻辑史。出版著作有《图式逻辑》、《谢弗函数研究》，译有《模态对应理论》、《逻辑、语言和认知》等。