Goedel对逻辑实证主义的批判

Goedel被看作维也纳学派共同体成员，生前从未发表过批判断逻辑实证主义的文字，但新近出版的《Goedel全集》第三卷中公布的一些资料使我们了解到他与维也纳学派观点的重大分歧。本文对Goedel的三篇手稿，特别是《数学是语言的句法吗？》一文中的观点以及他本人的论证进行分析，指出Goedel虽未提供令他自己满意的对于数学基础中的语言约定论的批判，但却指出了这种理论的内在矛盾，并提供了有力的论证。