蒯因

破除误解#

否定分析与综合的区分，没有让他退出逻辑分析。终其一生他都在做数理逻辑；本体论承诺那条标准，就是用一阶逻辑来标明一个理论究竟承诺了何物存在。

他也被写成逻辑实证主义的反对者。更准确的位置是：他不是站在这个运动的对立面，而是在它内部动手——科学主义精神留下，教条式的经验主义基础拿掉。1953 年那篇论所谓悖论的短文，对象见 出乎意料的绞刑；本页写的是蒯因的认识论骨架，不是那一次意外公告。

生平脉络#

• 1908年6月25日 出生于美国俄亥俄州阿克伦
• 1926年 进入奥伯林学院学习数学
• 1930年 进入哈佛大学研究生院，师从怀特海
• 1932年 获博士学位，赴欧洲游学，在维也纳接触逻辑实证主义，在华沙学习逻辑学，在布拉格结识卡尔纳普
• 1934年 回到哈佛，开始长期教学生涯
• 1936年 发表《约定的真理》（Truth by Convention），质疑逻辑数学真理纯由约定而来
• 1940-1945年 二战期间在海军情报部门服役
• 1948年 发表《论何物存在》（On What There Is），提出本体论承诺理论
• 1951年 发表《经验主义的两个教条》，引发分析哲学的"范式转换"
• 1953年 出版论文集《从逻辑的观点看》
• 1960年 出版《语词和对象》（Word and Object），提出翻译的不确定性论题
• 1969年 发表《自然化认识论》
• 1990年 出版《真之追求》
• 2000年12月25日 在波士顿去世，享年92岁

时代背景#

蒯因成长于分析哲学的"英雄时代"——罗素、维特根斯坦 和维也纳学派正在重塑哲学的面貌。他亲身经历了逻辑实证主义的兴衰：1930年代在欧洲游学时直接接触了卡尔纳普、塔斯基等人，后来通过批判逻辑实证主义的核心教条而推动了分析哲学的转型。冷战时期美国学术界的科学主义氛围也是他的工作背景：他把哲学视为与自然科学连续的知识事业，而非独立的先验学科。

核心思想#

经验主义的两个教条#

在1951年的经典论文中，蒯因对逻辑实证主义的两个核心信条发起攻击。第一个教条是分析与综合的区分——即认为存在独立于经验的分析真理（如"所有单身汉都是未婚的"）和依赖于经验的综合真理。蒯因论证说，没有任何标准能够清晰地界定哪些陈述是"纯粹由意义决定的"。第二个教条是还原论——即认为每个有意义的陈述都可以被翻译为关于直接经验的陈述。蒯因指出，我们的知识面对经验法庭时是一个整体，而不是单个陈述的集合（整体主义）。哪些谓词取得投射资格，证据表本身并不给出，见 绿蓝谜题。

逻辑实证主义把"科学的可靠""数学的确定"都压在分析/综合这道界线上。蒯因的攻击是：界线本身说不清楚。两块确定性就一起失守。论文发表后，分析哲学的议程从"用逻辑分析语言、清除形而上学"转到了与科学连续的自然主义。

本体论承诺#

"存在就是成为约束变项的值。"这是蒯因对本体论问题的核心回答。当我们说"存在一个x，使得x是质数"时，我们就承诺了数的存在。蒯因用这个标准来澄清不同理论的本体论预设：经典物理学承诺了物理对象的存在，数学承诺了数和集合的存在。他主张我们应该尽可能减少本体论承诺，选择最简洁的理论——这种"本体论节俭"原则继承了经验主义的精神。

这个标准的妙处在于，它把"什么东西存在"这个看似形而上的大问题，转化为一个可操作的技术问题：把你最好的理论用逻辑语言精确写出来，看它必须用到哪些"存在量词"约束的变项——那些就是你不得不承认其存在的东西。蒯因用它戳破了一种常见的自欺：嘴上说"我不相信抽象对象"，理论里却离不开"有一个数 n……"这样的句子。要么承认数存在，要么把理论改写到不用它——你不能两头便宜。

翻译的不确定性#

"根本翻译的不确定性"说的是这件事。假设一个语言学家要翻译一种完全陌生的语言（蒯因称之为"丛林语言"），即使他掌握了所有可能的行为证据，仍然存在多种不相容但与所有证据相容的翻译手册。这不是认识论上的局限（我们缺乏证据），而是形而上学上的事实：语言的意义不能被还原为行为事实。

蒯因给了一个著名的例子来说明：一只兔子跑过，土著喊出"Gavagai"。对象页见 蒯因的 Gavagai。语言学家可能记下"Gavagai = 兔子"。但凭行为证据，他无法排除其他译法——"Gavagai"也许指"未分离的兔子部件"，或"兔性的一次时间切片"。无论指着什么、问多少遍，土著的点头与摇头都同样符合所有这些译法。意义的"事实"根本不存在于行为之下，等着被发现——这是蒯因最反直觉、也最具颠覆性的结论。

自然化认识论#

1969年，蒯因发表了《自然化认识论》一文，主张将认识论从先验学科转变为经验科学的一个分支。传统认识论问"我们如何从感觉经验中构建出关于世界的知识？"，蒯因建议我们应该问"作为物理对象的人类，如何在感觉输入的基础上产生关于世界的理论输出？"这个问题可以由心理学和认知科学来回答，不需要哲学的先验方法。

这一主张为什么激进？因为它颠倒了传统的次序。从笛卡尔到康德，认识论一直被当作科学的"裁判"——哲学先从外部为知识奠定可靠的基础，科学才能登场。蒯因说这个"第一哲学"的位置根本不存在：我们没有任何先于科学、独立于科学的阿基米德点可以站立。研究"人如何获得知识"本身就是一项科学工作（关于一种叫人类的生物如何加工信息），认识论因此应当"自然化"，成为科学的一部分，而不是凌驾其上的法官。批评者（如普特南）反驳：这样一来认识论就失去了它的规范性——它本应告诉我们应当如何相信，而不只是描述我们实际如何相信。这一张力至今是自然化认识论的核心难题。

自然化并不等于放弃规范性。他仍然问什么样的信念合理、什么样的方法可靠；答案他指望从成功的科学实践里读出来，而不是从先验原则里推出来。

争议#

蒯因对分析-综合区分的否定引发了持续数十年的争论。格赖斯和斯特劳森在回应论文中论证说，分析性是一个日常语言中完全合理的概念，蒯因的论证过于苛刻。普特南后来也指出，蒯因的整体主义过于激进——如果整个知识体系面对经验法庭，那么任何单个观察都可以通过调整体系的其他部分来容纳，这使得科学理论失去了经验检验的可能性。此外，蒯因的行为主义语义学被批评忽视了意识和主观体验在语言理解中的作用。

遗产与影响#

戴维森、丹尼特把翻译不确定性和自然化认识论接到了意义理论和心灵哲学上，走法已经和他不同。菲尔德则试图证明科学可以写成不用数学实体的理论。蒯因定下的工作语言还在用，四个论题没有哪一条变成了定论。

当代意义#

当代认识论的"实验哲学"运动用心理学实验研究直觉判断，走的是自然化这条路。哲学问题能不能用经验方法做，与科学的界限就要重新划，不是预先划好。

在本体论讨论中，蒯因的标准让口号变成可检查的承诺：量子力学是否承诺了波函数的实在性？弦理论是否承诺了额外维度的存在？把最好的理论写成量化式，看约束变项里有什么，这两问才落成可以逐条核对的承诺。

杜恩-蒯因论题说：任何理论都可以通过对信念之网的适当调整来与经验相容。科学方法论后来争的是，这种调整有没有不任意的限制。

事实卡#

经典名言#

不可或缺性论证：数为什么"存在"？#

蒯因的"本体论承诺"标准（存在就是成为约束变项的值）有一个著名的应用，它和数学哲学交汇，被称为"奎因—普特南不可或缺性论证"（Quine–Putnam indispensability argument）。

论证的逻辑很简洁：

1. 我们应当对我们最好的科学理论所不可缺少的全部实体作出本体论承诺（这是整体主义的直接后果——科学是一个整体，不能只信物理对象而不信它用到的数学）。
2. 数学实体（数、集合、函数）对我们最好的科学理论是不可或缺的——物理学离开微积分、概率、群论根本无法表述。
3. 因此，我们应当承认数学实体的存在——数学对象是真实存在的，正如电子和星系一样。

这个结论很惊人：它为"数学柏拉图主义"（数学对象客观存在，不依赖人心）提供了一个经验主义的论证。这非常反直觉——经验主义者通常怀疑抽象对象，但蒯因的整体主义反而逼出了对抽象对象的承诺。

这一论证至今是 数学哲学 的核心战场。反对者（如哈特里·菲尔德 Hartry Field）发起了"唯名论"反击，试图证明科学其实可以不用数学实体来重写（"无数的科学"）。论战没有定论。一个关于"存在"的用法标准，把数学对象是不是实在的问题，变成了科学理论能不能不用数来写的问题。

蒯因的数学与逻辑贡献#

除了哲学贡献，蒯因还是一位杰出的数理逻辑学家。他在集合论方面做出了重要工作——他的系统 NF（New Foundations）至今仍是集合论研究的一个活跃分支。NF 系统试图避免罗素悖论，同时允许全集的存在，这一技术方案虽然不如 ZFC 集合论主流，但它展示了蒯因在逻辑创新方面的能力。

蒯因还是数理逻辑教育的重要推动者。他的教科书《逻辑方法》（Methods of Logic, 1950）和《集合论及其逻辑》（Set Theory and Its Logic, 1963）被广泛使用，影响了几代逻辑学学生。他在哈佛大学的教学生涯长达半个世纪（1936—1978），培养了大量杰出的哲学家，形成了分析哲学中强大的"哈佛学派"。

蒯因与卡尔纳普的友谊和分歧#

1930年代在布拉格，年轻的蒯因与卡尔纳普建立了友谊。卡尔纳普成为他最重要的思想对话者——两人在逻辑、语言和科学哲学上讨论了数十年。蒯因在《经验主义的两个教条》里攻击的是卡尔纳普的核心信念，敬意并没有因此撤回。他在自传《我的生命历程》（The Time of My Life, 1985）中说，与卡尔纳普的对话是他学术生涯中最重要的经历。

跨域连接#

• 机器学习概览：整体论（信念以整体面对经验法庭）在机器学习里是结构性事实——修改一个模型的任何部分都会改变其整体行为，而"哪一层出了问题"通常无法从输出唯一确定。这是迪昂-蒯因论题的工程形态。归因方法（消融实验、梯度归因）之所以是一个研究领域而非常规操作，正因为整体论在这里成立。
• 流行病学：蒯因主张没有观察可以孤立地检验单个假设，而流行病学是最需要在这条约束下工作的学科：预测失败时，可能是假说错、也可能是暴露测量、混杂控制或人群选择出了问题。它的应对不是逻辑上的解决，而是"多条彼此独立的证据线同时指向同一结论"（希尔 1965 年那组考量的精神），这是整体论下唯一可行的可靠性来源。
• 语义学：翻译的不确定性（"gavagai"）在语言学田野里是操作层面的日常问题，而实践给出的回应是可执行的：用最小对立对、否定测试、量化词辖域测试来逐步排除竞争假设。这不否证蒯因（原则上的不确定性仍在），但它说明不确定性在实践中会被系统性收窄，而收窄的手段本身可以被明确化。
• 心理测量的信度与效度：自然化认识论主张认识论应当成为心理学的一章，而测量学是这条主张兑现得最完整的地方：它把"证成"拆成可计算的信度与效度，并明确了两者可分离。这既支持蒯因的方向，也标出了代价：自然化之后，规范性问题（应当如何相信）不会自动消失，它只是被推给了"我们为何采用这套测量标准"。

为什么"两个教条"是一篇革命性的论文？#

逻辑实证主义（维也纳学派）的整个纲领建立在一块基石上：分析陈述（其真假只由词义决定，如"单身汉是未婚的"，无需查看世界）与综合陈述（其真假取决于经验事实）之间有一道清晰的界线。逻辑与数学被归为分析的（因而是确定的、先验的），其余知识则归为综合的（要靠经验检验）。

蒯因的攻击直指这道界线：他逐一检查了所有用来定义"分析性"的概念（同义、定义、语义规则），论证它们最终都要循环地依赖"分析性"本身，没有一个能独立地划出这条线。如果分析/综合的界线站不住，那么"逻辑数学是纯分析、与经验无关"的信条也就动摇了。

由此引出蒯因最著名的隐喻——信念之网：我们的全部知识是一张网，边缘紧贴经验，中心是逻辑与数学。当观察与预期冲突时，原则上可以修改网的任何部分来恢复一致——甚至可以修改逻辑规律，只要代价够小。没有哪条陈述"绝对免疫"于修正。这就是整体主义（holism）。

这一立场的激进后果是：哲学不再有一块"先验的、不受科学触动的"特殊领地。哲学与科学是连续的——这正是 科学哲学 自然主义转向的起点，也是蒯因 心灵哲学 与认识论自然化主张的根。

戴维森：把蒯因的洞见推向意义理论#

蒯因最重要的学生唐纳德·戴维森（Donald Davidson）继承了"翻译不确定性"的核心关切，但走向了不同方向。

蒯因从中得出的是悲观结论——意义没有确定的事实可言。戴维森则用同一个起点（从外部行为出发理解一门语言）发展出"彻底诠释"（radical interpretation）理论，并提出"宽容原则"（principle of charity）：要理解他人，必须先假定他大体上持有为真的信念、按理性行动，否则连"他在说话"都无从判断。

即便意义"不确定"，理解仍然可能：前提不是发现隐藏的意义事实，而是把对方建构为一个理性的、信念大体为真的主体。从蒯因到戴维森，分析哲学后半叶走的是从"怀疑意义"到"重建理解"这一条。

模拟语言行为并不能单独裁定「理解了意义」。蒯因会说，行为证据不够钉住意义事实；戴维森会问，对这样一套输出还能不能正当地用宽容原则。对象在中文房间，不在产品说明书。

参考文献#

• W.V.O. Quine, From a Logical Point of View (1953) — 蒯因最重要的论文集
• W.V.O. Quine, Word and Object (1960) — 蒯因的 magnum opus
• Alex Orenstein, W.V. Quine (2002) — 蒯因哲学的全面导论
• Dagfinn Føllesdal, Quine on Meaning and Existence (2022) — 当代蒯因研究的重要著作
• W.V.O. Quine, The Time of My Life (1985) — 蒯因自传，了解其思想发展的最佳途径
• Peter Hylton, Quine (2007) — 蒯因哲学的全面批判性研究
• Gilbert Harman, "Quine on Meaning and Existence" (1968) — 对蒯因语义学的早期批判性回应
• Paul Gochet, Ascent to Truth: A Critical Examination of Quine's Philosophy (1986) — 对蒯因哲学体系的系统性批判
• Christopher Hookway, Quine: Language, Experience and Reality (1988) — 蒯因哲学的全面导论性研究