作者：庄朝晖理念主义形式主义巴别塔
摘要：圣经里讲了一个关于语言的故事,早期的先民们使用相同的语言,尝试建立通天的巴别塔,这个计划因为语言变乱而失败。这个故事或许隐喻着:人类是不可能通过语言来达到真理的。然而,人类自从吃了知识果,走出了伊甸园,就担当起自己的运命。从理念主义(Rationalism)和形式系统(Formalism)这两条线索,人类尝试着重建新的巴别塔。我们从理念主义的线索,沿着柏拉图的理念世界,到康德的先天准则,再到胡塞尔的本质直观,评论了理念主义的不自明性,提出了使用处于构造之中的"共相"来代替"理念"或者"本质"。维特根斯坦提出"家族相似",反对理念主义和本质主义,但"家族相似"可能过于宽泛。另一方面,从形式主义的线索,沿着莱布尼兹的通用计算,到弗雷格和罗素的逻辑主义,到希尔伯特的形式主义纲领,再到哥德尔不完备性定理,评论了逻辑主义和形式主义的失败。形式主义失败之后,人们转向形式主义的能力范围研究,从而提出了图灵机,为计算机科学的出现奠定了理论基础。基于以上的思考,文中最后提出一些有待研究的问题,比如基于关系的数学,基于谓词的逻辑,矛盾但完备的形式系统。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
