用户名:
    密码:

你的位置:首页 > 西方哲学名言

皮尔士存在图的形式推演系统
录入: 哲学网编辑部 发表时间: 2014-01-30 点击: 1828 次 我要收藏

英文标题:Reasoning with Peirce's Existential Graphs
刘新文(1972-),男,江西莲花人,中国社会科学院哲学所副研究员,硕士生导师,研究方向:符号逻辑,北京 100732
内容提要:现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图三个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑。首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统。
In 1896 C. S. Peirce established his graph system for modern 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.
关 键 词:存在图/组合性/推演系统Existential Graphs/Associativity/Inference System

文章的脚注信息由WordPress的wp-posturl插件自动生成

标签 :

发表评论

电子邮件地址不会被公开。 必填项已用*标注

您可以使用这些HTML标签和属性: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

我的哲学
哲学 未经授权禁止复制或建立镜像,采用Wordpress架构,采用知识共享署名进行许可
邮箱:admin#zhexue.org (#换成@)优畅优化|阿里云强力驱动
ICP证号:浙ICP备16005704号-2
网站加载1.024秒
知识共享许可协议