- 积分
- 11016
- 经验
- 点
- 威望
- 点
- 金钱
- 两
- 魅力
- 点
- 金币
- 元
- 性别
- 保密
- 在线时间
- 小时
- 注册时间
- 2020-2-9
- 最后登录
- 1970-1-1
|
26楼

楼主 |
发表于 2020-4-5 08:59
|
只看该作者
| 来自山东
从根本上说,一旦我们想要做一个证明,不论是系统内的还是系统外的证明,那肯定要用到一定的推理规则,我们现在使用的推理规则就是所谓的逻辑规则。
如果要证明逻辑规则是对的,那么在这个证明过程中就要使用一个推理规则。这个推理规则不能是现有的逻辑——否则就是循环论证。这个推理规则也不能是一套新的规则——否则就还要证明这套新规则是对的,从而陷入无穷倒退(不停地证明不同规则的有效性)。
|
|