最近复习Intuitionistic logic的时候真正注意到standard logic确实很有问题。 比如对于所有的a和所有的b，standard logic 里面我们可以证明： ( a ->b ) v ( b -> a )。 但是现实事件中的事件似乎可以是毫无关联的。( a ->b ) v ( b -> a ) 的对错从变量的真假来看没有任何问题，但是在现实世界中，这样一条规则似乎是不合适的。它似乎不是我们这个世界的真理。
standard logic 的问题：causality
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
- 文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
