从分析命题到逻辑真理-论弗雷格对康德分析命题的拓展
本文揭示了弗雷格逻辑主义的核心问题:如果拓展康德的分析真理到范围更广的逻辑真理。能否涵盖某一范围的数学真理?弗雷格相信通过对逻辑真理范围的扩展,有可能对算术真理进行重新定位。弗雷格是从证明论的角度拓展康德的分析命题的。此外,本文通过对函数连续性概念的详尽分析,例示了弗雷格的概念词的析出法,指出康德概念论的局限在于如下一个简单的事实:如果约束变元的值域是无限的,我们不可能把包含量词的表达式改写成合取范式或析取范式。
作 者: 徐明明 作者单位: 深圳大学,社科研究院,深圳,518060;中山大学,逻辑与认知所,广州,510275 刊 名: 自然辩证法研究 PKU CSSCI 英文刊名: STUDIES IN DIALECTICS OF NATURE 年,卷(期): 2000 16(4) 分类号: B81 关键词: 分析命题 逻辑真理 概念词的析出法