用户名:
    密码:

你的位置: 首页 > 标签

标签归档:弗协调逻辑
杨武金:弗协调逻辑的理论意义和实践价值

一、弗协调逻辑是逻辑学领域中的革命 弗协调逻辑(Paraconsistent Logic)是一种非经典逻辑,但它又是其中最具有革命性的逻辑学分支。Para这个前缀有超越、否定的意思,“弗”就是“不”即否定。通常认为,一种具体的逻辑只有在它的一阶谓词演算建立之后才能说它的存在。根据这个标准,我们可以说,弗协调逻辑是由巴西逻辑学家科斯塔(N.C.A.da Costa)在1963年创立的。因为他在这一年发表了博士论文《不协调形式系统》,从弗协调逻辑的基本思想出发,构造了在其中“A”和“?A”都是定理,但并非不足道的纯形式演算系统,即弗协调逻辑系统。 如果说要对弗协调逻辑给出一个明确的定义那还是不容易的。不过,这并不妨碍我们可以给它做出一个大致的描述,即…

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