图式逻辑

出版时间：2012-10  出版社：中国社会科学出版社  作者：刘新文  页数：196  字数：253000  

内容概要

刘新文编著的《图式逻辑》考察的对象是历史上著名的逻辑图及其逻辑理论。第1章考察逻辑图从古典形式走向形式化的发展历程。第2章研究的是欧拉图。逻辑图一般追溯到欧拉图，欧拉图的基本形式以圆表示非空非全的类。第3、4章的研究对象是文恩图及其扩展。我们在第5章研究皮尔士的存在图系统。

作者简介

刘新文，男。哲学博士，江西莲花人，从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．皮尔士)
参考文献
索引