主题：对科技版面鲤鱼jj《物理学公理化》一文的回复 -- 落花流水

说策梅罗和希尔伯特的出发点不同倒是没错，我想，这也就是数学和逻辑的区别，逻辑学在30年代的发展是令人激动的，虽然问题也是很大的，不完备定理使得经典一阶谓词逻辑之外的逻辑系统迅猛发展，这也不能不说是收获啊。

从逻辑学的角度看，谓词层面的终极真理应该是不存在了，但从其他角度看呢？

比如说，在某些情况下，人们会对观测的现象得到正确的解释，进而得到正确的理论，那么，得到这些正确知识的过程是否是一样的？

这就是现在认知逻辑努力的方向，虽然这些努力才刚刚起步。