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