主题：【原创】逻辑的力量（0）：引子 -- 滕诺
共:💬23 🌺168
逻辑推理和自然语言推理是有区别的，很多自然语言中的“常识”或者“上下文”，在逻辑中很难充分的表示，所以看起来象诡辩。
比如白马非马，这个非字，如果作为语法比较符号，
"白马" =/= "马"
是对的。在Logic Program中，=/=就是这样解释的
但是如果把非看做disjointness
白马 and 马 = False
就和“常识”相悖了。
- 相关回复 上下关系8
压缩 2 层
🙂逻辑推理的“趣”用 3 西瓜大丸子汤 字766 2011-05-08 10:44:39
🙂感觉这不象逻辑而似诡辩了 滕诺 字72 2011-05-11 06:12:08
🙂这个还真的不太像诡辩 1 假设 字129 2012-02-17 06:20:59
🙂举这几个例子，说明逻辑推理的局限性
🙂这更像是语言的局限性，而不是逻辑的 卷心菜 字0 2011-08-13 21:52:30
🙂逻辑本身其实很简洁 1 西瓜大丸子汤 字421 2011-05-06 21:42:17
🙂由简入繁与化繁为简是学习的两个过程 滕诺 字130 2011-05-08 05:42:19
🙂另外还有一点，哲学系，数学系和计算机系里的逻辑 2 西瓜大丸子汤 字122 2011-05-06 21:47:35