出版社：中国社会科学出版社
年代：2012
定价：38.0
本书以图形的表达能力为主题研究了逻辑图从欧拉开始经文恩、皮尔士、巴威斯等传承的历史发展脉络以及“图式逻辑”概念的提出进程，然后以现代逻辑的方法和技术分别详细研究了欧拉图、文恩图、皮尔士图等经典逻辑图以及在它们基础上发展起来的现代图式系统的形式推理系统及其元理论性质。
前言
第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章研究皮尔士的存在图系统。
| 书籍详细信息 | |||
| 书名 | 图式逻辑站内查询相似图书 | ||
| 9787516113790 如需购买下载《图式逻辑》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 北京 | 出版单位 | 中国社会科学出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 38.0 | 语种 | 简体中文 |
| 尺寸 | 21 × 15 | 装帧 | 平装 |
| 页数 | 印数 | ||