核心问题
科学如何解释世界，又有什么边界？
科学理论是在发现真实结构，还是在构造有效模型？什么会使一个解释比竞争解释更好？
科学哲学讨论证据、模型、因果、解释、可重复性与理论变化，也检验「科学」与伪科学的划界为何困难。
科学如何解释世界，又有什么边界？｜内容
本页范围这一页问的是：科学的解释和预测为什么这么成功、这种成功能撑起多强的一句话（是「这套理论大体上是真的」，还是只到「它很好用」），以及那些曾经成功后来被换掉的理论该怎样算进来。「科学」在这里不是一套单一方法。某项具体研究的结论是真是假，要靠该领域自己的证据，不在这一页解决。
问题为何会出现
一支公共卫生团队做了一个模型，用来预测传染病的高峰。过去三年它每次都把高峰的时间和高度估得很准，误差在几天之内。可你问它某位病人为什么偏偏在那天被感染，它答不上来；你再问该不该现在关闭学校，它也给不出答案。
于是要问：这个模型「说对了」的到底是什么？它显然抓住了某些真东西，不然不会连续三年估准。可它抓住的是世界的结构，还是只是一组好用的数字关系？这两种说法在预测上看不出差别，在别的地方却差得很远——比如有人拿它去指导一项从没试过的干预的时候。
科学实在论：展开概念说明
科学实在论scientific realism我们最好的科学理论对世界的描述大致是对的，它讲到的那些东西也真的存在——包括电子、场这类谁也没法直接看见的东西。不是常识佛教语境中的「实在」关于种族的实在论展开读本页的概念卡可是历史一再给出反例。悲观归纳由此质问：过去成功、后来被抛弃的理论那么多，为什么今天的成功就足以保证真实？这个质问要有力，就得点出具体案例——燃素（十八世纪末以前化学中占主导的燃烧理论）、热质、以太都曾是成熟的理论，而且都作出过成功的新预测，如今却没有人认为它们所说的东西存在。要看准它针对的是哪一步：它攻的是「从成功推到真实」这个推论本身，不是某一个具体理论。[SCI-1][SCI-4]
先把问题拆开
那个模型让人为难的地方在于：它把整条流行曲线的高峰算得很准，却常常说不清某一个病人为什么会被感染。两件事一起出现，「这个模型可不可信」这句话就没法直接回答了——它在一件事上可信，在另一件事上不可信，而这两件事平时都被叫作「准」。同样地，「相信科学」如果指相信眼下每一条理论都对，那它在下一次修订时必然破产。科学哲学问的是更细的东西：一个模型是怎样代表世界的、预测得准到底说明了什么、仪器和评审制度怎样把偏差挑出来、以及在哪一步科学结论已经用完、价值判断开始接手。下面这几个词，就是把这些不同的「准」分开来称的秤。
科学实在论scientific realism
我们最好的科学理论对世界的描述大致是对的，它讲到的那些东西也真的存在——包括电子、场这类谁也没法直接看见的东西。
「实在论」三个字本身只是「主张某类东西真的存在」的通用叫法：对感觉、对桌椅、对数与集合，都可以各做一个实在论者。科学实在论特别的地方在于，它把这份主张一路推到电子、场、基因这些看不见的东西上——争论就集中在这一步。它其实同时主张三件事：世界不依赖人心而在；理论的句子按字面读，说「有电子」就是在说真有电子这种东西；理论告诉我们的内容算得上知识，看得见的部分与看不见的部分都算。反实在论只要在其中一件上反对，就已经是反实在论了。
在本页本页只争它的认识论那一面：成功是否足以支持「大致为真」。注意它是一个解释性推断的产物，所以它的强度不可能高于「最佳解释」这种推理方式本身——这一点是反实在论一侧的主要入口。
不要和这些混为一谈
- 常识相信桌椅存在也叫实在论（对外部世界的实在论），所以两者常被当成一件事。反实在论里最重要的一支是经验主义，它反对的是关于看不见之物的知识，从来没有反对过桌椅。
- 佛教语境中的「实在」中观论辩里被否定的是自性——不依赖别的东西、自己就能站住的那种本性；科学实在论争的是理论说的对不对。两处的「实在」不是同一个争点，不能拿一边的结论去判另一边。
- 关于种族的实在论那里争的是「种族」这个社会分类指着什么，判断它要用的证据与科学理论预测得准不准无关。把两处的「实在论」当成同一个立场，就会以为反对其中一个就得反对另一个。
也在这些条目里被讨论存在与变化
相对主义relativism
一句话是真是假、一件事是好是坏，要先问「相对于什么」才定得下来——相对于某个文化、某套语言、某个评价者。在它所主张的那个领域里，没有一个超出全部参照、对谁都成立的标准。
标准的定义方式是共变：某样东西 x（价值、认识或伦理规范、判断，甚至世界本身）依赖另一样东西 y（文化、语言、一套概念、一套信念）并随它而变，y 换了 x 也跟着换。用它反对什么来说更清楚：它反对绝对主义（至少某些真理或价值适用于一切时代与地方）、客观主义（一句话真不真，与谁在何时何地作判断无关）、一元论（同一个争议上不可能有一个以上的正确判断），以及把「真是客观的」与「正确答案只有一个」合在一起的实在论。各版本的分歧在于：相对于什么而变，以及范围有多大——是全部领域还是某一个领域，强到什么程度。
在本页库恩常被当作相对主义者引用，这是本页要拦住的一次误读。他的论断是标准属于研究传统，因此理论更替不总在同一尺度上累积；从这里推不出「各种理论一样好」，那要另加一条关于解题成效不可比较的前提，而他自己并不接受。
不要和这些混为一谈
- 主观主义两者的差别只在相对于谁：主观主义把真或正当相对到每一个个人，一般所说的相对主义相对到群体。代价因此不同——退到个人这个参照，判断就不再能在人与人之间互相校对，而这种「至少同一群人还能对账」的性质，正是许多相对主义者看重的长处。
- 描述性的文化差异各地的道德信念事实上不一样，这是人类学能支持的观察；「所以真或正当只相对于群体」是一个哲学主张。从前者走到后者需要另一段论证，而这一步常被跳过。
- 「什么都说不清」相对主义主张真值相对于某个参照，不是主张无从判断。参照一旦给定，判断照样有对错——这也是它与「怎么说都行」最要紧的分界。
也在这些条目里被讨论我们如何理解文本、传统与他人？审美判断能否说明理由？耆那教、顺世论与多元论辩
- 理论负载
- 「观察」几乎从来不是睁眼一看那么简单：它要借助概念（你得先有「感染」这个分类才数得出感染人数）、仪器（试剂盒本身就带着一套关于病毒的理论）和一堆背景假设（假定检测的漏检率在各人群里差不多）。说观察带着理论，不是说证据失效了——真要那样，也就没有反驳理论的办法了。它提醒的是另一件事：当数据和预期对不上时，出问题的可能不在理论，而在这条链子的某一环，所以要沿着链子一节一节地查。
- 经验充分性
- 一个理论经验充分，是说它关于可观察事物与事件所说的都为真；它关于不可观察结构的说法是真是假，不计入这项评价。要分清两件事：这是对理论的一种刻画，而「接受一个理论只需承诺它经验充分」是建构经验主义提出的主张，不是这个词本身的含义。
- 悲观归纳
- 以科学史上曾经很成功、其核心实体后来被判为不存在的理论（如以太、燃素）为据，质疑从「理论成功」到「理论近似为真」这一步。它针对的是这一步本身，不是哪一个具体理论。
- 划界问题
- 本页的立场表不处理它，但它是「相信科学」这句话真正要用的东西，所以在这里把论证写清。最有名的单一判据是可证伪性：科学陈述必须与某些可设想的观测相冲突。它遇到两类反驳——多数伪科学并不是无法被证伪，而是已经被反复证伪却继续流通；而任何一次反例都可以靠调整辅助假设吸收，所以「被反驳」本身也不是一次干净的事件。于是较常见的做法改为多条标准的组合（是否作出可检验的新预测、是否有纠错机制、是否回避不利证据），代价是组合里每一条都可以被单独质疑，也不再能机械裁决边缘情形。
定义与边界
先把常被合成一团的几件事分开。预测准确、给出因果机制、提供统一的解释、指导干预、在新情境下保持稳健，是五种不同的认识成就；一个模型完全可以在其中几项上很强、在另几项上很弱——开头那个流行病模型正是这样。所以不能把「有用」直接换成「真」：这两句话连评价的项目都不是同一份。
实在论也不必主张每一个理论词都逐字对应着某个真实对象。面对理论被不断替换，一类策略是只承诺成熟理论中被保留下来的那一部分。要点在于说清保留下来的究竟是什么。结构实在论的经典例子是：菲涅耳的光学以太被麦克斯韦的场取代，关于「世界上有什么东西」的说法完全换了，而菲涅耳那套数学关系被保留了下来。按这条读法，跨理论更替中积累的是形式或结构——这里说的「结构」指理论用方程写下的那些关系，不是关于世界由哪些东西构成的说法。[SCI-1][SCI-4]
主要立场
科学实在论
这条路线的主要理由是：如果关于电子、基因、板块的说法只是好用的记账方式，那它们为什么能预言此前无人见过的现象，还能指导我们造出按预言运转的东西？把这种反复出现的成功说成巧合，需要接连不断的巧合；最不勉强的解释是这些理论大致说对了那些看不见的东西。据此成熟理论中被反复检验的部分，我们有理由相信它近似为真——注意是近似，不是字字属实。
核对来源 [SCI-1]论证路径
- 第一步给前提，而且要挑成功里最硬的那一类：成熟理论不只是事后把数据拟合得好，它还让人做成了在有这套理论之前根本无从下手的事——用电子束去给看不见的东西成像，按分子层面的机制去改变一个生物的性状。算得准还可能是碰巧，做得成则要求那套说法在操作上一直不出岔子。
- 第二步是所谓无奇迹论证：假如理论关于那些看不见的结构所说的全是错的，这种成功就只能算一连串巧合；而说「这是巧合」等于什么也没解释。所以「理论大致说对了」是对这类成功的最佳解释。这一步的性质要看清——它本身就是一次最佳解释推理，所以它的分量不可能超过这种推理方式自己的分量。反实在论那一侧的主要入口就在这里：先质疑这种推理方式，实在论的结论跟着松动。
- 最有力的反驳来自历史记录：以太光学与燃素说都曾在各自时代成功，其核心实体后来被判为不存在。若成功曾多次与虚假共存，成功就不足以担保近似真。实在论的回答是把承诺缩小到理论中真正做出预测的那部分结构，代价是必须能事前指认这部分，而不是在被推翻之后再说那部分本来就不重要。
- 还有一处：理论被数据欠决定。若多个不相容的理论保存同样的可观察后果，「最佳解释」的排序就要靠简洁性一类标准，而这些标准本身不是证据。
反对意见反对落在「最不勉强的解释是这些理论大致说对了」这一步。历史上同样成功过的理论后来被整个放弃：燃素说解释过燃烧，以太说解释过光的传播，二者都曾支持过预测。既然当时的人按同一条推理会得出「燃素大致为真」，那么这条推理今天给出的结论也没有理由被当作最终的。
回应实在论者可以缩小承诺的范围：不为整个理论作担保，只为那些在理论更替中被保留下来的部分（可检测的结构关系、被反复独立测量的量）作担保，而被放弃的往往正是没有承担预测工作的图像式内容（以太、燃素）。代价是这条筛选有事后之明的风险——只有在更替发生之后，我们才知道哪一部分真正承担了预测工作，因此它难以对当前理论给出前瞻的判断。
反实在论与工具主义
这一侧不否认理论有效，只在「有效」与「为真」之间踩了一脚刹车。理由是：理论要负责的只有可观察的那一部分，而同一批观察总可以由不止一套关于看不见之物的说法同样好地支持——既然证据分辨不了它们，选定其中一套就超出了证据能担保的范围。据此对理论该采取的态度是：接受它对可观察现象的说法全都正确（这叫经验充分性），对不可观察的部分不下断言。
核对来源 [SCI-1]论证路径
- 第一步给前提，而且在工程里天天发生：接受一个理论、放手去用它，和相信它说的每样东西都真的存在，是两件可以分开的事。工程师算桥梁时用「刚体」「质点」，没有人因此相信世界上真有不会形变的物体——他照样把桥造起来了。
- 第二步由范弗拉森的建构经验主义把这件事立成一条规定：接受一个理论，只承诺它经验充分（关于看得见的那部分它说得都对），不再多承诺。这一步依赖一条可以被单独攻击的前提：看得见与看不见之间那条线，要能独立地划出来。而这条线是按人的知觉能力划的——反对者攻的正是这一点：人这个物种的眼睛能看多细，凭什么在「什么算知识」上有发言权？换一种视力更好的生物，线就挪了。
- 这条路线不是「科学只是有用的工具」。它承认理论有真值、可以为真，只主张证据要求我们接受的比理论所说的少。这个区分要紧：老式工具主义把理论当作无真值的推理规则，会难以说明理论之间的逻辑关系与理论如何被检验。
- 它要付的代价出现在干预上：如果我们能用某个不可观察实体做出可重复的操作，坚持不作本体论承诺就显得过于节制。反实在论者需要说明「能操作」与「存在」之间的距离究竟是什么。
反对意见仅强调经验充分性——理论对可观察现象的说法全都正确，至于不可观察的部分则不作承诺——可能难以解释理论为何能跨情境预测并支持干预。
回应工具主义者把成功归给理论的经验结构，而不是它的本体论：一个模型能支持干预，是因为它正确捕捉了可测量量之间的依赖关系，而这些关系的正确性不要求我们对不可观察对象的图像也是对的。代价是「可观察」与「不可观察」的界线越来越难维持——用仪器测到的东西算不算观察？若算，反实在论要承诺的对象几乎和实在论一样多。
历史与实践取向
这一侧问的不是理论说了什么，而是科学作为一项集体活动为什么值得信任。它给出的答案不是「科学家比别人中立」，而是这项活动有一串互相牵制的环节：实验要能被别人重做，结论要过同行这一关，反例会被记录，而名声与资助又使人有动机去挑别人的错。据此可靠性是被组织出来的，不是个人品质带来的。这条路线也因此能解释科学为什么会整段整段地改口：被换掉的常常不是一条结论，而是一整套解题方式连同它的范例与评价标准。
核对来源 [SCI-2][SCI-3]论证路径
- 第一步给前提，而且是一个经得起查证的前提：科学知识不是从某个人头脑里直接长出来的，它由仪器、训练、分工、同行评审、经费安排和长期重复的实践一起造出来。跟着就有一个可以验证的后果——同一批数据，换一套分类方案或换一个评价指标，会支持不同的结论：把「感染」定义成核酸阳性还是有症状，曲线的形状就不一样。
- 第二步是库恩把这件事提成一个关于理论比较的论断：用来判断「哪个理论更好」的那些标准——什么问题算重要、什么反常算得上反例——本身长在某个研究传统里面，所以理论的更替不总是在同一把尺子上一点点累加。这一步的争议不在事实，而在它是哪一种主张：它到底是在描述科学史上实际发生过什么，还是在规定理论应当怎样被评价？两种读法的后果差得很远，而他本人写的首先是前一种。
- 由此推不出「事实只是共识」，理由很具体：共同体反复得到自己并不希望的结果，实验会不服从设计；若结论真由共识决定，就无法解释研究为什么这么难做。一旦连这条界线也放弃，这一取向就解释不了它所研究的科学为何有效。
- 它更有用的地方在具体处：模型的分类方案会决定谁被算入、误差落在谁身上；卡特赖特提示同一个定律或模型在一个用途上成功，不足以承担另一个用途。这类问题不必先在实在论之争上表态就能提出。
适用限制这条路线管不到自然事实本身：说清一个结论如何被接受，并没有说清它是不是真的。把两者合并，就会推出「科学界同意什么，自然界就是什么」——这个结论这条路线自己并不主张，但它的论述方式很容易被这样读，因此每次都要把两个问题分开点明。
回应这条路线并不主张共同体的接受本身就使一个结论为真，而主张区分两件常被混同的事：一个结论为何被接受（涉及仪器、训练、资助、审稿制度），和它是否为真。指出前者受社会条件塑造，是为了说明科学的可靠性来自可纠错的组织方式，而不是来自个人的中立性。代价是这条区分在争议前沿最难维持——那里正是「已被接受」还没有与「为真」分开的地方，也正是这条路线的支持者与批评者实际争论的战场。
有力反对及回应
先看针对「无奇迹」那一步的反对。它不否认科学成功，而是质疑两个环节：「理论大体为真」是不是对这份成功的唯一最佳解释；以及有没有当时未被设想的替代理论——在那个年头根本没人想到、因而从未被拿来与它比较的理论。如果这样的替代理论总是存在，那么「目前它最好」就只说明我们没想到别的。实在论者则把担子推回去：你要是不诉诸某种世界结构，预测与干预的成功该怎么解释？[SCI-1]
另一条反对来自科学史本身。库恩讨论「革命」时关注的是规则、范式与共同体实践的改变：一门科学的发展不是匀速的，而在常规期与革命期之间交替，常规科学的形态是解谜。这提示科学史不能只列发现。但要看住一步：从「科学实践有它自己的历史」推不出「自然事实由共同体的多数意见定下」——库恩自己给出的分界是，否认某个认知过程出自应用理性规则，并不等于说它是非理性的过程。两句话之间隔着一整步，而这一步他没有走。[SCI-5]
《科学革命的结构》本身是这条线的原典入口。要引用它必须按章（Chapter）定位，而本页目前只有一份没有文字层的扫描节选，无法确认它对应原书的哪几章；因此正文不从它直接引任何论断，上一段关于范式与常规科学的说明另有来源。[SCI-3]
哲学家怎样改写这个问题
这些人不是在为同一条现成结论各投一票，他们的名字也不等于某个立场的标签。每一则先回到他本来在处理的问题，再看它能怎样推进本页的讨论；「不能直接推出」那一行挡的是跨时代、跨传统的草率等同。
20 世纪
卡尔·波普尔
《猜想与反驳》
他把科学性从「有多少证据支持」改为「承担了多大的被反驳风险」：一个禁止得越多的理论，越容易被经验击中，因此越有科学价值。
对本页的推进预测很准的公共卫生模型应公开哪些观测会要求修订它，而不是只展示拟合得好的曲线。这一问对本页的划界问题是可操作的：说不出任何会推翻自己的观测，比拟合得不好更严重。
不能直接推出可证伪性不是所有科学实践的充分定义，也不推出一次反例就应放弃整个研究计划：上面「划界问题」那一条已经写明这个判据卡在哪里。本页对他的划界方案还没有核验过的来源支撑，这一则只用来定位问题。
1962
托马斯·库恩
《科学革命的结构》
他把科学史带进评价：常规研究在一套范式内解题，异常积累到一定程度才引发更替；而更替前后「什么算问题、什么算解答」本身发生了变化。
对本页的推进它要求模型团队说明数据分类、评价指标与「好解释」的标准如何形成，以及异常到什么程度会改变实践。
不能直接推出他写的首先是科学史。把一段关于科学实际怎样更替的描述，直接当成「科学应当怎样评价理论」的规范结论，是本页最常见的误用，而这一步他自己并没有走。
核对来源 [SCI-3]1980
巴斯·范弗拉森
《科学图景》
他重新定义了「接受一个理论」这个行为：接受包含相信它经验上充分，加上使用它的语言与研究纲领——但不包含相信它关于不可观察者的全部说法。
对本页的推进它允许团队在模型预测可靠时部署其可观察后果，同时坦白不把内部机制实体化为已被确立的结构。
不能直接推出经验充分性并不免于解释压力；模型的干预能力、外推范围与可理解性仍可能给出更强承诺的理由。
核对来源 [SCI-1]1983
南希·卡特赖特
《物理定律如何撒谎》
她把「定律普遍为真」与「定律能描述具体情形」拆开：越普遍的定律越依赖理想化，因此越难逐字适用于任何真实系统。
对本页的推进它让案例分清「预测群体高峰」与「解释某人为何感染」：同一个模型可以在一个用途上成功，却不足以承担另一个用途。
不能直接推出批评普遍定律的直译不等于否认科学知识或鼓吹任意模型；模型仍受具体证据、适用条件与干预后果限制。
核对来源 [SCI-2]案例推演
一个预测很准但解释不清的模型
公共卫生团队使用模型预测传染病高峰，群体曲线很准确，却无法说明某个个体为何感染，也无法直接给出应采取何种政策。
- 把三种能力分开测试：预测（给定输入能否算出后续观测）、解释（能否说明为何是这个结果而不是别的）、支持干预（改变某个变量能否可靠改变结果）。一个模型可以只有第一种；用它做第三件事需要额外证据，因为相关结构在干预下可能不稳定。
- 误差归到哪一层是可以查的：改换输入数据后误差是否消失（数据）；改换某条假设后是否消失（理论假设）；只在被外推到新人群或新时段时才出现（使用范围）。三种情形对应三种不同的修补。
- 找出科学结论用完的那一点：模型能给出「不同措施下的预期病例数」，给不出「多少经济代价换多少病例可以接受」。后者是价值判断，需要说明由谁作出、依据什么程序。
- 现在把划界问题实际跑一遍，而不是只承认它困难：请团队说出哪些观测会要求修订这个模型。若说不出，按可证伪性判据它此刻不算科学主张；但要注意这个判决太快——一个被反复修正的模型仍可以是科学的，关键在修正是否事先规定、还是每次事后添加一条特设假定来吸收误差。换成多条标准去问会更靠得住：它有没有作出新的可检验预测，有没有公开的纠错程序，遇到不利数据时改的是模型还是解释。
- 最后看三种反应各自把重量压在哪里：「模型很可靠」压在预测精度上，「不该据此定政策」压在因果结构尚未确立上，「必须现在决定」压在不确定条件下的决策原则上。第三条最容易被说成科学结论，而它恰恰不是——它需要一套独立于模型的辩护。
- 完整走一遍（示范走法，不是标准答案）。① 先定住问题：不问「这个模型好不好」，只问「能不能拿它来支持『提前两周限制聚集』这项措施」。② 摆一个暂时判断：不能单靠它，还得补两样东西。③ 说清依据哪条标准：要拿一个模型去支持干预，光有预测准是不够的，还得有理由相信它抓住的关系在被人为改动之后仍然成立。预测靠的是「照现在这样下去会怎样」，干预问的是「我动了它之后会怎样」——后者要求的东西更多。模型在个体层面说不清机制，恰恰是这一点没到位的信号。④ 迎一个反对：有人会说「可它每一轮都算准了，这还不够吗」。这条反对要认真对待，而回答不是否认它准，是指出「准」在这里指的是哪一种：它准的是没有人大幅改变行为时的走势；一旦真的提前两周限制聚集，被它算准的那个世界就不存在了。这不是模型的缺点，是预测与干预的分工不同。⑤ 写明限制：以上没有说这项措施不该做。它很可能该做——依据可能来自别处（以往同类措施的效果、不作为的代价、谁承担风险）。做到的只是把结论的来源摆正：支持它的不是这个模型的预测精度，而另有一套需要单独交代的理由；再往前一步，「多少经济代价换多少病例算可接受」根本不在模型能回答的范围里。
容易混淆的地方
- 解释性重构：「理论是模型」不等于「模型可以任意编造」。模型仍然受数据、测量、适用范围和反事实检验的约束——开头那个流行病模型要是连高峰的时间也估不准，它早就不会被继续用下去。
- 解释性重构：预测得准不等于解释得清，两者可以分开。同一批定律既能从旗杆的高度和日照角度推出影子的长度，也能从影长和角度反推旗杆的高度；两次推导同样有效、同样可用于预测，但只有前一次像是解释——旗杆的高度造成了影子，影子没有造成旗杆。所以「这个模型预测很准」与「这个模型说清了因果」是两句话；而一个用来指导干预的模型还要再多一项要求：它得说对「如果我们动手改变某个变量，结果会跟着怎么变」。[SCI-2]
- 解释性重构：一次预测落空并不逼人放弃整个理论。这是可证伪性最常被误用的一步：落空的可能是某个辅助假设——仪器的校准、样本的代表性、外推的范围——也可能是测量本身出了问题。要判定是理论错了，还得另外说明这几种可能都已被排除。
- 解释性重构：承认价值取向、仪器条件与制度安排会影响研究，并不等于否认证据可以纠错，也不等于否认世界会反过来限制哪些解释站得住。这两句话完全可以同时为真：一项研究选了哪个问题、用哪台仪器、由谁出钱，确实会影响结果；而一个与数据反复冲突的解释，仍然会被这些数据挡回去。
人物与原典：从哪里读起
先抓住每部文本在这场争论里要解决什么问题，再回到原文核对它自己的论证。
《科学革命的结构》
1962
最好读的入口，但要按顺序：第二至第四章（常规科学与解题）建立起概念之后，第九至第十章（革命及其性质）才不会被误读成相对主义宣言。后记值得单独读一遍。
核对来源 [SCI-3]带着这个问题读范式变化是理性比较，还是不同世界观之间无法完全翻译的转换？他自己站在哪一边？
《猜想与反驳》
1963
论文集，不必通读。读第一篇（关于科学与伪科学的划界）就能拿到核心；后面关于归纳与传统的篇章可按兴趣挑。读时把他的判据写成一句可检查的话，再自己找一个「已被反复证伪却仍在流通」的例子去撞它。
带着这个问题读不能被单次反例推翻的研究，是否一定不科学？他自己怎样处理辅助假设？
《科学图景》
1980
技术性较强，放在库恩之后。第二章（论证与经验充分性）是全书枢纽；关于科学解释的后半部分可以留到第二遍。建议配一篇实在论方的综述对读。
核对来源 [SCI-1]带着这个问题读「接受一个理论」为什么不必等于「相信它描述的每个实体都存在」？可观察的界线划在哪里？
《物理定律如何撒谎》
1983
最好在读过实在论与反实在论双方之后再进，因为她要重排的正是这场争论的问题。先读导论与关于理想化的章节，物理学案例可以按需取用。
核对来源 [SCI-2]带着这个问题读理想化模型严格说来不真实，为何仍能带来可靠知识？「能干预」在她那里承担了什么工作？
放回历史线索
- 近代：知识、科学与政治秩序
查看实验、数学化与近代认识论如何共同形成问题。
回到问题：现在能说什么
- 这一页在问什么
- 一个模型连续三年把疫情高峰估得很准，却说不出某个人为什么被感染。它「说对了」的究竟是什么？估得准这件事，能不能撑起「这套理论大体上是真的」这句话？
- 分歧落在哪里
- 分歧落在从「成功」到「真」的那一步。科学实在论说，除非理论所说的那些看不见的东西大体为真，这种成功就是接连不断的巧合；它最难过的一关是历史——燃素、热质、以太当年同样成功过，今天都被认为不存在，于是它得改口只为「更替中被保留下来的那部分」担保，再说清那究竟是什么。反实在论与工具主义不否认成功，只在「有效」与「为真」之间踩一脚刹车：同一批观察总能由不止一套关于看不见之物的说法同样好地支持，既然证据分辨不了，选定其中一套就超出了证据能担保的范围。历史与实践取向换的是对象——它问这项集体活动为什么值得信任，答案是一套可纠错的组织方式，而不是「科学界同意什么，自然界就是什么」；这一步它自己明说不走。
- 现在可以确定什么
- 有几处可以定下来：预测准确、给出因果机制、提供统一解释、指导干预、在新情境下稳健，是五件不同的事，一个模型可以在其中几项上强、在另几项上弱；一次预测落空不逼人放弃整个理论；科学实践有它自己的历史，这一点推不出「自然事实由多数意见定下」。
- 还不能确定什么
- 还定不下来的是被保留下来的究竟是什么。说保留的是方程写下的那些关系，能解释菲涅耳到麦克斯韦那一次更替；可这条读法能不能推广到每一次更替，仍在争论之中。「当时未被设想的替代理论总是存在」这一条也一样——还没有人给出一个不靠事后追认的办法来判断它。
带着问题继续读
继续学习
这几条不是按相似度推荐的：分组标题说明它和本页构成哪一种关系，下面那句话说明为什么 值得现在就读。
来源、核验与修订记录
本条状态
来源部分已核验，其余待核验
来源与核验记录
本页引用的来源都在这里，按材料归并：同一份材料被多处引用时只列一条，但每一处的定位、 支持的论断和核验状态分开记。每项只说明本轮实际核对到的那一处定位，原典入口不等于整部 文本都已校勘。本页除正文外，概念卡也各自带了来源。
SCI-1 / CPT-SR-1 · 学术综述
SEP：Scientific Realism（在新标签页打开）SCI-1 · 条目正文 · 已核验 · 2026-09-11
定位：§1.2（实在论承诺的三个维度）、§2.1（The Miracle Argument）、§2.3（Selective Optimism/Skepticism）、§3.1（The Underdetermination of Theory by Data，含未被设想的替代方案）、§3.3（The Pessimistic Induction）
用于：§2.1 是无奇迹论证；§2.3 是选择性实在论（含只承诺「产生过去理论之成功的那些理论定律与机制」这一版本）；§3.1 是欠决定与未被设想的替代方案；§3.3 是悲观归纳。须注意 §3.3 只给出「多数过去理论必须视为假」这类一般表述，并不点名燃素、热质或以太，因此具体案例改挂 SCI-4。原来引用 2017 春季归档地址，与 data.json 的活链不一致，也与本条实际使用的章节号对不上；本轮改为活链并逐节核对。
CPT-SR-1 · 概念卡 · 已核验 · 2026-09-11
定位：§1.2 The Three Dimensions of Realist Commitment；§4.1 Empiricism
用于：§1.2 说明「实在论」泛指任何主张某物真实存在的立场（感觉材料实在论、外部世界实在论、数学实在论等），科学实在论是关于最好科学理论所描述之物的实在论，并列出形而上学、语义、认识三个承诺方向。§4.1 说明反实在论只需在这三个方向之一上反对，而历史上最重要的反实在论支脉是各种经验主义，其反对的正是关于不可观察者的知识。
SCI-2 · 学术综述
SEP：20th Century Theories of Scientific Explanation（在新标签页打开）SCI-2 · 条目正文 · 已核验 · 2026-09-11
定位：§2.5（Explanatory Understanding and Nomic Expectability: Counterexamples to Sufficiency，其中“Explanatory Asymmetries”一小节给出旗杆与影长的例子）、§4（The Causal Mechanical Model）、§7.1（The Role of Causation）
用于：§2.5 给出旗杆／影长的双向推导：两次推导都满足 DN 标准，只有一次像是解释，条目据此说「这类例子表明至少有些解释具有方向性或不对称的特征，而 DN 模型对此不敏感」——这是本页「预测准确不等于因果解释充分」的依据；§4 与 §7.1 处理因果在解释中的地位。原来的 url 指向 entries/scientific-explanation/，该条目已退役，页面现在只显示「已改题重刊为《20th Century Theories of Scientific Explanation》」，原定位「导论与解释模型各节」也无法定位。
SCI-3 · 原典 · 待核验
Thomas S. Kuhn, The Structure of Scientific Revolutions（哥伦比亚大学托管的扫描节选）（在新标签页打开）SCI-3 · 条目正文 · 待核验
定位：本轮只能确认：该文件是 37 页扫描件，无文字层（无 /Font，37 个图像对象），因此无法从文件本身确认它对应原书的哪几章。原定位「§IX–X（在线节选）」既用错了结构单位（该书按 Chapter 分章，无 §），也无法核对
用于：仅作为《科学革命的结构》的扫描阅读入口。本条不支持任何具体论断：正文中关于范式、常规科学与规则的说明已改挂 SCI-5，等到取得可按章定位的版本后再回填。
SCI-4 · 学术综述
SEP：Structural Realism（在新标签页打开）SCI-4 · 条目正文 · 已核验 · 2026-09-11
定位：§1（Introduction）、§2（The Best of Both Worlds?）
用于：§2 逐一点名悲观归纳所用的具体案例：「光的以太理论与热的热质理论」曾是有新预测成功的成熟理论，以及「十八世纪末以前化学中占主导的、把燃烧解释为放出燃素的理论」；同节以菲涅耳的以太与麦克斯韦的场为例说明「理论可以彼此相反，却在现象中表示同一结构」；§1 引沃勒尔 1989「这一转变中有连续性或积累，但连续的是形式或结构，不是内容」。这是本页「具体案例」与「保留下来的是什么」两处的依据。
SCI-5 · 学术综述
SEP：Thomas Kuhn（在新标签页打开）SCI-5 · 条目正文 · 已核验 · 2026-09-11
定位：§2（The Development of Science）、§3（The Concept of a Paradigm）、§4.1–§4.4（不可通约性）、§7.1（Criticism and Influence: Scientific Change）
用于：§2 给出「按库恩的看法，一门科学的发展不是匀速的，而有交替的常规期与革命期」；§3 把常规科学刻画为「解谜」（引 1962/1970a: 35–42），并给出库恩自己的分界「否认某个认知过程是应用理性规则的结果，并不意味着它是一个非理性的过程」——这正是「实践有历史性推不出事实由投票决定」的依据；§4 是不可通约性，§7.1 是相对主义指控的接收史。
CPT-RV-1 · 学术综述
Relativism（SEP）（在新标签页打开）CPT-RV-1 · 概念卡 · 已核验 · 2026-09-11
定位：§1.1 The co-variance definition；§1.2 Relativism by contrast
用于：§1.1 给出共变定义：现象 x 依赖并随独立变量 y 共变，并以「正义相对于地方规范」「真相对于语言游戏」「温度测量相对于所用刻度」为例说明哪些依赖关系才算相对主义。§1.2 以相对主义所否认者为线索，列出绝对主义、客观主义、一元论与（在蕴含真的客观性与唯一性的意义上的）实在论四个对照项。
CPT-RV-2 · 学术综述
Moral Relativism（SEP）（在新标签页打开）CPT-RV-2 · 概念卡 · 已核验 · 2026-09-11
定位：§2 Forms and Arguments（主观主义与相对主义之分）；§4 Descriptive Moral Relativism；§6 Metaethical Moral Relativism
用于：§2 明说：道德判断的真或正当可相对于个人也可相对于群体，前者常称主观主义、后者称相对主义。§6 指出退向主观主义会放弃互主观性，而互主观性是许多元伦理相对主义者所重的长处。§4 指出描述性道德相对主义不足以确立元伦理相对主义，尽管后者最常见的理据会因前者不成立而落空。
本轮审查与待办
主要立场｜历史与实践取向
发现：原异议可能被读成「社会条件＝事实任意」。
依据：SCI-5 §3 给出库恩自己对「非理性」的划界；SCI-1 的争论仍以经验成功为约束。
修订：加入不推出相对主义的限制，并改挂到真正支持这一点的来源。
案例推演｜流行病模型
发现：原案例没有区分预测、解释与干预。
依据：SCI-2 §2.5 的旗杆／影长不对称显示预测性推导不自动是解释。
修订：将三种成就分开，要求标出适用范围。
容易混淆的地方｜新增「因果≠可预测性」
发现：本页案例正是「一个预测很准但解释不清的模型」，案例后的第一问就是「预测准确、因果解释充分、适合干预是同一件事吗」，而三条易混里恰好没有这一条。
依据：SCI-2 §2.5 的“Explanatory Asymmetries”给出可复述的反例：同一批定律双向推导，只有一个方向像解释。
修订：新增一条易混，用旗杆与影长把这三件事分开。
问题起点与定义边界｜悲观归纳的具体案例
发现：悲观归纳原先没有任何历史案例，「被保留下来的部分」也没说明在哪个案例里保留了什么，两处都停在口号层面。
依据：SCI-1 §3.3 只作一般表述、不点名案例；SCI-4 §2 明确点名以太、热质、燃素，并以菲涅耳—麦克斯韦为「保留的是结构而非内容」的例子。
修订：新建 SCI-4（SEP：Structural Realism），把燃素、热质、以太写进「问题起点」，把菲涅耳的方程在麦克斯韦理论中被保留写进「定义与边界」。
来源账｜SCI-2 的条目已退役
发现：SCI-2 指向的那个条目已经退役，页面现在只剩一条改题通知，原定位「导论与解释模型各节」也无法定位。
依据：本轮打开该地址，页面正文为「标题为 Scientific Explanation 的条目已修订并以新标题《20th Century Theories of Scientific Explanation》重刊」。
修订：标题与地址改为新条目，定位改为 §2.5、§4、§7.1。
来源账｜SCI-3 的定位无法核对
发现：SCI-3 标 kind 「原典」、locator 「§IX–X（在线节选）」，但《科学革命的结构》的结构单位是 Chapter 而非 §，而该 PDF 是 37 页纯扫描件，无法从文件本身确认它是哪几章。
依据：本轮下载该 PDF 实测：37 个 /Type /Page，无 /Font，37 个 /Subtype /Image，即无文字层。
修订：降级为 pending，locator 改写为对文件本身的如实描述；把原先挂在它上面的「范式与规则」论断改挂新建的 SCI-5（SEP：Thomas Kuhn），正文另加一句说明为什么不从这份扫描件直接引用。
放回历史语境
发现：「相邻传统与问题」一栏里的「历史、文化与技术怎样塑造共同生活」是一个核心问题页，不是时段或传统线索，却被排在历史语境的标题下。
依据：该页在节点树里的类别是核心问题；关系层已经收录了本条与它之间带理由的连接。
修订：删除该条，只留「近代：知识、科学与政治秩序」。
历史与实践取向一段；定义与边界｜「结构」指什么
发现：「自然事实由共同体投票决定」是生硬比喻，把一个关于科学实践有历史性的论点写成了表决程序；「积累的是形式或结构」没有说明这里的「结构」指什么；「未被设想的替代理论」也只给了名称。
依据：SCI-4 §1–§2 以菲涅耳的方程为例说明保留下来的是形式或结构，SCI-1 §3.1 是欠决定与未被设想的替代方案。库恩本人给出的分界是「否认某个认知过程出自应用理性规则，并不等于说它是非理性的过程」，与「投票」无关。
修订：「投票」改为「由共同体的多数意见定下」；就地说明「结构」指理论用方程写下的那些关系；补出「未被设想的替代理论」指当时无人想到、因而从未被拿来比较的理论；另把可证伪性一条补上「落空的也可能是辅助假设」。
容易混淆的地方｜2026-09-15 复审
发现：可证伪性那一条把本页概念卡上「划界问题」已经写过的内容又说了一遍（可证伪性是什么、反例可以靠调整辅助假设吸收），自己独有的只有「也可能是测量出了问题」这半句。
依据：本页概念卡收有「划界问题」一条，其中可证伪性与辅助假设两点与这条易混重合。
修订：这条易混删去可证伪性本身的定义（留给概念卡），改为只拦它最常被误用的那一步：一次预测落空不逼人放弃整个理论——落空的可能是某个辅助假设，也可能是测量本身出了问题。
问题起点｜2026-09-19 教学重构
发现：这一块原来的第一句直接抛出「形而上学追问」「不可观察实体和结构」，读者没有任何具体情形，也不知道「不可观察实体」指什么。
依据：流行病模型那个案例被排在页面靠后的「案例推演」；页首却先给一句关于追问性质的判断。
修订：新增具体入口：一个连续三年估准高峰、却说不出个体病例也给不出政策的模型，由此逼出「它说对了的到底是什么」；两段问题起点改为顺着它往下说，并点明悲观归纳攻的是「从成功推到真实」这个推论本身。
定义与边界｜2026-09-19 教学重构
发现：五种认识成就只是并列，没有接回本页的情形，读者看不出它们为什么必须分开。
依据：原文以「预测准确、提供因果机制、给出统一解释、指导干预、在新情境保持稳健，是不同的认识成就」起头，随后直接下结论。
修订：补上承接句与本页模型的对照，并把「不能把有用换成真」写成「这两句话连评价的项目都不是同一份」。
有力反对及回应｜2026-09-19 教学重构
发现：「未被设想的替代理论」给了名称却没说它为什么构成反对；库恩那一段的两句话之间也没有交代它们相隔的是哪一步。
依据：原文只写「以及是否存在当时未被设想的替代理论」，没有接着说明这件事一旦成立会推出什么。
修订：补出「如果这样的替代理论总是存在，那么『目前它最好』就只说明我们没想到别的」；库恩一段补上「两句话之间隔着一整步，而这一步他没有走」；原典入口一段补出为什么不从那份扫描件取论断。
容易混淆的地方｜2026-09-19 教学重构
发现：旗杆与影长的例子给了两次推导，却没有点破不对称到底在哪里；可证伪性一条里的「辅助假设」也只有名称。
依据：原文写「只有前一次像是解释」，没有说明理由；「落空的可能是某个辅助假设」未举例。
修订：补出「旗杆的高度造成了影子，影子没有造成旗杆」；为辅助假设举出仪器校准、样本代表性、外推范围三例；另两条也各补出可检验的具体内容。
回到问题｜2026-09-19 教学重构
发现：页尾没有把「从成功到真」这一步的分歧收拢，读者读完只记得几个立场名。
依据：本轮为 CoreEntryLedger 新增 takeaway 字段即为此。
修订：新增四问：指出分歧落在从成功推到真的那一步及其两个环节，列出五种成就等已可确定的部分，并写明「保留下来的是什么」仍未定。
回到问题｜2026-09-19 复审修复
发现：页尾 split 换了一套分类：三条路线里只有「实在论」被叫出名字，另外两条写成「反对者」和「历史那一侧」。更麻烦的是它把悲观归纳算在「历史那一侧」名下，而悲观归纳是冲着科学实在论去的那条反对，「历史与实践取向」问的根本是另一件事——这项集体活动为什么值得信任。
依据：本页立场是科学实在论、反实在论与工具主义、历史与实践取向；立场卡里悲观归纳（燃素、以太）写在科学实在论的反对一栏，历史与实践取向那一栏写的是可重做的实验、同行评议、反例记录这套互相牵制的环节。
修订：split 改为逐条用本页立场名收一遍：科学实在论的理由与它最难过的那一关、反实在论与工具主义踩的那一脚刹车、历史与实践取向换掉的那个对象，并写明它自己明说不走「共同体同意什么自然界就是什么」这一步。
相邻条目影响：与「知识从哪里来」相连时，要把「证据」保留为实践、模型和推理的组合，而非裸数据。本页的历史语境一栏只列时段与传统线索；与「历史、文化与技术怎样塑造共同生活」这一核心问题页的连接放在关系层，那里要求每条连接说出自己的理由。
下一优先：补充贝叶斯、机制解释与非西方科学史的独立阅读路径，并为干预主义因果解释另建来源账。
- 待办：SCI-3 仍是 pending：需要一份可按章定位的《科学革命的结构》（有文字层的版本或纸本页码），才能把库恩的原文论断写回正文。在此之前本页不引用该扫描件的任何具体内容。
- 待办：SCI-4 §3–§5（认识论结构实在论、本体论结构实在论及其反对）本轮未核对；本页只用到 §1–§2，不对结构实在论的内部版本作断言。
- 待办：SCI-2 是关于二十世纪解释理论的条目，它自己声明只覆盖到二十世纪末，并指向另一条「因果进路」条目；伍德沃德式干预主义在本页仍无独立来源账。