Redian新闻
>
即便有公理以及从公理到判断的推理过程...
avatar
即便有公理以及从公理到判断的推理过程...# Thoughts - 思考者
l*u
1
就可以做出对错判断吗?
不可以。
公理体系是基于一组有限可数个被称之为“公理”的先验假设通过
明确说明的逻辑规则演绎得到的。
这里就存在三个问题:
1.根据哥德尔定理,公理体系不可能是完备的。
因此,在公理体系中存在无法逻辑地判明是否真命题的命题。
2.是否存在在预言和观察符合程度上相近的不同公理组?
因为1.公理体系不可能做出和所有观察都符合的预言。
如果存在符合程度相近的不同公理组,对于在一个而
不是所有同等有效公理体系中可证明为假命题的命题,
无法做出对错判断。即使在全部已知公理体系中都被
证明为假命题,由于公理体系的不完备性,也不能外推做出全局判断。
3.逻辑规则本身并非公认。形式逻辑中受到质疑最大的是排中律。
在包括排中律或同等逻辑规律的逻辑体系中,可以通过
自相矛盾的推理证明一个命题是假命题。但在不包括
排中率的逻辑体系中,这种情况只说明这个命题属于“中”。
avatar
v*e
2
这样也是好的,话总是说清楚的好,不是么,也并不累人.
不独有,说明我也有,那么我如果针对自己来看,就不是对号入坐,不是么?
后面的"和本道无关"就有些没有必要了,因为你都明说我也有--当然不独我有,
还说和你无关,就又退步为自欺欺人了吧?:)
话如果说清,总是好的,就怕那种故意不说清的,这是本版不允许的.
这次你明说"不独指"了,我到反而不会在意了,更不会没事对什么坐.
相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。