图式逻辑

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

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

前言
第1章 逻辑图：从古典到形式化
1.1 古典形式：欧拉图和文恩图
1.2 里程碑：皮尔士—文恩图和皮尔士存在图
1.3 图式逻辑：概念的提出
第2章 欧拉图
2.1 概述
2.2 欧拉图理论
2.3 可判定性和内插性
2.4 一个扩张：状态图
第3章 文恩图
3.1 概述
3.2 皮尔士的批评
3.3 皮尔士—文恩图
3.4 图形的数量方面
3.5 文恩图理论
3.6 可判定性、内插性和可定义性
3.7 欧拉图和文恩图：余论
第4章 图形的表达能力
4.1 文恩图及其扩展
4.2 欧拉—文恩图理论
4.3 图—式理论
第5章 皮尔士图
5.1 概述
5.2 判定问题
5.3 形式理论
附录符号逻辑（查尔斯.S．皮尔士）
参考文献
索引