送交者: bluesea 于 2005-9-14, 15:08:32:
回答: what does this mean "逻辑学和他的不完备定理还是有区别的?" 由 steven 于 2005-9-14, 14:52:12:
因为哥德尔在数理上使用的逻辑是标准的经典逻辑，也
就是一阶逻辑。比如他的第一定律其实是罗素的“谎言逻辑”
的一种。所以在逻辑学形式上，这不算什么创新。
在逻辑学上，我们通常把一阶逻辑遗留的问题，用现代
逻辑，比如模态（含有时序关系）逻辑来解决。但是，在数
学上不能这么用。
请区分出数学和逻辑的起码区别出来。