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

作者：刘新文

来源：毕节学院学报, 2011, (05): 32-35.

• 存在图
• 组合性
• 推演系统 Existential Graphs
• Associativity
• Inference System

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

• 单位
  中国社会科学院