理念主义与形式主义的巴别塔

• 作者: 庄朝晖
• 来源期刊: 心智与计算
• 学科: 哲学
• 关键词: 理念主义 形式主义 巴别塔
• 年，卷（期）: 2007,（2）
• 页码范围: 164-171
• 页数: 8页
• 分类号: B08

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄朝晖	厦门大学软件研究所	7	7	2.0	2.0