西西河

主题:【原创】逻辑的力量(0):引子 -- 滕诺

共:💬23 🌺168 新:
全看分页树展 · 主题 跟帖
家园 举这几个例子,说明逻辑推理的局限性

逻辑推理和自然语言推理是有区别的,很多自然语言中的“常识”或者“上下文”,在逻辑中很难充分的表示,所以看起来象诡辩。

比如白马非马,这个非字,如果作为语法比较符号,

"白马" =/= "马"

是对的。在Logic Program中,=/=就是这样解释的

但是如果把非看做disjointness

白马 and 马 = False

就和“常识”相悖了。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河