哲学级的逻辑成果

最哲学的成果 , 当数哥德尔定理 。哥德尔第一定理证明了任何理论体系都至少包含一个不可证的命题 , 第二定理证明了任何理论体系都不可自证其自洽性 。 这无疑是两个惊世骇俗的研究结论 , 它们釜底抽薪地终结了动辄放之四海而皆准的神话 。 从趋势上看 , 下一次最具哲学价值的逻辑学究成果应当是以一阶逻辑定理回答与上述研究相关两个问题:​1)那个不可证的命题在哪里?2)拿什么取代一个理论的自证?​倘若一个知识分子论坛的逻辑帖尚停留在宣传如何定义概念或什么叫三段论 , 那么这无异于倒退到初中叉格 , 毕竟连高中物理都讲门电路了 。​​


    推荐阅读