弗雷格逻辑主义之路.pdfVIP

第 卷 第 期 年 月 弗雷格的逻辑主义之路 杨海波 摘 要本文意在较为详细地考察弗雷格把算术还原为逻辑的工作首先我们指出概 念文字中的逻辑本质上是完整的二阶逻辑并介绍弗雷格对数学归纳法的处理其次我 们简单地讨论算术的基本定律中的逻辑最后仿照 与 的著作我们给出 一个大致符合弗雷格想法的逻辑在此基础上讨论弗雷格如何发展算术罗素悖论的产 生弗雷格的修改以及蒯因的证明 关键词弗雷格逻辑主义罗素悖论二阶逻辑 众所周知在 世纪后期弗雷格试图把算术还原为逻辑论证算术真理就是逻辑真 理弗雷格的这个想法被后人称为逻辑主义想法 算术中处处是等式方程意在指称似乎作为个体对象数自然数有理数无理数复 数等的数字变元以及各式各样的函数如加减乘除等运算表达式与其它学科相 比较算术的演算规则比如等式两边加上相等的数量后等式保持不变等规则更为明确 符号简单且少歧义为此弗雷格想模仿算术语言建立一套语言 讨论包括一些特殊的 函数如常见的真值联结词所表达的真值函数量词所表达的函数 等词所表达的函 数一般的函数或概念如与自己不相等这个概念以及一些特殊的对象比如函数的外 延在这样清楚的语言基础上他尝试建立一个函数与函数的外延的演算这个演算由 一些关于这些函数与函数的外延的最一般的真性质作为公理根据明确的推理变换或演 算规则得出关于这些函数与函数的外延的最一般的真理或定理弗雷格期望所有常见 的算术真理都是这个演算的定理或者说根据某些恰当且自然的定义算术真语句只是 这个演算的定理根据定义的缩写在弗雷格看来他的演算系统是最一般的演算系统或 是逻辑系统如果上述期望能够实现他也就完成了算术的逻辑还原 为了具体地实现这个想法他创见性地给出一些哲学分析与区分并且构造较为严格 的逻辑系统给出严格的定义来展现算术的逻辑还原很可惜由于罗素悖论他的系统 是不一致的为避免罗素悖论弗雷格曾给出一个匆忙的修正而这个修正也被后人明确 地证明是不成功的 本文结合弗雷格本人的主要著作较为详细地考察他的逻辑以及他的逻辑主义还原工 作为此我们首先考察他在概念文字 中对数学归纳法富有创见性的处理接下来 结合他本人的逻辑系统我们给出一个大致符合弗雷格想法的逻辑或理论在此基础上