什么是知识？

「知识是被证成的真信念——直到盖梯尔到来。」——认识论学界的一句玩笑

你说你知道地球是圆的，你知道今天是星期三，你最好的朋友是值得信任的。但「知道」究竟是什么？它和「相信」有什么区别？一个正确的猜测算不算知识？

这些问题构成了认识论（Epistemology）的核心。两千多年来，哲学家们一直在试图给出一个关于知识的充分定义——而每一次看似接近答案时，新的困难就会出现。

柏拉图的经典分析：知识是被证成的真信念#

最早系统讨论知识定义的是柏拉图（Plato，约前428—前347）。在对话录《泰阿泰德篇》（Theaetetus）中，苏格拉底与泰阿泰德探讨了「知识是什么」这个问题。他们否定了知识是「感觉」、是「正确的判断」之后，提出了一个看似合理的定义：知识是「附有说明（logos）的正确判断」。

这个定义在当代认识论中被形式化为经典的三元分析（JTB分析）：

知识 = 被证成的真信念（Justified True Belief）

具体而言，一个人知道命题 P，当且仅当： 1. P 是真的（真理条件） 2. 他相信 P（信念条件） 3. 他对 P 的相信是有证成的（证成条件）

这三个条件各自的必要性似乎不难理解。如果 P 是假的，你就不能「知道」它——你不能知道地球是平的，因为地球不是平的。如果你不相信 P，你也不能「知道」它——即使地球确实是圆的，如果你不相信这一点，你也不算知道它。如果你的信念没有好的理由支撑，即使它碰巧为真，也不算知识——你随机猜测今天是星期三恰好猜对了，这不算知识。

JTB分析在两千多年里几乎被当作知识的标准定义接受。

证成的结构：基础主义 vs 融贯论#

JTB分析中的「证成」（justification）条件引发了一个深层问题：什么才算好的理由？一个信念的证成从何而来？

基础主义（Foundationalism）认为，知识的结构像一座建筑：有些信念是地基——它们不需要其他信念来证成，而是自明的、不可怀疑的。所有其他信念都建立在这些基础信念之上。笛卡尔（René Descartes）是经典的基础主义者：「我思故我在」就是那个不可动摇的地基，整个知识大厦从这里拔地而起。

基础主义面临的挑战是：这些「自明的」基础信念真的存在吗？即使存在，它们如何证成那些远离基础的经验信念？从「我此刻看到一片红色」到「成熟的苹果是红色的」之间，需要多少推理步骤？

融贯论（Coherentism）否认存在这样的地基。它认为，一个信念之所以被证成，是因为它与我们持有的其他信念相互支持、相互一致。知识不是建筑，而是一张网——每根线都由其他线支撑。奥托·纽拉特（Otto Neurath）用了一个著名的比喻：我们就像在海上修船的水手，永远不能把船拖上岸从头建造，只能在航行中一块一块地替换朽坏的木板。

融贯论面临的挑战是：一个内部完全一致的信念体系，可能与现实毫无关系。一个精心构造的幻想世界也可以是「融贯的」。融贯论需要解释：为什么融贯的信念体系更可能为真？

无穷倒退问题（Regress Problem）将两种立场都逼入困境：如果每个信念都需要另一个信念来证成，那就会陷入无穷倒退。基础主义试图用「不需要证成的基础信念」来终止倒退，融贯论则用「信念之间的相互支持」来替代线性证成。两者都有各自的困难。

盖梯尔问题：JTB分析的崩溃#

1963年，美国哲学家埃德蒙·盖梯尔（Edmund Gettier，1927—2021）发表了一篇仅有三页纸的论文《被证成的真信念是知识吗？》（Is Justified True Belief Knowledge?），彻底动摇了JTB分析的根基。

盖梯尔构造了两个巧妙的反例，证明一个人可以拥有被证成的真信念，但仍然不算拥有知识。

反例一：史密斯和琼斯都在申请同一份工作。史密斯有强证据相信「琼斯会得到这份工作，且琼斯口袋里有十枚硬币」（他看到琼斯口袋里有硬币，且老板告诉他琼斯将被录用）。由此史密斯推出：「得到这份工作的人口袋里有十枚硬币。」但最终，史密斯自己得到了工作——而碰巧他自己口袋里也有十枚硬币。

史密斯的信念「得到这份工作的人口袋里有十枚硬币」是真的，且有证成——但他不能说「知道」这一点，因为他的信念之为真是出于巧合。

盖梯尔论文的核心洞见是：证成与真之间的联系可以是偶然的。你可以有好的理由相信一个命题，且该命题恰好为真，但你的理由与它为真的原因之间没有正确的连接。这就是认知运气（epistemic luck）问题。

对盖梯尔问题的回应#

盖梯尔问题催生了大量理论尝试来修补JTB分析。

因果理论（Causal Theory）：知识要求信念与事实之间存在适当的因果联系。你知道「外面在下雨」，是因为雨滴打在你窗户上导致你产生了这个信念——而不是因为你碰巧猜到了。但因果理论很难处理数学知识：数学事实不产生因果作用，你怎么「知道」2+2=4？

可靠性理论（Reliabilism）：阿尔文·戈德曼（Alvin Goldman）提出，一个信念构成知识，当且仅当它是通过可靠的认知过程产生的。知觉是可靠的过程（它通常产生真信念），而占星术是不可靠的。这个理论的吸引力在于它不需要「证成」概念——你不需要知道过程为什么可靠，只要它事实上可靠就行。

可靠性理论面临「新邪恶天才」问题：在一个被邪恶天才操控的世界里，你的知觉完全不可靠——你看到的红色实际上是蓝色，你听到的声音实际上不存在。但你的认知过程在主观上完全正常。可靠性理论会说你没有知识——但这似乎违反了直觉：你已经尽了最大的认知努力。

安全条件（Safety Condition）：欧内斯特·索萨（Ernest Sosa）和蒂莫西·威廉姆森（Timothy Williamson）等人提出，知识要求信念在「邻近的可能世界」中也为真。你知道「这是一只猫」，意味着在所有邻近的可能情况下（如果那里有一只猫），你也会相信「这是一只猫」。你不能仅仅因为运气正确而拥有知识。

知识优先（Knowledge First）：威廉姆森在《知识及其限度》（Knowledge and Its Limits，2000）中提出了一个激进的主张：知识是一个不可分析的基本概念，不应该用信念、真理、证成来定义知识，而应该用知识来定义其他认识论概念。就像几何学不再尝试定义「点」一样，认识论应该接受知识为起点。

自然化认识论：从奎因到可靠主义#

20世纪后半叶，认识论出现了「自然化」转向。威拉德·奎因（W.V.O. Quine，1908—2000）在《认识论的自然化》（Epistemology Naturalized，1969）中提出了一个颠覆性的主张：认识论应该放弃为知识提供「基础」的传统目标，转而成为自然科学（特别是认知心理学）的一部分。

奎因的论证是：既然我们无法用纯粹的感觉经验来重建整个科学（卡尔纳普在《世界的逻辑构造》中的尝试已经失败），那么我们就不应该再把认识论当作科学的裁判，而应该把它当作科学内部的一个研究领域——研究人类这个认知主体实际上是如何从有限的感觉输入中构建出关于世界的理论的。

这一立场在当代被戈德曼发展为过程可靠主义（Process Reliabilism），并被进一步发展为德性认识论（Virtue Epistemology）。德性认识论的代表人物包括约翰·格雷科（John Greco）和欧内斯特·索萨：知识不是偶然为真的信念，而是通过认知德性（如细心观察、严谨推理、开放心态）获得的真信念。就像道德德性使人做出正确的行为，认知德性使人获得真正的知识。

知识的社会维度#

传统认识论是个人主义的——它关注一个孤立的认知主体如何获得知识。但当代知识论越来越多地强调知识的社会性。

证言知识（Testimonial Knowledge）：我们绝大多数知识来自他人的告知——从父母、老师、书籍、新闻。C.A.J.科迪（C.A.J. Coady）在《证言》（Testimony，1992）中论证：证言不是一种次要的、需要还原为个人经验的知识来源，而是一种基本的、不可还原的知识来源。

证言的困境：你如何知道你的历史教科书是可靠的？你需要其他证言来验证它。其他证言又如何验证？无穷倒退再次出现。托马斯·里德（Thomas Reid）的回答是：我们天生有一种接受证言的倾向，就像我们天生有一种相信感官的倾向——这种倾向在正常情况下是可靠的。

认识论不正义（Epistemic Injustice）：米兰达·弗里克（Miranda Fricker）在《认识论不正义》（Epistemic Injustice，2007）中提出了两种不正义：证言不正义——因为说话者的身份偏见而系统性地贬低其可信度（例如，不信任女性对性骚扰的指控）；诠释不正义——某些群体因为缺乏共享的概念资源而无法表达自己的经验（例如，「性骚扰」这个概念出现之前，受害者甚至无法命名自己遭受了什么）。

核心事实卡#

为什么今天仍然重要#

「什么是知识」这个问题在人工智能和后真相时代获得了前所未有的紧迫性。

深度学习系统能够做出准确的预测，但它们是否「拥有」知识？它们往往无法解释自己的推理过程——这是否违反了知识的「证成」条件？深度伪造（deepfake）技术让「眼见为实」的认识论直觉不再可靠。社交媒体算法制造的「信息茧房」，使每个人的「知识」都建立在不同的信息基础上——当共识破裂时，「知道」还意味着什么？

「认识论不正义」的概念提醒我们：某些群体的声音被系统性地贬低，知识的生产和认证从来不是价值中立的。这也是为什么在教育领域，批判性思维的培养成为应对信息过载的关键能力。

关键洞察：盖梯尔问题的真正教训不是「JTB分析有缺陷」，而是一个更深刻的洞见——知识不能被还原为信念、真理和证成的简单组合。知识有一种「与事实的正确联系」：你的信念不仅要碰巧为真，还要以正确的方式与事实相关联。这种「正确联系」的精确性质，至今仍是认识论的核心谜题。

跨域连接#

• 流行病学：可靠论说"由可靠过程产生的真信念才是知识"，而医学把"可靠"做成了带小数点的量——敏感度、特异度、阳性预测值。关键的一点常被哲学讨论忽略：同一个检验的可靠性会随人群患病率变化，在低患病率人群中，一个高特异度的检验仍会产生大量假阳性。这给外在主义添了一条它自己推不出的限定：可靠性不是过程的内在属性，它是过程与环境的联合属性。
• 机器学习概览：机器"知不知道"在工程上有一条明确判据——能否泛化到未见数据。这实质上就是可靠论的实现：不看模型内部的理由，只看产生正确输出的过程在新样本上是否稳定。而分布外失效则把"可靠过程"的边界画了出来：一个在训练分布内极可靠的系统，在分布外可以任意错。盖梯尔式的运气与分布漂移，在这里是同一个问题的两种说法。
• 心理测量的信度与效度：教育测量必须回答"怎么判断一个人真的知道"，它给出的答案恰好把认识论的两个条件分开了——信度是重复测量的一致性（过程可靠），效度是测的确实是想测的东西（证成对路）。两者可以分离：一份高信度低效度的考试稳定地测出了别的东西。"蒙对"与"真的会"之所以能被区分开，靠的正是这套区分，而它是可计算的，不必诉诸内省。
• 社会网络分析：知识社会学的核心主张——知识的认证是社会性的——可以在合作网络与引用网络上被测量。可观察的机制是：一个主张能否成为"公认知识"，取决于它在网络中被独立群簇重复引用的程度，而非单点权威。这既支持社会认识论（认证确实是集体过程），也给它加了约束：当网络高度聚簇、群簇之间少有交叉引用时，"公认"可以在互不相通的圈子里各自成立——这正是立场认识论要处理的那个结构。
• 语言学田野调查：立场认识论"被压迫者是否有特权视角"这一问题，在田野方法里是每天都要做的操作决定——谁算合格的知识提供者？母语者的判断与研究者的分析冲突时以谁为准？语言学给出的规范是双轨的：语感判断的权威归属母语者，理论概括的责任归属研究者，且知情同意与署名必须落实到个人。这不解决认识论争论，但它示范了一种可执行的分工方式——把"谁的知识算数"拆成不同类型的主张，分别指定权威来源。

参考文献#

• Plato. Meno & Theaetetus (c. 380 BC) — "知识是有根据的真信念"的古典来源
• Gettier, Edmund L. "Is Justified True Belief Knowledge?" Analysis 23(6) (1963) — 颠覆三元定义的三页论文
• Goldman, Alvin I. "A Causal Theory of Knowing," Journal of Philosophy 64(12) (1967) — 因果知识论，葛梯尔问题的一种回应
• Stanford Encyclopedia of Philosophy: "The Analysis of Knowledge" (https://plato.stanford.edu/entries/knowledge-analysis/)