《现代西方哲学新编》第三章分析哲学的诞生第二节弗雷格

哥特洛布·弗雷格（Got tlob Frege，1848—1925年），德国耶拿大学数学教授，在耶拿平静地度过一生，但他的革命性思想却与他的平静生活形成强烈反差，在这方面，他可以说是逻辑学界的康德。他的主要著作有：《概念文字》（1879年）、《算术基础》（1884年）以及《算术基本法则》（第一卷，1893年，第二卷，1903年）。
大多数人在当时或者不理解、或者忽视了他的著作，只有罗素、维特根斯坦等少数思想敏锐的哲学家注意到他的开创性成果，从中获得很多启发。长期以来，人们只把他当作数理逻辑的开创者，对于他的哲学贡献知之甚少。直到20世纪70年代以来，主要是通过杜麦特的解释，人们才把他看做分析哲学的主要创始人。杜麦特在《弗雷格的语言哲学》一书中，把他评价为“分析哲学之父”，是与亚里士多德和康德并列的第一流哲学家。确实，弗雷格和亚里士多德、康德一样，通过改变人们的思维方式，影响了西方哲学发展的进程。我们在此不再过多介绍他在数理逻辑方面的成就，而着重揭示他在这方面工作的哲学意义。
命题函项
《概念文字》的副标题是：“一种摹仿算术语言构造的纯思维的形式语言”。弗雷格为什么要构造一种“纯思维的形式语言”？他又是如何“摹仿算术语言构造”的呢？关于第一个问题，他后来写道：“在科学的较抽象部分，人们一再感到缺少一种既可以避免别人的曲解，又可以避免自己思想中错误的工具，这两个问题的原因都在于语言的不完善性”。日常语言的不完善性在于语法关系复杂，不服从逻辑规则，不能表达精确的意义，也不能进行严格的推理。亚里士多德以来的传统逻辑虽然企图规范语言形式，但却未获成功。原因在于传统的形式逻辑从根本上说是主谓逻辑。他批评说：“用主词和谓词构造判断……对我独特的目的是有妨碍的，并且只会导致毫无用处的累赘”。为了精确性的目的，弗雷格设计了一种形式语言，用它来代替主谓逻辑。他所说的形式语言就是现在人们一般所说的数理逻辑。