核心问题
什么是好推理与有效论证？
有人说「前提都对，结论就一定对」，有人说「证据这么多，结论很可能对」，还有人说「这样解释最说得通」。这三种「所以」各自保证了什么？一个论证站不站得住，靠的是它的形状，还是它用的材料？
逻辑研究推理结构：若前提为真，结论是否必然或很可能成立。它能澄清论证，却不能替你保证前提真实或价值目标正确。
什么是好推理与有效论证？｜内容
本页范围同一段话可以在三个不同的地方出问题：结论根本接不上前提、证据撑不住结论、或者同一批事实还有个更好的解释没被考虑。本页要分开的就是这三种「理由够不够」，以及它们各按什么标准评价。形式逻辑在这里不充当所有好判断的裁判；但真实论证再复杂，前提、歧义和反例仍然要一条条查。
问题为何会出现
你留意到一件事：凡是你出门带伞的日子，多半会下雨；不带伞的日子反倒常常是晴天。这半年你记了三十来次，几乎次次对得上。于是你半开玩笑地对同事说，看来是我带伞把雨招来的。同事笑了，可一时也说不出这句话到底错在哪里。
要说清它错在哪里，其实要分三步走，而这三步常被揉成一句「这不合逻辑」。第一步问：就算你说的两件事都是真的，结论是不是真能从它们推出来。第二步问：三十来次记录够不够撑起这个结论。第三步问：同一批记录还有没有别的解释——比如你本来就是看了天气预报才带伞的。三步各有各的标准，混着用就只能互相打岔。
先把那三步各自在问什么说清楚。第一步管的是论证的形状：如果「凡是带伞的日子都下雨」和「今天我带了伞」都成立，那么「今天会下雨」确实跟着出来，这一步接得上；可是从「带伞的日子多半下雨」跳到「带伞导致下雨」，中间少了一大块，形状本身就接不住。逻辑要显明的正是这种「跟不跟得出来」的结构。它只看形状——形状接得上，并不担保前提本身是真的。[LOG-1]
第二步和第三步就不是形状问题了。第二步问证据的分量：三十来次记录能把结论撑到多高，取决于这些日子是怎么挑出来的、有没有反例、能不能推到别的季节和别的城市。第三步问有没有更好的解释：同一批记录若用「我本来就是看了天气预报才带伞」也能说通，而且说得更顺，那么原来那个结论就该让位。日常论证还要处理含混的说法、概率、因果和这场对话想达成什么，所以研究非形式谬误的人不满足于把句子符号化，而要说明一种论证为何看上去有力、又在哪个语境和标准下失败。[LOG-2]
先把问题拆开
带伞那句话听着不对劲，可一时说不清哪里不对：他记的日子是真的，那些天也确实下了雨。要指出问题出在哪一环，先得看清一段话可以在三个不同的地方坏掉——形式接不上（前提根本没连到结论）、证据撑不住（数出来的规律不足以支持这么强的结论）、解释被别人做得更好（同一批事实另有更说得通的讲法）。这三种毛病要用三把不同的尺子量，混着用就会出现「我说他推理跳步，他跟我报样本量」这种各说各话的局面。下面这几个词就是那三把尺子上的刻度：先认清每一把量的是什么，后面的定义与边界、三条路线才有落脚处。
认知证成（信念有没有理由）epistemic justification
你相信一件事，而且拿得出支持它的理由或证据——不是碰巧信对了，也不是因为想信才信。「证成」是 justification 的译名，也译作辩护、确证。
它要解决的问题是：相信一件事而且碰巧信对了，还算不上知道；知识另外要求这个信念是被理由撑住的。通行做法把知识拆成三条——事情是真的、当事人确实相信它、这个信念有理由支持。三条合起来够不够用，正是盖梯尔问题要追问的：有理由的真信念仍可能只是碰巧撞对，所以不能反过来把「有理由」直接定义成「够得上知识」。另一处分歧是理由摆在哪里：内在论要求它落在当事人这一侧——取决于他的心理状态，或取决于他一经反思就能知道的东西；外在论不这样要求，信念的来源在事实上可靠就够了。（这两派大陆文献多作内在主义／外在主义。）
在本页这张卡在本页当判分标准用。归纳问题问的不是「归纳准不准」，而是从「至今都这样」跨到「下一个也这样」这一步凭什么算有理由——也就是认知证成（epistemic justification，也译作辩护、确证）的结构问题。本页三条路线各给一种证成来源：形式保真、证据支持、解释比较。读到每一条时都可以追同一句话：它凭什么算「有理由」，这个理由自己又靠谁撑着。
不要和这些混为一谈
- 政治正当性这两条本站此前共用「正当性」三个字，问的却完全不是一件事：政治正当性问权力与制度凭什么可以强制、可以要求服从；这里问的是一个信念有没有证据撑着，与它在道德或法律上站不站得住无关。为了不让读者以为两页在讲同一件事，本站把这一条从旧译「认知正当性」改成「认知证成」。
- 主观确信「我很确定」说的是一个人心里的把握有多大，那是关于他的心理事实；证据够不够是另一回事。极有把握而毫无根据、将信将疑却证据充分，两种人都不少见。
- 为真有理由的信念可以是假的——证据齐备，事情偏偏不是那样；碰巧为真的信念也可以毫无理由。把这两件事绑在一起，就看不出盖梯尔问题难在哪里。
- 「已经当众辩护过一回」中文里「辩护」「证成」都像是说当事人已经论证过一轮，这个条件不作此要求。按日常语感读，你抬头看见桌上有杯子因而相信有杯子，就会因为「没辩护过」被排除在知识之外——绝大多数靠眼睛耳朵得来的知识都会跟着出局。
也在这些条目里被讨论知识从哪里来，边界又在哪里？身份、压迫与认知不正义如何形成？
认识手段pramāṇa
古典印度哲学用它指一件事：能让人真正认识到某个东西的合格途径。知觉算一种；类比、「听别人说」这些算不算，各学派争了上千年。汉译佛典把这个词译作「量」——知觉叫现量，推理叫比量。
常被列入的候选是知觉、推理、类比与证言（凡是以别人的话为根据得到的认识），另有「假定」（arthāpatti）、「非认知」（anupalabdhi）等更有争议的候选。分歧不是术语之争：胜论与佛教诸家否认证言是独立的一种，理由是转述之所以可靠，最终仍要回到最初那个人的知觉或推理。翻译上还有一层麻烦——jñāna 常被译作 knowledge，但梵语允许说「假的 jñāna」，英文 knowledge 不允许这样说，所以译作「认知」更稳。
在本页这张卡在本页只做一件事：拦住一种常见的对译冲动。正理传统编的是一份似是理由（hetv-ābhāsa）清单，按「一条理由在推理的哪一处失效」来分类；欧洲传统的谬误表则大量按论证的形式来分类。两份清单分类的轴不同，条目自然对不齐。本页引正理材料，是为了显出这条轴的差别，不是为了替每个谬误找一个印度对应项。
不要和这些混为一谈
- 三段论印度的五支论证（一种分五步走的论证格式）看起来像换了名字的三段论，其实连着一整套关于认识途径的分析：它要回答的问题、评判论证好坏的标准，都与欧洲逻辑不同。
- 「可信信息来源」清单它问的是哪一类过程能生成真认知，不是在列举哪些渠道靠得住。一个渠道可靠，与它是否算一种独立的认识途径，是两件事——证言之争争的正是后一件。
- 认知证成两套讨论可以对照，重心却不同：证成问一个信念被什么撑着，量问的是哪一类过程能生成真认知。而且古典印度认识论是不是在处理同一个「有理由的真信念」问题，在当代研究中本身就有争论。
也在这些条目里被讨论知识从哪里来，边界又在哪里？正理、胜论及认识—论辩传统
定义依据Epistemology in Classical Indian Philosophy（SEP）（在新标签页打开）
- 有效性
- 说一条论证有效，意思只有一条：不可能出现前提全都为真、结论却为假的情形。它评价的是骨架，不是内容，所以会有两种看着别扭却完全正常的情况。一种是前提荒唐、结论也荒唐，论证却有效——「凡会飞的都是鱼；麻雀会飞；所以麻雀是鱼」，只要前两句为真，第三句就跑不掉，这正是「有效」的意思。另一种是每句话都为真，论证却无效——「下雨地面就会湿；地面湿了；所以下过雨」，两个前提为真，结论也可能是真的，但它不是从前提那里挣来的：洒水车照样能把地弄湿。
- 健全性
- 有效，再加上前提确实为真，合起来叫健全（英文 soundness）。只有健全的论证才担保结论为真——上面那个麻雀的例子有效而不健全，所以它什么也没证成。但要当心别反着用：说一条论证「不健全」，只是说它拿不到「结论为真」这张票，不等于这次推理白做。紧接着的反证法就是现成的反例——它全程扛着一个被认定为假的假设，照样能证出东西来。
- 反证法（间接证明）
- 想证明 p，先假装「非 p」成立，顺着它往下推，一直推出一对自相矛盾的话，于是回头把这个假设撤掉，留下 p。这里有一处最容易卡住：中途那句「非 p」从头到尾没有被主张为真，它是临时借进来看看会出什么事的。整条推理站得住，靠的是「只要非 p 成立就必定推出矛盾」这个关于形式的事实；而这个事实成不成立，跟非 p 本身真不真毫无关系。
- 归纳支持
- 证据让结论更可信，却不担保它必为真——这是它跟有效性最要紧的分别。所以评价它不看「结论跑不跑得掉」，而看四件可以当场查的事：样本是怎么来的（他是不是只在阴天才想起带伞）；用来比较的底子有多大，也就是不带伞的日子里下雨占多少（这个底子叫基率；不看它，「带伞那天常下雨」这句话连参照都没有）；有没有反例被漏掉或忘掉；以及结论被推出去多远（从他自己这一年，推到所有人所有年份）。
- 归纳问题
- 从「至今观察到的都如此」跨到「下一个也如此」，这一步靠什么？它不是演绎有效的：设想下一个偏偏不如此，并不会产生任何矛盾。那它得另靠一条原则，比如「自然的进程会保持一致」。麻烦在于这条原则自己又要谁来撑：演绎证不出它，拿过往的经验去撑，等于用归纳证明归纳，兜回了原地。读它时要看清它说的是什么：它没有说归纳不管用，也没有说什么预测都一样好；它说的是我们至今没能给归纳找到一条不绕回自身的辩护。
- 解释性推断
- 也常叫最佳解释推理。用在这种场合：证据摆在那里，好几个假设都跟它相容，既推不出哪一个是必然的，也没有可以反复取样的数据可数——医生看诊、警察查案、历史学家断代都是如此。它的做法是把比较从数据挪到假设身上：哪一个假设一旦为真，会让这批证据成为意料之中的事，而不是一连串巧合。它给出的结论始终可以收回——只要冒出一个更好的候选假设，原先的排名就得重排。
- 谬误
- 一条看上去比它实际更有说服力的论证。名称（稻草人、滑坡、诉诸权威）只是检索用的标签，贴上标签本身还不算反驳。同样一句「专家说的」，在这位专家确有相关资质、而你又无力独立判断时是正当的理由；只有在他跨行发言时才成为谬误。所以指认一处谬误必须回到这一段话本身，说清它到底缺了哪条前提，或者把哪两件事偷换了。
定义与边界
有效和健全各自说的是什么，上面的概念卡已经写出；这里要接着分开的，是另外两个常被当成同一件事的词。可推导性问的是：在一套给定的推演规则里，能不能一步步把结论推出来。语义有效性问的是：在任何一种为语言中各词项指派意义的方式（这样一种指派就叫一个「解释」或「模型」）之下，只要前提全真，结论是否都不可能假。前者是按规则一步步走，后者是把所有可能的赋义一并考虑。两者是否总是重合——推得出来的是不是都有效、有效的是不是都推得出来——不是随手可答的问题，要把这套逻辑系统本身当作研究对象去证明；这类问题叫元逻辑问题。[LOG-1]
上面这一对区分都落在演绎这一侧。另外两种推理的评价方式完全不同：归纳和最佳解释推理（上面的概念卡把后者叫作「解释性推断」，指的是同一件事）都不承诺结论必然为真，它们比较的是支持的力度——样本是怎么取的、有没有替代假设、出没出现反例、作出的预测应验没有、与已有的背景知识合不合。所以一张只分「形式有效／无效」的表格评价不了它们：在那张表上，带伞那条推理和一条经过谨慎取样的统计推断会被打上同一个记号。
三种推理方式与各自的评价标准
下面三项不是三选一的立场，而是三种推理方式：它们评价的东西不同，适用的地方也不同，同一段论证常常需要不止一种。因此每一项后面写的多半不是「反驳」，而是这种方式管不到哪里、它的评价标准在什么地方还没有定论——适用限制不等于对这种方法的反驳。
演绎有效性
这一栏管的是最强的一种「所以」：在有效的演绎里，前提全真而结论假的情况根本不可能出现。它之所以能有这种力度，是因为它只看论证的形状，不看内容——「所有 A 都是 B，这个是 A，所以这个是 B」，A 和 B 换成什么都成立。力度与代价是同一件事：形式有效并不保证前提为真，一个有效的论证完全可以从假前提推出假结论。
核对来源 [LOG-1][LOG-3][LOG-7]论证路径
- 第一步给前提，而且是一个一看就认的前提：有些话一旦说出口，另一句就跟着跑不掉了。「所有天鹅都是白的；这一只是天鹅；所以这一只是白的」——不管天鹅事实上是不是都白，只要前两句为真，第三句就不可能为假。这件事跟天鹅的实际颜色一点关系也没有。
- 第二步是把上面那个「跑不掉」变成可以动手检查的东西。办法是：把「所有」「有些」「不是」「如果……就……」这些搭骨架的词按住不动，只把具体的名称和描述词（「天鹅」「是白的」这一类）整批换成别的内容。每换一次叫作一次解释。论证有效，就是说无论怎么换，都换不出一个「前提全真而结论为假」的版本。这一步把「评价这条论证」换成了「评价这个骨架」，它的可靠性因此全部押在一件事上：把原话译成骨架时有没有译歪。（注意这里的「解释」是逻辑学的专门用法，跟本页第三条路线说的「哪个假设更能解释证据」不是一回事。）
- 第三步要拦住两个方向的误用。一个方向是把有效当成结论为真的担保：有效只管骨架，要拿到「结论为真」，还得另做一件与逻辑无关的活——去查前提是不是真的。另一个方向反过来：因为前提是假的，就说这次推理没有价值。上面讲的反证法恰恰是先扛起一个被认定为假的假设，推出矛盾后再撤掉它；那里干活的自始至终只有形式上的保真。
- 最后一步说代价：真正的争点其实不在骨架里，而在译成骨架的那一刻。日常说话经常省掉「所有」和「有些」，「或」既可以表示二者可兼也可以表示只能取一，而最麻烦的是「如果……就……」——逻辑里通行的读法是只要前一半为假整句就算真（「如果我是皇帝，你就长翅膀」按这种读法为真），日常用法并不总认这一条。所以把一段话写成公式，本身就是一个可以被反驳的读法，不是一份中立的记录。
适用限制生活中的多数判断不是纯演绎，不能只靠形式逻辑裁决——这说的是演绎管不到哪里，不是说它错了。
回应这不是对演绎的反驳而是对其分工的说明：演绎的用处正在于把争论逼到前提上——一旦形式有效，分歧就只能落在某个前提，双方于是知道该争什么。代价是形式化本身有选择余地：把一段自然语言推理写成哪种形式，往往已经决定了它有效与否，而这一步不由逻辑裁决。
归纳与概率
日常和科学里绝大多数结论都超出了已经看到的材料：查过的样本是有限的，结论却说到了没查过的部分。归纳就是这种「所以」——证据让结论更可信，但不排除它是错的。它的规矩因此不是有效或无效，而是强弱：样本取得是否偏斜、数量够不够、有没有认真找过反例，都会改变支持的程度。也正因为只是支持，一条新证据就可以把结论拉回来重估。
核对来源 [LOG-6][LOG-2]论证路径
- 第一步给前提：从手上这批样本、这些重复出现的观察或这条统计规律，走到关于全体或关于将来的结论，这一步拿不到演绎的必然性。检验办法很直接——设想一个反例（明天太阳不升起），这个设想并不会让前提自相矛盾。跑得掉，就说明这不是演绎。
- 第二步是休谟往前推的那一下，也是本条路线真正的推理所在：既然它不是演绎，那它一定另外靠着一条原则，比如「自然的进程往后还会照旧」。接着问这条原则本身由什么支持。演绎推不出它。剩下只能拿以往的经验来撑——可是「以往经验一直有效，所以往后还会有效」用的正是待证的那一步，兜了个圈回到原地。这就是归纳问题。要看清它打在哪里：它打的是辩护的结构，不是归纳在实践中管不管用。
- 第三步交代代价，本页不宣称这个问题已经解决。一种回应是把归纳当作一种不需要第一原理的实践，它的可靠性由具体证据、误差估计和纠错程序一块一块地撑起来——代价是从此不再为「归纳整体」作辩护，只为一个个具体推断作辩护。另一种回应改到概率演算里做，把「证据支持结论」定义成「有了这个证据之后结论的概率升高了」——代价是得交代那个起始概率（还没看到证据时你给各个假设的概率）是从哪里来的。
- 最后一步是好消息，也是把这条路线接回本页案例的地方：绝大多数具体论证不必等上面那个问题解决就能判。样本是怎么选的、背后有没有一个同时造成两边的共同原因、有没有仅凭「先发生的就是原因」（拉丁文称 post hoc）直接读出因果——这三样都是当场就能查的失误，跟归纳该怎么辩护是两层问题。
未解难题过去的规律为何能可靠延伸到未来，是经典的归纳问题；它至今没有公认解法，但这不妨碍归纳在实践中被使用与评价。
回应两条回应方向不同。一条否认需要辩护：归纳不是一条待证明的原则，而是我们据以判断什么算证据的实践本身，要求为它提供非循环的理由，等于要求在一切标准之外再找一个标准。另一条承认无法辩护，改为论证归纳的最优性——若任何方法能成功，归纳也会成功，采用它没有损失。前者的代价是难以回答「为什么是这种归纳而不是那种」（同一批证据可以支持相反的推广）；后者的代价是它只保住了条件性的辩护，并不说明归纳事实上可靠。
解释性推断
还有一种「所以」既不是演绎也不是统计：手上有一批现象，谁也没看到原因，于是把几种可能的原因摆出来比较，挑出解释得最好的那一个。这通常叫最佳解释推理。它的力量来自比较，因此结论的形式不是「这个假设说得通」，而是「在摆出来的这几个里它明显比别的说得通」。这也决定了它的软肋：结论始终带着条件，换一份更齐全的候选清单，答案可能就变了。
论证路径
- 第一步给前提，而且是一个从经验里来的前提：在看病、断代、查案和大多数科学工作里，摆在面前的证据同时跟好几个假设都对得上；既没有哪一个能被演绎推出来，也往往拿不到可以反复取样的数据。前两条路线的尺子在这里都不够用。
- 第二步是推理：既然数据本身分不出高下，就把比较挪到假设身上，问一句「哪一个假设若为真，会让这批证据变成意料之中的事，而不是一连串巧合」，再按三条标准排序——它有没有给出一个说得出来的机制，它有没有作出还能另行检验的新预测，它要不要临时加上专为堵漏而设的额外假定。这一步依赖一条可以被单独攻击的原则：一件事被某个假设解释得更好，它就更可能确实出自那个假设。这条原则不是逻辑真理，是一个关于世界的实质主张。
- 第三步说它的弱点，两处都很具体。一是排序用的那几条标准（简洁、有机制、少改动已有信念）本身需要辩护，它们读不出自证据，是我们带进来的。二是候选名单的问题：如果正确的那个假设从一开始就没被想到，排第一名的也只是「现有几个里最不坏的一个」，而这句话跟「它是真的」隔着很远。
- 最后一步把三条路线的关系摆正：它们不是三选一。面对同一份材料，形式检查、样本检查和解释比较回答的是不同的问题，可以一起用。最常见的混用只有一种——拿「我这个说法最讲得通」去补一个本来就缺前提的论证，那等于用第三把尺子去量第一把尺子该量的东西。
反对意见何谓「更好解释」可能暗含简洁性、预测力或背景理论等可争议标准；标准未定时，这种推断给不出确定裁决。
回应这些标准并非各自独立的偏好，而可以被统一成一件事：好的解释是能被独立检验的解释——它对尚未观察的情形作出承诺，因此可能出错。据此简洁性不是审美要求，而是「更少可自由调节的参数」意味着更少事后逃避检验的余地。代价是这条统一让最佳解释推理的力量完全依赖候选清单是否齐备，而「我们已经想到了所有值得考虑的解释」从来无法被保证。
有力反对及回应
先看一条针对第一步（形状）的反对。把经典逻辑当作唯一正确的逻辑，会忽略直觉主义、相关逻辑这些针对不同语言、不同推理目标或不同悖论提出的方案；反过来，存在多种逻辑也不意味着规则可以随手挑。要改用哪一套，得把四件事说清楚：处理的是哪一种语言、给它配上什么语义、要完成的是什么推理任务、以及这样换要付出什么代价。[LOG-1]
再看一条针对「贴标签」这种做法的反对。「谬误」这个名目没有一套适用于每种情形的机械定义：同一段推理算不算谬误，会随词义是否含混、所处语境和这场对话要达成什么而变。所以这一层要做的不是替论证挑一个名目——对着带伞那句话说一声「这是虚假因果」，什么也没解决——而是把它的前提、结论和被省略的跳步重建出来，再指出它在这个语境下为什么失败。[LOG-2]
第二步（证据的分量）也有一个比「支持强弱」更硬的问题。上面「归纳与概率」那张卡片已经点了它的名字，并给出两条回应方向；这里要补的是这个问题本身的形状——它为什么是一个两难，而不只是「还没找到理由」。休谟的两难是这样走的：要为归纳作辩护，能用的论证只有两类。一类是必然推出的论证——可它从「过去一直如此」推不出「将来也如此」，因为「将来不再如此」并不自相矛盾。另一类是讲概率的论证——可它要先预设自然界前后一致，而这条预设本身又只能由归纳来支持，于是绕回了原地。后续回应分别攻击这两支：有的主张「自然界前后一致」或某条解释原则可以作为不依赖经验就能辩护的前提；有的接受这种循环，认为一条规则为自己作辩护并无不可；有的干脆改换「算不算正当」的标准，用长程收敛或形式学习理论的最优性来交代。哪一支成功仍是未决问题——把归纳一句带过、只说它「靠反复检验就够了」的讲法，漏掉的恰恰是这里。[LOG-6]
哲学家怎样改写这个问题
这些人不是在为同一条现成结论各投一票，他们的名字也不等于某个立场的标签。每一则先回到他本来在处理的问题，再看它能怎样推进本页的讨论；「不能直接推出」那一行挡的是跨时代、跨传统的草率等同。
前 4 世纪
亚里士多德
《前分析篇》
他把「推论」定义为前提既定时结论必然随之而来，并把这种必然性系统地归到项与项的排列方式上，从而使论证第一次可以按形式分类。
对本页的推进带伞案例首先失败在形式：没有任何一条前提把「带伞」与「下雨」连起来。指出这一点是第一步，它并不代替查天气数据。
不能直接推出三段论不是自然语言与现代科学推理的完整模型；把它当作有效推理的唯一格式，会把大量真实论证判成无形式。
核对来源 [LOG-3]1879
戈特洛布·弗雷格
《概念文字》
他用函数与论元代替主谓分析，并引入量词，使「每一个」「存在某个」的嵌套关系第一次可以被精确书写——这正是项逻辑做不到的地方。
对本页的推进案例里的「每次」到底量化哪些日期、地点和条件，可以靠形式化暴露出来；但因果关系不会因为写清了量词就得到辩护。
不能直接推出精确符号是建模的成果，不会自动保留语境与事实材料；形式清楚的论证仍可以前提全错。
核对来源 [LOG-4]1748
大卫·休谟
《人类理解研究》第 4 节〈关于理解作用的怀疑〉（英文本 Section IV；商务印书馆关文运译本作「第四章 关于理解作用的一些怀疑」）
他把「归纳可靠吗」改写为一个关于辩护结构的问题：请给出从已观察到未观察的那一步所依据的原则，并说明这条原则自己由什么支持。
对本页的推进即便带伞与下雨的相关性很稳定，也要说明样本、共同原因、反例与外推边界；把它称为「推出」会把归纳误报成演绎。
不能直接推出指出归纳不是演绎证明，不推出任何预测同样好，也不推出科学无法获得支持——那是另一组论证要做的事。
核对来源 [LOG-6]古典至近世
正理传统
《正理经》及其注释传统
它不先问论证的形式，而问何种认知过程真正生成知识；推理因此被要求配上可辩护的普遍关联、例证与对反例的排除。
对本页的推进「见烟知火」式的推理要求先确立「凡有烟处必有火」这样一条无例外的普遍关联，并排除可能的反例——这一要求正好显出带伞案例里相关性与因果理由的差别。
不能直接推出不要把五支论证或 pramāṇa 缩成欧洲三段论的译本：两者的问题组织、目的与真理条件都不相同。
核对来源 [LOG-5]案例推演
「每次带伞就下雨」
有人发现自己带伞的日子常下雨，结论是「带伞导致下雨」。
- 先写成前提和结论，看缺的是哪一类东西：这里缺的不是更多数据，而是一条把相关性接到因果上的前提。
- 列出至少三个替代解释并逐个说明它会预测什么：天气预报使人带伞（共同原因）、只在阴天才想起带伞（选择效应）、只记住了下雨那几天（回忆偏差）。哪一个预测与他的经验最接近？
- 再看增加数据能不能补上这个缺口：同样记一万天，也不会让共同原因自己消失。干预是取得那条因果假设的一种办法——在不看预报的日子随机决定带不带伞，随机化切断了「预报→带伞」这条箭头。但它不是唯一办法：只要把因果假设写明（谁影响谁、有没有未测到的共同原因），并说明在这套假设下要估的量能由手上的数据算出来，观察资料同样可以支持因果结论。真正的分界不在「实验对观察」，而在「有没有一条可被辩护、可被反驳的因果假设」。
- 最后回头看三种常见反应各自停在哪一层：「这是谬误」停在形式与缺失前提；「相关不代表因果」停在替代解释未被排除；「那就去做个实验」指出了随机化能解决什么。前两句都对；第三句只对了一半——它给出一条可行的路，却容易被读成「不做实验就别谈因果」。实验也不是无条件的保证：随机化管得住分组，管不住依从性、失访和外推到别的人群。
- 完整走一遍（示范走法，不是标准答案）。① 先定住问题：不问「他说得对不对」，只问「他手上这批日子，够不够支持『带伞导致下雨』这个结论」——这问的是证据强度，不是天气知识。② 摆一个暂时判断：不够。③ 说清依据哪条标准：一个相关性要被当作因果证据，至少得先挡住一个反问——有没有第三件事同时造成了两边？这里现成就有一个：天气预报既让他带伞，也预示了下雨。这条标准不必先解决归纳问题就能用。④ 迎一个反对：有人会说「那我再记一万天，总该够了吧」。这条反对之所以不成立，是因为它加的是同一类证据——共同原因在一万天里照样同时作用于两边，样本变大只会让那个假相关更稳，不会让它消失。要动摇它，得换一类证据：比如在不看预报的日子里随机决定带不带伞，或者把因果假设明写出来再去看数据支不支持。⑤ 写明限制：以上只证明了「他这条理由不够」，没有证明「带伞不影响下雨」。判一条论证不成立，和判它的结论为假，是两件事——本页第一条路线开头讲的正是这个分别。
容易混淆的地方
- 解释性重构：一个论证可以形状无误，前提却是假的，这两件事并不打架。说它有效，说的只是「若前提为真，结论不能为假」；前提事实上真不真，要另外去查。
- 解释性重构：两件事常常一起出现，不等于其中一件造成了另一件。带伞与下雨同时出现三十次，也可能是第三样东西同时推动了两边——你看到的那份天气预报。记录再多，也不会自己把这种情形排掉。
- 概括：但「相关不等于因果」也推不出「只有做实验才能研究因果，观察数据没有帮助」。真正推不出因果的，是单凭统计关联这一条路：任何因果结论都要依赖某个本身就带因果内容的前提——例如哪些变量可能影响哪些变量、有没有同时影响两端的共同原因。一旦把这些前提写明，并说明所要估计的那个因果量在这套前提下确实能由手上的数据算出来，观察数据同样可以给出不系统偏向某一侧的估计。缺的始终是可辩护的因果假设，不是样本量；反过来，做实验也不是无条件的保证。[LOG-8]
- 解释性重构：形式化既是澄清工具，也是一种模型：它会略去语气、语境、权力关系和事实调查。用它的时候要交代清楚，这一次形式化保留了原论证的哪些部分，又把哪些部分留在了模型外面。像「你这样说太伤人了」这种话，符号化之后剩下的往往已经不是原来那句话。
人物与原典：从哪里读起
先抓住每部文本在这场争论里要解决什么问题，再回到原文核对它自己的论证。
《前分析篇》第一卷
前 4 世纪
从第一卷开头对推论的定义读起，再读三个格的构造；《工具论》其余篇章（论辩、辨谬）可以留到后面。读时把每个格用具体例子填一遍。
核对来源 [LOG-3]带着这个问题读三段论是推理的唯一模型，还是针对一种特定论证任务？哪些日常论证装不进去？
《人类理解研究》第 4 节〈关于理解作用的怀疑〉（英文本 Section IV；商务印书馆关文运译本作「第四章 关于理解作用的一些怀疑」）
1748
最短的入口，约十页。第一部分给出「观念间关系」与「关于事实的推理」的区分，第二部分才提出归纳问题；跳过第一部分会读不懂第二部分在反对什么。读完再看一份现代重构，把他的两难与「自然进程一致」这条原则各写成一句话，比反复读原文更有用。
核对来源 [LOG-6]带着这个问题读若归纳不是演绎有效，它仍能有哪些合理性？他反对的是归纳，还是关于归纳的某种辩护？
《正理经》及其注释传统
古典至近世
不要直接从经文入手。先读一部现代导论，掌握 pramāṇa 分类与五支论证的结构，再回到经文中关于理由（hetu）与似是理由的条目逐条对读。
核对来源 [LOG-5]带着这个问题读从烟到火的推理需要怎样排除反例和隐藏条件？「似是理由」的分类想防的是哪几种失败？
《概念文字》
1879
四本中最难，放在最后。它的记法与今天通用的一阶逻辑不同，建议先掌握现代记法，再读序言与第一部分，看量词与函数—论元分析解决了三段论解决不了的什么问题。
核对来源 [LOG-4]带着这个问题读形式语言的精确性会牺牲自然语言中的哪些信息？这些信息在论证评价里重要吗？
跨传统的可比问题
比较不从「哪个传统相当于哪一派」开始，而从一个双方真的能对话的问题开始；每一栏按它 自己的问题框架陈述，不译成同一套术语。
从已观察到的关联跨到未观察的情形，凭什么？
两边都不是笼统地怀疑推理，而是盯住同一个环节：把观察过的关联延伸到没观察过的情形，这一步需要什么支撑。双方举的例子甚至同类——烟与火、往后仍会照旧。
顺世论对推理的分级
- 哪些推理日用上够用
- 概然与确定的区别
- 结论是否涉及从未被知觉之物
- 可用材料本身的残缺
顺世论常被简化成「只承认亲眼所见」，可核对的陈述要细一层：不是所有种类的推理都有问题，为了过日常生活，推理是必不可少的一步。他们把推理分成两类——依概然作出的和依确定作出的；烟从屋顶升起、因而屋里很可能有火，就是前一类的常用例子。被拒绝的只有一种：「关于从未被知觉之物的推理，即神与来世」。这一栏的证据基础本身很薄：顺世论没有教义文本传世，连据称属于它的根本典籍《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 与五支论证的自身语境。
回到问题：现在能说什么
- 这一页在问什么
- 有人给了你一个结论，还给了几条理由。你凭什么说这些理由撑得住，或者撑不住？平时说的那句「讲得有道理」，究竟是在夸哪一件事？
- 分歧落在哪里
- 分歧多半不在结论，而在用错了标准。同一段话可能在三个位置失败：形状接不上、证据不够、还有更好的解释没被考虑；拿其中一套标准去评价另一种失败，双方就只能各说各话。更硬的一处分歧在归纳的辩护上：为「过去如此所以将来如此」找理由，只能用必然推出的论证或讲概率的论证，前者推不出，后者要先预设自然界前后一致，而这条预设又只能由归纳支持。各派选的就是从哪一支突围。
- 现在可以确定什么
- 有几件事可以定下来：形状无误不担保前提为真，而前提假也不使这次推理毫无用处；「谬误」这个名目不能代替在具体语境里把论证重建一遍；单凭统计关联推不出因果，但这不等于观察数据没用——缺的是可辩护的因果假设，不是样本量。
- 还不能确定什么
- 还定不下来的有两处。一是归纳凭什么算正当：三类回应各自要付的代价都不小，哪一条走得通仍无定论。二是该用哪一套逻辑：存在多种逻辑这件事已无争议，可换一套要按什么标准取舍——语言、语义、推理任务和代价怎样一起算——还没有公认的答案。
带着问题继续读
从人物继续读
把具体论证接回人物的阅读入口，查看文本、边界及其他问题。以下是已整理的映射，不是本页提及人物的完整名单。
继续学习
这几条不是按相似度推荐的：分组标题说明它和本页构成哪一种关系，下面那句话说明为什么 值得现在就读。
来源、核验与修订记录
本条状态
来源已逐条核验
来源与核验记录
本页引用的来源都在这里，按材料归并：同一份材料被多处引用时只列一条，但每一处的定位、 支持的论断和核验状态分开记。每项只说明本轮实际核对到的那一处定位，原典入口不等于整部 文本都已校勘。本页除正文外，跨传统比较、概念卡也各自带了来源。
LOG-1 · 学术综述
SEP：Classical Logic（在新标签页打开）LOG-1 · 条目正文 · 已核验 · 2026-09-11
定位：§1、§3（推导）、§4（语义）、§5（元理论）、§6.1–§6.3
用于：§4 把语义有效性定义为「不存在满足全部前提而不满足结论的解释」；§5 以定理形式给出可推导性与语义有效性的关系及健全性、完备性；§6 标题即「唯一正确的逻辑？」，§6.3 处理直觉主义竞争者。该条目不讨论休谟，也不讨论归纳问题。
LOG-2 · 学术综述
SEP：Fallacies（在新标签页打开）LOG-2 · 条目正文 · 已核验 · 2026-09-11
定位：§1；§3.2、§3.6；§4.1–§4.2
用于：§1 把谬误刻画为「看起来比实际更好的论证」；§4.2 专论「似是」条件；§3.6 从对话／语用辩证进路说明评价随论辩语境变化；§3.2–§3.6 呈现互相竞争的分类框架。
LOG-3 · 学术综述
SEP：Aristotle’s Logic（在新标签页打开）LOG-3 · 条目正文 · 已核验 · 2026-09-11
定位：§1–§2（《工具论》著作群）、§3.1–§3.2、§4、§5.1–§5.3
用于：§2 列出亚里士多德的逻辑著作；§3.1 区分推论与归纳；§3.2 明确亚里士多德式推演与现代有效论证不是一回事；§4–§5 给出前提结构、格与反例式反驳。
LOG-4 · 学术综述
SEP：Gottlob Frege（在新标签页打开）LOG-4 · 条目正文 · 已核验 · 2026-09-11
定位：§1、§2.1–§2.2、§2.7、§3
用于：§2.1–§2.2 给出弗雷格的词项逻辑、谓词演算与复合语句、一般性（量化）；§2.7 给出他对逻辑本身的构想；§3 是他的语言哲学。
LOG-5 / CPT-PRA-1 · 学术综述
SEP：Epistemology in Classical Indian Philosophy（在新标签页打开）LOG-5 · 条目正文 · 已核验 · 2026-09-11
定位：§1.1（知识与知识来源）、§2（怀疑论，含 hetv-ābhāsa 的引入）、§5（推理）
用于：§1.1 以 pramāṇa 组织「知识来源」；§2 说明佛教与正理都把 Cārvāka 的归纳质疑转成关于推理的可错论，并引入 hetv-ābhāsa（似是而非的「理由」）；§5 专论推理。
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 的立场）。
LOG-6 / UO-2 · 学术综述
SEP：The Problem of Induction（在新标签页打开）LOG-6 · 条目正文 · 已核验 · 2026-09-11
定位：§1–§2（休谟两难的重构）、§3.1–§3.5、§4.1–§4.2、§5.2–§5.4
用于：§1–§2 给出论证性／概率性推理两支与齐一性原则的循环；§3 收录先天综合、解释性、贝叶斯、部分解与组合论进路；§4 收录规则循环式辩护与「无规则」回应；§5 收录改换正当性标准的方案（日常语言消解、实用主义辩护、形式学习理论）。
UO-2 · 跨传统比较 · 已核验 · 2026-09-11
定位：§1 Hume’s Problem；§2 Reconstruction
用于：齐一原则的表述；论证式推理不能确立它（自然改道可被清楚设想，不含矛盾）；概然推理不能确立它（一切概然推理均预设将来与过去一致，故循环）。
LOG-7 · 学术综述
IEP：Reductio ad Absurdum（在新标签页打开）LOG-7 · 条目正文 · 已核验 · 2026-09-12
定位：§1 Basic Ideas、§2 The Logic of Strict Propositional Reductio: Indirect Proof、§3 A Classical Example of Reductio Argumentation
用于：§2 把间接证明写成三步：“(1) Assume not-p; (2) Provide argumentation that derives p from this assumption; (3) Maintain p on this basis.”——被假设的那一步是暂时引入、随后由 modus tollens 撤销的；§3 的通约性例子明确说“that initial commensurability assumption engendered a contradiction”。这两处一起支持：从一个被认为为假的前提出发的有效推理不是无用的，它正是间接证明的工作方式。
LOG-8 · 学术综述
Judea Pearl, An Introduction to Causal Inference（在新标签页打开）LOG-8 · 条目正文 · 已核验 · 2026-09-12
定位：§2 From Association to Causation、§3 Structural Models, Diagrams, Causal Effects, and Counterfactuals、§4 Methodological Principles of Causal Inference（The International Journal of Biostatistics, 2010）
用于：一方面：“Every claim invoking causal concepts must rely on some premises that invoke such concepts; it cannot be inferred from … statistical associations alone.”——单凭统计关联推不出因果。另一方面：在识别条件满足时“the causal effect can likewise be estimated from such data without bias”，识别问题即“Can the controlled (post-intervention) distribution … be estimated from data governed by the pre-intervention distribution?”。两句合起来支持：观察数据不是无条件无效，缺的是可辩护的因果假设，而不是样本量。
UO-1 · 学术综述
IEP：Lokayata/Carvaka – Indian Materialism（在新标签页打开）UO-1 · 跨传统比较 · 已核验 · 2026-09-11
定位：§3 Doctrine → a. Epistemology（材料残缺见同文对 Bṛhaspati Sūtra 残片的说明）
用于：顺世论不整体拒绝推理，日常生活中推理是必要一步；区分依概然与依确定作出的推理，并以烟示火为概然推理之例；拒绝关于从未被知觉之物（神、来世）的推理；无现存教义文本，《Bṛhaspati Sūtra》仅存残片。
CPT-JUS-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 是内在论／外在论之分的出处。
本轮审查与待办
主要立场｜演绎有效性
发现：原文将有效性说成「结论为真」。
依据：LOG-1 将有效性界定为没有前提全真而结论假的解释。
修订：增加有效／健全、前提／形式的分工。
案例推演｜带伞下雨
发现：原例只贴「相关不等于因果」标签。
依据：LOG-2 要求重建论证与其失败条件。
修订：要求列出混杂变量、反事实和替代解释，而非背诵谬误名。
新增｜哲学家怎样改写这个问题
发现：原书单没有说明三段论、量词形式、归纳怀疑与正理论辩是在处理不同的推理任务。
依据：LOG-3 区分推论与归纳，LOG-4 说明现代形式工具的变化，LOG-5 将正理放进 pramāṇa 与似是理由的争论。
修订：新增四个比较单元，并把「带伞」案例拆为形式、因果支持和反例排除。
来源账｜LOG-1 的错挂
发现：本轮审查指出休谟卡、休谟阅读卡与「归纳」那条论证路径都挂 LOG-1，而 LOG-1 是 SEP：Classical Logic，其定位既不讨论休谟也不讨论归纳。
依据：本轮实际打开 LOG-1 全文核对目录与内容：§1 导论、§2 语言、§3 推导、§4 语义、§5 元理论、§6 唯一正确的逻辑，全文不出现休谟，也不出现归纳问题。
修订：为归纳问题另建 LOG-6（SEP：The Problem of Induction），在「有力反对及回应」写出两难的两支与各类回应，并在 LOG-1 名下写明它不覆盖休谟与归纳，以免再被误挂。精读层里仍把休谟挂在 LOG-1 的地方须改挂 LOG-6，那一处不在这一层。
容易混淆的地方｜形式化
发现：「形式化会忽略语气、语境、权力关系或事实调查」一句原挂 LOG-1。
依据：LOG-1 §2.4 只讨论句法特征，不作此类论断。
修订：去掉来源标注，保留为解释性重构。
先把问题拆开｜健全性
发现：原文写「反过来，从假前提出发的有效论证毫无用处」。「不健全」只说明不能据此断定结论为真，推不出「毫无用处」；同一页的论证路径第 3 步已正确写着「有效不等于健全」，两处自相矛盾。
依据：LOG-7（IEP：Reductio ad Absurdum）§1 与 §2 说明间接证明正是先假设一个待否定的命题、推出矛盾、再撤销该假设——从假前提出发的有效推理是标准证明手段。
修订：改写为说明「不健全」的确切代价，并新增「反证法（间接证明）」概念卡；同时不走向反面——有效性与假前提都不担保结论为真。
案例推演｜带伞下雨（第 3、4 问）
发现：原文把「单凭相关性不能确立因果」扩展成「需要的是干预而不是更多观察」，并把「再多观察也没用」判为三句里最有指导性的一句。这条方法论主张此前在来源账里没有任何对应条目，而本条的待办明确写着 LOG-6 不覆盖因果推断方法。
依据：LOG-8（Pearl, An Introduction to Causal Inference, 2010）§2 说明单凭统计关联推不出因果，§3–§4 同时说明在因果假设与识别条件明确时，观察数据也能无偏估计因果效应。本例的混杂变量「天气预报」本身可观测，正属于可由观察设计解决的情形。
修订：改写第 3、4 问：分界在有没有可辩护、可被反驳的因果假设，而不在「实验对观察」；同类样本再多不解决混杂，换一种观察设计或做干预都是办法；并补上实验自身的代价（依从性、失访、外推）。新增 LOG-8 与一条 confusions。
主要立场｜区块模板
发现：演绎、归纳与解释性推断被套进「主要立场—反对—回应」模板，读起来像三个互斥阵营。三条「反对意见」里有两条其实是适用限制——第一条的回应第一句就写着「这不是对演绎的反驳」，却顶着与真正反驳相同的标签；唯一一句纠正误读的话埋在第三张卡片论证路径的最后一步。
依据：不必外求证据：这一页的反对意见与紧随其后的回应自己就互相矛盾，回应第一句否认的正是它上面那个标签。
修订：区块标题改为「三种推理方式与各自的评价标准」，在区块开头加导语说明三者不是三选一；给立场卡加上一个标注反对性质的位置，把两条适用限制与一条未解难题同真正的反驳区分开。模板本身保留，只按内容类型配置。
定义与边界｜可推导性与语义有效性；容易混淆的地方｜因果与形式化
发现：语义有效性一句用未解释的术语解释术语；「元逻辑」「对象语言」同样只有名称；因果那条里的「要估的量」「无偏」是未翻译的行话；归纳一段的结尾既生硬又指代不明。
依据：LOG-1 §3 是推导、§4 是语义、§5 是二者关系；LOG-8 §2–§4 是因果假设与可识别性。这几个词在本页第一次出现时都直接参与了推理，读者无从判断它们在说什么。
修订：把可推导性与语义有效性各写成一句可读的说明，并点出「解释／模型」即对词项的一种赋义；元逻辑、对象语言就地解释；「要估的量」「无偏」改为普通说法；归纳一段结尾改为平实表述。
定义与边界｜2026-09-15 复审
发现：有效与健全的定义在本页出现了三遍——「定义与边界」开头一遍，概念卡一遍，演绎那条论证路径里还有一遍；「谬误」一段也把概念卡上的那句刻画照抄了一次。
依据：本页概念卡收有「有效性」「健全性」「谬误」三条，与研究层这两段逐句对得上。
修订：「定义与边界」只保留可推导性与语义有效性这一对本层独有的区分，删去与概念卡重复的有效／健全定义；「谬误」一段改写成它在本层该说的事——为什么这个标签不能代替在具体语境中重建论证。
问题起点｜2026-09-19 教学重构
发现：这一块原来直接从「有效」的定义讲起，而定义在同一页的概念卡上还会再出现一次；读者手上没有具体例子，也看不出为什么要先分三步。
依据：「带伞下雨」这个例子被排在很靠后的「案例推演」，问题起点却先给形式定义。
修订：新增具体入口，用带伞与下雨的记录逼出「形状、证据、还有没有更好的解释」这三步；两段问题起点改为逐步说明这三步各问什么，有效性的形式定义留给概念卡。
定义与边界｜2026-09-19 教学重构
发现：第二段说「归纳和最佳解释推断」，而同一页的概念卡把它叫作「解释性推断」，读者会以为是两样东西。
依据：本轮统一译名为「最佳解释推理」，而概念卡与立场名不在这一层，仍作「解释性推断」。
修订：正文改用「最佳解释推理」，并就地注明概念卡上的「解释性推断」指的是同一件事；同时补出这两种推理实际比较的是哪几项，并说明为什么「有效／无效」这张表评价不了它们。
有力反对及回应｜2026-09-19 教学重构
发现：三条反对之间没有过渡，读者看不出它们分别针对上文的哪一步；休谟两难写成一句带分号的长句，两支的分界读不出来。
依据：归纳一段原文把「论证性／概率性」两支、各自为什么失败、以及三类回应压进同一句。
修订：三条各补一句承接，点明针对的是形状、贴标签还是证据的分量；休谟两难改为分句写出两类论证各自卡在哪里，三类回应也逐条分开。
容易混淆的地方｜2026-09-19 教学重构
发现：前两条各只有一句判断，脱离上下文读不出所以然；「相关性不是因果性」一条甚至没有例子。
依据：第二条原文为「相关性不是因果性，统计关联也不自动消除混杂、选择偏差和替代解释」，三个术语并列而无一说明。
修订：两条都改写成带本页例子的独立说明，把「混杂」换成「第三样东西同时推动了两边」这类可读说法；形式化一条补一个具体例子。
回到问题｜2026-09-19 教学重构
发现：页尾没有把三种失败与归纳的辩护难题收拢，读者读完只记得一串名目。
依据：本轮为 CoreEntryLedger 新增 takeaway 字段即为此。
修订：新增四问：用普通话重述核心问题、指出分歧多半来自用错标准以及归纳两难的分叉、列出已可确定的三件事、写明仍未定的两处。
有力反对及回应｜与立场卡去重
发现：本轮并行的另一条线已在「归纳与概率」卡片里点出归纳问题并给出两条回应方向；立场卡排在本区块之前，本层这一段开头于是像是把同一件事重新介绍一次。
依据：该卡片的反对一栏写有「过去的规律为何能可靠延伸到未来，是经典的归纳问题」，回应一栏给出「否认需要辩护」与「论证归纳的最优性」两条。
修订：段首改为承接立场卡，并写明本层要补的是这个问题本身的形状——它为什么构成两难，而不只是「还没找到理由」。
读这一页之前｜2026-09-19 复审修复
发现：本页是推荐路线第 2 步，却没有「读这一页之前」。上一步交出去的那个区分（分歧可以不落在事实上）在本页被反复使用而从未点明：带伞那三十次记录双方都不争，争的是按哪一套标准评价它。
依据：推荐路线在上一步（存在与变化）的「为下一步准备」里写着「你会看到分歧不在事实上，而在『凭什么这么算』」；本页页尾的 split 也写着「分歧多半不在结论，而在用错了标准」——同一个区分，本页却从未向读者交代它是从哪里来的。
修订：新增一条「读这一页之前」，用换光零件那辆车把「事实分歧」与「判准分歧」的区别写成不跳转也够用的一句，并点明本页三种「理由够不够」正是三套判法。
相邻条目影响：「语言如何承载意义与真理」页须提醒论证可因歧义失效；「正理」页不能被降格为欧洲逻辑的附录。精读层与人物卡若还把休谟挂在 LOG-1，须改挂 LOG-6。本页的历史语境一栏只列传统与时段线索；与「知识从哪里来」这类核心问题页的连接放在关系层，那里要求每条连接说出自己的理由。
下一优先：正理、墨辩的原典材料仍待对接；反证法目前只有 IEP 一条来源，宜再补一条独立材料。
- 待办：贝叶斯尚无独立的原典阅读卡；LOG-6 只覆盖归纳的正当性问题，因果推断方法现由 LOG-8 覆盖，但只核对到 §2–§4。
- 待办：墨辩原典（《墨经》《小取》）仍无可核定位。