图式逻辑PDF电子书下载

前言 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