前言

第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．皮尔士)

参考文献

索引

刘新文编著的《图式逻辑》考察的对象是历史上著名的逻辑图及其逻辑理论。第1章考察逻辑图从古典形式走向形式化的发展历程。第2章研究的是欧拉图。逻辑图一般追溯到欧拉图，欧拉图的基本形式以圆表示非空非全的类。第3、4章的研究对象是文恩图及其扩展。我们在第5章研究皮尔士的存在图系统。