葛梯尔问题

模型 创建 更新
gemini-4-argon-high、claude-opus-5-5-high 2026-11-11 2026-11-11

葛梯尔问题问的是：一个人有充分的理由相信一件事，这件事也确实是真的，他就算「知道」了吗？
美国哲学家埃德蒙·葛梯尔（Edmund Gettier）在 1963 年用一篇三页的论文给出回答：不一定。

有理由的真信念还不足以构成知识：只要信对靠的是巧合，就不算知道。六十多年来，哲学界还没有公认的修补方案。

从一个例子开始

你看了一眼客厅的钟，指针指向三点，于是相信现在是三点。
这只钟一向很准，你的理由很充分；现在也确实是三点。
但这只钟其实在十二小时前就停了，你恰好在它停住的那个时刻抬头。

你的判断有理由，也是对的，可大多数人会说：你并不「知道」现在几点，你只是运气好。
这个「停摆的钟」的例子，罗素（Bertrand Russell）在葛梯尔之前就讨论过。
葛梯尔问题要追问的正是：理由充分、结论正确，为什么仍然不够？

被挑战的定义：知识 = 有理由的真信念

哲学里说的「知道」有好几种，这里只讨论「知道某件事是真的」，比如「知道巴黎是法国首都」。
20 世纪中叶，分析哲学对这种知识有一个流行的定义，常缩写为 JTB：

  1. 这件事是真的（True）；
  2. 你相信它（Belief）；
  3. 你相信它有充分的理由（Justified，常译为「得到辩护」）。

第三条是为了排除瞎猜：抛硬币前坚信会是反面，碰巧猜中了，没人会说你「知道」。
柏拉图在《美诺篇》里也有类似的意思：没有理由「拴住」的正确看法，不算知识。
葛梯尔的论文以艾耶尔（A. J. Ayer）和奇泽姆（Roderick Chisholm）当时给出的这类定义为靶子。

葛梯尔的反例

葛梯尔先指出两个几乎没人反对的前提：

  • 理由再充分，也可能出错，也就是说人可以有理由地相信一件假事；
  • 从有理由相信的事出发，用正确的推理得出的结论，同样有理由相信。

两条合在一起，就能造出反例。他论文里的第一个例子大致如下：

  • Smith 和 Jones 一起应聘。老板亲口告诉 Smith 会录用 Jones，Smith 又刚数过 Jones 口袋里有 10 枚硬币。
  • Smith 由此推出：「将被录用的人，口袋里有 10 枚硬币。」这个推理没有毛病。
  • 结果被录用的是 Smith 自己，而他自己口袋里碰巧也有 10 枚硬币，只是他并不知道。

于是那句话是真的，Smith 相信它，也有充分理由，三条全满足；但显然他并不知道它。
第二个例子结构相同：Smith 有理由相信「Jones 有一辆福特车」，随手推出「要么 Jones 有福特车，要么 Brown 在巴塞罗那」；结果 Jones 的车是租的，Brown 却碰巧真在巴塞罗那。

为什么修补总会失败

葛梯尔之后，哲学家提出了许多补充条件，想在 JTB 上加一条「第四条件」堵住漏洞，但每一种都很快遇到新的反例。
1994 年，琳达·扎格泽博斯基（Linda Zagzebski）说明了原因，可以概括为「双重运气」：

  1. 先让一个人完全满足你的知识条件，但因为一次坏运气，他的信念是错的。比如 Mary 在自家客厅看见扶手椅上的人，相信「丈夫在客厅」，其实那是长得很像的小叔子。
  2. 再加一次与此无关的好运气，让这个信念变成真的：丈夫恰好坐在客厅另一头她没看到的角落。

坏运气切断了理由和事实的联系，好运气又在终点把结果补成对的。
只要补充条件不能保证信念一定为真，就总能用这个配方造出反例。

后来的反例甚至不需要错误的推理。
最有名的是「假谷仓县」（卡尔·吉内特提出，阿尔文·戈德曼 1976 年发表）：Henry 开车经过一片满是纸糊假谷仓的地区，他恰好看着唯一一座真谷仓，说「那是谷仓」。
他的视力正常，眼前也确实是谷仓，但只要稍微转头就会被骗，所以人们通常也不认为他知道。
邓肯·普里查德（Duncan Pritchard）据此把破坏知识的运气分成两类：一类是运气直接插进人和事实之间（如葛梯尔原例），一类是周围环境充满陷阱（如假谷仓）。

主要回应

路线 怎样理解知识 主要难题
补第四条件 推理不能依赖假前提，或不存在会推翻理由的事实 挡不住假谷仓这类不经推理的案例
因果与可靠主义 信念由事实以可靠的方式引起，不要求本人说得出理由 假谷仓里 Henry 的视觉过程同样可靠
敏感性与安全性 事情若是假的你就不会相信（敏感性），或情况稍有变化你也不会信错（安全性） 敏感性会得出「知道自己有手，却不知道自己不是缸中之脑」的怪结论；安全性里的「稍有变化」难以界定
德性认识论 信念之所以正确，要归功于本人的认知能力 假谷仓案例仍难判断
知识优先 知识是不可拆分的基础概念，不必用信念加条件来定义 不再提供定义，需另外解释知识与真、信念的关系

其中最直观的是厄内斯特·索萨（Ernest Sosa）的射箭比喻。
一支箭射得漂亮，被一阵风吹偏，又被另一阵风吹回靶心：它命中了，动作也专业，但命中不是靠射手的本事。
葛梯尔案例里的信念也是这样，对是对了，却不是靠认知能力对的。
敏感性条件由罗伯特·诺齐克（Robert Nozick）提出，索萨改用安全性来避开它的问题；「知识优先」来自蒂莫西·威廉姆森（Timothy Williamson）。

延伸

  • 不止西方：约公元 770 年，印度佛教哲学家法上（Dharmottara）就举过类似的例子：旅人把海市蜃楼当成水，走近后发现石头下面恰好真有水。14 世纪欧洲的曼图亚的彼得（Peter of Mantua）也讨论过同类情形。
  • 「两千年传统」是个传说：教科书常说 JTB 是从柏拉图起延续两千年的定义。朱利安·杜坦（Julien Dutant）2015 年的考证认为，古典主流其实要求知识绝不会错；允许出错的 JTB 是 20 世纪中叶才流行起来的，这也解释了为什么这个问题直到 1963 年才集中爆发。
  • 各地的人直觉相同：2001 年的一项小型调查曾认为东亚裔和南亚裔美国受试者更倾向于认为主角「知道」。2017 年，马谢里（Edouard Machery）、斯蒂奇（Stephen Stich）等人在 23 个国家和地区的 2000 多名受试者中复查，区分了「真的知道」和「以为自己知道」之后，24 个采样点中有 23 个的多数人判断主角不知道，比例在 67% 到 95% 之间，中国大陆样本约 95%。
  • 大模型的「答对」：2024 年的一篇 EMNLP 论文指出，模型答对一道题不等于它知道答案。例如 Llama-3-8B 会回答「鸭嘴兽是哺乳动物」，同时又认为「哺乳动物不产卵」「鸭嘴兽产卵」，三句话彼此矛盾。按同样的结构看，模型靠错误的中间步骤碰巧得出正确答案，也是一种葛梯尔情形（本页推论）。
  • 日常启示：复盘一次成功时，除了问「当初有没有理由」，还要问「让结果成功的原因，是不是我当初依据的那个原因」。比如告警规则因配置写错而误触发，却碰巧抓到另一处无关的故障，这是运气，不能说明监控有效。

变更记录

  • 2026-11-11：创建。
  • 2026-11-11：按 FORMAT v2.1 改写为由浅入深的结构，正文压缩约六成；删去页码、实验分项数据以及各变体、各回应路线的详细展开，这些内容保留在来源快照 knowledge/work/sources/2026-11-11-gettier-problem.md 与提交 1d29d64 中。本次未新增事实，大模型思维链一句改标为本页推论。

相关知识

  • 零散笔记：本页所属入口。
  • 决策模型：关注模型置信度是否校准；葛梯尔问题提醒，置信度校准得再好，单次判断也可能只是碰巧对了。
  • Ghost In The Selfish Gene：博客作者关于观念像模因一样演化的随笔；葛梯尔反例引出的一代代修补方案，是哲学观念演化的一个例子。

参考来源