图式逻辑

　　刘新文，男，哲学博士，江西莲花人，从1999年开始师从我国著名逻辑学家张清宇研究员研习现代逻辑，现为中国社会科学院哲学研究所副研究员、中国逻辑学会副秘书长，主要研究兴趣为符号逻辑，著有《谢弗函数研究》，合作出版译著《模态对应理论》、《逻辑、语言和认知》，在《哲学研究》、《哲学动态》、《世界哲学》和《逻辑学研究》等刊物上发表专业论文多篇。

《图式逻辑》考察的对象是历史上著名的逻辑图及其逻辑理论。逻辑图首先是为理解亚里士多德的直言命题和三段论推理而发展起来的，其开端一般追溯到欧拉图。围绕着图形的可表达性问题，在长期的历史发展过程中，经过欧拉、文恩和皮尔士等人的努力，逻辑图从最初的设想变成了现实，从最初的简单表述三段论的工具发展成了关系逻辑和模态逻辑等的图式表示。皮尔士的革命性思想不仅克服了逻辑图的重大缺陷，而且为逻辑图打开了一个新的天地：存在图是在现代意义上可靠的和完全的图式逻辑系统。当代的逻辑学家们更是在现代逻辑的基础上、运用现代逻辑的工具和技术对逻辑图进行形式化研究，建立了一大批形式的图形推理系统，并运用到哲学、计算机科学和人工智能等领域，深刻地改变了逻辑图的发展，在此基础上提出的“图式逻辑”的新概念更是为哲学逻辑增添了一个新的分支。