弗雷格定理相关论文
戈特洛布·弗雷格是现代数理逻辑的奠基人，也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学---逻辑主义：算术真......
弗雷格《算术的基本规律》中二阶逻辑理论FL是不一致的,在语法上可以推演出罗素悖论,在语义上,矛盾于康托尔定理,进而是不可满足的......
弗雷格定理是弗雷格的研究者试图修正和重构弗雷格的不一致的逻辑－算术系统的结果。弗雷格定理表明，撇开弗雷格关于数的显式定义，从其......
本文首先将新弗雷格主义的发展划分为三个阶段：（1）弗雷格算术（由二阶逻辑和休谟原则构成的理论）的一致性和对于二阶皮亚诺算术公理的可......
