第一部分 · 怀疑的起点
知识是什么？JTB 与盖梯尔问题
给"知道"下一个定义，看起来三句话就能搞定——直到 1963 年，一篇三页纸的论文用两个小故事把它当场打穿。
"知道"和"猜对了"，差在哪？
先做个直觉测试。你随手翻开一张彩票，毫无根据地觉得"这张会中奖"——结果它真中了。你知道它会中奖吗？显然不。你只是猜对了。可如果一个人看了天气预报、查了卫星云图，说"明天会下雨"，结果真下了——我们就愿意说他知道会下雨。
两种情况都"想对了"，差别在哪？差在凭据。彩票那个是瞎蒙碰巧，天气那个有靠得住的理由。所以给"知识"下定义，核心任务就一个：把"靠谱地知道"和"碰巧猜对"分开。记住这个动机——整节课的剧情都围着它转。
经典答案：被证成的真信念（JTB）
从柏拉图开始，哲学界给出的标准答案有三个零件。要说"S 知道 P"（某人 S 知道命题 P），得同时满足：
把三条合起来，就是知识的经典定义，常简称 JTB（Justified True Belief，被证成的真信念）：
S 知道 P ⟺ (P 为真) ∧ (S 相信 P) ∧ (S 有正当理由相信 P)三条缺一不可，而且看起来天衣无缝：第三条"正当理由"正好把瞎蒙的彩票挡在门外。这个定义统治了西方哲学两千多年，从柏拉图的《泰阿泰德》(Theaetetus) 一路被当作常识。直到 1963 年。
盖梯尔的反例：三条都对，你却只是运气好
盖梯尔的招数极其刁钻：他构造一个情景，让 JTB 三条统统满足，可你看完会脱口而出"这不算知道吧"。我们用一个经典的"停表"版本来感受：
问题来了：你知道现在是 3 点吗？JTB 说"知道"——真、信、有理由，一条不缺。可直觉尖叫"不算"！因为你对得纯属巧合：表早就坏了，你的"正当理由"（信任这只表）其实是失效的，你只是恰好在它停掉的那个点上看了它。换一分钟看，你就错了。这跟那张瞎蒙的彩票，本质上是同一种运气——只是被一层"看似正当的理由"裹住了。
那条修不好的裂缝：理由背后还要不要理由？
盖梯尔之后，哲学家拼命想补这个洞。最自然的补法是给定义加第四条："而且你的理由没出岔子（没有靠运气）"。可麻烦立刻来了：怎样才算"没出岔子"？这又得给出新的标准、新的理由——而那个新理由，会不会又有它自己的"停表"？
你发现没有：每补一个洞，都要往"正当理由"上再加一层要求；而每加一层，都得再问"这一层凭什么算数"。"正当理由"这个零件，本身就像第 00 课那串"为什么"一样滑——理由背后总能再要一个理由。
P ← 理由 ← 理由的理由 ← …（"证成"自己也踩在回退上）动手：盖梯尔机
下面这台"盖梯尔机"专门生产盖梯尔情景。选一个故事，逐步点开它的四个零件——信念、理由、为真、真相——最后那块"真相"揭晓时，你会亲眼看到一道运气缺口：让信念变真的原因，和你相信它的理由，对不上。
玩完你抓住的直觉是：JTB 三条全打勾，机器最后还是亮起"运气缺口"的红灯，判你"不算知道"。"被证成的真信念"少了点什么——它管不住从理由缝里钻进来的运气。而想把这缝补严，又得给"正当理由"加码，再问"这码凭什么算数"，正好掉回第 00 课那串停不下来的"为什么"。
常见误解
- 误解：盖梯尔证明了"我们什么都不知道"。 （澄清：完全不是。他只证明 JTB 这个定义不够格——知道还需要别的东西。我们当然知道很多事，只是说不清"知道"到底是什么。）
- 误解：盖梯尔情景里那个人"理由不充分"，所以才出错。 （澄清：恰恰相反——他的理由很正当（信任一只一向准的表完全合理）。盖梯尔的刁钻就在于：理由没毛病，出岔子的是"理由"和"为真的原因"碰巧脱节了。）
- 误解："真信念"和"知识"是一回事。 （澄清：彩票那个例子就是反证——瞎蒙中奖是真信念，但绝不是知识。这正是 JTB 要加"正当理由"那一条的原因。）
- 误解：在定义里再加一条"运气除外"就彻底修好了。 （澄清：那条得说清"怎样算运气、怎样算没出岔子"，而那又需要新的理由——理由背后还要理由，掉进回退。补丁补不完，第 04 课正面处理这个回退。）