谈谈允许矛盾的逻辑# Thoughts - 思考者
e*e
1 楼
发信人: walt (瓦尔特), 信区: thoughts
标 题: 谈谈允许矛盾的逻辑
发信站: BBS 曙光站 (Thu Aug 27 21:44:25 1998)
初级的逻辑里面上来就讲“矛盾律”，不允许推理中有矛盾，高级的逻辑
偏偏讲推理里面怎么容许矛盾而不带来灾难。
矛盾这个概念，在中文里源于《自相矛盾》的故事。可是，假如那个卖矛
又卖盾的这么说：
“（1）我的矛锋利无比，什么样的盾都能刺穿”
“（2）我的盾坚固无比，什么样的矛都不能把它刺穿”
“（3）假如（2）的哪个推论跟（1）有冲突，那个推论作废；不冲突，则算数”
（1）-（3）就构成一个完整的允许矛盾存在又不会让矛盾破坏的推理体系。在其中，
（1）的推论互相是不矛盾的，（2）的推论在与（1）相冲突时以（1）为准，在与
（1）不冲突时，也算数。[我忽然想到了阿西莫夫的机器人三定律...]
标 题: 谈谈允许矛盾的逻辑
发信站: BBS 曙光站 (Thu Aug 27 21:44:25 1998)
初级的逻辑里面上来就讲“矛盾律”，不允许推理中有矛盾，高级的逻辑
偏偏讲推理里面怎么容许矛盾而不带来灾难。
矛盾这个概念，在中文里源于《自相矛盾》的故事。可是，假如那个卖矛
又卖盾的这么说：
“（1）我的矛锋利无比，什么样的盾都能刺穿”
“（2）我的盾坚固无比，什么样的矛都不能把它刺穿”
“（3）假如（2）的哪个推论跟（1）有冲突，那个推论作废；不冲突，则算数”
（1）-（3）就构成一个完整的允许矛盾存在又不会让矛盾破坏的推理体系。在其中，
（1）的推论互相是不矛盾的，（2）的推论在与（1）相冲突时以（1）为准，在与
（1）不冲突时，也算数。[我忽然想到了阿西莫夫的机器人三定律...]