现代数理逻辑与语言哲学先驱。首创一阶谓词逻辑系统,划清了概念的“涵义”(Sense)与“指称”(Reference,客观真身)分野,以数学精密性扫净词语混淆。
19世纪末20世纪初数理逻辑大开拓者,现代分析哲学开山祖师。一生蛰居于耶拿大学教授数学,冷清孤独、少言寡语。他甚至自掏腰包印刷其宏伟巨著《算术基本法则》,由于符号系统过于生硬典雅,当时几乎无人问津。不仅如此,在第二卷即将完工印行前,他突然收到了年轻罗素寄来揭示算术逻辑体系存在致命逻辑漏洞的著名信件(罗素悖论),这使其大受打击,悲叹半生心血毁于一旦。然而,他终其一生严密逻辑的研究,直到被罗素、维特根斯坦捧为至高公理,才在冷雨寒窗后,惊雷般奠定了万亿级算力现代计算机世界的命题基石。
数理逻辑泰斗,将数学逻辑化的逻辑主义领军人。他开天辟地地提出了词语‘涵义’(Sense, Sinn)与‘指称’(Reference, Bedeutung)的科学分野。‘涵义’是概念呈现给人类心智的独特路径、角度与意义本身,而‘指称’则是概念在客观物理世界上所代表的那具客观真身实体。例如:‘晨星’与‘暮星’在日常涵义上截然相反,一代表朝霞一代表夕阳,但在天文学客观指称上,它们却完全合一,都是‘金星’。这一精准的分野,彻底终结了西方思想史因语境歧义而展开的大量神仙打架。这一逻辑分析工具使语言获得了可像牛顿力学一样极精密计算的代数公理标尺。
"逻辑学不是心理学。思维决不能等同于人类大脑中的胡思乱想与意识感觉,思维是纯粹、永恒、独立客观的第三真理之域,正如晨星指称的绝对真身,从不因人类是否抬眼看它而发生丝毫挪移!"
弗雷格把词语拆解为‘涵义’(通往事物的具体路径与认知面貌)与‘指称’(被指涉的宇宙客观本质本体),直接医治了人类的大脑鸡同鸭讲。比如我们每个人红着脖子讨论的‘幸福’一词,在涵义上可能是‘财务自由、岁月静好、或者热血奋斗’(实现路径),但在指称的本底上,它究竟是多巴胺冲动还是灵性终极合一的安宁?为了不让自己的沟通陷入词语泥潭,你今晚能学着弗雷格,在跟伴侣或同事高声争吵前,先给彼此的词语写出严密的‘涵义’与‘指称’边界吗?
康德坚信数学基础属于“先天综合命题”,高度依赖人类大脑天生的时空想象力直观系统;弗雷格则发动逻辑主义大反叛,论证数学是百分之百客观、纯理性的,是借由完全中立、不赖任何人脑感官直观的绝对纯逻辑必然公式推演得出的科学真理。
数学、时空和逻辑定律的存在,究竟是康德所言,是人类大脑像投影仪一样给大自然套上便于理解的心理秩序网格;还是弗雷格所坚守的,是比喜马拉雅山脉还要高傲客观、任人类彻底灭亡也绝不会变动一下的虚空绝对逻辑神谕?
与 弗雷格 进行 AI 灵魂对话,或参与思想格斗场辩论