摘要
关于科学改变了什么，常见的答案指向可清点的知识珍珠：定律、发现、技术、制度。本文提出，这个答案漏掉了一个更根本的改变。本文所讨论的“科学”，首先指十七世纪科学革命以来、以理论驱动的实验与数学化为核心特征的现代数理实验科学及其前沿领域，而非“一切科学”的全称对象。在这一范围内，科学最深的改变不是给世界添了一批新对象，而是改变了未知本身的存在方式：在科学之前，未知大多是场中被默许的残余——谜、神意、不可言说的传统，等待被敬畏、接受或背诵；现代实验科学把未知改造成了一个会回话、会反驳、会改写追问方向的对手。本文命名这一此前没有被单独指认的结构为“回话的未知”，并论证：追问之潮与制度之场之间的拉锯只是表层，真正使科学成为科学的是未知在每一轮回答之后变得更具体、更有评判力、更能规定下一段路。本文将“回话”严格区分为结构性潜能与其历史实现：回话的潜能由回答框架的确定性所产生，回话的实现则取决于制度场域的密度、资本配置与范式保护带的厚度。这一区分使被长期压制的反常不再构成反例，而成为理论内部必须解释的历史变量。本文在与拉里·劳丹的问题生成理论、安德鲁·皮克林的实践冲撞、布鲁诺·拉图尔的行动者网络、汉斯-约尔格·莱因伯格的认识论对象、弗里德里希·哈耶克的分散知识协调论以及皮埃尔·布迪厄的科学场域理论等最强近邻的对照中，划出一条清晰的分离线：它们各自解释了回答如何被生产或稳定，却没有把“未知在回答之后回话”的过程本身当作科学的活力来源。本文以暗物质的发现史为一阶科学认知案例，以开放科学运动为二阶制度案例，展示回话的未知如何在具体历史现场运转，并给出可复现的分析步骤与诚实的适用边界。
关键词
科学哲学；未知；问题生成；制度场域；暗物质；开放科学；科学进步
引言：未知怎么越回答越多
科学究竟改变了什么，这个问题比初看起来要难以回答得多。飞机缩短了距离，抗生素改变了死亡的斜率，互联网重写了记忆的存在方式——这些答案都对，但它们只说了科学产出的东西，没有说科学靠什么继续产出。更蹊跷的是，科学每前进一步，未知不但没有减少，反而变得更多、更尖、更不容回避。牛顿把天上和地上的运动统一起来，紧接着莱布尼茨追问力的本质；麦克斯韦把电磁波写进方程，赫兹用实验把“以太”这个从未被看见的介质推到了必须被裁决的位置；量子力学成为标准语言之后，爱因斯坦立刻追问它是否还允许我们说一个完备的物理实在。未知不是被科学渐渐扫清的背景，而是被科学一路逼出来的、越来越能回答的对手。
这里有一个悖论，正是本文的入口：科学越成功地解释世界，它所面对的未知就越具体、越有方向、越能说话。一个自然之谜在被回答之前是模糊的、无名的；被回答之后，它并不消失，而是被改造成一个更尖锐的问题。牛顿回答了天体运动，于是“绝对空间是否真实”这个在牛顿之前几乎无法被提出的问题，变成了一道必须被判决的实验题。科学不是把未知搬走，而是把未知从一个等待被膜拜的整体，改造成一批会反驳、会指路、会被制度稳定下来的当下对手。
因此，本文的核心判断不是一个关于知识生产方式的补充，而是一个重定位：科学改变的，首先是未知的存在方式。在科学之前，未知大多是场中被默许的东西；在科学之后，未知成为“回话的未知”——它不再沉默地等待，而是在每一次被逼近时回答、纠正、反驳，并据此改写追问的方向。这个判断不是“未知可以被问题化”的另一种说法。问题化说的是：某些经验领域被实践和制度结构构造为必须被追问的问题。本文要说的是更进一步的一层：这些问题一旦被构造出来，就获得了回话的能力，它们会反过来约束谁能问、怎么问、下一问是什么。正是未知的这种回话性，使科学成为一条永远在涨落的河口，而不是一座逐渐完工的知识仓库。
这里必须立即做一处收窄，并且这一收窄不是权宜之计，而是本文判断的存在条件。本文所说的科学，主要指十七世纪科学革命中生长出来、以理论驱动的实验与数学化为核心特征的现代数理实验科学及其前沿领域。博物学式的分类整理、当代高度前置的大科学、人文与社会科学内部的知识形态与本文的机制有交叠，但并不完全吻合，有些甚至构成反例。因此，本文不把一个关于现代实验科学的判断悄悄扩大为“一切科学”的同一本性。放弃“一切科学”的虚妄全称，这个判断反而更站得住。这个收窄会在结论部分被再次重申，以免标题、摘要与结论在口径上各说各话。
还有一处区分需要从第一段就立起来，否则后文的概念会松动。本文所论证的“回话”，不是一个从来不会沉默的自动机制。恰恰相反，科学史上充满了被长期压制、被搁置数十年、甚至被共同体拒绝倾听的反常。大陆漂移说在半个世纪里只是一个边缘猜想，宇宙学常数被爱因斯坦亲手判过一次死刑之后又被重新激活。这些事实并不推翻本文的判断，而是逼迫本文在概念内部做出一个关键区分：回话的未知指的是未知被科学赋予的一种结构性潜能，这种潜能由回答框架的确定性所产生；而这一潜能在多大程度上变成现实，取决于制度场域的密度、资本配置与范式保护带的厚度。潜能与实现，必须分开。本文的每一个案例、每一处论证，都将守着这一区分展开。
旧解释的局限与它们的历史合理性
要看清回话的未知，必须先看清已有解释路径在哪里遇到了困难。需要事先说明的是，本文并非把旧解释当作“坏掉的机器”加以否定。相反，每一种旧解释都是在一定历史条件下被稳定下来、并在其自身范围内具有解释力的图像。指出它们无法解释的那个悖论，不等于宣布它们毫无价值，而是要标出它们各自的分析边界，从而为新的判断腾出位置。
最自然的解释是积累观：科学改变世界的核心，在于它提供了一个不断扩展的真理集合。定律、公式、事实被固定下来，供人学习、使用、搬运、教学。教材就是这样编写的，考试就是这样命题的，知识积累的叙事就是这样讲述的。积累观抓住了科学最容易看见的部分：知识可以被清点、打包、继承。它解释了一切，唯独解释不了开篇那个悖论——为什么知识越积累，未知反而越丰富？如果科学只是把未知搬进“已知”的仓库，那么仓库越大，未知的总量应当越少。实际却相反：每一个被搬进仓库的知识珍珠，都会在仓库外缘繁殖出更多尚未搬入的东西。积累观不解释珍珠为什么能繁殖问题，因为它只看见珍珠，看不见珍珠与未知之间的那层关系。
第二种解释来自科学社会学与科学技术研究。这一传统正确地指出：科学知识不是一个超历史的真理集合，而是一系列被制度、网络与实践稳定下来的历史产物。默顿的规范结构（Merton, 1973）、拉图尔的行动者网络（Latour, 1987）、皮克林的实践冲撞（Pickering, 1995），从不同角度拆穿了“科学作为纯粹发现”的图像。它们把追问从天上拉回人间：追问发生在实验室、评审会、期刊编辑部里，被仪器、经费、声望、门徒和引文网络所塑造。这个传统的深刻之处在于，它看见了一个隐藏的场，并证明知识的稳定性来自场，而不是来自一个客观等待者。
然而，恰恰是在这个传统里，那个最深的先验被保留了下来：未知仍然被当作一个先于追问、外在于追问、有待被追问逼近的等待者。社会建构论反掉了“被发现的对象”，却把“未知”留在了分析之外。它解释知识如何被稳定，却不解释稳定为什么从来不能把追问压住；它解释问题是怎样被制度构造出来的，却不解释问题被构造出来之后，为什么会反过来约束制度本身。于是，这个传统得出了一个奇怪的结论：科学的前沿只是不同力量之间的协商与稳定，至于那股永远不肯稳定的力量从何而来，它要么回避，要么归因于人的好奇心。好奇心是一个心理学术语，它不能解释为什么同一个人的好奇心在前科学时代往往跪在未知面前，而在科学制度中被拧成一个永远对准下一段路的问题清单。
如果再追一刀，就会看见更深的一层。积累观把未知当作有待减少的存量；社会建构论把未知当作被制度生产出来的背景。两者的共同前提是：未知是等待被对待的东西。它们都默认，未知的存在方式不会因为被追问而改变。回答逼近未知，未知退后一点；回答失败，未知留在原地——但未知始终是那个在先的、沉默的靶子。我把这个先验命名为“等待性未知”：未知先于追问而存在，并作为不因追问而改变自身性质的等待者，供科学去逼近、去命名、去征服。需要强调，这一命名不是对旧传统的诊断性审判，而是对一个被历史稳定下来的存在论预设的描述。它不是“错误的先验”，而是前科学时代与许多非实验知识传统中自然沉淀下来的、甚至曾有效运转的一种预设。
这个预设如此自然，以至于连最锋利的批判者也站在它上面。库恩（Kuhn, 1962）看出常规科学是解谜，革命是范式转换，但他仍然把谜当作一个先在的、由范式规定的对象。范式变了，谜换了一批，但谜本身仍然沉默地等着范式去照亮它。拉图尔（Latour, 1987）把黑箱的打开当作争议，把黑箱的关闭当作稳定，但他仍然把“关闭之后”的未知当作一个不再回话的既成事实。然而这里必须立即做一个精确的修正，以免把拉图尔简化成他没有主张过的立场：拉图尔并非没有看到黑箱可以被重新打开。他明确讨论过黑箱的“相对不可逆性”，即黑箱在新网络、新行动者与新争议出现时可以被重新打开。因此，说拉图尔把关闭之后的未知当作“不再回话的既成事实”，是不精确的。更准确的表述是：拉图尔承认黑箱可以被重新打开，但重新打开的条件是新的网络动员、新的行动者加入与新的争议构造；他不讨论黑箱在没有新动员的情况下于使用边缘自发地生成新缺口的过程。换言之，拉图尔的重新打开需要某种“发动”，而本文关注的是缺口在无人发动争议时自动进入共同体议程的机制。这一区分在后文的近邻检测中会被详细展开。
皮克林（Pickering, 1995）把抵抗与适应当成科学实践的本相，但抵抗来自物质，而不是来自未知作为一个被追问出来的对手。物质抵抗是单次实践中人对物质的调试；问题传统中跨代生效的回话则是一种迥异的单位。换言之，他们看见了科学如何对待未知，却都没有看见未知如何在被对待的过程中变得越来越能回话。
最小的反例可以在这里找到。如果未知是一个等待被减少的存量，那么牛顿力学应当使“匀速直线运动何以可能”这类问题消失。但事实上，牛顿力学回答了这个问题的同时，制造出了一个前牛顿时代根本不存在的未决问题：惯性系在哪里？绝对空间是否真实？这个问题不是旧未知的残余，而是新回答的回声。它由回答本身产生，并且比旧未知更尖锐、更具体、更能通过后来的实验说话。抽象地说：如果未知是存量，回答会减少它；如果回答后未知反而增殖并改变了性质，那么未知就不是被等待的东西，而是被制造出来的东西。旧框架在这里显出了它们的边界。
回话的未知：撤销“等待性未知”之后结算出来的新结构
现在可以做一个动作：把“等待性未知”暂时撤销。不要问未知如何被逼近、被稳定、被征服，改问：未知在每一轮逼近之后变成了什么？答案立刻不再是“变得离真相更近”，而是“变得更会回话”。
这个转变有四个彼此咬合的环节。前一个版本曾把它压缩为三个，但第二与第三环节之间有一个必须单独铺开的制度门槛。四个环节必须依次讲清，不可跳步。
第一，回答使未知变得更具体。一个未被回答的未知往往是一团无名的不安：古人面对瘟疫，不知道它是神罚、节气还是毒气。一旦细菌学回答了传染的机制，未知并不消失，而是变成一个更尖锐的问题：为什么有的人接触了细菌却没有发病？免疫系统因此成为一个新的未知区域。未知从“世界究竟如何”的整体之谜，变成了“在这个已经建立起来的解释框架里，哪一个边缘还不能被覆盖”的局部缺口。
第二，回答框架的确定性使这个具体化的缺口能够被标记出来。这里需要停顿一下，因为从“更具体”到“会说话”之间并非自动过渡。一个反常之所以能够从无名的偏差变成一个可指认的缺口，恰恰是因为回答已经提供了一个足够确定的参照框架。框架让原本不可见的偏差变得可见：正是由于牛顿力学对行星轨道有精确的数学预言，水星近日点每世纪多出的那一点进动才不再是一个可忽略的观测误差，而成为一个必须被解释的反常。没有这个框架，那个微小偏差根本不会被当作“不可忽略”记录下来。但框架本身只制造了缺口，还不足以让缺口被看见。看见需要进一步的共同体动作：可靠的观测技术、可重复的实验程序、标准化的数据处理惯例。水星近日点的反常之所以成为一个不能被删掉的标记，是因为它经过了数十年高精度天文观测的反复确认；兹威基1933年对后发座星系团的观测之所以没有立刻改变天文学，是因为那个观测在当时尚缺乏足够确定的理论框架与数据重复来支撑它。所以，标记不是框架自动完成的，而是一个发生在共同体内部的实践过程：框架给出“此处必有缺口”的判断，而观测的重复、数据的可编码性与实验者之间的相互校准，把这个判断变成一个共同体的公共标记。这个标记过程，正是“具体化”与“评判力”之间那道一直在本文早期版本里被省略的制度门槛。
第三，标记后的缺口获得评判力。一旦一个缺口被共同体的观测与编码牢牢标为一个不能移除的反常，它就不再是被动等待解释的现象。它开始主动地、结构性地对回答本身说话：水星近日点进动这个被标定的偏差，以“牛顿引力不能完全解释行星轨道”这个否定形式迫使每一个想捍卫旧框架的人正面应对。评判力不是某种神秘的声音，而是框架确定性经过标记这个过程之后所转成的否定压力。框架让缺口可指认，标记让缺口的否定压力成为共同体尺度的压力。在这个意义上，具体化、标记与评判力不是三个并行的步骤，而是同一个框架效应在三个不同尺度上的展开：框架让未知变得可指认，标记让未知的指认成为公共事实，评判力让这个公共事实对旧答案施加否定。
第四，评判力被制度化，规定下一段路。被标定、被赋权的未知通过论文、基金、教材、训练被稳定下来，变成一个共同体承认的、可以继续被追问的问题空间。于是，未知不再是一个等待被发现的原始事实，而是被整个科学制度周期性地再生产的当下对手。
这四个环节合起来，就是我所说的“回话的未知”。定义可以写得很紧：在现代实验科学中，未知不是先于追问的等待者，而是在追问制度的每一次循环中被生成、被标记、被赋予评判力，并据此改写下一轮追问方向的对手。它不指未知的内容，而指未知被科学赋予的存在方式。这个概念不是“自然抵抗”的翻版。皮克林的抵抗是单次实践中物质对实验者目标的抵抗；回话的未知发生在跨代尺度上，是一个问题传统中的制度性回话。它也不等于“问题化”。问题化说的是：某些领域被构造为问题；回话的未知说的是：被构造出来的问题会反过来构造追问者。中间这一步，正是旧解释都漏掉的。
这里必须做一个严格的区分。未知与问题不能混为一谈。未知是本体论状态：在某个既定的知识条件下，尚未被纳入解释框架的那一部分实在或现象。问题则是未知的语言化、制度化显现形态：当一个未知被共同体用可操作的术语表述出来，进入项目申请、论文评审和教科书目录时，它才成为一个问题。回话的未知通过问题来发言，但二者不能等同。未知可以存在而未被问题化；而一个问题之所以能有回话的力量，是因为它背后站着一个已经被回答框架逼出来的未知。水星近日点进动是一个观测事实，属于现象层面；它成为“牛顿引力为何在此处失效”这个能被追问的问题，是因为框架把这个观测事实标定为一个反常，并赋予它否定力。因此，精确的表述不是“未知以水星近日点进动这个事实回话”，而是“未知以水星近日点进动反常这一经过标定的问题形态回话”。未标定的观测事实不能说话；经过了框架标定与共同体标记，事实才被提升为问题，问题才携带着未知的回话。这个区分在方法论部分会被再次使用，并使用这个严格化的表述。
还有一个必须从概念内部做出的区分，正是本文对“被压制的反常”这一反驳的回应：回话的未知不是一种每次都会实现的力量，而是一种被结构性地产生出来的潜能。回话的潜能来自哪里，回话的实现取决于什么，这两层既不同、又必须同时保留。回话的潜能由回答框架的确定性产生：一个足够的框架结构性地制造出边缘缺口，这些缺口一旦存在，就永远带着“这里还没有被解释”的否定倾向。但潜能的实现不取决于框架本身，而取决于制度场域的密度、资本配置与范式保护带的厚度。大陆漂移的缺口早在一个世纪前就携带着回话的潜能，但直到古地磁与海底扩张的证据被标记、直到跨学科制度通道被打开，这个潜能才变成对旧地学的实际裁决。潜能与实现之间的这道门槛，正是本文反复提到的那个标记与制度化的过程。把“回话”定义为潜能，不等于把“回话”说得软弱无力；恰恰相反，潜能的存在本身就要求制度做出某种回应，只是回应的速度、路径和代价受到历史条件约束。这个区分使“被压制的反常”不再构成反例，而成为理论内部必须由制度维度来解释的历史变量。
一个实例可以把这个结构钉牢。经典物理学回答了“天体如何运动”，于是未知以“惯性系是什么”回话。这个回话并不停留在思辨，而是通过迈克尔逊—莫雷实验被标定为一个可操作的追问；这个追问又逼出狭义相对论。狭义相对论把“同时性”从一个默认常识改成了一个必须被定义的东西，未知于是以“引力如何纳入惯性系”再次回话，逼出广义相对论。每一个环节都不是人主动发现了某个已在等待的事实，而是上一轮回答所制造的未知，以新的形态、新的评判力、新的制度压力回问回来。科学史不是知识对未知的单向逼近史，而是人与未知之间一条不断加深的问答链。
这当然不是要把未知拟人化，说它有一个意志。回话的未知是结构性的：一旦某个解释框架建立起来，它的边缘就会产生新的、在框架内部无法回答的问题；这些问题的产生不由任何人决定，而由框架与事实之间的差距决定。它们的存在方式是被制度性地标记、放大和稳定的，因此看起来像是未知在说话。事实上，是整个科学制度让未知有了说话的条件。但正是这个“让未知拥有回话能力”的结构，才是现代实验科学区别于其他知识传统的根本之处。
近邻检测与不可还原性论证
一个必须被正面提出的问题是：本文的“回话的未知”是不是已经在某个理论传统里被人用另外的名字说过？下面的检测把本文的核心命名放到几个最强近邻面前，逐一给出它已经说到哪一步、分离线在哪里，以及一个判决性对照预测。如果这些分离线划不出来，本文就只是给旧理论换了一层比喻。
在这一组近邻中，最危险、也最需要首先处理的是拉里·劳丹的“问题生成”理论。劳丹在《进步及其问题》（1977）中已经系统论证：科学进步的核心是解决问题，而解决经验问题与概念问题的过程会不断生成新的问题。一个解决之后，新的问题随之出现，而且这些问题对下一轮研究具有导向作用。这个直觉与本文的核心直觉高度相近。如果不正面划出分离线，“回话的未知”完全可以被压缩成“劳丹式问题生成加上制度稳定”，本文的理论贡献将归零。
因此，必须承认劳丹已经看到了认知层面的一半。他正确地指出，问题不是知识的残余，而是解题活动本身不断再生产的对象。他也正确地看到，新旧问题之间具有方向性的传递。然而，劳丹的框架在本体论上仍然停在发现学的边界之内：在他的理论中，问题主要作为理论评价的输入项而存在，其“生成”是理论之间比较的后果。一个经验问题之所以成为问题，是因为某个理论不能解决它；一个概念问题之所以成为问题，是因为某个理论的内部结构不融贯。问题的存在方式始终是“尚未解决的待办事项”。它不会说话，不会判断，不会规定下一段路；它只是被列入一张更长的清单，等待下一个更有效的理论来处理。换句话说，劳丹的“问题”仍然是一个沉默的等待者，只不过从“自然之谜”变成了“理论解题清单上的条目”。
本文与劳丹的分离线因此不在“新问题是否产生”上，而在“新问题是否获得了回话能力”上。但这里必须进一步把“回话能力”拆成劳丹已触及的层面与劳丹未触及的层面，以免本文自己也变成一个含混的比喻。劳丹对问题的分析中已经隐含了一个“重要性”概念：经验问题与概念问题各自有分量，异常问题比普通问题更能推动理论更替。劳丹的问题因此并非完全没有压力。本文与劳丹的差别不在“问题是否有压力”，而在“压力如何从框架确定性经过共同体标记转化为独立于理论比较的持续性否定”这整个链条。在劳丹那里，异常的重要性来自它对抗某个特定理论的解题能力；在本文这里，缺口一旦被标记，就获得了不依附于任何单一理论解题需要的持续性否定力。这个差别可以用一层区分说清：劳丹的“问题压力”是逻辑的、理论内部的；本文的“评判力”是逻辑反常经过共同体标记之后形成的、可对共同体议程产生结构约束的否定压力。前者是理论比较的输入，后者是下一轮提问的规定者。同时，评判力也不是布迪厄的象征资本压力：象征资本压力是场中行动者争夺合法性的社会力量，而评判力是未知在制度标记之后对场本身施加的约束。下文对布迪厄的对话会把这个分界再画实。
在这一基础上，分离线可以写得更清楚。劳丹缺少两个维度。第一，“标记与制度性回话”的维度：劳丹没有追问，一个反常为什么有时能被共同体听见，有时却被搁置数十年；他也没有说明，一个未知要经过什么样的共同体标记过程——可重复观测、标准数据集、跨实验室校准——才能从私人头脑中的困惑变成共同体不可回避的研究议程。第二，“未知存在方式改变”的维度：劳丹只讨论问题如何被生成，却没有讨论生成出来的问题如何反过来改变提问者的存在处境。本文的“回话”不是“被生成”的另一种说法，而是“被标记、被赋予评判力并反身塑造追问者”的一种状态。
可以用一个判决性对照预测使这条分离线可检验。如果科学进步完全由理论解题能力的比较驱动，那么一个被搁置的反常只有在某个理论需要它时才重新成为问题；它本身不具持续的回话压力。而本文预测：即便没有现成理论可以吸收某个反常，只要这个反常被制度性标定——通过一个可重复观测、一个可编码的数据集、一个被纳入研究训练的标准问题——它也能持续对共同体施压，逼出新的修正或竞争纲领。暗物质的历史正是这样一个中间态：星系旋转曲线这个反常，在许多年里没有现成理论可以吸收，却仍然凭借观测的反复出现成为天体物理学不可回避的核心问题。劳丹的框架解释不了这个“无理论但仍有压力”的状态，而本文的解释重心恰恰在这里。
第二组近邻来自科学实践哲学与科学技术研究。安德鲁·皮克林在《实践的冲撞》（1995）中已经指出：实践中的人的力量与物质力量在“抵抗—适应”中相互调节，科学是一种异质性力量的动态冲撞。分离线在于尺度与单位：皮克林的抵抗发生在现场实时尺度，以物质对实验者具体目标的抵抗为轴心；本文的回话发生在代际与制度尺度，以问题传统中的回话为轴心。判决性对照预测是：若科学实践中的每一次调整都只是当场物质抵抗的结果，且该抵抗不在更长的时间尺度上形成会被下一代继续追问的问题，则皮克林的框架足够；若实践中每次解决的抵抗都制造出旧问题框架绝对无解的下一轮问题，并把这种无解稳定为研究传统，则本文成立。
布鲁诺·拉图尔在《行动中的科学》（1987）中提出了一个必须被认真对待的立场。他的黑箱并非永远关闭；拉图尔明确讨论过黑箱的“相对不可逆性”，即黑箱在新的网络或争议中可以被重新打开。因此，分离线需要后撤到更精确的位置：拉图尔的重新打开需要新的网络动员、新的行动者加入和新的争议构造；而本文关注的，是黑箱在使用边缘自发地、制度性地生成新缺口，不需要行动者有意发动争议，缺口就已经被共同体列为下一轮问题。判决性对照预测是：若教材写定的算法、定理或事实仅在争论者动员新联盟时才被重新打开，且没有这种动员时知识珍珠只被原样维护，则拉图尔的稳定模型足够；若被教材稳定下来的知识珍珠在应用边缘持续制造全新问题，并且这些问题在无人有意发动争议的情况下自动进入研究议程，则本文成立。
汉斯-约尔格·莱因伯格在《走向认识论事物的历史》（1997）中区分了“认识论对象”和“技术对象”：前者是在实验脉络中生成的尚未沉淀的研究物，后者是已沉淀、可复制的工具。他的单位是实验系统，追问的是研究物如何在一个系统中沉淀为工具；本文的单位是科学共同体与制度场域，追问的是整个问题传统中未知如何被制度性地再生产为回话对手。判决性对照预测是：若研究物在一个实验系统内沉淀为工具之后，其认识论功能就此封闭，且不再对整个共同体的未知结构产生扰动，则莱因伯格足够；若已沉淀的工具在本领域之外被重新问题化，并反过来改变整个学科的未知边界，则本文成立。以暗物质为例，旋转曲线反常最初是一个局部天文观测中的“认识论对象”，但它没有沉淀为天文学内部的一个局部工具；它溢出到粒子物理、宇宙学和基础引力理论，成了一个跨领域的问题传统。正是这种溢出效应，超出了莱因伯格以实验系统为单位的框架。
弗里德里希·哈耶克在《知识在社会中的运用》（1945）中提出，社会知识分散在无数个体中，价格机制作为一个协调场使分散知识汇聚成有效公共决策。如果把科学中的期刊、引用与评审网络类比为价格机制，可以得到一个协调分散知识的科学模型。分离线在于：价格机制是中性信息处理装置，不判断问题方向，不区分交易内容，不塑形知识；科学制度场必须定义什么算合格、什么算科学、什么算优先，它天然地、持续地塑形着问题的重要性和解法的正当性。协调与塑形是两回事。判决性对照预测是：若科学评审制度从未系统性地排除某些问题类型，而只是无差别协调研究者分散的已知知识，则哈耶克的协调器模型足够；若评审、期刊偏好、范式传统持续把部分追问方向标记为“不重要”“不科学”“不值得做”，且仍被称作科学的必要机制，则本文成立。
最后一位近邻是皮埃尔·布迪厄（Bourdieu, 2004）的科学场域理论。本文引入布迪厄，既是为了承认一个真实的文献缺口，也是为了把“制度场域”从一个模糊的背景板提升为一个有结构的分析工具。布迪厄把科学场看作由资本（尤其是象征资本）、惯习与位置争夺构成的社会空间；什么算合法问题、谁能追问、谁的答法被承认，都取决于场中行动者之间的位置关系。本文接受这一基本描述，并把它作为“未知被收编或压制”的制度机制加以使用。但布迪厄与本文之间仍然存在一条必须划出的分离线。
布迪厄的场域理论中有一个重要的概念：场的相对自主性。科学场之所以区别于纯粹的经济场或政治场，是因为它拥有某种内部规则，能够在一定程度上抵抗外部力量，并以自己的标准评价行动者。一个可能的反对意见由此产生：未知的回话压力，能否被理解为场域相对自主性的一种表现——即场域必须回应某些由其自身生产出的反常，否则其自主性就会受损？如果可以这样吸收，那么“回话性”就不再需要一个独立位置。这个反对必须被正面接住。
本文的回应是：在场域自主性与回话的未知之间，存在一个布迪厄没有概念化的结构。场域自主性回答的是“科学场何以能抵抗外部支配”；它把反常压力的来源仍然放在场上，看作是场为了维护自身自主性而做出的策略性回应。但本文要指出的是：反常压力的最初来源并不在场，而在框架与事实之间的确定性缺口。这个缺口先于场中任何位置争夺而存在，它甚至先于场的利益计算。一旦被标记，它就构成了场无法通过位置争夺来消除的压力。场可以选择压制它，但压制的对象正是这个来自场外的结构。本文并非要否定布迪厄的场域理论，而是要在布迪厄的制度骨骼上补上一块新的肌肉：未知在被场定义之后，还能以回话的方式反过来重塑场。布迪厄解释的是场如何给未知分配位置与命运；本文解释的是未知如何获得反抗场的结构能力。缺了前一句，本文的制度维度无处安放；缺了后一句，本文的核心判断就被还原掉了。
这几位近邻各自抓住了科学的一个截面：实践的当场抵抗、黑箱的稳定网络、问题的解题清单、分散知识的协调机制、实验系统中物的沉淀、科学场中的资本竞争。但它们共同默认了同一件事：有一个尚未出场的“未知”，以沉默等待者的身份被这些机制处理。本文的“回话的未知”不与之重合，因为它要切入的正是那个被它们当作背景、却从背景中不断跳出来的东西——未知在被处理之后回话，并因此使科学永远无法安定。这正是本文的不可还原之处。
一阶科学史案例：暗物质如何通过回话规定下一段路
上面的论证如果只停留在抽象层面，就仍然是一个诗意的断言。本节用暗物质的发现史展示“回话的未知”在一阶科学认知中如何具体运转，并且严格区分上一节概念中拆开的四个环节。选择这个案例，是因为它展示的不是科学制度如何反思自身，而是科学知识在边缘上制造新未知的完整过程，同时它含有一个劳丹式框架无法充分解释的“无理论但仍有压力”的中间态。
故事可以从一个已经稳定下来的回答讲起。到二十世纪初，牛顿引力以及其后的广义相对论已经为天体运动提供了精确的数学框架。行星绕太阳的轨道、恒星在星系内的运动，原则上都可以在引力理论内被计算。这个框架足够稳定，以至于每一个偏离都被视为下一轮追问的入口，而不是框架本身崩溃的证据。
第一个被记录下来的边缘缺口出现在星系团尺度。1933年，瑞士天文学家弗里茨·兹威基在研究后发座星系团时发现，星系团内星系的速度弥散太高，可见物质的总量根本不足以通过引力把它们束缚在一起。这个观测在当时的理论框架内无法被消化，但它尚未从框架中获得足够的确定性来被标记为反常。兹威基的发现因此只被少数人注意，没有立刻成为共同体不可回避的问题。这个早期插曲恰恰说明：框架本身不足以自动产生评判力。缺口被看见了，但还没有被标记；没有标记的缺口，不携带评判力。这正是上文把“标记”单独拆出来的经验理由。
真正的转折发生在二十世纪七十年代。薇拉·鲁宾及其合作者对仙女座星系等旋涡星系进行了精细的光谱观测（Rubin & Ford, 1970），发现星系外缘的恒星轨道速度几乎不随半径下降。按照牛顿引力定律，在可见物质集中于星系中心的条件下，外缘恒星的开普勒速度应当随半径的平方根衰减；但实际观测到的旋转曲线几乎是平坦的。这里发生了一件此前没有发生过的事：一个由精确框架制造出来的缺口，被足够可靠的观测技术反复确认，从而被标记为一个不可删除的反常。光谱观测的多普勒测量提供了可编码的数据；旋转曲线的平坦形态在不同星系中被反复复制；不同天文台的独立测量彼此校准。正是这个标记过程——而非兹威基式的单次观测——把“缺失质量”从一个模糊的猜测变成了共同体必须面对的否定性事实。
这个回话的具体形态，是两种互相竞争的解释被同时逼了出来。第一种解释是存在大量不发光的暗物质晕，延伸在可见星系之外，提供额外的引力束缚；第二种解释是引力理论在低加速度条件下需要修改，而不是存在额外的质量。值得注意的是，在旋转曲线这一观测之前，这两种解释都很难独立地以如此清晰的问题形态被提出。暗物质假说并非没有先声——兹威基已经提过——但正是平坦旋转曲线这个“回答后的回话”，把“暗物质”从一个悬空的构想变成了一个被共同体承认的问题空间，同时把“修改引力”从一个可能的思辨变成了一个必须被正面裁决的竞争选项。
在这里可以更清楚地看到标记与评判力之间的紧咬关系。平坦旋转曲线之所以能同时逼出两个彼此相反的解题方向，正因为它已经不是一个单纯的观测偏差，而是一个被标定的反常。它携带着一个清晰的否定：如果只有可见物质，曲线应该降下去；它没有降下去。这个否定不依赖于任何关于暗物质的候选粒子理论，也不依赖于修改引力的具体方案。它先于这两者而存在，并且对它们同时施压。这是评判力的一个干净标本：缺口的压力来自框架与事实的确定性紧张，而非来自某个现成理论的竞争需要。
随后发生的制度化过程，完整地展示了回话的未知如何规定下一段路。旋转曲线反常被写进教科书，成为天体物理学训练中一个标准问题；被写进项目申请，成为大量观测与理论工作的正当性来源；被写进跨领域合作，从星系动力学延伸到粒子物理与宇宙学。暗物质候选者被提出，直接探测实验被设计，宇宙微波背景辐射的精测又把暗物质与宇宙结构形成联系起来。未知不再只是一个局部天文观测中的疑难，而是一个横跨多个子领域的、被制度稳定的问题传统。
在这个案例中，四个环节的咬合非常清楚。第一，回答——即牛顿引力与广义相对论所建立的精确框架——把“星系外缘恒星应当遵循怎样的速度分布”变成一个可计算的问题，使缺口得以具体化。第二，光谱观测的可重复性与数据的可编码性把平坦旋转曲线标记为一个不可删除的反常。第三，这个被标记的缺口获得评判力，对“只有可见物质”这个默认选项说“不”。第四，被逼出来的新未知通过教科书、基金、实验设计被制度化为下一段路，使整个共同体的下一轮提问不再由人的好奇任意决定，而由“暗物质还是修改引力”这一对手决定。
这里也可以看到上文所说的“无理论但仍有压力”的中间态。在二十世纪七十年代末，还没有一个被广泛接受的暗物质粒子理论，也没有完备的修改引力理论；但平坦旋转曲线这个反常仍然持续施压，迫使天文学界把它列为优先问题。这个压力不是来自某个现成理论的解题需要，而是来自被标定的缺口的持续性否定。这是劳丹式问题生成框架无法充分解释的现象，也是本文判断的独特落点。劳丹可以解释一个被搁置的反常为什么在某个理论需要它时重新变得重要，却解释不了为什么一个长期没有理论能吸收的反常仍然能作为研究议程的核心持续存在。持续的不是解题的吸引力，而是标记的压力。
二阶制度案例：开放科学运动如何让未知再次开口
暗物质展示的是知识边缘上的未知回话。开放科学运动则从另一个层面展示同一结构：当某个被制度默许的缺口长期存在时，未知如何通过新的数据形态取得回话能力，以及制度如何同时稳定并削弱这一回话。这个案例是元科学层面的事件，本文明确承认它不替代一阶案例，而是对“制度条件”这一维度的补充说明。这里必须把分析焦点放在一个此前常被写成制度故事的环节上：一个技术指标如何转化为对整个学科的评判性话语。
心理学是一个以实验方法为核心、同时又长期处于方法争议中的学科，是观察制度层面的回话的理想场所。2011年，一篇关于“预知”的实验论文在主流期刊发表。这个效应如果为真，会动摇物理学和生物学的根基；它能通过同行评议，恰恰暴露了心理学研究实践中一个长期被默许的距离：统计显著性如何被追求，报告如何被选择性呈现（Ioannidis, 2005; Simmons, Nelson, & Simonsohn, 2011）。这里的关键在于，被选择性报告的制度所掩盖的那个未知，并不是一个等待中的真相，而是一个被制造出来的、会回话的缺口。正是因为标准的“合格”和“足够接近真相”之间有一道规范管不到的距离，“预知”这类结果才得以被发表；也正因为发表之后被人追问，那个被默许的缺口才第一次以“可重复性”这个清晰的面目回话。
在开放科学运动之前，心理学中关于“许多研究可能不可重复”的不安，长期处在一种分散的、无法制度命名的状态。研究者私下知道“文件抽屉”存在（Franco, Malhotra, & Simonovits, 2014），知道显著性可能是选择的结果，但这种知道没有变成共同体必须接住的回话。理由并不神秘：每个单独的研究报告都可以用现有的“合格”标准为自己辩护，而没有一个跨研究的、可编码的尺度能把这些分散的不安聚成一个统一的问题。这正是“等待性未知”在制度层面的样态：它存在，但不说话。
这里必须仔细追踪一个转化过程，因为它是本文概念中“标记”环节最完整的制度样例。2015年，一个大型合作项目对100项已发表的心理学研究进行系统重复，结果只有三分之一多一点的效果被成功重复（Open Science Collaboration, 2015）。这个项目的关键动作，不只是执行了一百次重复实验，而是发明了一种可编码的度量：每一项研究的重复是否成功，被置于统一的判定标准之下。分散的“有些研究复现不出来”由此被压缩成一个可引用、可比较的“复现率”。转化就发生在这个压缩点上。在此之前，“不可重复”是一个圈子内的模糊传闻；在此之后，“不可重复”成了一个被标定的缺口，携带着一个清晰的否定：如果心理学发表的大多数结果在严格重复下不复现，那么“合格”与“开创”之间的距离已经超出了规范的边界。技术指标正是这样被转化为评判性话语的——转化的媒介是统一度量与统一编码，转化的结果是未知以一个此前无法被制度命名的形态开口说话。
制度于是开始动作。传统期刊吸收改革语言：鼓励预注册、发放开放科学徽章、要求数据共享计划；基金机构开始要求数据管理方案；教职评审逐步加入可重复性贡献。这些动作可以被理解为制度对追问压力的回应。但必须区分两层。第一层是制度对未知的稳定：预注册把“探索性分析”和“验证性分析”分开，于是未知不再是一个笼统的“心理学是否可靠”，而是一个具体的“同一份数据在什么分析决策下可以得出什么样的结论”；开放数据把未被报告的结果暴露出来，于是“文件抽屉”从一个圈内人知道的秘密，变成了一个可以公开审计的问题空间。回话的未知被制度化为下一段可操作的路。
第二层是制度对回话的削弱。预注册被许多研究者当作合规动作而非真正的约束；开放数据的执行参差不齐；期刊一边发徽章，一边仍偏好新颖、显著、引人注目的发现，因为学术市场仍奖励那些能吸引注意力的珍珠。改革被纳入它本要改革的那套评审权力结构之中。但如果只把这一层写成“追问压力被制度收编”的循环，就会漏掉更重要的东西。从回话的未知这个层面看，结果并不如此悲观：即便这场运动没有实现它激进的愿景，它也永久地改变了心理学中未知的存在方式。从此以后，心理学中的每一个显眼发现，都不再只是等待被引用或遗忘的珍珠，而是一个会被预注册、公开数据、重复审计反复盘问的对手。未知不再那么容易回到那个被默许的模糊距离中去。
这个案例同时展示了本文与旧“追问之潮对抗制度之场”判断的差别。旧判断把这一历史写成追问压力冲击制度场域、制度场域收编改革的循环。这没有错，但不够。它漏掉了夹在中间的第三极：那个通过数字、复现率、开源数据说话的未知。如果没有未知以“复现率”这个新的、可量化的形态回话，压力与制度之间的拉锯只会是反复的政治和修辞运动，无法造成知识形态的真正改变。正是因为未知这回话，开放科学运动才不只是学术权力斗争中的一个段落，而是一次“未知存在方式”的重置。
同时，这节也回应了一个必须被正面回答的反驳：如果未知真会回话，为什么科学史上存在大量被长期压制、忽视或延迟接受的反常？大陆漂移说被搁置数十年，宇宙学常数被爱因斯坦称为自己最大的错误后又被重新激活。这些案例似乎说明未知经常被“静音”，而非自动“回话”。本文的回应是：回话的未知并非每次都会实现，因为回话有潜能与实现的层次之分。回话的潜能由框架的确定性产生，但潜能的实现程度取决于制度场域的密度、资本配置与范式保护带的厚度。大陆漂移的缺口在二十世纪早期已经携带着回话的潜能，但它缺乏足够确定的观测框架与跨学科制度通道，因此其回话被长期压低；直到古地磁与海底扩张证据将其标定为大陆漂移不可回避的裁决，它才真正开始规定下一段路。没有标记，潜能不变成否定；没有制度条件，标记不变成压力；没有回话的未知，制度再完备也只是一台空转的机器。潜能必须由框架产生，实现必须由制度放大或压制。二者互相生成，但永远不可混为一谈。这个反驳因而并不削弱本文，反而强化了制度维度的不可或缺。
可复现的接口与适用边界
一个新概念如果“说得很对但别人用不了”，它就仍然只是一个漂亮口号。本节给“回话的未知”装上可复现的接口，并用暗物质的历史演示一次完整的分析步骤，同时对边界做诚实交代。
可直接激活这个概念的具体情境是：取任何一个已经写进教材的“知识珍珠”——比如孟德尔遗传定律或某个得到公认的心理效应。不要问它是否正确，改问：这个珍珠在哪一个使用边缘上，产生了一个旧的解释框架无法回答、却被共同体承认的新问题？那个新问题最初是怎样被表述的？它通过什么证据、数据、反常实验回话？它最后怎样被评审、基金、教材稳定为下一段路？
一套最小分析步骤可以概括为五步，每一步都对应上文概念中的一个环节。第一步，标出回答：选定一个科学领域中的一个被稳定下来的答案或方案。在暗物质案例中，回答是牛顿引力与广义相对论所建立的精确天体运动框架。第二步，写出它制造出来的新未知：这个答案在什么边缘上失效？为什么这个问题在旧答案之前不可能以这个形态出现？星系外缘恒星速度分布的精确计算，只有在可见物质分布已知且引力定律确定的前提下才可能；平坦旋转曲线因此是框架自身边缘上的缺口。第三步，追踪标记：这个缺口通过什么具体手段——实验、计算、调查——被标定为一个不可删除的反常？这一点必须写明，因为没有被标记的缺口不携带评判力。旋转曲线以光谱观测的多普勒测量为手段，经多次重复与跨天文台校准，被标记为对“只有可见物质”的确定性否定。第四步，观察制度化：这个被标定的未知怎样被写进项目申请、论文评审、学位训练？它在多长时间里成为共同体公认的问题？从鲁宾观测到暗物质成为教科书标准问题，经历了一段并不短暂的时间，但问题形态一旦被稳定，就跨入了粒子物理与宇宙学。第五步，判定回话性：如果这个未知只在个体头脑里停留，没有被制度性地标记与稳定，那么回话就没有实现；如果它已经改变了共同体的下一轮提问，回话即成立。暗物质显然通过了最后一步：它改变了整个天体物理学与宇宙学的下一轮提问。
这个分析步骤不把“未知”与“问题”混为一谈。在第二步，我们谈的是未知——一个未被纳入现有框架的实在或现象；在第三步与第四步，我们谈的是这个未知被标定、被语言化、被制度化后进入论文与教材的形态。回话的未知通过问题发言，但分析必须首先看见问题背后的那个未知，再追踪它如何被标记、如何成为问题。
一个外推接口由此打开。这套步骤不只适用于数理实验科学。医学中“为什么有效”的问题在随机对照试验稳定之后变得更强，促成了个性化医疗；工程技术中“安全”只在每一次失效之后被重新界定；教育学中“学习结果”被测量并被稳定，反而制造出关于学习过程本身的更深问题。回话的未知提供的是一个通用的观察角度：任何知识一旦被稳定，它的边缘就会生出新的、会回话的对象；一个知识制度是否仍然活着，看它是否允许这些回话决定下一轮的问题。
但必须诚实交代边界。回话的未知以“追问为内在驱动、制度为外部条件、知识珍珠为中间产物”的现代实验科学为典型。博物学式的分类整理更接近珍珠的缓慢沉积，其内部缺少理论框架与反常数据之间的紧张，未知的回话相对微弱。大科学中，制度的前置性极强，追问在项目启动之前就已被制度优先级塑形，未知的回话常被收编为技术指标，而不是反过来规定制度方向。人文与社会科学内部，制度边界更柔软，未知的回话有时以学派分裂而非收编的方式展开。这些差异并不推翻本文，而是划出判断的适用条件：回话的未知不是一切科学的同一本性，而是在现代实验科学这个特定形态中让人与未知的关系成为连续追问的那层结构。同时必须再次强调：回话的潜能与实现之分，在这些边界处尤其重要。在博物学与大科学的边缘，缺乏的不是框架产生缺口的可能性，而是让缺口被标记、被稳定为共同体压力的制度通道。潜能在，而实现之路不通——这正是这些知识形态与现代实验科学之间的真实距离。
结论：河口的涨落与一个收窄的回答
回到最初的问题：科学究竟改变了什么？本文需要明确地重复引言已经做出的收窄：这不是对“一切科学”的全称回答，而是对现代数理实验科学及其前沿领域的一个判断。如果要把这个判断外推至博物学、大科学或人文社会科学，必须面对上一节所述的边界条件；这种外推需要另外的论证，本文不做。在这个收窄范围内，本文的回答是：现代实验科学没有给世界一副新的知识图景，而是改变了一个更根本的东西。它把人与未知的关系从安顿下来改为追上去，而使得“追上去”真正成为可能的，是未知从一个被膜拜的整体变成了一批会回话的对手。
在现代实验科学之前，未知大多是制度里被默许的残余：谜、神意、不可言说的传统。人面对它，不是追问，而是敬畏、接受或背诵。现代实验科学把未知变成了追问前方的下一段路；但更重要的是，它把那些路造得会回话。每一个答案都不再是终点，而是下一波问题的起点。追问要能传下去，必须有制度条件；制度要能一直有路可走，必须有未知在边缘不断开口。现代实验科学留下的，不是一池清水，而是一条永远在涨落的河口。人们不断地想把它最精彩的阶段收成珍珠，端到课堂上去；可一旦真的收干净了，那股让未知开口的东西也就停了。
回话之所以不是一句诗意的拟人，是因为它有明确的结构：回答的框架制造出具体缺口，共同体的观测与编码把缺口标定成不可删除的反常，被标定的反常获得对旧答案的否定力，制度再把这种否定力稳定为下一段路。这四个环节共同构成回话的机制；而回话潜能是否实现，取决于制度场域是否允许缺口被标定、被听见、被接住。这就是本文补上的最后一块拼图：不是简单地说“未知会说话”，而是说清楚未知为什么有时说得很大声，有时被逼着沉默几十年。潜能与实现之间，隔着一整套制度条件的门槛。科学之所以是科学，就在于它长出了一套不断重新打开这道门槛的机制——哪怕每一次打开都只是部分地成功。
这个判断有一个明确的证伪条件：如果在现代数理实验科学内部，一个核心发现能在没有同行氛围、没有制度性阻力、也没有代际推进的情况下，仅凭一份清单就自动走向更深处，而且未知不再以任何反驳或指路的方式回话——即每一个被稳定下来的答案都不再制造新的边缘问题——那么本文的说法就错了。更具体地说，如果科学制度可以对“合格”与“开创”之间的距离作出完全量化的规定，使得回话的未知永远不可能从规范管不到的缝隙中挤过，那么本文所描述的结构就停息了。在这种情况下，现代实验科学要么退化为完全受控的工程，要么变成自我封闭的传统；无论哪一种，它都不再是本文所说的那种把未知从沉默的残余改造成会追问的对手的科学形态。现代实验科学之所以持续具有认知活力，正是因为它永远不能只靠那些已经装进格子里的珍珠活下去：它需要那股不断涌动的追问，需要那道既有路又立了堤的制度条件，更需要那个总在边缘开口回话的未知——以及这三者之间永不停止的问答。
注释
[1] 本文的收窄与材料边界：本文所称“科学”限于十七世纪科学革命以来以理论驱动的实验与数学化为核心特征的现代数理实验科学及其前沿领域；暗物质史与开放科学运动均只作为思想拓展性质的例示使用，历史细节被简化、选择性聚焦并纳入本文论证，不构成新的经验数据。文中不引入原始田野材料，也不宣称对既有公开数据作出新的经验分析。
[2] “等待性未知”是本文作者为诊断旧解释而构造的描述性术语，并不直接对应某一既有哲学概念。它标示一种被历史稳定下来的存在论预设：未知先于追问而存在，并作为不因追问而改变自身性质的沉默等待者。
[3] 本文与劳丹的对话限于《进步及其问题》（1977）中的问题生成论题，不扩展至劳丹后来的认识论与法学理论。劳丹已经看到解题活动再生产新问题，但本文认为他未把新问题获得评判力与反身塑造追问者这一环节独立出来，也未区分理论内部的逻辑压力与被共同体标定之后的持续否定压力。
[4] 此处对哈耶克的引用是类比性策略：并非主张哈耶克本人建立过科学制度模型，而是借助其分散知识协调论来反向划出“协调信息”与“塑形知识”的差异。
[5] 本文对布迪厄的接受限于其科学场域理论对合法性、资本、惯习与位置争夺的描述，不采用其把问题形态完全还原为场中位置竞争的还原论结论。本文与布迪厄的差别在“回话的未知”是否能够被还原为场域相对自主性的表现。
[6] 开放科学案例中提到的2011年“预知”论文、选择性报告争论、2015年可重复性项目等，均为公开可查的既有科学事件与文献。本文仅把它们作为元科学层面的思想例示，不重新评估这些研究的经验结论。
[7] 本文标题、摘要与结论共用同一收窄口径：判断对象为现代数理实验科学及其前沿领域，而非“一切科学”。对博物学、大科学和人文社会科学的提及仅用于划界，不构成全称外推。
参考文献
Bourdieu, P. (2004). Science of Science and Reflexivity. University of Chicago Press.
Franco, A., Malhotra, N., & Simonovits, G. (2014). Publication bias in the social sciences: Unlocking the file drawer. Science, 345(6203), 1502–1505.
Hayek, F. A. (1945). The use of knowledge in society. American Economic Review, 35(4), 519–530.
Ioannidis, J. P. A. (2005). Why most published research findings are false. PLoS Medicine, 2(8), e124.
Kuhn, T. S. (1962). The Structure of Scientific Revolutions. University of Chicago Press.
Latour, B. (1987). Science in Action: How to Follow Scientists and Engineers through Society. Harvard University Press.
Laudan, L. (1977). Progress and Its Problems: Towards a Theory of Scientific Growth. University of California Press.
Merton, R. K. (1973). Social Theory and Social Structure. Free Press.
Open Science Collaboration. (2015). Estimating the reproducibility of psychological science. Science, 349(6251), aac4716.
Pickering, A. (1995). The Mangle of Practice: Time, Agency, and Science. University of Chicago Press.
Rheinberger, H.-J. (1997). Toward a History of Epistemic Things: Synthesizing Proteins in the Test Tube. Stanford University Press.
Rubin, V. C., & Ford, W. K. (1970). Rotation of the Andromeda Nebula from a Spectroscopic Survey of Emission Regions. Astrophysical Journal, 159, 379–403.
Simmons, J. P., Nelson, L. D., & Simonsohn, U. (2011). False-positive psychology: Undisclosed flexibility in data collection and analysis allows presenting anything as significant. Psychological Science, 22(11), 1359–1366.
附论一 · 一次跨域的结构搬移：预测误差为什么会随精度上升而变得更有信息
本文正文的核心判断是：现代数理实验科学最深的改变，不是给世界添了一批新对象，而是改变了未知的存在方式——未知从场中沉默的残余，变成一个会回话、会反驳、会规定下一段路的对手。这个判断的薄弱处在于，它目前只能靠科学史材料来支撑；而科学史材料总是可以被重新叙述。要检验它是否是一个结构而不是一段叙事，需要看它在一个完全形式化的领域里是否保持同一个形状。信息论与预测加工理论提供了这样一个领域。
在信息论的表述里，一个消息所携带的信息量与它的意外程度直接相关：越是不可预期的事件，被观测到时提供的信息越多。这条关系有一个常被忽略的推论：意外的大小不是事件本身的属性，而是相对于一套预测框架而言的。同一个观测，在一个粗糙的框架下只是噪声，在一个精确的框架下则是一个尖锐的、有方向的偏离。预测加工与主动推断的理论把这条推论推到了系统层面：一个持续降低预测误差的系统，并不因此走向误差消失，而是走向误差的结构化——随着模型精度上升，残留的偏离不再是弥散的噪声，而是集中在模型的特定假设上，从而直接指出下一步该修改哪一处。
这正是本文所说的"回话"的形式骨架。逐项对应：第一项，预测框架对应于本文所说的回答框架——一套具有确定性的理论加上它所允许的测量。第二项，预测误差对应于反常。第三项，也是关键的一项：在框架粗糙时，反常是无名的、可以被忽略的，因为它落在框架不作预测的地方；在框架精确时，同一个反常变成一个必须被解释的具体缺口，并且它的位置本身就规定了下一轮的问题。第四项，系统属性：一个不断提高精度的系统，其未解释残差的总量可以下降，但每一单位残差所携带的指路信息在上升。这就是本文正文那个悖论的形式表述——科学越成功地解释世界，它所面对的未知就越具体、越有方向、越能说话。
这次搬移的收获有三项。其一，它把"回话"从一个拟人化的说法改造成一个可以定义的量：一个反常之所以"会说话"，是因为它在一个高精度框架下具有确定的位置，从而能够把后续搜索限制到一个很小的假设空间里；而在低精度框架下，同一个反常不缩小任何搜索空间。这给出了一个可用的判据——反常的回话强度，可以用它把后续可能解释的空间压缩了多少来刻画。其二，它解释了本文正文没有解释的一件事：为什么并非所有反常都会回话。答案是：只有落在框架作出明确预测的位置上的偏离才会回话，落在框架未表态之处的偏离仍然是沉默的残余。旋转曲线之所以成为一个会说话的反常，正是因为牛顿引力与可见物质分布这两个前提共同作出了一个明确的定量预测。其三，它给本文的"结构性潜能与历史实现"这一区分提供了一个更清楚的说法：潜能由框架的精度决定，实现由是否有人被允许追下去决定。
必须同时说明这次搬移不能承担什么。信息论的意外度与预测加工的误差都是在给定模型族内部定义的，而科学史上最重要的那类回话，恰恰发生在模型族本身需要更换的时刻——这时"误差"无法在原有形式框架内被度量。因此本节的主张严格限定为：两侧共享的是"框架精度上升导致残差信息量上升"这一结构，不共享任何关于科学变革可以被形式化为贝叶斯更新的主张。本文明确拒绝后者。若有人试图把本文读成一种把科学史还原为推断过程的立场，那是对这次搬移的越界使用；本文在此预先划掉这条路。
附论二 · 回话为什么会失声：把同题域的三条支线收进一条主干
本文正文的论证有一个结构性的空缺：它论证了未知在科学中被改造成会回话的对手，却没有论证在什么条件下这个对手会重新沉默。如果回话是现代科学的常态属性，那么关于科学活力衰退的一切讨论都无从安放；本文将成为一篇只解释繁荣、不解释停滞的论文。同一研究计划下的另外三条支线恰好处理的正是失声，本节把它们收进来，使本文成为一个既能解释回话、也能解释失声的完整框架。
第一条路径是记账形式的改变。高度制度化的科学以可传递的结果为唯一的公共结算方式，于是研究者在过程中经验到的那种"走通了"的满足，不再被制度记为已实现，而被记为一笔指向未来结果占有的远期债权。这对回话的后果是具体的：一个尚未产出可传递结果、但已经把问题问得更尖锐的工作，在账面上什么也不是。回话所需要的那个中间状态——问题已经变得更具体、但答案尚未到手——恰好是这套记账法唯一不予登记的状态。于是回话仍然发生，却无法被制度接住。
第二条路径是再问条件的注销。可认证的成果与位置维持之间形成一条闭环：能够被认证的产出维持位置，位置又决定谁有资格设定下一轮问题。这条闭环的运转不需要任何人压制追问，它只需要持续地把"能被现有评审框架描述的问题"识别为值得做的问题。其后果是本文框架内的一个精确预测：框架内的技术性问题会空前繁荣，而那类要求更换框架的问题会沉寂。注意这条预测的形状——它并不预测问题数量减少，恰恰相反，它预测问题数量上升而回话强度下降，因为按上一节给出的判据，技术性问题的解决不压缩假设空间，只填充已知空间。
第三条路径是追问者位置的空缺。当一个领域充分建制化之后，问题可以按既定格式被生成、派发与结算，而不再需要某个具体的人从自己的困惑出发把它问出来。这是失声的最深一层：前两条路径下回话仍然发生只是无人接住，这一条路径下回话所需要的那一端——一个会被反常真正难住的人——在制度上不再是必需品。本文正文说未知成为"追问的对手"，对手关系需要两端；这一条描述的正是其中一端的消失。
三条收进来之后，本文的命题形态变了。原来的命题是"现代科学把未知改造成会回话的对手"，现在的命题是：回话的潜能由回答框架的精度产生，回话的实现则同时需要三个制度条件——过程状态可被登记、超出现有评审框架的问题可被立项、以及存在一个被反常难住的具体的人。这三个条件各自都可以单独失守，而每一种失守产生的表现不同：第一种表现为研究者在拿到结果之后仍然感到空，第二种表现为技术性问题繁荣而框架性问题沉寂，第三种表现为指标更忙而问题更窄。这三种表现是可分辨的，因而这个框架是可被经验区分的，而不是一个万能的解释。
这也意味着那三条支线不再需要独立发表：它们各自的机制已在此处被安置在同一个骨架上，若分开发表，读者会看到三个名字指向同一种衰退，而每一个的独立性都被另外两个吃掉。
附论三 · 收紧证伪：把一条不可执行的条款换成三条可查的
正文给出的证伪条件是：如果每一个被稳定下来的答案都不再制造新的边缘问题，本文就错。这一条在逻辑上成立，但在执行上近乎不可能——它要求对"所有答案"作全称观察。本节代之以三条各自对应一个制度条件、且可以在公开记录中查证的条款。
第一条，对应过程状态可否被登记。取若干高度制度化领域的科研机构评价细则与晋升条例，检索其中是否存在把"问题推进"、"过程判断"一类不产出可传递结果的工作计为有效业绩的正式条目。本文预测这类条目系统性缺位。如果在多数机构的正式文本中稳定存在这类条目，且它们在实际晋升中具有与论文相当的权重，则本文关于第一条路径的判断不成立。这一条完全依赖公开文件，不需要新数据。
第二条，对应超框架问题可否立项。取若干资助机构的申请书评审意见样本，考察被否决的申请中，"该问题无法用现有方法评估"或等价表述作为否决理由出现的频率，以及这类申请在获得资助后的长期引用与领域走向影响。本文预测：这类否决理由稳定存在，且其中一部分申请在其他渠道获得资助后产生了框架性影响。如果这类否决理由极少出现，或者出现之后所对应的工作在长期看来确实无影响，则本文关于第二条路径的判断被削弱。
第三条，对应追问者是否必需。取一个在外部资源或政治位置上经历过突然撤除的领域，考察撤除之后其内部问题的产生方式：是结构性地持续涌现出改变领域走向的新问题，还是继续按原有格式生成任务。本文预测后者。若观察到前者，且在多个领域重复出现，则本文关于第三条路径的判断应作为整体误判重新考虑。
最后收紧一处正文用词。正文多处使用"回话"这一拟人表述。按附论一给出的判据，本文在此把它定义为：一个反常具有回话强度，当且仅当它落在现有框架作出明确预测的位置上，并且它把后续可能解释的空间压缩到一个显著更小的范围内。本文的全部经验主张落在这一定义上，不再依赖任何关于未知具有意向性的说法。
参考文献
Shannon, Claude E. "A Mathematical Theory of Communication." Bell System Technical Journal 27 (1948): 379–423, 623–56.
Friston, Karl. "The Free-Energy Principle: A Unified Brain Theory?" Nature Reviews Neuroscience 11, no. 2 (2010): 127–38.
Clark, Andy. "Whatever Next? Predictive Brains, Situated Agents, and the Future of Cognitive Science." Behavioral and Brain Sciences 36, no. 3 (2013): 181–204.
Laudan, Larry. Progress and Its Problems: Towards a Theory of Scientific Growth. Berkeley: University of California Press, 1977.
Pickering, Andrew. The Mangle of Practice: Time, Agency, and Science. Chicago: University of Chicago Press, 1995.
Latour, Bruno. Science in Action: How to Follow Scientists and Engineers through Society. Cambridge, MA: Harvard University Press, 1987.
Rheinberger, Hans-Jörg. Toward a History of Epistemic Things: Synthesizing Proteins in the Test Tube. Stanford: Stanford University Press, 1997.
Hayek, F. A. "The Use of Knowledge in Society." American Economic Review 35, no. 4 (1945): 519–30.
Bourdieu, Pierre. Science de la science et réflexivité. Paris: Raisons d'agir, 2001.
Kuhn, Thomas S. The Structure of Scientific Revolutions. Chicago: University of Chicago Press, 1962.
Merton, Robert K. Social Theory and Social Structure. Rev. ed. New York: Free Press, 1957.
Popper, Karl R. Conjectures and Refutations: The Growth of Scientific Knowledge. London: Routledge, 1963.
关于本文创新智商标注
本文的全文盲评分为 136（评分者未参与本文原稿写作，具备评分资格）。三篇附论由编辑部在发表前补写，补写后的 140 是修改设计目标，不是认证分——按本栏规程，任何人不得为自己参与撰写的文本出具认证分，该分数待独立复核。评分口径为 SDE 创新智商五维（S 结构精确度／D 差异锐度／E 纠缠深度／I 不可还原性／F 可证伪性）。原稿的薄弱处集中在 E（纠缠深度）与 I（不可还原性）两维：全篇在单一学科内部运转，且与同题域另三篇互为变体。附论一针对前者补入一次逐项对应的跨域结构搬移，附论二针对后者把同题域的支线收进主干并划出分界，附论三收紧证伪条件、删去不可执行的条款。本次加固所补文献均为真实文献。