逻辑图:从古典到形式化的发展

被引：5

作者：

刘新文

机构：

[1] 不详

[2] 中国社会科学院哲学研究所

[3] 不详

来源：

关键词：

逻辑图; 可表达性; 图形转换规则; 图式逻辑;

D O I：

暂无

中图分类号：

O141 [数理逻辑（符号逻辑）];

学科分类号：

070104 ; 010104 ; 010105 ;

摘要：

古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。

引用

页码：25 / 29

页数：5