数学的构造：平凡的 1 + 1 = 2 是否可以被证明？
发表时间：+-
点击看全文
摘要
数学史上有一个著名的“西绪福斯式”（Sisyphean）丰碑：Russell 与 Whitehead 在其巨著《Principia Mathematica》中，试图将整个算术体系无缝还原为纯粹的逻辑学（即逻辑主义纲领）。他们在不诉诸任何直觉或数学预设的极度贫瘠语言中，耗费近三百页的篇幅才艰难推导出 1 + 1 = 2。这一壮举不仅展示了形式主义与逻辑主义的宏大雄心，更以一种悲壮的方式揭示了其内在极限。本文旨在澄清一个常被经验主义或先验实在论所忽略的数学哲学事实：诸如 1 + 1 = 2 这样的算术命题，其真值既非独立于人类理性的纯逻辑稳态，亦非不可逃避的经验直觉，更非语义上的循环同义反复。相反，它是人类在元语言层面对“数”与“运算规则”进行公理化构造之后，在系统内部通过形式演绎确立的非平凡（Non-trivial）相容性结果。为此，本文将数学活动拆解为本体论层面的“框架建立”与认识论层面的“系统内证明”，借此精确刻画算术真理的合法性来源