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

摘要：

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

关键词：逻辑图、可表达性、图形转换规则、图式逻辑

所属期刊栏目：9

分类号：O141(数理逻辑、数学基础)

资助基金：国家哲学社会科学基金05CZX016

在线出版日期：2006-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：25-29