Godel对逻辑实证主义的批判

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