图式逻辑

图式逻辑

刘新文, 著

出版社:中国社会科学出版社

年代:2012

定价:38.0

书籍简介:

本书以图形的表达能力为主题研究了逻辑图从欧拉开始经文恩、皮尔士、巴威斯等传承的历史发展脉络以及“图式逻辑”概念的提出进程,然后以现代逻辑的方法和技术分别详细研究了欧拉图、文恩图、皮尔士图等经典逻辑图以及在它们基础上发展起来的现代图式系统的形式推理系统及其元理论性质。

作者介绍:

刘新文,男。哲学博士,江西莲花人,从1999年开始师从我国著名逻辑学家张清宇研究员研习现代逻辑,现为中国社会科学院哲学研究所副研究员、中国逻辑学会副秘书长,主要研究兴趣为符号逻辑,著有《谢弗函数研究》。合作出版译著《模态对应理论》,《逻辑、语言和认知》,在《哲学研究》、《哲学动态》、《世界哲学》和《逻辑学研究》等刊物上发表专业论文多篇。

书籍目录:

前言

第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装帧平装
页数印数

书籍信息归属:

图式逻辑是中国社会科学出版社于2012.9出版的中图分类号为 B81 的主题关于 逻辑 的书籍。