| 皮尔士存在图的形式推演系统 |
| |
| 引用本文： | 刘新文.皮尔士存在图的形式推演系统[J].毕节学院学报,2011,29(5):32-35. |
| |
| 作者姓名： | 刘新文 |
| |
| 作者单位： | 中国社会科学院哲学研究所，北京，100732 |
| |
| 基金项目： | 国家社会科学基金项目“广义析舍的逻辑系统及其证明论与复杂性研究”,项目编号:10BZX055 |
| |
| 摘 要： | 现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图三个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑。首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统。
|
| 关 键 词： | 存在图 组合性 推演系统 |
Reasoning with Peirce's Existential Graphs |
| |
| LIU Xin-wen.Reasoning with Peirce's Existential Graphs[J].Journal of Bijie University,2011,29(5):32-35. |
| |
| Authors: | LIU Xin-wen |
| |
| Institution: | LIU Xin-wen(Institute of Philosophy,Chinese Academy of Social Sciences,Beijing 100732,China) |
| |
| Abstract: | In 1896 C.S.Peirce established his graph system for mordern logic,the existential graphs.This kind of graph system consists of three parts,alpha,beta,and gamma,corresponding to classical propositional logic,predicate logic,and modal logic respectively.Because of the falure of associativity,there are no satisfiable inference systems for them.This paper presents a axiom system for a fragment of the alpha Graphs. |
| |
| Keywords: | Existential Graphs Associativity Inference System |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
