图式逻辑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

查看更多关于的内容