所有人都说逻辑实证主义是一场彻底的失败，但当代哲学家用的工具全是他们造的！
哲学圈最近吵翻了一个老话题：一个叫卡尔纳普的德国人，90多年前写了篇论文说要“消灭形而上学”，结果今天大家发现——他好像成功了，又好像完全没成功！
这篇文章带你挖一挖：一个被公认“失败”的哲学运动，怎么就在不知不觉中把整个西方哲学改造成了另一个物种？以及，为什么今天最烦形而上学的那些哲学家，自己干的事恰恰就是形而上学？
1929年，维也纳。一个叫鲁道夫·卡尔纳普（Rudolf Carnap）的年轻哲学家写了一篇火药味十足的论文，标题叫《通过语言的逻辑分析消除形而上学》。他的目标很明确：把德国哲学界（大陆哲学）那些满嘴“存在”“绝对”“虚无”的同行们，统统赶出学术圈。他的武器是一把叫“逻辑分析”的手术刀——他要切开哲学家的句子，看看里面到底有没有实质内容。
他要指着黑格尔、海德格尔这些大人物的鼻子说你们写的那些关于"存在""绝对""虚无"的句子根本不是哲学，是语法错误的废话！
卡尔纳普的武器是一套叫验证主义（Verificationism/逻辑实证主义）的意义标准，他规定一句话要有意义必须满足两个条件之一：要么它是逻辑上的同义反复，比如"单身汉就是未婚男人"；要么它能在经验上被检验，比如"水在一百度沸腾"。任何不满足这两条的句子，不管听起来多么深邃，统统归入"无意义的伪命题"垃圾桶！
海德格尔那句著名的"虚无本身在虚无化"就被卡尔纳普拎出来当反面教材，说这句话的语法结构跟"雨在下"一样，但"虚无"根本不是一个能执行动作的主语，所以整句话就像在说"圆形的方形在跳舞"！
这套打法在1920年代的维也纳确实痛快，因为当时德国哲学界的主流是各种宏大叙事，新康德主义者甚至敢拿康德的先验时空观去质疑爱因斯坦的相对论，说物理学的数学推导再漂亮也不能违背哲学的先天框架，卡尔纳普看着这帮人用哲学教物理学做事，气得直接掀桌子，他说哲学的工作不是给科学当裁判，而是给科学当清洁工，帮科学家把语言里的逻辑垃圾扫干净！
验证主义自己先把自己干掉了
然而卡尔纳普这套验证主义标准有一个致命漏洞，这个漏洞大到连他自己的学生都捂不住：验证主义原则本身既不是逻辑同义反复，也不能被经验检验，你没法跑到实验室里去测量"一句话必须有意义"这个命题到底是不是真的，这就好比一个警察拿着一张自己手写的逮捕令来抓自己，逻辑上完全自毁！
到了1951年，卡尔纳普最出名的学生之一威拉德·蒯因（W.V.O. Quine）发表了一篇叫《经验主义的两个教条》的论文，直接把老师的理论地基炸了，蒯因说人类的信念是一张巨大的网，没有任何一句话能单独拎出来接受经验检验，我们永远是一整片信念一起面对现实的冲击，这意味着验证主义要求逐句验证的做法从根子上就站不住脚，卡尔纳普的意义标准在自家阵营内部被宣判了死刑！
更狠的打击来自1970年代，一个叫索尔·克里普克（Saul Kripke）的年轻逻辑学家在普林斯顿做了三场讲座，后来整理成一本叫《命名与必然性》的小书，克里普克用模态逻辑证明了一件事：世界上确实存在不依赖语言约定的"本质属性"，比如"水是H₂O"这个命题在所有可能世界里都为真，它不是我们定义的，而是世界本身的结构决定的。这等于直接告诉卡尔纳普：你当年说形而上学问题全是语言混乱造成的假问题，但有些问题确实是关于世界本身的事实，跟你用什么词没关系！
克里普克的讲座引爆了英语哲学界的一场大爆炸，从1980年代开始，分析哲学家们疯狂涌入形而上学领域，研究本质、自然种类（Natural Kinds）、跨可能世界同一性、因果力的本体论地位这些卡尔纳普当年明确宣判为无意义的话题，大卫·刘易斯（David Lewis）甚至搞出了一套"模态实在论"，声称所有逻辑上可能的世界都跟我们的世界一样真实存在，这种脑洞大开的理论放在1932年的维也纳简直会被当成精神病患者！
验证主义实际上赢了
但是！这里有一个几乎所有人都忽略的关键细节：克里普克复活的那个"形而上学"跟卡尔纳普当年要杀的那个"形而上学"根本不是同一个东西。
卡尔纳普攻击的靶子是欧洲大陆传统里的"第一哲学"（First Philosophy），那种试图站在所有科学之上、为整个知识体系提供终极根基的宏大工程，黑格尔的绝对精神、海德格尔的存在之问、新康德主义的先天范畴体系，这些东西的共同特征是它们认为自己比物理学、化学、生物学更根本，是"科学的科学"！
1920年代的德国哲学界是什么画风？新康德主义者（neo-Kantians）直接跳出来说：爱因斯坦的相对论肯定是错的，因为它跟康德关于时空的教条矛盾了。一个哲学家，没做过任何物理实验，没推导过任何数学公式，就凭自己对康德的理解，宣布一位顶尖物理学家的理论不成立。
“哲学是科学之母”这句妙论就是那时候的疯狂代表！
克里普克和他的追随者们搞的形而上学完全不是这个路数，他们把形而上学变成了一门"特殊学科"，跟物理学、生物学平起平坐，只不过研究的对象是本质、模态、因果这些更抽象的范畴。他们不再声称自己能给整个知识大厦打地基，而是在自己的小领域里用逻辑工具做精细的技术活。这就好比卡尔纳普当年炸掉的是一座号称"万神殿"的巨型教堂，而克里普克在原址上盖了一间叫"模态逻辑研究所"的写字楼，名字里虽然还有"形而上学"几个字，但里面干的活跟教堂里的弥撒完全是两码事！
卡尔纳普那篇论文里指名道姓手撕的靶子——马丁·海德格尔（Martin Heidegger）1929年的就职演讲《形而上学是什么》——今天依然被全球哲学系反复研读。而卡尔纳普自己所属的维也纳学派（Vienna Circle），在很多人眼里已经成了历史教科书里的一个脚注。
验证主义的真正目标
卡尔纳普的目标根本不是建立一个永恒正确的哲学体系，而是干掉一种特定的做哲学的方式。
什么方式？就是那种把自己当成“第一哲学”（first philosophy）的形而上学——认为自己能站在所有科学之上，给物理学、数学、伦理学定规矩的那种。
卡尔纳普看到这一幕的反应是：你们这些搞哲学的，能不能先把自己的语言搞清楚再张嘴？
他的诊断很直接：大多数形而上学争论，本质上是语言误用造成的“伪命题”（pseudostatements）。你以为你在讨论“世界的本质是什么”，实际上你只是在滥用语法——把名词当成了指称某种实体的东西，然后围绕这个根本不存在的“实体”吵得不可开交。
这个诊断的锋利程度，放到今天依然让人后背发凉。
分析哲学家说自己在做“特殊科学”，结果干的事和卡尔纳普要消灭的几乎一样！
但问题来了：如果卡尔纳普真的“赢了”，为什么今天的分析哲学（analytic philosophy）圈子里，形而上学不但没死，反而活得好好的？
这就得说到一个微妙的转折。
当代主流分析形而上学确实不搞“第一哲学”那套了——没人再敢说自己的哲学体系能给物理学定规矩。他们把自己定位成“特殊科学”（special science）：跟物理学、生物学一样，有自己的研究对象（比如“本质”“ grounding”“必然性”），有自己的研究方法。
听起来很谦虚对吧？跟1920年代那帮动辄给爱因斯坦上课的德国教授完全不是一回事对吧？
但是—— 这里有一个让卡尔纳普棺材板压不住的“但是”——这些分析形而上学家在具体操作的时候，干的事跟卡尔纳普当年批判的那帮人，区别真的有那么大吗？
今天的分析形而上学家仍然在用自然语言“读”出本体论——他们会说，因为我们日常语言里有某种表述方式，所以必然存在某种抽象实体来充当这些表述的“真值赋予者”（truth-givers）。
翻译成人话：你说“红色是一种颜色”，语法上“红色”是个名词，名词指向某个东西，所以“红色”这个东西必然存在。
卡尔纳普要是听到这个推理，估计会气得把《逻辑语法》砸到对方脸上。他当年写那篇论文的核心论点之一就是：你不能从语言的结构直接读出世界的结构。语言的语法让你觉得“红色”和“桌子”是同一类东西——都是名词嘛——但这恰恰是语言在骗你。
所以当代分析形而上学的处境非常拧巴：他们嘴上说着“我们是特殊科学，我们不搞第一哲学”，但手上干的事——从语言结构推导本体论承诺——跟卡尔纳普要消灭的那种思维方式，共享同一个病根。
如今，大语言模型就完全符合卡尔纳普的要求，不会从语言结构推导出现实世界，它还是用词生词，然后让人类读了之后觉得这个词有语义，指向现实世界，其实是人类的思维习惯导致。
我们从小就被爸妈指着一个苹果说，这是苹果，这样我们在大脑中建立了“苹果”这个词语和现实世界中苹果这个实体的映射，但是大模型没有具身认知，它们不会建立这种指向映射。
所以，你给大模型的提示词和大模型理解你的提示词两者存在天然鸿沟，就像面向对象和关系数据库天生不匹配一样，面向对象是指向一个物体对象，而关系数据库本身是代数符号逻辑，不指向任何现实物体，这就是形式和内容的区别。
卡尔纳普的幽灵活在每个分析哲学家的键盘上
当代分析哲学界最活跃的一批人正在用卡尔纳普的方法论干着卡尔纳普梦想中的工作，只不过他们不再打着"逻辑实证主义"的旗号，而是给自己贴上了新标签！
阿梅·托马森（Amie Thomasson）在2015年出了一本叫《本体论变得简单》（Ontology Made Easy）的书。
核心论点可以用一句话概括：大多数本体论问题——比如“数字存在吗”“组合物存在吗”——根本不需要严肃的哲学论证就能回答。
怎么回答？看我们日常语言的使用规则就行了。如果我们在日常语言中已经把某个词用得好好的，那它对应的东西就“存在”——不需要额外的形而上学担保。
这听起来像是偷懒，但托马森的逻辑是：你们这些分析形而上学家争论了几十年“数字到底存不存在”，可数学家每天在用数字做计算，物理学家每天在用数字建模型——你们争论的这个“存在”，到底跟现实世界有什么关系？
托马森直接继承了卡尔纳普的一个核心洞见：存在问题的答案取决于你选择什么“语言框架”（framework）。在数学家的框架里，数字当然存在；在物理学家的框架里，电子当然存在。这些“存在”不需要一个超越所有框架的“终极存在”来背书。
她直接继承了卡尔纳普1950年那篇《经验主义、语义学与本体论》里的核心思路，托马森说那些让哲学家们吵了几十年的本体论问题，比如"数字到底存不存在""复合对象到底存不存在"，其实都是语言框架内部的琐碎问题，你用对了语法规则答案就自动出来了，根本不需要搞什么深层本体论调查，这跟卡尔纳普当年说"外部问题是伪问题"几乎是同一套逻辑！
更激进的是萨莉·哈斯兰格（Sally Haslanger）。她提出了一种叫“改善主义分析”（ameliorative analysis）的方法：与其争论“X的本质到底是什么”，不如问“我们到底想用‘X’这个概念达成什么目的”。
举个例子：与其争论“什么是女人”这种本质主义问题，不如问“我们为什么需要‘女人’这个概念？它服务于什么社会目的？我们能不能改进它让它更好地服务于这些目的？”
哈斯兰格的方法跟卡尔纳普的“阐释”（explication）策略有惊人的相似之处——两者都认为概念是可以被有目的地改造的，而不是等待被发现的永恒本质。
她把卡尔纳普的"概念构造"思路改造成了"概念工程"（Conceptual Engineering），哈斯兰格说哲学家的工作不是去发现"性别"或"种族"在宇宙中的终极本质，而是去设计一套更好用的概念框架来服务于社会正义的目标，你仔细品品这个思路：先选一个语言框架，再评估它的实用效果，最后根据目标调整框架，这不就是卡尔纳普在1950年说的"选择语言框架是一个实践决定而非理论决定"吗！
这两位哲学家的共同点是：她们都没有全盘接受卡尔纳普的验证主义（verificationism），但都继承了他那个更根本的直觉——形而上学争论很多时候是在假问题上浪费口水。
这让人不得不问一个扎心的问题：如果一个理论的核心纲领（验证主义）已经被抛弃了，但它的方法论直觉还在被最前沿的哲学家使用——这算是失败还是成功？
詹姆斯·莱德曼（James Ladyman）和唐·罗斯（Don Ross）在2007年合写的《万物必须消逝》更狠，他们直接骂当代分析形而上学家是一群"新经院哲学家"，整天坐在扶手椅里凭直觉争论桌子是不是真的存在、一堆黏土和一座雕像是不是同一个东西，却对量子场论和广义相对论一无所知，莱德曼和罗斯要求形而上学必须跟最前沿的物理学对接，任何脱离科学实证的形而上学思辨都应该被扔进废纸篓，这个立场跟1932年卡尔纳普指着新康德主义者鼻子骂他们用哲学教物理学做事的场景简直一模一样！
一个叫马克·威尔逊的人写了本书骂了整个分析哲学圈，结果没人听他的！
如果说托马森和哈斯兰格是在卡尔纳普的遗产上盖新楼，那匹兹堡大学的马克·威尔逊（Mark Wilson）就是在直接放火——他写了一本叫《对 rigour 的模仿》（Imitation of Rigor）的书，把整个分析哲学传统从头骂到尾。
威尔逊的核心论点是：当代分析哲学追求的那种“ rigor”（严格性），本质上是一种“ ersatz rigor”（山寨严格性）。哲学家们假装自己在做跟科学一样严格的事——构造形式语言、做逻辑推导、搞思想实验——但实际上他们离科学的实际运作方式越来越远。
他说，分析哲学本来是从科学实践里长出来的——早期那些哲学家兼科学家（比如弗雷格、罗素）是真的在跟数学和物理学的具体问题打交道。但后来这个传统被抛弃了，哲学家们开始闭门造车，用一套自己发明的“严格”标准来评判一切。
这个批评有多狠？威尔逊等于在说：你们分析哲学家整天嘲笑大陆哲学“不讲逻辑”，但你们自己那套“逻辑严格”的东西，又跟现实世界的科学实践也没半毛钱关系——不过是形式主义的自嗨。
大陆哲学“不讲逻辑”，其实不是故意不讲逻辑，是哲学家没有经过严格的逻辑训练，比如经过数学或编程训练，那时候人只能用数学训练，而数学过于精简违背人性，计算机编程语言则折衷了。
另外，形式确实与现实世界的科学实践无关，这才是分析哲学的本身，你和现实无关，不就是无用吗？无以为用？其实这是很多功利主义的短视，头发长见识短，现在大语言模型也是一个语言形式产品，你敢说AI无用吗？美国常青藤哲学系都是分析哲学，这些背景和大语言模型诞生于美国，不能说一点点关系都没有。那么多亚洲裔搞数学、搞统计那么厉害，Meta搞AI大多数是华人，但是，创建大语言模型的第一批吃螃蟹的人却是谷歌八子、ChatGPT之父伊利亚，都是在美国，为何有差距？恐怕和哲学人文背景有点点关系，分析哲学的对头大陆哲学是中国哲学系的主力啊。
威尔逊的案例说明了什么？说明哪怕在分析哲学内部，对自己这套玩法的不满也已经积累到了爆发的程度。一个做了几十年分析哲学的正牌教授，花几年时间写了一本书，核心论点居然是“你们这整套游戏规则都是错的”——而且这本书还由牛津大学出版社出了。
但问题在于：这本书出版之后，分析哲学圈改了吗？没有。大家该干嘛干嘛。
这又回到了那个让人不安的问题：如果一个体系连最尖锐的内部批评都能消化掉而不改变任何实质操作，那这个体系到底有多“理性”？
这类似资本主义社会的人成天骂资本不好，但是人家没有理所当然迈出不讲逻辑的一大步：A不好，那就换B！而是通过批评让A不好逐步消失。
胜利者为什么被写进了失败者名单
那么问题来了：既然卡尔纳普的方法论在当代哲学里活得这么好，为什么几乎所有哲学教科书都把逻辑实证主义写成一场"伟大的失败"！
答案藏在一个认知陷阱里：人们习惯用一场运动的"公开口号"来判断它的成败，而不是看它的"实际操作"渗透到了哪里。
逻辑实证主义的公开口号是"消灭形而上学"，这个口号确实失败了，因为形而上学不但没死反而在英语哲学界成了最大的显学之一，但逻辑实证主义的实际操作，也就是用逻辑工具分析语言结构、用科学实证约束哲学思辨、把哲学问题转化为语言框架选择问题，这些操作已经变成了分析哲学的默认操作系统，就像你每天都在用Linux内核却不知道它的名字一样！
哲学史家迈克尔·弗里德曼（Michael Friedman）在《重新审视逻辑实证主义》里挖出了一个被遗忘的历史细节：卡尔纳普当年写那篇论文的直接动机根本不是要搞什么抽象的意义理论，而是被1920年代德国哲学界的反科学狂热逼急了。有当时的上下文场合Context。
当时新康德主义哲学家们公开宣称爱因斯坦的相对论在哲学上站不住脚，因为相对论的非欧几何时空观违反了康德关于空间先天直观形式的教条，卡尔纳普亲眼看到一群从没做过物理实验的哲学家试图用先验哲学否决广义相对论，他的愤怒是具体的、历史的、有明确靶子的，而不是后来教科书里描述的那种冷冰冰的教条主义！
这就意味着当我们今天说"卡尔纳普错了"的时候，我们其实是在用2024年的标准去审判一个1932年的战场决策，卡尔纳普的验证主义标准作为一套普遍的意义理论确实漏洞百出，但它作为一把针对特定历史语境下反科学形而上学的战术武器，精准地完成了它的使命，它把哲学从"科学的裁判"降级成了"科学的助手"，这个降级一旦完成就再也没有被逆转过来！
你手里的哲学工具箱是谁造的
如今AI时代，当你用“本体论、认识论”这些提示词要求AI给你分析时，其实你已经不自觉走上了海德格的欧陆哲学那套天人合一，以具身感知为特点的“机器人”之路，对！你与大语言模型不自觉交换了身份（大语言模型是分析哲学的形式主义，你是以内容体验为主的人类）。所以，如果你真正要AI帮你逻辑分析，你就用分析哲学的词语，而是“本体论、认识论”这些欧陆哲学的用词。
假设你正在读一本当代分析哲学教材，里面讨论"本质属性""可能世界""自然种类""因果力"这些概念，你觉得这些讨论跟卡尔纳普有关系吗！
表面上看完全没有，因为当代分析形而上学家们几乎不会引用卡尔纳普的论文，他们引用的是克里普克、刘易斯、基特·法恩（Kit Fine），但如果你把时间线拉长就会发现一个诡异的因果链：卡尔纳普逼着哲学家们放弃了"第一哲学"的架子，哲学才不得不退到"特殊学科"的位置上，退到这个位置上之后克里普克才有空间用模态逻辑重建一种技术化的形而上学，如果没有卡尔纳普当年那场看似失败的"大清洗"，克里普克根本不需要也不可能搞出他那套可能世界语义学，因为旧式的"第一哲学"还牢牢占据着舞台中央！
这就好比一个人把旧房子拆了，另一个人用拆下来的砖头盖了一栋新房子，新房子的住户天天嘲笑拆房的人不懂建筑，但他们脚下的每一块砖都是那个人从废墟里刨出来的！
当代哲学界最诚实的承认来自一个意想不到的方向：2020年代兴起的"概念工程"运动几乎公开认领了卡尔纳普的遗产，赫尔曼·卡佩伦（Herman Cappelen）在《修复语言》里明确说概念工程的思想源头可以追溯到卡尔纳普的"概念阐明"（Explication）方法，只不过当代哲学家们把卡尔纳普那个冷冰冰的逻辑工具改造成了一个能处理社会、政治、伦理问题的灵活框架，卡尔纳普当年只关心科学语言的精确性，而今天的概念工程师们关心的是"正义""性别""种族"这些概念到底该怎么定义才能让社会变得更好！
一个至今没人能回答的尴尬问题
但故事到这里并没有一个干净利落的结局，因为有一个数据矛盾至今悬而未决：根据PhilPapers数据库2020年的全球哲学家调查，在1785名受访的专业哲学家中，有31.5%的人认为形而上学问题"大部分是语言混乱造成的伪问题"，这个比例跟卡尔纳普的立场高度吻合，但同时有49.7%的人认为形而上学问题"是关于世界本身的真实问题"，这两个数字加在一起覆盖了超过八成的受访者，意味着当代哲学界在"形而上学到底是不是真问题"这个最基础的元问题上几乎五五开！
更微妙的是，那31.5%的"卡尔纳普派"哲学家里，绝大多数人同时在其他问卷题目中承认自己日常研究中会使用模态概念、本质概念、因果概念这些典型的形而上学工具，这就产生了一个诡异的自相矛盾：你一边说形而上学是伪问题，一边在自己的论文里大量使用形而上学术语，
这到底是说明卡尔纳普的批判不够彻底，还是说明"形而上学"这个词本身已经分裂成了两个互不兼容的含义，而整个哲学界还没意识到自己在用同一个词说两件完全不同的事！
哲学决定了你的思维思路，思考就怕走错路，南辕北辙，再聪明也掉入了陷阱