KNOWECON WIKI

ARTICLE

知识论

知识论 (Epistemology) 知识论 (Epistemology)，源自希腊语 epistēmē（知识）与 logos（学说），是哲学的核心分支之一，系统研究知识的本质、来源、范围和证成条件。其根本问题是：什么构成知识？ 自柏拉图在《泰阿泰德篇》中将知识定义为"被证成的真信念"（Justified True Belief, JTB）以来，这一经典定义

浏览 7 更新 2026-06-14

知识论 (Epistemology)

知识论 (Epistemology)，源自希腊语 epistēmē（知识）与 logos（学说），是哲学的核心分支之一，系统研究知识的本质、来源、范围和证成条件。其根本问题是：什么构成知识？ 自柏拉图在《泰阿泰德篇》中将知识定义为"被证成的真信念"（Justified True Belief, JTB）以来，这一经典定义统治了西方哲学两千余年，直至1963年 Edmund Gettier 以反例揭示其不足，开启了当代知识论的深层重构。

知识的经典分析与葛梯尔问题

柏拉图的 JTB 分析要求三个条件同时成立：主体 SS 知道命题 pp，当且仅当（1）pp 为真；（2）SS 相信 pp；（3）SS 对 pp 的信念得到证成。这三个条件分别排除无知（假命题不可知）、不信（不知自己所不信者）和幸运猜测（缺乏证成的真信念仅是巧合）。

葛梯尔问题 (Gettier Problem) 以巧妙的构造证明 JTB 并非知识的充分条件：存在满足全部三个条件但直觉上不被视为知识的案例。典型的葛梯尔案例涉及认知运气——信念恰好为真，但证成路径与真值之间缺乏正确关联。对此的回应分为两大路径：

  1. 第四条件方案：在 JTB 基础上附加反运气条件、因果条件或可靠性条件。可靠性知识论（Reliabilism）要求信念由可靠的认知过程产生；真迹追踪理论（Truth-Tracking）要求信念计数器事实地追踪真值。
  2. 取代 JTB 的方案：如 语境主义（Contextualism）主张"知道"一词的语义随语境而变化；德性知识论（Virtue Epistemology）将认知主体而非信念作为分析核心。

知识的来源：理性主义与经验主义

关于知识的根本来源，近代哲学形成了两大对立传统：

理性主义 (Rationalism)，以笛卡尔、斯宾诺莎和莱布尼茨为代表，主张至少部分知识可独立于感觉经验、仅通过理性直觉和演绎获得。笛卡尔的"我思故我在"（Cogito, ergo sum）被视为理性主义方法论的典范——通过系统怀疑一切可被怀疑之物，最终抵达不可动摇的自明真理。理性主义特别强调先天知识 (a priori knowledge) 的可能性：数学与逻辑的真理性不依赖于经验验证。

经验主义 (Empiricism)，以洛克、贝克莱和休谟为代表，坚持一切知识最终来源于感觉经验。洛克的"白板说"（tabula rasa）否定天赋观念，主张心灵最初是空白的，所有概念均由经验铭刻。休谟进一步将知识区分为两种——"观念的关系"（如数学命题，仅靠思维即可判定）和"事实"（如因果判断，依赖经验且仅具或然性），并提出了著名的归纳问题：从有限经验到普遍规律的归纳推理缺乏逻辑上的必然证成。

康德的先验观念论试图综合两派：他承认一切知识始于经验，但否认一切知识源于经验。经验的可能条件——如时空形式和因果范畴——属于主体的先天结构（先天综合判断），这使得普遍必然的科学知识成为可能，同时将"物自身"（noumena）划定为认知的不可逾越之界。

知识论在经济学与统计学中的意义

知识论的核心关切与当代经济学和统计学存在深层交叉：

信息经济学 直接承接了知识论的认知限制主题。不对称信息（Asymmetric Information）——阿克洛夫、斯宾塞和斯蒂格利茨的核心贡献——本质上刻画的是认知主体之间知识状态的不平等以及由此产生的激励与甄别问题。道德风险与逆向选择均可理解为在他人知识不可及的约束下展开的策略互动。

统计推断的认识论基础 同样深刻。贝叶斯统计将先验信念（prior belief）纳入推断框架，通过贝叶斯定理以新证据更新信念程度，其哲学根基与知识论的证成结构一脉相承。假设检验中"拒绝零假设"而非"接受备择假设"的审慎表述，体现了知识论中对证伪与证实的不对称性的深刻认识——发现一个反例足以推翻全称命题，但有限数量的正面证据永远无法彻底证实之。这直接对应了波普尔的证伪主义 (Falsificationism)，后者为科学与非科学的划界提供了经典标准。

共同知识 (Common Knowledge) 是博弈论与知识论交汇的另一个关键节点。一个事实是共同知识，意味着所有人都知道它、所有人都知道所有人都知道它，如此递归至无穷。纳什均衡的认知基础、理性预期的逻辑可能性均依赖于共同知识假设的成立与否。

认知逻辑与现代形式知识论

自 Hintikka 于1962年出版《知识与信念》以来，认知逻辑 (Epistemic Logic) 使用模态逻辑工具对知识进行形式化建模。算子 KipK_i p 表示"主体 ii 知道 pp"，其公理化系统通常包含：

Kip→p（事实性：若知道则必真）K_i p \to p \quad \text{（事实性：若知道则必真）}
Kip→KiKip（正内省：若知道则知自己知道）K_i p \to K_i K_i p \quad \text{（正内省：若知道则知自己知道）}
¬Kip→Ki¬Kip（负内省：若不知道则知自己不知道）\neg K_i p \to K_i \neg K_i p \quad \text{（负内省：若不知道则知自己不知道）}

这些公理在经济学中通过知识算子和状态空间划分（Aumann 结构）得到等价刻画：每个主体将可能世界的集合划分为等价的信息单元，主体在某个世界中"知道"某命题，当且仅当该命题在信息单元内的所有世界中均成立。这一框架为不完备信息博弈的 Harsanyi 转换和纳什均衡的认知条件分析提供了统一的数学语言。