海纳百川 :: 阅读主题 - 介绍一下次协调逻辑（Paraconsistent logic）

海纳百川

登录 \| 登录并检查站内短信 \| 个人设置	网站首页 \| 论坛首页 \| 博客 \| 搜索 \| 收藏夹 \| 帮助 \| 团队 \| 注册 \| RSS


	主题: 介绍一下次协调逻辑（Paraconsistent logic）

海纳百川首页 -> 驴鸣镇

阅读上一个主题 :: 阅读下一个主题

作者

介绍一下次协调逻辑（Paraconsistent logic）

越南人
[个人文集]

加入时间: 2004/02/14
文章: 7096

经验值: 97883

标题: 介绍一下次协调逻辑（Paraconsistent logic） (469 reads) 时间: 2014-2-14 周五, 上午8:13

作者：越南人 在驴鸣镇发贴, 来自 http://www.hjclub.org

这里说是介绍，其实是抛砖引玉，或请人指正。
因为Paraconsistent logic是大先生昨天提到的名词--我以前没听说过。

话说数理逻辑中有一个“怪定理”，
叫做：从假命题出发可以得到无限的真命题。
这玩艺的“革命性”可是强了去---记得我以前略提过。

这种爆炸性原则(principle of explosion)也可表述如下
(A ∨ ¬A) -> B
--------------------------------------------------------------------

不过呢“革命性”倒是有，但从逻辑关系式的角度来讲

意味着：只要有一个矛盾存在，计算机就无法推理出任何有效结论。

而当今计算机系统越来越庞大，免不了混入一两个自相矛盾的地方，
我们总想计算机在有点矛盾的前提下，主动克服矛盾，
或者在某些场合，把矛盾体系修正成无矛盾体系，
为我们提供些有效的结论。
于是Paraconsistent logic在现代就显得重要了起来。

参考文献:
http://plato.stanford.edu/entries/logic-paraconsistent/

作者：越南人 在驴鸣镇发贴, 来自 http://www.hjclub.org

返回顶端

直觉逻辑定义 -- 越南人 - (49 Byte) 2014-2-14 周五, 上午8:39 (123 reads)

你昨天发文讨论的直觉逻辑，在逻辑学界实际上归类为次协调逻辑 -- 大隐于朝 - (70 Byte) 2014-2-14 周五, 上午8:36 (129 reads)

我注意到了，我是想弄明白intuitionistic logic和dual-intuitionistic logic两者 -- 越南人 - (9 Byte) 2014-2-14 周五, 上午8:44 (128 reads)

显示文章:

海纳百川首页 -> 驴鸣镇

所有的时间均为北京时间

您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您可以在这个论坛下载文件

[ Page generation time: 1.881665 seconds ] :: [ 26 queries excuted ] :: [ GZIP compression enabled ]