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