弗雷格与怀疑论问题——对概念文字的知识论辩护

摘要

弗雷格的概念文字是他旨在为算术提供基础而设计的一种逻辑系统,就他的逻辑主义数学哲学计划而言,这种逻辑系统应当表现了具备最高程度确实性的知识.因此,我们可以利用笛卡尔式的怀疑论方法来考察这个系统,看为了达到这种确实性,概念文字应当具备何种特性.这可以从语义和句法两个方面论证,从其构造的基本原则来看,概念文字确实有能力通过怀疑论方法的测试.通过这样的论证我们可以看出,一种在知识论上有足够抱负的逻辑系统应该是怎样的.