切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
刘新文.图式逻辑[M].北京：中国社会科学出版社,2012
MLA 格式引文
刘新文.图式逻辑.北京,中国社会科学出版社:2012E-book.
APA 格式引文
刘新文(2012).图式逻辑.北京：中国社会科学出版社
图书简介
逻辑研究有效推理。一个推理是有效的是因为结论所传达的信息与前提所传达的信息之间的必然关系，而传达这些信息的媒介不一定就是语言，图形在人类推理中同样也扮演着非常重要的角色。
本书考察的对象是历史上著名的逻辑图及其逻辑理论。逻辑图首先是为理解亚里士多德的直言命题和三段论推理而发展起来的，其开端一般追溯到欧拉图。围绕着图形的可表达性问题，在长期的历史发展过程中，经过欧拉、文恩和皮尔士等人的努力，逻辑图从最初的设想变成了现实，从最初的简单表述三段论的工具发展成了关系逻辑和模态逻辑等的图式表示。在数学和逻辑领域，由来已久的观点是，“（图形）只是促进某些推理训练的辅助工具；……作为一种证明论手段它并不重要；实际上，……它在证明本身中没有恰当的位置。因为证明是一个句法对象，只由有穷多的、带有标签的句子组成”,
围绕着图形的可表达性问题，我们在第1章考察逻辑图从古典形式走向形式化的发展历程。古典的逻辑图主要包括欧拉图和文恩图（一般也把经过皮尔士改造过的文恩图——“皮尔士-文恩图”包括在内）。由于可靠（且完全）的逻辑推演规则的提出，在逻辑图从古典形式走向形式化的发展历程中，具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统，现代形式的图式逻辑就是在这两者的基础上建立起来的。
第2章研究的是欧拉图。逻辑图一般追溯到欧拉图，欧拉图的基本形式以圆表示非空非全的类。欧拉的系统具有各种各样的缺陷，后人沿着不同方向对其进行过各种改进。现代逻辑视野中的欧拉图将突出欧拉图的可视方面，在不添加新的语法对象的基础上严格按照现代逻辑的工具和技术来研究欧拉图，建立起一个具有可靠和完全的推演规则的形式系统，并研究其模型论性质，然后把这些技术和方法推广到在欧拉图基础上直接扩张而成的一类图形——状态图。
第3、4章的研究对象是文恩图及其扩展。文恩图是文恩在欧拉图系统的基础上从图形的表达能力方面对欧拉图改造而成的，皮尔士沿着文恩对欧拉图的改进的方向作了发挥，使得文恩图的表达能力得到了进一步的提高，所得的逻辑图解系统史称“皮尔士-文恩图”。另外，皮尔士还在自己改进的图形系统中引进了图形转换规则，尽管皮尔士的这些规则还不尽完善。20世纪90年代以来出现的新理论使皮尔士的规则完善起来。沿着皮尔士对文恩图在表达力方面的扩展，20世纪90年代以来，一些新的尝试是把文恩图和文恩图、欧拉图和文恩图、图形和逻辑公式组合起来，以及新近正在研究的蜘蛛图、约束图，等等。
我们在第5章研究皮尔士的存在图系统。1896年，皮尔士在接受文恩对欧拉图的改进的基础上，沿着相同的方向作了发挥，使得图的逻辑表达能力得到了进一步的提高，所得的逻辑图解系统史称“皮尔士-文恩图”。但是，皮尔士认为迄今为止的逻辑图在“镜像性”方面都不能让自己满意。凭借自己在化学和其他学科的经验，皮尔士相信逻辑需要有一种可视的记法，这种记法可以像化学中显示分子结构的化学图那样来显示命题的结构。因此，在改造文恩图的同时皮尔士创立了自己的镜像逻辑——“存在图”系统。存在图是皮尔士多产的一生最后20年对逻辑学的主要贡献，是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和逻辑推理的图式系统，具有和一阶逻辑相同的表达能力，是皮尔士用来证明其实效主义的工具。我们将在本章中详细研究存在图的主要内容、发展历程及其哲学意义，以及皮尔士提出的存在图判定问题（命题逻辑部分），除此之外，我们把皮尔士关于存在图的线性记法的一个介绍的译文附在后面作为附录。
为了直观、快捷地把握本书的主要内容以及逻辑图的发展脉络及其相互之间的传承关系，我们用下列形式的树状图来表示本书所研究的逻辑图及其逻辑理论的谱系（按照年代远近从下到上排列，其中实线表示具有直接的扩展关系，虚线则表示没有这种关系，而是在不同解释的基础上发展起来的；位置的高低大致表示年代的差异）：
除了这个树状图中反映出来的逻辑图，本书还简单介绍了最近在它们的基础上发展出来的逻辑图，如蜘蛛图、限制图，等等。
承蒙赵汀阳先生厚爱，封面的漫画是他绘制的。
逻辑图在高校逻辑教学中仍是必不可少的内容之一，希望本书对促进我国逻辑教学和研究有所助益，但由于水平有限，难免存在一些问题和错误，希望得到广大专家、读者的批评指正。
刘新文
中国社会科学院哲学研究所
2012年3月
作者简介
图书目录
相关推荐
-
图书 逻辑、知识与认知逻辑
作者：刘邦凡
图书 逻辑、知识与认知逻辑
-
2
图书 小逻辑（一）
作者：黄昀 常培育 [德]黑格尔
图书 小逻辑（一）
-
3
图书 从资本逻辑到符号逻辑
作者：王欢
图书 从资本逻辑到符号逻辑
-
4
图书 逻辑学：从形式逻辑到非形式逻辑
作者：杨红玉
图书 逻辑学：从形式逻辑到非形式逻辑
-
5
图书 形式逻辑·辩证逻辑·科学
作者：李浙生
图书 形式逻辑·辩证逻辑·科学
-
6
图书 模态逻辑
作者：周北海
图书 模态逻辑
-
7
图书 逻辑哲学（上）
作者：郭贵春 殷杰
图书 逻辑哲学（上）
-
8
图书 逻辑导论
作者：〔美〕P·苏佩斯 宋文淦
图书 逻辑导论
-
9
图书 小逻辑（二）
作者：黄昀 常培育 [德]黑格尔
图书 小逻辑（二）
-
10
图书 佛教逻辑
作者：[俄]舍尔巴茨基 宋立道
图书 佛教逻辑
豆瓣评论