名称 图式逻辑
索引号 B81/20132
分类号 B81
B81(逻辑学(论理学))
B(哲学、宗教)
作者 刘新文、
出版社 北京 : 中国社会科学出版社, 2012
ISBN 978-7-5161-1379-0
页数 196页 : 图 ; 25cm
价格 CNY39.00
标签
简介
注解 中国社会科学院创新工程学术出版资助项目 2005年国家社会科学基金项目“图式逻辑研究” (批准号05CZX016) 成果 有书目 (第180-193页) 和索引 本书考察的对象是历史上著名的逻辑图及其逻辑理论。第1章考察逻辑图从古典形式走向形式化的发展历程;第2章研究的是欧拉图。逻辑图一般追溯到欧拉图,欧拉图的基本形式以圆表示非空非全的类;第3、4章的研究对象是文恩图及其扩展;第5章研究皮尔士的存在图系统。
书籍简介

《图式逻辑》考察的对象是历史上著名的逻辑图及其逻辑理论。逻辑图首先是为理解亚里士多德的直言命题和三段论推理而发展起来的,其开端一般追溯到欧拉图。围绕着图形的可表达性问题,在长期的历史发展过程中,经过欧拉、文恩和皮尔士等人的努力,逻辑图从最初的设想变成了现实,从最初的简单表述三段论的工具发展成了关系逻辑和模态逻辑等的图式表示。皮尔士的革命性思想不仅克服了逻辑图的重大缺陷,而且为逻辑图打开了一个新的天地:存在图是在现代意义上可靠的和完全的图式逻辑系统。当代的逻辑学家们更是在现代逻辑的基础上、运用现代逻辑的工具和技术对逻辑图进行形式化研究,建立了一大批形式的图形推理系统,并运用到哲学、计算机科学和人工智能等领域,深刻地改变了逻辑图的发展,在此基础上提出的“图式逻辑”的新概念更是为哲学逻辑增添了一个新的分支。