核心问题
知识从哪里来，边界又在哪里？
你今天相信的事情里，亲眼见过的只占很小一部分，其余全靠推想、记忆和别人的话。这三样各自能保证到什么程度？如果每一样都可能出错，「我知道」还站得住吗？
知识的来源不止一个。问题不是把它们排成唯一高低，而是问各自何时可靠、如何被校正。
知识从哪里来，边界又在哪里？｜内容
本页范围这一页问的是：一个信念凭什么算有足够的理由、知识是怎样取得的、它又在哪里到头。「知识」在这里不是可被考核的信息量。感官、推理、他人的转述与修行实践在不同传统中各占什么位置，是页内要比较的问题，不是页首就定下的前提。
问题为何会出现
一条防疫建议在群里转了一整天。最早发它的是一位真实的医生，写在他自己的账号上；可转到你这里的版本被剪短了，原文里「仅适用于有基础疾病的人群」那半句不见了。你看了看，觉得说得挺在理，就转给了家里人。
第二天有人问你：你凭什么信它？你说来源是医生。可你并没有见过那位医生，也没读过原文，你信的其实是一串你没查过的转述。于是问题来了：这样得来的想法算不算知道？如果不算，你今天知道的事情里，还剩下几件是你自己查过的？
认知证成：展开概念说明
认知证成（信念有没有理由）epistemic justification你相信一件事，而且拿得出支持它的理由或证据——不是碰巧信对了，也不是因为想信才信。「证成」是 justification 的译名，也译作辩护、确证。不是政治正当性主观确信为真「已经当众辩护过一回」展开读本页的概念卡pramāṇa（有效认识手段）：展开概念说明
认识手段pramāṇa古典印度哲学用它指一件事：能让人真正认识到某个东西的合格途径。知觉算一种；类比、「听别人说」这些算不算，各学派争了上千年。汉译佛典把这个词译作「量」——知觉叫现量，推理叫比量。不是三段论「可信信息来源」清单认知证成展开读本页的概念卡先把问题拆开
刚才那条消息为难人的地方在于：说话的确实是位真医生，内容也确实出自一项真研究，可你还是不敢转发。说不清为什么不敢，是因为「可不可信」这一个词裹住了好几个不同的环节——谁说的、原话是不是这样、转述有没有掐头去尾、结论在你这里还适不适用。这几件事的失效方式不同，核对办法也不同。本页因此不把认识论排成「感官和理性谁更基础」的名次赛：真实的知识主张几乎都同时压在好几种来源上，一条医学建议就同时用到测量、推理、记忆、他人转述和一整套复核制度。要问的是每一种在什么条件下靠得住、由谁来查它、以及在哪一步它给出的「对」其实只是撞对了。下面这几个词，就是把这些环节分开来查的工具。
认知证成（信念有没有理由）epistemic justification
你相信一件事，而且拿得出支持它的理由或证据——不是碰巧信对了，也不是因为想信才信。「证成」是 justification 的译名，也译作辩护、确证。
它要解决的问题是：相信一件事而且碰巧信对了，还算不上知道；知识另外要求这个信念是被理由撑住的。通行做法把知识拆成三条——事情是真的、当事人确实相信它、这个信念有理由支持。三条合起来够不够用，正是盖梯尔问题要追问的：有理由的真信念仍可能只是碰巧撞对，所以不能反过来把「有理由」直接定义成「够得上知识」。另一处分歧是理由摆在哪里：内在论要求它落在当事人这一侧——取决于他的心理状态，或取决于他一经反思就能知道的东西；外在论不这样要求，信念的来源在事实上可靠就够了。（这两派大陆文献多作内在主义／外在主义。）
在本页本页三个立场的分歧可以整个改写成一句话：一个信念要算「有理由」，这个理由最后必须追到哪里去。经验主义答经验证据，理性主义答某些不由经验提供的原则，多源路线答各来源互相检查。这里说的就是认知证成（epistemic justification，也译作辩护、确证）。要当心一处撞词：本库另有一页问统治与制度凭什么可以要求人服从，那叫政治正当性，与这里不是同一个问题——正因为容易混，本站不再把这个概念叫「认知正当性」。
不要和这些混为一谈
- 政治正当性这两条本站此前共用「正当性」三个字，问的却完全不是一件事：政治正当性问权力与制度凭什么可以强制、可以要求服从；这里问的是一个信念有没有证据撑着，与它在道德或法律上站不站得住无关。为了不让读者以为两页在讲同一件事，本站把这一条从旧译「认知正当性」改成「认知证成」。
- 主观确信「我很确定」说的是一个人心里的把握有多大，那是关于他的心理事实；证据够不够是另一回事。极有把握而毫无根据、将信将疑却证据充分，两种人都不少见。
- 为真有理由的信念可以是假的——证据齐备，事情偏偏不是那样；碰巧为真的信念也可以毫无理由。把这两件事绑在一起，就看不出盖梯尔问题难在哪里。
- 「已经当众辩护过一回」中文里「辩护」「证成」都像是说当事人已经论证过一轮，这个条件不作此要求。按日常语感读，你抬头看见桌上有杯子因而相信有杯子，就会因为「没辩护过」被排除在知识之外——绝大多数靠眼睛耳朵得来的知识都会跟着出局。
也在这些条目里被讨论什么是好推理与有效论证？身份、压迫与认知不正义如何形成？
认知运气epistemic luck
一个信念之所以是真的，靠的是运气，而不是靠它所依据的那些理由。盖梯尔案例就是这样：信念是真的，也有理由支持，却仍然不算「知道」。
盖梯尔由此得出一个结论：有理由的真信念即使是知识的必要条件，也不够成为充分条件——三条都满足了，仍可能不算知道。一条自然的回应是给分析补上一条「不许靠运气」的条件，但这一补会把整个分析的结构改掉：一旦写进「这个信念不是仅仅碰巧才为真」，这句话里已经含着「它是真的」和「他确实相信它」，原来那三条就不再各自独立了。
在本页它是本页最后一道关口。来源挑对了、理由也够了、结论恰好还是真的——这三样全部做到，仍可能剩下一个只是撞对的信念。所以本页三条路线都不能靠「把来源选对」收尾：它们各自还欠一个交代，就是理由与真之间那条连接凭什么不是偶然的。
不要和这些混为一谈
- 道德运气那边问的是运气之下评价一个人还算不算公平，这边问的是一个信念够不够称为知识。把两者当成同一个「运气问题」，就会拿归责的直觉去判断知识的条件。
- 瞎猜对了两种情况都是「碰巧说对」，难处却只在前一种：认知运气麻烦在当事人确实有理由、做得也没错，却仍不算知道。毫无理由的猜中根本进不了这个问题——没人认为它是知识。
- 怀疑论指出某个信念只是碰巧为真，不等于主张我们什么都不知道。这是在分析「算不算知识」的条件，不是在否认知识的范围；两者的结论强度差得远。
也在这些条目里被讨论正理、胜论及认识—论辩传统
定义依据The Analysis of Knowledge（SEP）（在新标签页打开）Epistemology in Classical Indian Philosophy（SEP）（在新标签页打开）
证言testimony
因为别人说了，你就相信、就知道了。哲学里的「证言」不限于法庭上宣誓作证——路人指的方向、课本上的一句话、朋友转述的消息，全都算；争论在于这种信念的理由，能不能还原成听者自己的知觉、记忆与推理。
同一件事的两个版本就能看出难处：告诉你比赛结果的若是你早就知道很靠谱的体育记者，你的信念显然有理由；若是一个素不相识的人，你既不知道他是不是常说真话，也没有理由怀疑他，那你的信念有没有理由就不清楚了。还原论要求听者另外拿得出理由支持说话者可靠；非还原论主张只要没有反面线索，接受别人所说本身就已经正当。除这一条争线外还有两条：证言只是把已有的知识从说话者搬到听者那里，还是本身也能生成新知识；判断听者的信念有没有理由，能不能只看听者这一侧的情况。
在本页本页把它放在经验主义那条路线的末尾做检验。先说清一件事：哲学里讲的证言不限于法庭上宣誓作证，它指一切以他人言说为根据得到的信息——朋友一句「那边停电了」就是。这样问题才尖锐起来：一个要求知识追溯到亲身经验的立场，该怎么处理自己实际上大量依赖的转述？公共卫生那个案例要核对的环节，多半压在这一项上。
不要和这些混为一谈
- 专家意见「听别人的」容易让人只想到专家。证言问题涵盖一切以他人陈述为根据的信念：问路、看课表、读新闻都在内。只盯着专家，日常绝大多数知识的来源就被漏掉了。
- 「二手的所以更弱」这是听起来最像常识的一句话，却正是争点本身：需不需要为接受别人所说另找理由，还原论说要、非还原论说不要。先把它当结论，整场争论就没有了。
- 法庭证言中文「证言」几乎只在法律场合出现，这是中文读者进入这个概念的第一道坎。哲学讨论不以宣誓、程序或身份为界：制度化的作证只是其中一种情形，而且远不是最常见的那种。
也在这些条目里被讨论身份、压迫与认知不正义如何形成？正理、胜论及认识—论辩传统
定义依据Epistemological Problems of Testimony（SEP）（在新标签页打开）Epistemology in Classical Indian Philosophy（SEP）（在新标签页打开）
认识手段pramāṇa
古典印度哲学用它指一件事：能让人真正认识到某个东西的合格途径。知觉算一种；类比、「听别人说」这些算不算，各学派争了上千年。汉译佛典把这个词译作「量」——知觉叫现量，推理叫比量。
常被列入的候选是知觉、推理、类比与证言（凡是以别人的话为根据得到的认识），另有「假定」（arthāpatti）、「非认知」（anupalabdhi）等更有争议的候选。分歧不是术语之争：胜论与佛教诸家否认证言是独立的一种，理由是转述之所以可靠，最终仍要回到最初那个人的知觉或推理。翻译上还有一层麻烦——jñāna 常被译作 knowledge，但梵语允许说「假的 jñāna」，英文 knowledge 不允许这样说，所以译作「认知」更稳。
在本页正理传统在本页出现，是因为它把证言与知觉、推理并列，当作一种自己站得住的认识手段，并给每一种单独规定合格条件。它不是「印度版经验主义」：经验主义要把一切追回到经验，它要的是每种手段各自过各自的关——这两种要求会在同一个案例上给出不同的核对清单。
不要和这些混为一谈
- 三段论印度的五支论证（一种分五步走的论证格式）看起来像换了名字的三段论，其实连着一整套关于认识途径的分析：它要回答的问题、评判论证好坏的标准，都与欧洲逻辑不同。
- 「可信信息来源」清单它问的是哪一类过程能生成真认知，不是在列举哪些渠道靠得住。一个渠道可靠，与它是否算一种独立的认识途径，是两件事——证言之争争的正是后一件。
- 认知证成两套讨论可以对照，重心却不同：证成问一个信念被什么撑着，量问的是哪一类过程能生成真认知。而且古典印度认识论是不是在处理同一个「有理由的真信念」问题，在当代研究中本身就有争论。
也在这些条目里被讨论正理、胜论及认识—论辩传统什么是好推理与有效论证？
定义依据Epistemology in Classical Indian Philosophy（SEP）（在新标签页打开）
- 先天知识
- 为它辩护时不需要去观察、去做实验的知识，例如一段数学推演得出的结论。这里有两处特别容易混淆。一是它不等于「天生就会」——学会「三角形」「相等」这些概念照样要靠经验，它说的只是替这个结论辩护时不必回到经验。二是它不保证不出错：历史上被当作先天必然的东西后来被改过，最常被举的例子是欧氏几何——它曾被看作关于物理空间的必然真理，后来发现空间未必是那样。
- 内在论与外在论
- 大陆文献多作内在主义／外在主义，指的是同一组区分：一个信念算不算有理由，只取决于当事人自己这一侧的状态（他有哪些别的信念、他一反省就能察觉的东西），还是也取决于他未必知道的外部情况，比如他的眼睛在那种光线下事实上有多准。前一种叫内在论，后一种叫外在论；外在论里最常见的一支是可靠论，它主张信念有理由就是说产生这个信念的那套过程在实际环境里出错率足够低。上面关于认知证成的那张概念卡已经给出这条分歧本身，这里只防本页最容易犯的一个错：不要把它和本页三个立场叠成一张对照表。两组区分不在同一条轴上——一个经验主义者可以是内在论者，也可以是可靠论者；反过来，内在论者对知识来源的排序也完全可以是理性主义的。
定义与边界
上面的概念卡给出了认知证成、认知运气、证言与 pramāṇa 几条；这里要接着做的，是把「有真信念」和「有知识」分开。做这件事的经典手段是盖梯尔的第二个案例，它把这句话变成了一条可以逐步检查的机制。史密斯有强证据支持「琼斯有一辆福特车」，于是从它演绎出「要么琼斯有一辆福特车，要么布朗在巴塞罗那」。这种「要么……要么……」的句子（析取式）只要有一支为真，整句就为真；既然他有充分理由相信第一支，他相信整句也就同样有理由。可是琼斯开的其实是租来的车，而布朗恰好就在巴塞罗那。于是三条件同时成立——析取式为真、他相信它、他的相信有正当的理由——他却不知道它。要点不在「运气」这个词，而在证成的来路：它经演绎从一个有理由却为假的信念，传到了一个恰好为真的结论，而使这个结论为真的那件事，与他的理由毫无关系。此后的理论正是在补这个缺口：可靠过程、反事实安全性、认知能力或社会实践。[KNO-1][KNO-3]
证言：展开概念说明
证言testimony因为别人说了，你就相信、就知道了。哲学里的「证言」不限于法庭上宣誓作证——路人指的方向、课本上的一句话、朋友转述的消息，全都算；争论在于这种信念的理由，能不能还原成听者自己的知觉、记忆与推理。不是专家意见「二手的所以更弱」法庭证言展开读本页的概念卡论证地图
这张图回答一个问题：我明明看见自己有一只手，为什么还会有人说我没有理由相信它？下面六步给出最常被当作标准形式的那条怀疑论论证。它的厉害之处不在「你也可能看错」这类零碎疑虑，而在它只用一条我们平时都会承认的推理规则（第 2 步）。因为推理本身有效，三条回应就只能各自去否认其中一步——图的下半部分就是看它们分别挑了哪一步、又为此付出什么。图上不讲感觉、推理、记忆与证言各自能给我们什么，那是另一组问题；也不讲古典印度知识论对量（pramāṇa）的分类，那套框架不是围绕这条规则组织的。
前提01
怀疑假设的定义：相对于命题 p 与主体 S，SH 是这样一个命题——若 SH 为真，则 S 不知道 p，且 S 无法把 SH 与自己知道 p 的情形区分开。笛卡尔第一沉思末尾的恶魔情形是一个近乎普适的怀疑假设。[KNO-A1]
这一步只是把「怀疑假设」这个词定下来，本身不断言世界是怎样的。但它照样可以被攻击，而且确实有人在这里下手：承认两种情形从里面看无法分辨，却否认这意味着两种情形里能用的证据一样多——见下面「否认 CP2」那一支。
前提02
闭合原则：对任何 p 与 q，若 p 蕴含 q 且 S 有正当理由信 p，则 S 有正当理由信 q。「p 蕴含 q」指只要 p 为真，q 就不可能为假。把定义域限制在 S 有能力把握的偶然命题、且蕴含关系对 S 显然，就能避开「复杂逻辑真理」那类反例；怀疑论者可以接受这些限制，因为怀疑情形本来就被构造成让日常信念在其中明显为假。[KNO-A1]
推论03
CP1：若我有正当理由相信「这是一只手」，我就有正当理由相信「我不处在那个怀疑情形中」。这一步是把第 2 步那条规则用在一对具体的命题上。之所以用得上，是因为怀疑情形被特意构造成与「这是一只手」不相容——恶魔情形里我根本没有手可看——于是「这是一只手」蕴含「我不处在那个怀疑情形中」，规则一套就得到 CP1。[KNO-A2]
整条链是用「有正当理由」而不是「知道」表述的，这一点限制了什么算成功的回应：正当性被恢复，知识不会自动跟着恢复。盖梯尔的机制正说明这一点。他先立两点：一个人可以对一个事实上为假的命题有正当理由；且若 S 有正当理由信 p、p 蕴含 q、S 从 p 演绎出 q 并因此接受 q，则 S 有正当理由信 q。然后让 p 为假：史密斯有充分证据相信「琼斯有一辆福特车」，据此接受一句随手凑出来的「或者琼斯有一辆福特车，或者布朗在巴塞罗那」（这种「或者……或者……」的句子只要有一边为真，整句就为真）；琼斯其实开的是租来的车，而布朗恰好就在巴塞罗那。这句话为真、被相信、也有正当理由，却不是知识。
前提04
CP2：我没有正当理由相信「我不处在那个怀疑情形中」。[KNO-A1]
推论05
由 CP1 与 CP2 得出结论：我没有正当理由相信这是一只手。用的是否定后件——CP2 否定了 CP1 的后件，于是 CP1 的前件也不成立。[KNO-A1]
分歧点
推理本身有效，所以要拒绝结论就只能拒绝前提。可走的路只有几条：否认 CP1（连带否认闭合原则）、否认 CP2、否认 CP1 与 CP2 和结论这三句话在不同场合表达同一批命题，或者接受结论。[KNO-A1]
接受结论不是被逻辑排除的选项，只是代价落在别处：它要说明我们凭什么继续过一种依赖大量日常信念的生活。
否认闭合（追踪论）
闭合原则不成立，因此 CP1 不是它的合法实例。
- 诺齐克（Nozick）的追踪论把知识写成四条：S 相信 p；p 为真；若 p 为真，S 会相信 p；若 p 不为真，S 不会相信 p——最后这条叫敏感性，它要求一个人的信念能跟着事实走：事实若不是这样，他就不会这么信。同时还要求他获得这个信念所用的方法，在实际情形与那些差别很小的设想情形里保持不变。
- 在这套条件下，「我面前有一把椅子」可以满足第四条，而「我不处在那个只是看起来有椅子的怀疑情形中」不满足——因为若我真处在其中，我恰恰会被骗得以为自己不在。
- 于是知识不沿蕴含关系传递：要么第四条太强，要么闭合原则失效。
反对有理由认为第四条太强。你把一杯冰镇柠檬水放在院子里的桌上，进屋接了半小时电话，挂断后想起它还晒在烈日下，于是相信它已经不冰了——这看来是可以知道的；然而若它竟然还是冰的，那只能出于某种离奇情况，也就是说「若它还冰着，你就会相信它不冰了」为真。这类案例的教训是：敏感性不是知识的正确条件——这个柠檬水反例由沃格尔（Vogel）提出。[KNO-A1]
支持这条路线的一条理由（不回答上面那个反例）支持 CP2 的那条直觉——怀疑情形被设定成我们无法察觉——恰恰就是敏感性要求。如果它是知识或正当性的要求，闭合就会失效，CP1 的根据也随之丧失；如果它不是要求，那么「存在我仍会相信自己不在其中的怀疑情形」这一事实，就不足以支持 CP2。怀疑论者不能同时要这两样。但这一步针对的是怀疑论者，不是上面那个柠檬水案例：那个案例要说的是敏感性本身不是知识的必要条件。若它成立，这条路线用来取代闭合的那个条件就自身难保，而这一问在这里没有得到回答。[KNO-A1]
接受它要付的代价要放弃一条很自然的原则：我们本以为可以把已有正当理由的信念沿明显的蕴含关系推开。放弃之后，日常推理里最常用的那一步——「我有理由信 A，而 A 明摆着蕴含 B，所以我也有理由信 B」——就不再一概可用，哪些情形下还能用，必须另外给出一条规则；而这条路线拿来顶替闭合的敏感性条件，自己也还欠一个交代。
否认 CP2
我们确实有正当理由相信自己不处在怀疑情形中；错的是 CP2，不是闭合。
- 索萨（Sosa）的三条主张：敏感性容易与另一个条件（安全性）混淆；敏感性不是知识的正确必要条件，安全性是；而我们对怀疑假设之否定的信念虽然不敏感，却是安全的。
- 安全性是敏感性的换位式——换位指把「若 A 则 B」改写成「若非 B 则非 A」：S 基于 e 相信 p 是安全的，当且仅当 S 不会轻易在 p 不成立的情况下基于 e 相信 p。普通条件句换位之后真假不变，但「若……就会……」这类虚拟条件句不是这样，换位之后可能由真变假，所以敏感性与安全性不是同一个条件。
- 另一条独立路线否认「好情形与怀疑情形的证据相同」这一预设：按威廉姆森（Williamson）的主张，证据就由我们所知道的东西构成；好情形里我们知道得更多，证据也就更多，两种情形因而并不对称——虽然从里面看分辨不出，能用的证据却不一样多。
反对安全性本身也有反例。一场万圣节派对办在左路那栋房子，地方难找，主人雇了一个人守在十字路口给来客指路。主人不想让迈克尔来，于是交代指路的人：万一见到迈克尔，也照样说左路，但要立刻打电话把派对移到右路去。我本来认真考虑过化装成迈克尔，最后没有化。我到路口一问，她说在左路，我就信了——派对确实在左路，这看来是知识。可它并不安全：只要我当初真的化了装，她还是会照样说左路，而派对已经被移走了；同一个理由会让我相信同一句话，那句话却是假的。[KNO-A1]
另一条支持否认 CP2 的理由（不回答上面那个反例）这一步不走安全性，而直接对着支持 CP2 的对称性论证：好情形与怀疑情形的差别不必是证据的多少。一个明显的差别是「我不处在怀疑情形中」在怀疑情形里为假、在正常情形里为真；既然知识要求真，我们在怀疑情形里之所以没有知识，可以由真值条件解释，而不必归于证据贫乏。按这条路线，我们相信自己不处在怀疑情形中的理由已经好到足以构成知识——只要它为真。若怀疑论者改用不蕴含日常命题为假的假设（比如「我正梦见自己有手」，而我梦中确实有手），那么欠缺的多半是盖梯尔问题之后被广泛接受的那类「信念与真之间的恰当关系」，同样不是证据的多少。这条走法绕开了安全性：即使安全性被万圣节派对那类案例推翻，否认 CP2 仍然可以靠真值条件这条路走。但绕开不等于答复——索萨那两步（以安全性取代敏感性）所面对的反例，仍然摆在那里没有解决。[KNO-A1]
接受它要付的代价要接受一个不讨好的结论：我们对「没有恶魔在骗我」这件事有充分的正当理由，尽管我们说不出任何能把它与被骗情形区分开的东西。
语境主义
否认这三句话在不同场合表达同一批命题：CP1 始终表达真命题，CP2 与结论在日常语境里表达假命题、在高标准语境里表达真命题。
- 「有正当理由」这个说法有两种用法。一种带比较：他比我更有理由相信这件事。另一种不带比较，直接说「他有正当理由」——这种用法像「高」一样，说一个人高，等于说他过了某条线，而那条线由说话的场合定。
- 于是「我有正当理由相信我有手」这句话，在做知识论、专门想着正当性要求的语境里门槛被抬到几乎没人达到，在日常语境里门槛低到多数人都达到。
- 结论是这条论证至少是两条论证：在高标准语境里它成立，在日常语境里它有一个假前提和一个假结论。这是比前两条更让步的回应——它承认那些句子可以用来表达一条真的、有效的怀疑论论证。
反对语境主义只是断言我们在日常语境里有正当理由拒绝怀疑假设，却没有为这个招牌主张提供论证。而怀疑论者的意思本来是：即使按最低的正当性标准，我们也没有一点点正当理由相信怀疑假设之否定——他说的不是「我们达不到某个严苛标准」。在这一点上，语境主义作为对怀疑论的回应寄生于另一个独立论证。此外还有相关性问题：即使「有正当理由」确实指多个属性，怀疑论者与知识论家完全可以只关心其中一个，那么有意思的争论就落在那个属性的成立条件上，语境主义随之被绕开。[KNO-A1]
回应针对论证有效性所依赖的那一步：这条链要成立，三句话必须表达同一批命题。若能表明不然，怀疑论者的任务就变了——他不能只指出我们无法排除恶魔，还必须证明 CP2 在最低门槛上也为真。这没有取消他的主张，但把举证责任移了位。这个转移是否够用，仍是未决的争论（科尼与科恩在 2014 年各有回应）。它也没有触及相关性那一条反对：即使「有正当理由」确实指多个属性，怀疑论者与知识论家仍可以只关心其中一个，争论照样可以在那个属性上继续。[KNO-A1]
接受它要付的代价要接受「我知道我有手」的真值随谈话场合变化：同一句话在日常谈话里为真，在哲学课上为假。
主要立场
经验主义
这一侧的问法是：一个说法要算数，最后得拿什么来对账。它的答案是经验——凡是说到世界如何的主张，若不接受任何观察的检验，它是真是假就没有区别；而能作检验的只有看、听、量这些事。据此概念与推理只负责整理经验给出的材料，不能自己产出关于世界的新事实。近代经验主义内部对心灵、因果和科学的看法并不一致，共享的是这条对账要求。
核对来源 [KNO-1][KNO-2]论证路径
- 第一步给前提，办法是设想一种极端情形：一个人从没见过、摸过某类东西，也没有任何人跟他说起过，那么他关于它的判断就找不出一个可以追查的来源——你问他「你怎么知道的」，他答不上任何一条。这里说的经验不是一种主观感受，而是信念与世界之间那个唯一可以往回追的接触点。
- 第二步把这个前提提成两条要求：一个概念的内容要能追到某种经验来源（说不出这个词是从什么经验里学来的，它可能根本没有内容），一条辩护要能追到某种经验证据。凡两样都追不到的，判为无内容或无理由。这一步才是经验主义真正的力量所在：它不只是在讲一段「知识从哪里起源」的历史，而是交出一条可以当场执行的淘汰标准。它依赖的原则也因此暴露在外——凡追溯不到经验的都不算数，这句话本身要靠什么来支持？
- 代价出现在数学和逻辑上。「三角形内角和等于两直角」不是靠更多观察确立的，也不会被一次测量推翻。经验主义要么把这类知识说成只关于概念之间的关系（于是它不告诉我们世界的事），要么承认漏掉了一类知识。
- 另一处压力来自它自己的工具：经验主义者大量依赖教科书、仪器读数与他人报告，而这些都不是他本人的经验。若把证言算作独立来源，「一切知识源于经验」就要重新表述；若不算，日常知识的绝大部分都得放弃。
反对意见反对落在「能作检验的只有看、听、量」这一步。数学与逻辑显然算知识，却没有一条是靠看和量确立的——「每个数都有后继数」不可能有人一一查过。若坚持一切内容都要回到经验，这两门学科要么被判为不是知识，要么就得另找一套说法；而它们恰好是其他知识赖以整理材料的工具。
回应两条回应各有代价。一条把数学与逻辑说成关于概念关系的、不报告世界事实的真理，因此不需要经验支持，也不构成反例；代价是要说明这样一套「不关于世界」的真理为何在物理学里不可替代。另一条承认数学有内容，但主张它同样受经验的间接检验——整个理论作为一体面对证据，数学部分并不豁免；代价是它必须接受数学命题原则上可被修正，而这与数学实践的样貌不合。
理性主义
这一侧指出，经验本身给不出某些我们确实拥有的知识。任何一次观察都只涉及有限的几个个例，而「三角形内角和必定是两直角」「同一件事不能既如此又不如此」这类判断说的是必定如此、无一例外；多看几次并不能把「一直如此」变成「必定如此」。既然结论比材料强，就有一部分不来自材料。据此心智一侧必须先带有某些结构或概念，知识才可能成形。
核对来源 [KNO-1]论证路径
- 第一步给前提，而且可以当场验一验：有些判断我们不用再去看一眼就能定下来，而且定得比任何一次观察都牢。「若 A 比 B 高、B 比 C 高，则 A 比 C 高」——你不需要去量第三对，也不会因为哪一次量错了就打算修改这句话。数学推演出来的结论同样如此。
- 第二步是桥接，从「这类知识存在」走到「理性是一个自己站得住的来源」：经验能报告的只有「至今看到的都如此」，报告不了「必然如此」；既然我们手上确实有一些必然性判断，它们的辩护就不可能全部来自经验；于是必须承认有些概念或原则不是经验给的。整条桥压在一根柱子上——「经验辩护不了必然性」——而这根柱子正是争论的焦点，反对者要打的就是它。
- 反驳通常走两条路：把必然性重新解释为语言或约定的产物（于是它不描述世界）；或指出我们对「牢固直觉」的历史记录并不好——欧氏几何曾被当作关于物理空间的必然真理。理性主义因此要区分「不可设想其反面」与「一时想不出反例」，而这条界线自己也很难划。
- 还有一件未完成的事：即便承认理性提供了结构，也要说明这个结构为何与它并未接触的世界相符。康德式的回答是把它说成经验对象得以成立的条件，代价是我们由此得到的不是关于物本身的知识。
反对意见反对落在「心智一侧必须先带有某些结构或概念」这一步：就算真有这些结构，它们凭什么恰好合乎心外的世界？若它们只是人的构造习惯，那么由它们得出的必然性就只是我们不得不这样想，而不是事情必定这样。「必定如此」与「我们无法设想别样」之间，这条路线还欠一座桥。
回应康德式的回应把关系倒转：不问先天结构如何碰巧适合世界，而主张这些结构正是任何东西能作为对象被经验到的条件，因此适合是被保证的。代价明确——这样保证到的只是「对我们显现的世界」，关于独立于这些条件的世界，这条路线就承认自己无话可说。
批判与多源取向
这一侧不选边，而主张两侧各说中了一半，因此该问的是分工：经验负责提供内容，概念与结构负责使内容可被整理，缺一就没有可评价的判断。它还加进一项前两侧很少处理的来源——证言。哲学里的证言不限于法庭上作证，指一切来自他人言说的信息；你相信的绝大部分事情都是这样来的。据此认识论要评价的不只是一个人如何推理，还包括他处在什么位置、听得到谁、谁会被相信。
核对来源 [KNO-1][KNO-2][KNO-3]论证路径
- 第一步给前提，而这个前提就在那条防疫消息里：把经验和理性排出个高下，对判断这条消息一点用也没有。它同时压在观察（那项研究测了什么）、推理（从研究结论到你这里的外推）、记忆（转述者记没记全）、证言（你没读原文）和制度（有没有人复核）上，而这几样坏掉的方式各不相同——记错和说谎不是一回事，测不准和外推过头也不是一回事。
- 第二步把问题整个换掉：不再问知识最终源于哪一种能力，改问每一种来源在什么条件下可靠、能被哪一种别的来源查出问题、在哪里最常失效。换来的不是一条新的第一原理，而是一份分工清单——知觉会被系统性的错觉带偏，记忆会在回想时被重新编排，推理在长链条上会把小误差放大，证言可不可靠则取决于说话者有没有那个能力、有没有相反的利益、以及出了错有没有渠道被纠正。这一步的实质是把认识论问题打散成一处一处的局部问题，它能不能成立，全押在一个假设上：这些来源真的可以分开检查，而不是暗地里全靠同一个东西撑着。
- 要付的代价很明确：它不再能给怀疑论一个统一答复。盖梯尔式案例显示，即使某个来源这一次给出了真信念，理由与真之间的连接仍可能只是偶然，而怀疑论问的正是这种连接。承认多源，就意味着要一处一处说明连接如何非偶然，不能一次性证明。
- 它也不是「各种说法都有道理」。检验一条主张时可查的是：它依赖哪几种来源、这些来源在此处是否互相独立、有没有一个能推翻它的观察或程序。若全部来源最终追溯到同一处，多源只是外观。
反对意见多源路线要给不同来源之间的冲突定出优先次序，否则「都重要」不构成一个立场。而它常用的办法是相互校正——用经验检验证言、用证言扩展经验——这在两个来源同时出错且错得一致时不起作用，例如一个社群的共同偏见同时塑造了成员看到什么和相信谁。
回应多源路线可以把校正的负担从个体转到结构：可靠性不由某一次相互检验保证，而由是否存在能提出异议的位置保证——独立的检验渠道、能被听见的少数意见、可追责的记录。据此认识论要评价的不只是个人的推理，还有一套认识分工的组织方式。代价是这条标准在最需要它的地方最难满足，而它也不能排除整个组织方式长期系统性偏斜的可能。
有力反对及回应
先看关于来路的那场老争论。经验主义若把一切知识都压到感觉输入上，就难以说明逻辑、数学、概念和他人的转述各自起了什么作用；理性主义若把可靠性主要交给某种不依赖经验就已具备的先天结构，又得解释这种结构凭什么接得上具体的世界——它为什么正好配得上我们所处的这一个世界，而不是别的。较成熟的理论通常承认多条来路并存，可那样一来又欠下一步：这几条来路给出的结论互相冲突时，该按什么给它们定权重。[KNO-1]
再看关于他人转述的那条反对，它正对着群里那条建议。还原论主张：听到一份报告只是拿到了一条证据，真正让你有理由相信它的，是你自己关于「这个人在这类事情上可不可靠」的归纳推理；所以证言并不独立，它归到推理里去了。反还原论一路的回答不是重申证言重要，而是指出这条要求的代价：一个人所知道的绝大部分事情——历史、地理、自己的出生日期——都没有、也不可能有这样一份独立的归纳记录；若严格按还原论办，这些统统不算知识。于是要么承认证言自成一条来路，要么把知识的范围缩到极小。争论并未就此收口：正理一路继续追问的是说话者的可靠性凭什么评定、听者对语句的理解在其中起什么作用，以及对象不在眼前时知识怎样成立——而不是给权威贴一个标签了事。[KNO-1][KNO-2]
哲学家怎样改写这个问题
这些人不是在为同一条现成结论各投一票，他们的名字也不等于某个立场的标签。每一则先回到他本来在处理的问题，再看它能怎样推进本页的讨论；「不能直接推出」那一行挡的是跨时代、跨传统的草率等同。
1641
笛卡尔
《第一哲学沉思集》第一、二沉思
他把怀疑当作方法而不是结论：逐层撤掉可疑的信念（感官、梦、恶魔），看还剩下什么无法被撤掉，再用剩下的那一点重建其余。
对本页的推进对公共卫生转述，这套方法给出的不是「什么都别信」，而是一个次序：先问哪一步的可疑性最高，从那一步开始核。
不能直接推出方法怀疑不要求日常行动每一步都达到绝对确定，也不自动否定对专业共同体的依赖；把它当作生活准则会误用它的目的。
核对来源 [KNO-1]1748
大卫·休谟
《人类理解研究》第 4 节〈关于理解作用的怀疑〉（英文本 Section IV；商务印书馆关文运译本作「第四章 关于理解作用的一些怀疑」）
他把归纳问到一个关于来源的位置上：经验能报告已观察到的，报不出未观察到的；要跨过这一步就得另借一条原则，而这条原则自己也只能由经验来撑。
对本页的推进一条消息即使引述了过去的研究，也不能无条件外推到所有人、剂量或情境；要核对的是适用范围与替代解释。
不能直接推出归纳问题不推出经验知识都是猜测；它要求更细地说明实践、证据与可错性，而不是取消它们。
核对来源 [KNO-1]古典至近世
正理传统
《正理经》及其注释传统
它不从「什么是知识」的定义出发，而从认知过程出发：知觉、推理、证言各在什么条件下算作生成真认知的合格手段，并把这些条件做成可争论的条目。
对本页的推进案例可逐项检查谁在说、来源是否可靠、转述是否保存了限制条件——而不是把「专家」当作免于理由的标签。
不能直接推出pramāṇa 有自身的真理与生成条件，不能等同于当代的「信息来源」，也不能被并入西方经验主义。
核对来源 [KNO-2]1963
埃德蒙德·盖梯尔
〈正当的真信念是知识吗？〉
他用两个反例攻击一个定义：真、相信、有正当理由可以同时满足，而信念之所以为真与它的理由无关。问题因此不在理由不够强，而在连接是偶然的。
对本页的推进转述者即便碰巧给出了正确建议，也可能因删去限定条件而不是凭正确理由得出它；说对与知道要分开算。
不能直接推出这篇短文指出传统三条件不足，并未给出被普遍接受的第四条件；可靠性、安全性等补充方案仍在竞争。
核对来源 [KNO-3]案例推演
公共卫生消息能否相信
社交平台上流传一条防疫建议；它来自一位真实医生，却被断章转述，原文的适用条件已被删去。
- 把可信度拆成四个可分别核对的环节：原作者是否有相关领域的资格；原文是否真的这么说；转述有没有删掉适用范围；结论在本地条件下是否仍适用。任一环节断掉，整条主张就不成立，而它们的核对方法完全不同。
- 这里最容易被跳过的是第三环。原文成立而转述不成立是最常见的情形，检验办法很具体：找到原文，比对被删的限定条件，看结论是否随之改变。
- 个人不必读完所有研究，但要能说出自己依赖的是哪一种独立性：不同机构的独立复核、公开的原始数据、以及能推翻结论的程序是否存在。若三条都没有，「我相信专家」实际上依赖的只是一次转述。
- 把三种常见反应各自的落点标出来：「他是医生，可以相信」落在来源的资格上，「先看原文」落在传递链的完整上，「等更多研究」落在证据的独立重复上。三者并不冲突，但只有第二条能在今天就判定这一条特定消息。
- 完整走一遍（示范走法，不是标准答案）。① 先定住问题：不问「这条建议对不对」，只问「我现在有没有理由把它转给家人」——这问的是我这个信念有没有被支持，不是医学本身。② 摆一个暂时判断：没有，先别转。③ 说清依据哪条标准：一条转述要能支持我的信念，得先过第三环——转述保没保住原文的适用条件。这一环之所以排在前面，是因为它今天就能查（找到原文比对），而「等更多研究」要等几年。查的结果是原文限定了年龄段和剂量，转述里都没了；限定一删，结论覆盖的人群就换了一批，我家人未必在里面。④ 迎一个反对：有人会说「可这位医生本人确实是专家，专家意见就是理由」。这条反对值得认真对待，它说的没错——但它支持的是「原文那句话有理由」，不是「我手上这句话有理由」。资格管的是第一环，传递链断在第三环，前者补不了后者。⑤ 写明限制：以上没有证明这条建议是错的，它很可能对原文限定的那类人完全成立；做到的只是说明我现在这个信念缺理由。另外，就算我把四环全部核对通过，也还剩最后一道——理由和真之间的连接可能仍是碰巧的，那是上面运气那张卡提出的问题，本页解决不了。
思想实验
一条被删掉条件的转述
把「该不该相信」从对说话者的信任转成对整条链的检查：改变链条上被削掉的东西，再改变你自己手上另有什么，看信任实际挂在哪一环上。
教学重构它在上面那次案例推演（公共卫生消息能否相信）上加装变量；三段变量分别对应还原论的「正面理由」条件、非还原论的推定权利，以及知识传递观，依据是文末列出的那份综述。情节与人物由本站编写。
情境 A
一条防护建议在社交平台上流传。它出自医生 A 的一次门诊科普，原话附有两个条件：只适用于某一年龄段，且只在通风不足时才有必要。转到你眼前时两个条件都不见了，署名仍写着 A。你不认识 A，也查不到原始视频，但转发者是你熟识、平时说话谨慎的同事。
- 你现在有理由相信的是哪一句：A 说过某句话，还是这条建议对你适用？两者靠的是同一份证据吗？
- 同事的谨慎是关于什么的证据——他核实过原话，还是只是不乱下自己的判断？
- 「暂不采纳，也不断言它是错的」是一个可辩护的位置吗？要占住它，需要什么理由？
变量 B
改动的变量链条：原话可以调出来核对，但你看到的版本中间经过了三次转述。
同一条建议。这次原始门诊视频公开可查，两个条件在原话里清清楚楚。链条是：A 说了带两个条件的话；B 摘录时保留年龄条件、删掉通风条件；C 转述 B 时把年龄条件改成「中老年人」；D 再转成一句无条件的建议，署名回到 A。你看到的是 D 的版本。没有人说谎。
- 现在原话可以核对了。这使你有理由相信这条建议，还是只使你有理由相信 D 的版本已经失真？
- 如果 A 本人确实知道那件事，而 D 说出口的已经不是 A 知道的那句，「这是医生说的」这句辩护还剩下什么？
- 每一步都只删改了一点。责任因此消失了，还是被分散了？
这一改动在检验你最后看到的那句话仍是无条件版本，你自己手上仍然没有别的材料；变的是链条本身——原话这次可以调出来核对，中间也多了三次转述。这一段要分开的是「能不能追到源头」与「到手的内容还是不是源头那句」，检验的是一条关于证言知识的主张：知识若只能沿链条一环一环传下来，那么任何一环的失真都会切断传递，即使源头本人确实知道。要注意它一次动了两样东西（可核查性、转述手数），所以判断改变本身还不能指认是哪一样在起作用。
变量 C
改动的变量听者一侧：内容和链条都不变，改变的是你手上另外有什么。
同一条无条件版本的建议。这次你恰好另有两样东西：本地卫生部门上月发布的指引，其中含有同样的两个条件；以及你自己所处环境的通风记录。两样都不来自任何人的转述。
- 现在你相信的依据是这条转发，还是那两份材料？若是后者，转发在其中起了什么作用？
- 如果这两份材料都没有，你也没有任何关于 A 可靠性的信息，你是否就没有理由相信这条建议？
- 要求每个人都亲自持有独立证据，会让绝大多数日常知识变得无法获得；若不这样要求，缺口用什么补？
这一改动在检验消息的内容、署名与整条链都不变，只在你这一侧加进两份不经任何人转述的材料，随后再把它们撤走。这一段检验的是相信证言的条件：在相信一条证言之前，要不要先有一份不来自证言的理由。判断若随之改变，起作用的就不是这条消息本身有多重，而是你手上另外还有什么。
判断改变时，你实际上在依据什么
- 说话者的资质
- 若判断随「这话是谁说的」变化，来源这一侧在起作用；但「谁说的」可以承担两件不同的工作：它本身构成相信的理由，或者它只是「这句话大概可靠」的一个指标。要分开这两者，可以问：若同一句话由一个不具名但附了完整依据的帖子给出，判断会不会不同。无论取哪一种，这条原则都容易滑向同一个错误：资质一经确认就不再看内容——而变量 B 显示，失真恰恰发生在有资质的源头之后。
- 正面理由
- 若要求先有不依赖证言的理由，才能相信一条证言，取的是还原论的条件（见本案例依据的那份综述 §1.1）。它叫还原论，是因为它要把「凭别人的话相信」还原成别的、不靠别人的话建立起来的理由。代价是绝大部分日常信念（地图、时刻表、化验单）都难以满足它。
- 推定的可信
- 若在没有未被击败的反面迹象时就算有理由相信，取的是非还原论的推定权利（同一份综述 §1.2）。代价在另一头：判断的成败全压在「什么算反面迹象」上，而这一点需要单独说明。
- 传递与失真
- 若关注源头本人是否真的知道那句话，用的是知识传递观（同一份综述 §2.1）。它能解释变量 B 里「这是医生说的」为何不再管用；也带来一个后果：源头不知道时，即使内容为真，链条末端也不算知道。
- 适用条件
- 内容为真与内容对你适用是两件事。判断若随适用条件被删除而改变，有两种读法：一是这条建议的真假未变，只是它对你这个位置还剩多少证据力量变了；二是删条件这件事本身让你不再信任转述者。设想转述者明确说「我删掉了两个条件」：判断若回到原处，起作用的是前一种读法；若不回，是后一种。
- 可核查性
- 若把「能不能追到源头并逐环比对」当作条件，衡量的就不是个人的判断力，而是这条链条留下了多少可查的痕迹。这一步把认识分工的问题从个人德性挪到了制度设计上。
这条建议从头到尾没有被任何人捏造，到手时却已不足以支持它所要求的行动。若判断在变量 B 处翻转，起作用的就不只是「消息来自专家」。但翻转本身还不能指认是哪一样在起作用：链条每一环有没有保住原话所依赖的条件，与「原话现在可以调出来核对」这件事本身，在那一段里同时变了，要分开还得再设一次变量。剩下的问题不好回避：既不可能亲自复核每一条医学结论，又不能靠「来源看着靠谱」了事，那么在个人核查与制度留痕之间，哪一部分负担该放到哪一边。这个实验证明不了的是：它显示不出还原论与非还原论哪一方正确，也定不出「什么算反面迹象」的界线——那正是两方各自还欠的一步。它设定的还只是一条内容本身为真、只是被删去条件的消息；遇到刻意造假，或者源头本身就不可靠，上面这些追问都还不够用。
容易混淆的地方
- 解释性重构：怀疑论不是「什么都不知道」这样一句口头姿态。它要求你交代一件具体的事：手上这些理由，凭什么足以排除「你正在弄错」「你正在幻觉」「你只是碰巧蒙对」这几种可能。而且它通常靠一条看上去无害的原则推进——闭合原则：如果你知道一件事，又知道这件事必然推出另一件，那么你也就知道后一件。怀疑论者正是顺着这条原则，从你自认为知道的事一路推到一个你显然不知道的结论，再回过头来要你交代起点。要回应它，就必须指出这条链上是哪一步不成立，而不是重复宣称自己确实知道。[KNO-1]
- 解释性重构：「证据」不是一个个孤立的数据点。一样东西之所以能算证据，靠的是测量方式、背景假设、推理步骤，以及一条可以追问下去的来源链共同支撑；抽掉其中任何一样，剩下的那个数字就不再支持任何结论——群里那条建议掉的正是「适用范围」这一样。
- 解释性重构：「相信专家」不等于放弃批判，只是批判的对象换了。外行不必自己重做实验，可以追问的是另外两件事：他能不能把自己的理由讲清楚，以及这个专业共同体靠什么发现并纠正自己的错误。
人物与原典：从哪里读起
先抓住每部文本在这场争论里要解决什么问题，再回到原文核对它自己的论证。
〈正当的真信念是知识吗？〉
1963
三页，从这里开始。全文只有一个定义和两个反例，建议先自己把反例的结构写出来（哪条条件满足、真值靠什么达成），再读后人提出的第四条件。
核对来源 [KNO-3]带着这个问题读案例的问题在于理由不够，还是它与真理之间连接得太偶然？两种诊断会导向不同的修补方案。
《人类理解研究》第 4 节〈关于理解作用的怀疑〉（英文本 Section IV；商务印书馆关文运译本作「第四章 关于理解作用的一些怀疑」）
1748
本节为 SBN 25–39，约十五页（边码以 Selby-Bigge／Nidditch 版为准，中译本分页另计）。第一部分给出两类推理的区分，第二部分才是归纳问题；读时把他要求补上的那条原则用自己的话写出来，这是全节的枢纽。
核对来源 [KNO-1]带着这个问题读他要求补上的那条原则，为什么不能再由另一次归纳来支持？这个缺口只出现在经验这一来源上，还是记忆与证言同样躲不开？
《第一哲学沉思集》
1641
读第一、二沉思即可入门（约二十页），第三沉思之后的重建部分依赖大量经院背景，第一遍可以跳过。配一部导读能省很多力。
核对来源 [KNO-1]带着这个问题读若感官会误导，是否必须先找到绝对确定性才可拥有知识？这个要求是他论证的前提还是结论？
《正理经》及其注释传统
古典至近世
先读现代综述中关于 pramāṇa 分类与证言的章节，再回到经文条目。若只想看一处，选关于证言（śabda）的讨论——它与当代证言认识论的对照最直接，也最能显出问题结构的差别。
核对来源 [KNO-2]带着这个问题读从烟推知火时，何种普遍关系、反例排除与语境条件不可缺少？证言要满足哪些条件才算认识手段？
跨传统的可比问题
比较不从「哪个传统相当于哪一派」开始，而从一个双方真的能对话的问题开始；每一栏按它 自己的问题框架陈述，不译成同一套术语。
一个认知的可靠性，是它自己就带来的，还是要另有东西来确立？
两场争论都从同一个结构性麻烦生出：如果每一次认知都要另一次认知来作保，保证就无穷后退；如果不要保证，又得说明可靠性从哪里来。分家就分在这里。
印度的「一次认知能不能自己作准」之争（svataḥ／parataḥ-prāmāṇya）
- 一次认知凭什么算数
- 要保证就无穷后退
- 知不知道自己知道
- 来源识别与事后复查
争点是一次认知的「量性」（prāmāṇya）从哪里来。古典印度把能生成真认知的合格途径叫作「量」（汉译佛典的用法：知觉是现量，推理是比量）；量性就是一次具体的认知够不够格算作「量」——它是不是由这样一个途径生成的、算不算真知。弥曼差与吠檀多一方由后退威胁推出知识自我证成（svataḥ prāmāṇya）：一次认知的可靠性由它自身带来，不需要另一次认知去确认。正理一方持外在确立说（parataḥ prāmāṇya）：一次认知不会自己知道自己为真——按这一派的说法，「知道 p」并不自动带来「知道自己知道 p」——所以量性要靠事后复查、辨认来源一类程序才能确立。[CR-1]
当代内在论／外在论之争
- 理由要不要落在当事人这一侧
- 心理状态说与可通达说
- 证成为什么值得要
- 被彻底欺骗的人算不算有理由
这场争论问的是：一个信念有没有理由（证成），取决于哪一类事实？说证成「随附于」某一类事实，意思是两个人在那一类事实上完全一样，他们的信念有没有理由也必定一样。内在论主张这一类事实全在当事人内部，外在论否认（大陆文献多把这两派作内在主义／外在主义）。「内部」有两种读法：心理状态说把它定为当事人心理生活的相关方面，可通达说把它定为当事人一经反思或内省就能知道的条件。支持外在论的主要理由是：证成之所以值得要，是因为它让信念更可能为真，而这一点靠的是来源在事实上可靠，不是当事人心里清不清楚；此外它解释力更强。支持内在论的主要理由包括证成的规范性，以及一个直观——被恶魔彻底欺骗的人，其信念与我们同样有理由，因为从内部看他做得一点不差。[CR-2]
不可等同之处后退结构是共用的，被追问的东西却不是一件。印度这一场的直接问题是「知不知道自己知道」：正理否认的是「知道 p 就自动知道自己知道 p」，争的是一次认知的量性怎样被确立、被认定。当代这一场问的是一个信念有没有理由取决于什么，而这里的「内」被定为心理状态，或一经反思即可知道的条件，与「自己意识得到」并不重合。所以「正理＝外在论」这个对应会误导：在量性问题上持外在确立说，完全可以同时在证成问题上是内在论者，反过来也一样。要把这个对应落实，必须逐项说明两边的「内／外」各指什么——本条没有做到这一步，只指出两者共用同一个后退难题。
这一组比较还欠 3 项核验（展开查看）
- 正理内部（Vātsyāyana、Udayana、Gaṅgeśa）对量性确立程序的具体差别未查证，本条只用了综述对学派立场的概述。
- 弥曼差 svataḥ prāmāṇya 的论证形式（Kumārila 与 Prabhākara 的差别）未核对。
- 未核对把这两场争论直接对接的比较研究；上面关于两者如何不同的判断是本库的解读，不是引自来源的结论。
从已观察到的关联跨到未观察的情形，凭什么？
两边都不是笼统地怀疑推理，而是盯住同一个环节：把观察过的关联延伸到没观察过的情形，这一步需要什么支撑。双方举的例子甚至同类——烟与火、往后仍会照旧。
顺世论对推理的分级
- 哪些推理日用上够用
- 概然与确定的区别
- 结论是否涉及从未被知觉之物
- 可用材料本身的残缺
顺世论常被简化成「只承认亲眼所见」，可核对的陈述要细一层：不是所有种类的推理都有问题，为了过日常生活，推理是必不可少的一步。他们把推理分成两类——依概然作出的和依确定作出的；烟从屋顶升起、因而屋里很可能有火，就是前一类的常用例子。被拒绝的只有一种：「关于从未被知觉之物的推理，即神与来世」。这一栏的证据基础本身很薄：顺世论没有教义文本传世，连据称属于它的根本典籍《Bṛhaspati Sūtra》也只剩零星残片。[UO-1]
休谟的归纳问题
- 归纳是否预设自然齐一
- 论证式推理与概然推理的两难
- 循环
- 合理性能否被重建
这一支追问的是归纳暗中预设的那条齐一原则：「未经验的事例必与已经验者相似，自然的进程始终齐一」——说白了就是没见过的情况会和见过的一样，自然不会中途改规矩。两难的形式是：论证式推理（结论的反面会引出矛盾的那一类）不能确立它，因为「自然改了规矩」并不自相矛盾，人完全可以清楚地设想已有规律在未观察的情形中不再成立；概然推理也不能，因为一切概然推理本身都已「预设将来将与过去一致」，用它来证明齐一原则，就是「把正待论证之点当作前提」。[UO-2]
不可等同之处相似之处止于被质疑的那一步。休谟的问题是一个普遍的辩护问题，牵动全部经验科学，那份综述的大半篇幅都在排列各种回应方案；顺世论的动机是特定的——限制形上学与宗教结论，日常推理照用。所以顺世论不是「印度的休谟」，它没有主张全部归纳都缺乏辩护。还有一处不对称落在材料上：休谟的文本完整可读，顺世论的观点主要靠残片与对手转述重构，任何「顺世论主张 X」的说法都得先说清 X 出自哪份材料。
这一组比较还欠 3 项核验（展开查看）
- 正理一方对遍充（vyāpti，即「凡有烟处必有火」这类普遍伴随关系）如何被确立的正面论证，以及顺世论者对它的具体反驳，本轮没有找到可核对的条目段落。SEP Naturalism in Classical Indian Philosophy §2.3 只讨论 svabhāvavāda 与因果，不涉及推理的量性，因此没有采用。
- 未核对 Jayarāśi 的《Tattvopaplavasiṃha》相关研究；SEP 另有 Jayarāśi 条目（本轮未打开），若要写顺世论与怀疑论的关系应从那里开始。
- 耆那教一侧（anekāntavāda 与推理）没有进入本条。pt-jain-carvaka 同时涵盖耆那与顺世，这里只对照了其中一半。
放回历史线索
- 近代：知识、科学与政治秩序
理性主义／经验主义是重要教学线索，但不能覆盖全部近代认识论。
- 正理、胜论及认识—论辩传统
从 pramāṇa、推理和证言的细致分歧进入印度认识论。
回到问题：现在能说什么
- 这一页在问什么
- 你相信的很多事情都是别人告诉你的，你自己并没有查过。这样得来的想法算不算知道？如果不算，你今天知道的事里还剩下几件？
- 分歧落在哪里
- 本页三个立场分的是知识的来路：经验主义要求每一条关于世界的主张最后都能拿观察来对账；理性主义指出有些「必定如此」的判断比任何一次观察给得出的都强，所以有一部分不来自材料；批判与多源取向不选边，改问分工，并把他人的转述也算作一条正经来路——它欠的那一步正是来路互相冲突时怎么排先后。更硬的分歧还在另外两处。一处是「有理由的真信念」够不够：盖梯尔的案例表明不够——理由可以经演绎从一个为假的信念传到一个恰好为真的结论，而使它为真的那件事与这些理由无关。另一处是他人的转述算不算一条独立的来路：主张不算的一方要求你先有一份「这个人可不可靠」的归纳记录；主张算的一方指出这个要求会把历史、地理、你自己的出生日期一并踢出知识之外。
- 现在可以确定什么
- 有几处可以定下来：有理由而且为真，仍然可能不是知识；「相信专家」不等于放弃批判，只是改问他能不能讲清理由、这个共同体靠什么纠错；「证据」不是孤立的数据点，它要靠测量方式、背景假设与可追问的来源一起支撑；怀疑论的力气用在闭合原则那条链上，回应它就得指出是哪一步不成立。
- 还不能确定什么
- 还定不下来的是拿什么补上盖梯尔那个缺口——可靠过程、反事实安全性、认知能力还是社会实践，各有各的反例。多条来路并存时怎样定权重、可信性的规范从哪里来，同样没有公认的答案。
带着问题继续读
从人物继续读
把具体论证接回人物的阅读入口，查看文本、边界及其他问题。以下是已整理的映射，不是本页提及人物的完整名单。
继续学习
这几条不是按相似度推荐的：分组标题说明它和本页构成哪一种关系，下面那句话说明为什么 值得现在就读。
来源、核验与修订记录
本条状态
来源已逐条核验
来源与核验记录
本页引用的来源都在这里，按材料归并：同一份材料被多处引用时只列一条，但每一处的定位、 支持的论断和核验状态分开记。每项只说明本轮实际核对到的那一处定位，原典入口不等于整部 文本都已校勘。本页除正文外，论证地图、跨传统比较、思想实验、概念卡也各自带了来源。
KNO-1 · 学术综述
SEP：Epistemology（在新标签页打开）KNO-1 · 条目正文 · 已核验 · 2026-09-11
定位：§2.3（Knowing Facts，含 JTB 与盖梯尔）、§3.1–§3.3（正当性：义务论与非义务论、什么使信念正当、内在／外在）、§5.1–§5.5（知觉、内省、记忆、理性、证言）、§6.1–§6.2（普遍与选择性怀疑论、对闭合论证的各种回应）
用于：§2.3 明说「如盖梯尔所示，有些正当真信念并不是知识」；§3 是正当性理论；§5 逐节给出五类认识来源；§6.1 区分普遍与选择性怀疑论，§6.2 专列对闭合论证的回应。原定位「导论、§1–§3」不覆盖认识来源（§5）与怀疑论（§6），已改准。
KNO-2 / CR-1 / CPT-EL-2 / CPT-TES-2 / CPT-PRA-1 · 学术综述
SEP：Epistemology in Classical Indian Philosophy（在新标签页打开）KNO-2 · 条目正文 · 已核验 · 2026-09-11
定位：§1.1（Knowledge and Knowledge Sources）、§4（Perception）、§5（Inference）、§6（Testimony）、§7.1–§7.4（各学派承认或否决的候选来源）、§9.1（Epistemic Luck）
用于：§1.1 把 pramāṇa 定义为「以正确方式造成认知」的知识来源；§4–§6 分别专论知觉、推理、证言；§7 逐条处理比喻、arthāpatti、anupalabdhi 等候选来源，即「各学派清单不同」的依据；§9.1 是印度材料与当代认知运气讨论的接口。原定位「导论、§1–§2」把知觉、推理、证言都算进 §1–§2，与实际章节不符。
CR-1 · 跨传统比较 · 已核验 · 2026-09-11
定位：§3 Knowing That You Know
用于：弥曼差与吠檀多以后退威胁论证知识自我证成（svataḥ prāmāṇya）；正理持外在确立说（parataḥ prāmāṇya），否认 Kp 蕴含 KKp，被描述为主张知识对自身之为真并不自觉的学派。
CPT-EL-2 · 概念卡 · 已核验 · 2026-09-11
定位：§9.1 Epistemic Luck
用于：该节说明自 Potter（1984）以来，古典印度对 jñāna 与 pramā 的处理如何与分析哲学的知识分析、认知运气相关一直有争论，Potter 本人主张古典印度哲学并不以有理由的真信念为课题。
CPT-TES-2 · 概念卡 · 已核验 · 2026-09-11
定位：§6 Testimony
用于：该节说明胜论与佛教诸家为何否认证言是独立的认识手段，并把证言的真值追溯到原初证言者的知觉或推理，构成与欧洲还原论争论可对照但不等同的问题结构。
CPT-PRA-1 · 概念卡 · 已核验 · 2026-09-11
定位：§1.1 Knowledge and Knowledge Sources；§6 Testimony；§7 Analogy and Other Candidate Sources；§9.1 Epistemic Luck
用于：§1.1 指出 jñāna 通常被译作 knowledge，但梵语允许「假的 jñāna」，因此宜作有真有假的「认知」。§6 记载胜论与佛教诸家否认证言是独立的 pramāṇa，并说明证言的真值最终依赖原初证言者以知觉或推理而知。§7 列出类比、arthāpatti、anupalabdhi 等其余候选。§9.1 说明当代讨论中「古典印度认识论是否处理有理由的真信念」本身有争议（Potter 1984 的立场）。
KNO-3 / KNO-A2 · 原典
Edmund L. Gettier, Is Justified True Belief Knowledge?（在新标签页打开）KNO-3 · 条目正文 · 已核验 · 2026-09-11
定位：开篇的三条件表述；Case I；Case II 中命题 (f)–(i) 那一段（ditext 在线全文转录）
用于：Case II 给出命题 (h)「要么琼斯有一辆福特车，要么布朗在巴塞罗那」，写明史密斯「在 (f) 的基础上接受 (g)、(h)、(i)」「因此对这三个命题的相信都是完全正当的」，并以「史密斯并不知道 (h) 为真，尽管 (i) (h) 为真、(ii) 史密斯相信 (h) 为真、(iii) 史密斯有正当理由相信 (h) 为真」收束。这是本页所写机制（正当性经演绎从一个有正当理由的假信念传到恰好为真的析取式）的逐字依据。
KNO-A2 · 论证地图 · 已核验 · 2026-09-11
定位：正文开头的两点说明（正当理由可指向假命题；正当性经演绎传递）；Case I（谁会得到工作与口袋里的十枚硬币）；Case II（琼斯的福特车与「或者布朗在巴塞罗那」）
用于：盖梯尔反例的机制：正当性经演绎从一个有正当理由的假信念传到一个恰好为真的析取式；由此说明恢复正当性不等于恢复知识。
KNO-A1 · 学术综述
SEP：Skepticism（在新标签页打开）KNO-A1 · 论证地图 · 已核验 · 2026-09-11
定位：§4 “The Argument for Cartesian Skepticism Employing the Closure Principle”（怀疑假设的定义、CP1／CP2、闭合原则 CP 与 CP* 及其限制）；§4.1（CP 的独立疑难、Nozick 的四条件与柠檬水反例）；§4.2（Sosa 的敏感性／安全性、万圣节派对反例、对称性论证与 Williamson 的证据观、真值条件回应、梦境情形）；§5 “Contextualism”（门槛与语境、寄生性反对与相关性反对）
用于：这条怀疑论论证的标准形式；三条回应各自否认哪一步；每条回应所面对的具体反例与其可用的反驳。
CR-2 · 学术综述
SEP：Internalist vs. Externalist Conceptions of Epistemic Justification（在新标签页打开）CR-2 · 跨传统比较 · 已核验 · 2026-09-11
定位：§1 Terms of the Debates；§2 Arguments for Internalism；§3 Arguments for Externalism
用于：内在主义以「证成随附于内在之物」为核心，心理状态说（mentalism）与可通达说（accessibilism）两种理解；外在主义的真值联系与解释力论证；内在主义的规范性论证与新恶魔反驳。
UO-1 · 学术综述
IEP：Lokayata/Carvaka – Indian Materialism（在新标签页打开）UO-1 · 跨传统比较 · 已核验 · 2026-09-11
定位：§3 Doctrine → a. Epistemology（材料残缺见同文对 Bṛhaspati Sūtra 残片的说明）
用于：顺世论不整体拒绝推理，日常生活中推理是必要一步；区分依概然与依确定作出的推理，并以烟示火为概然推理之例；拒绝关于从未被知觉之物（神、来世）的推理；无现存教义文本，《Bṛhaspati Sūtra》仅存残片。
UO-2 · 学术综述
SEP：The Problem of Induction（在新标签页打开）UO-2 · 跨传统比较 · 已核验 · 2026-09-11
定位：§1 Hume’s Problem；§2 Reconstruction
用于：齐一原则的表述；论证式推理不能确立它（自然改道可被清楚设想，不含矛盾）；概然推理不能确立它（一切概然推理均预设将来与过去一致，故循环）。
KNO-E1 / CPT-TES-1 · 学术综述
SEP：Epistemological Problems of Testimony（在新标签页打开）KNO-E1 · 思想实验 · 已核验 · 2026-09-11
定位：§1.1 “Reductionism”（Positive Reasons 条件）、§1.2 “Non-Reductionism”（Presumptive Right 与未被击败的反面证据）、§2.1 “The Transmission View”（TV-N：听者据说话者的证言知道 p，仅当说话者本人也知道 p）
用于：还原论与非还原论对「相信证言需要什么」的两种条件，以及知识传递观对说话者本人是否知道的要求。
CPT-TES-1 · 概念卡 · 已核验 · 2026-09-11
定位：§1 Reductionism and Non-Reductionism，开篇的记者／陌生人两版事例；另据节题 §2 Knowledge Transmission and Generation、§4 Individualism and Anti-Individualism
用于：该节以同一命题的两个情形对照：来自已知高度可靠的记者朋友时，信念显然正当；来自素不相识者、既无关于其可靠性的知识又无怀疑理由时，是否正当就不清楚。由此引出还原论与非还原论之分。传递／生成之别与个人主义／反个人主义之争见 §2、§4 的节题与子节题（本轮只核对到节题层）。
CPT-JUS-1 / CPT-EL-1 · 学术综述
The Analysis of Knowledge（SEP）（在新标签页打开）CPT-JUS-1 · 概念卡 · 已核验 · 2026-09-11
定位：§1.3 The "Justification" Condition，含 §1.3.1 The "Justification" Label 与 §1.3.2 Internalism and Externalism
用于：§1.3.1 明确指出 justification 这个标签是二十世纪才通行的叫法，容易误导：按日常义「被辩护」意味着已经完成一次成功的辩护工作，而主张知识有正当性条件的认识论者通常不作此解。§1.3.2 是内在论／外在论之分的出处。
CPT-EL-1 · 概念卡 · 已核验 · 2026-09-11
定位：§8 Epistemic Luck，含 Unger 1968 式的反运气条件及其「冗余」问题
用于：该节把盖梯尔案例的问题表述为：三条件与加强版分析仍与某种程度的、与知识不相容的认知运气兼容；并给出加入「S 的信念并非仅因运气而为真」这一条的分析，指出该条件蕴含前两条，因而这种分析实为对原分析的重大改动。
本轮审查与待办
主要立场｜经验与理性
发现：原文把它们写成穷尽的二选一。
依据：KNO-1 §5 将证言、记忆、内省和推理也列为认识来源。
修订：改为多来源结构，并提出冲突权重问题。
传统连接｜印度哲学
发现：原文只把正理作为「印度的逻辑」。
依据：KNO-2 §1.1 以 pramāṇa 组织知觉、推理和证言的争论。
修订：新增认识手段、证言与不可直接翻译的边界。
新增｜哲学家怎样改写这个问题
发现：原书单没有区分确定性诉求、归纳问题、认识手段和认知运气。
依据：KNO-1 区分知识、正当化和多种来源；KNO-2 将正理放入 pramāṇa 的竞争理论；KNO-3 给出正当真信念不足的两个反例。
修订：新增四个比较单元，逐一套用到公共卫生转述链，并明确盖梯尔未提供公认的最终定义。
定义与边界｜盖梯尔案例
发现：来源账精确到 Case I、Case II，正文却只有三句同义转述（「看似好理由却因运气而真」），案例的机制一次也没出现。读者读完不知道盖梯尔到底做了什么。
依据：KNO-3 的 Case II 是可逐步复述的：从一个有强证据的假信念 (f) 演绎出析取式 (h)，正当性随演绎传递，而 (h) 之为真靠的是另一支。
修订：把这一段重写成机制说明：命题、演绎、正当性的来路、以及为什么「使它为真的事与他的理由无关」才是要点；并说明后续理论补的是这个缺口。
容易混淆的地方｜怀疑论
发现：原文只说怀疑论「要求指出何种理由不能排除错误」，没有提它靠什么推进。
依据：KNO-1 §6.2 专列对闭合论证的各种回应，说明当代怀疑论争论的形状是「哪一步不成立」。
修订：补入闭合原则，并把这一条改挂 KNO-1。
有力反对及回应｜证言是否可还原；容易混淆的地方｜怀疑论
发现：证言那条答非所问：反对问的是「为什么不把证言都还原为个人推理」，正文却转去说印度传统要求说明什么，原反对一句未答。此外「要挡住它」是生硬说法，闭合原则也只有名称没有内容；「定义与边界」还先行判定「不必要求每个人亲自重做证据」，等于把一方的结论写进了定义。
依据：KNO-1 的已核对范围含证言一节，还原论与反还原论之争正在那里；§6.2 是对闭合论证的各种回应。原文标着「回应」的那一段，回答的不是它上面那条反对。
修订：写出还原论的主张与反还原论的代价论证，再接上正理一路继续追问的问题，该段的来源由 KNO-2 一条扩为 KNO-1、KNO-2；「挡住」改为「回应」并写出闭合原则的内容与怀疑论怎样用它推进；「定义与边界」里那句改为中立表述，把争点留给下一节。
定义与边界｜2026-09-15 复审
发现：评价一次转述该查什么，在本页列了两遍：「定义与边界」讲证言时列了四项，「常见误读」讲专家时又列了四项，两份清单说的是同一件事。
依据：两处的项目逐条重合——说话者在这件事上是否可靠、有没有利益牵连、消息经过了谁、出错后有没有纠正的办法。
修订：清单留在「定义与边界」；「常见误读」那一条改写成它独有的部分——外行不必自己重做实验，可追问的是理由能否讲清楚、这个专业共同体靠什么纠错。
问题起点｜2026-09-19 教学重构
发现：这一块原来第一句是「我们会发现自己相信某事，却仍要问……」，随后并列五种来源与三项任务，读者没有一个可以挂靠的情形。
依据：公共卫生转述链那个案例被排在页面靠后的「案例推演」，问题起点却先给一句抽象概括。
修订：新增具体入口：一条被剪掉适用范围的防疫建议经转述到你手上，由「你凭什么信它」逼出本页的问题；两段问题起点改为顺着它往下说，并就地举出不同来路各自特有的失效方式。
术语统一｜认知证成｜2026-09-19
发现：正文用「正当性（信念的理由）」称呼 epistemic justification，与本站「政治正当性」撞词，读者会以为是同一个概念的两种用法。
依据：本轮据華文哲學百科《認知證成及其結構》统一译作「认知证成」，并注明也译作辩护、确证。
修订：行内注解的显示文字改为「认知证成」并就地加一句异译说明；盖梯尔一段里作技术名词用的「正当性」改为「证成」，作普通话用的「有正当的理由」保留。概念层与精读层由并行的另一条线同步改为「认知证成」「内在论与外在论」，三处现已一致。
定义与边界、有力反对及回应｜2026-09-19 教学重构
发现：区块之间没有过渡：盖梯尔那一段直接从「『有真信念』不等于『有知识』」起头，还原论那一段也没有说明它针对的是本页的哪一个问题。
依据：两段原文均以论断句开头，与上文无连接。
修订：盖梯尔一段开头点明它承接上面的概念卡、要做的是把两者分开；还原论一段开头点明它正对着入口里那条被转述的建议；经验主义／理性主义一段开头点明它属于「来路」这条老争论。
容易混淆的地方｜怀疑论
发现：原文写「它要求你指出：手上的理由为什么不足以排除错误、幻觉或运气」——按这句话，怀疑论者是在要求你替他论证你自己不知道，方向反了。
依据：怀疑论的要求是让你交代手上的理由凭什么足以排除这几种可能；KNO-1 §6.2 讨论的也是对闭合论证的各种回应，即「哪一步不成立」。
修订：改为「它要求你交代：手上这些理由，凭什么足以排除你正在弄错、正在幻觉、只是碰巧蒙对这几种可能」；另两条易混也各补出可操作的部分。
回到问题｜2026-09-19 教学重构
发现：页尾没有把分歧收拢，读者读完记住的是一串理论名（可靠过程、反事实安全性……）而不是它们在补什么。
依据：本轮为 CoreEntryLedger 新增 takeaway 字段即为此。
修订：新增四问，写明分歧落在「有理由的真信念够不够」与「转述算不算独立来路」两处，并把那串理论名收回到它们各自要补的那个缺口上。
问题起点｜异译说明去重｜2026-09-19 复审修复
发现：「也译作辩护、确证」这句异译说明在同一页上出现四次——开场段的行内括注、行内 gloss 面板、概念卡的短定义、概念卡的角度句。读者第一次读到它是说明，第四次读到只剩噪音。
依据：开场段原文在「也问认知证成」这几个字上挂了行内概念注解，紧接着又用括注写了一遍「这个词也译作「辩护」「确证」，说的是一个信念有没有足够的理由支持它」，而点开那个注解，面板里说的还是同一句。
修订：开场段那处行内括注删掉，改为「也问认知证成（见下面的概念卡）、出错之后怎样纠正」；异译说明留在 gloss 面板与概念卡上，本层不再重复。
回到问题｜2026-09-19 复审修复
发现：页尾 split 换了一套分类，直接从盖梯尔与证言两处争点讲起，读者刚读完的三个立场名在总结里一个也没出现。
依据：本页立场是经验主义、理性主义、批判与多源取向；原 split 通篇不提其中任何一个。
修订：split 先用本页立场名收一遍——三条路线分的是知识的来路，并各写一句它们欠着的那一步——再接上「有理由的真信念够不够」与「转述算不算独立来路」这两处更硬的分歧。
术语统一｜2026-09-19 主线
发现：本站此前把 epistemic justification 译作「认知正当性」，而政治哲学那几页同时在用「正当性」指 legitimacy，两个词在同一站内撞车；中文读者看到「正当性」会往「在道德或法律上站得住」上想，而这里说的是有证据支持。
依据：華文哲學百科（國立中正大學）词条《認知證成及其結構》以「證成」译 justification，以「內在論／外在論」译 internalism／externalism；本站原用的「内部主义／外部主义」在实际读到的中文哲学资料里没有出现。
修订：全库统一改为「认知证成」（首次出现注明也译作辩护、确证）与「内在论／外在论」（注明大陆文献多作内在主义／外在主义）；政治哲学那几页的「正当性」保持不变，并在两处各加一句区分。
相邻条目影响：与「科学如何解释世界」连接时，不能把科学证据降为单一感官经验；与「身份、压迫与认知不正义」连接时，应另说明证言不正义与一般证言理论的关系。
下一优先：补写正理历史线索的阅读路径，并校对中文原典选本。
- 待办：本轮统一的译名已与相邻层对齐：概念层的词条名为「认知证成」，本页精读层的概念卡为「内在论与外在论」。今后若再改动这三处中的任何一处，须三处同改，否则同一页会出现两个译名。
- 待办：尚未完成中文 pramāṇa 译名和正理原典版本的对勘。
- 待办：做梦论证与缸中之脑的具体重构本轮未写进本账；论证的逐步骨架由本页的论证地图承担，本账只交代闭合原则这一步。若要在研究层细述，须另核 KNO-1 §6.3–§6.5。