皮尔士存在图的形式推演系统

摘要：

现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图三个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑.首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统.

关键词：存在图、组合性、推演系统

所属期刊栏目：29

分类号：B812.23(逻辑学(论理学))

资助基金：国家社会科学基金项目“广义析舍的逻辑系统及其证明论与复杂性研究”,项目10BZX055

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

页数：共4页

页码：32-35