作者:徐弢维特根斯坦数学基础逻辑主义元数学直觉主义语法规则
摘要:维特根斯坦认为20世纪初出现的数学基础三大流派之间的不同争论,实际上都是源于对数学基础问题的认识论思考的混淆,即他们没有从语言句法角度对数学基础问题做出真正的澄清。维特根斯坦认为数学本质上并不需要任何基础,无论逻辑还是元数学都不能成为数学的基础。数学是由计算构成的自为的系统,不同的系统之间具有不同的句法规则,数学命题是一种语法规则表述,具有规范性的地位,这种规范性既不来自于逻辑公理,也不是来自于无矛盾证明或人类心灵的直觉力量,而最终在于人类的生活实践之中。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社