从分析命题到逻辑真理——论弗雷格对康德分析命题的拓展

本文揭示了弗雷格逻辑主义的核心问题如果拓展康德的分析真理到范围更广的逻辑真理。能否涵盖某一范围的数学真理?弗雷格相信通过对逻辑真理范围的扩展,有可能对算术真理进行重新定位。弗雷格是从证明论的角度拓展康德的分析命题的。此外,本文通过对函数连续性概念的详尽分析,例示了弗雷格的概念词的析出法,指出康德概念论的局限在于如下一个简单的事实如果约束变元的值域是无限的,我们不可能把包含量词的表达式改写成合取范式或析取范式。