第40章 新典范的研究纲领与开放边界
40.1 新典范不能由自己的名称证明
一套理论把自己称为新典范,并不会因此改变知识的组织。新术语可以吸引注意,也可以使旧问题呈现新的联系,但典范的实质在于研究者怎样提出问题、构造对象、组织证据和修订判断。若这些活动没有变化,名称只是表达立场;若活动发生了有根据的改变,即使尚未取得宏大的历史地位,也已经具有方法价值。对本书而言,最重要的不是宣布时代已经转换,而是说明转换应当产生什么可见成果。
全书追问属性如何在发生中取得稳定性,最终需要把这一问题转成三类可分别评价的工作。对象重建说明研究原来把什么认作同一属性、为何需要改定被估量或比较资格;设计辨别力说明哪些新增安排能够使原先等价的解释分开;经验机制则用实际取得的材料判断某条通道及其条件。三者相连,却不能折算成一次预测胜出。重新定义对象可以构成认识进展,设计成功可以取得检验资格,而具体机制是否成立仍须另有证据。
科研新典范的承诺由此可以表达为三个相连的转变。研究从只报告结果推进到说明结果发生的条件,从把稳定性当作默认前提推进到研究稳定性怎样形成,从把模型放在过程外评价推进到研究模型和指标怎样进入下一轮过程。这些转变不要求取消现有实验、统计或理论,而要求它们在适当问题上承担更完整的发生责任。新典范的力度应体现在新增的关系和操作上。
原有研究底稿以常数不收敛和误差项为尖锐入口,提出读数事件、判据与退出条件,同时保留了尚未完成实证的状态。[2] 专著的推进不是把这一入口扩大成所有科学的总诊断,而是把问题重心转到属性稳定性如何发生、失配如何形成以及研究怎样修复。这样,稳定结果和不利案例都能够成为理论资源,不必为了维持批判姿态而被排除。
这也改变了“新”的证明方式。新对象可能是过去未被联合记录的事件关系,新机制可能是一个得到辨识的回写通道,新方法可能使资料更容易迁移和复核,新制度可能让失败更有效地进入修订。不同贡献需要不同证据,不能由一本书的概念统一替它们逐一兑现。理论雄心可以广泛,完成程度必须分项诚实。
一个研究纲领的生命力,因而不在于它能够解释多少已有例子,而在于它能否持续生成受到材料约束的新问题。它应让研究者知道下一项观察为何值得取得,哪种结果会改变判断,以及失败以后有哪些具体修订路径。只有当这些工作可以被不同团队继承,发生学才从作者的解释视角转化为共同体可以使用的知识方式。
40.2 本体论承诺怎样获得研究内容
属性发生论首先是关于解释起点的主张。它反对把主体、客体与互动预先设成彼此完整的成品,再用外部影响补充关系。但这种哲学批评若要进入经验研究,必须说明它与其他框架在哪里产生可区分后果。仅把所有关系称为纠缠,不会自动增加信息;把任何对象都说成事件,也不能独自判定某个模型正确。概念需要通过有限模型和研究操作取得内容。
三方程、六路径与三原理在第1至5章已经确立;到了研究纲领的收束处,需要检查它们是否使推论承担了新的责任。如果由结果反推条件,能否指出哪些差异序列仍与资料相容;如果从条件组织预测显露,能否说明允许改变什么、必须保持什么;如果结果进入下一轮过程,能否定位实际发生的更新。三个体系的相互依存由这些交叉要求体现:不能只凭输出归因,也不能只凭安排命名结果,更不能让某一时点的解释脱离后续变化而永远有效。
以评价分数为例,发现相同得分来自独立解题和人机协作,首先改变的是事件同一性的判断。将两类任务分开以后,可以分别追问独立能力、协作能力和后续迁移,这构成对象重建;进一步设置工具撤除和延迟测量,才增加设计辨别力;取得结果并与竞争机制比较,才形成能力变化的经验证据。新的分类并不自动使原分数无效,也不能替新模型赢得预测比赛。它应说明哪些旧比较仍被保留,哪些需要转换,哪些已经是在回答另一个问题。
本体论与经验的关系因此不是单向演绎。哲学框架帮助看见问题,经验研究又可能迫使框架澄清概念。一个稳定反馈系统提醒理论不能把回写与失稳等同;一个有效压缩提醒理论需要承认任务充分性;一个没有主体报告却能可靠预测的模型,要求区分主体在发生中的构成与主体被记录的程度。材料不必直接否定整个本体论,也可以改变它如何获得操作表达。
这里尤其需要避免循环定义。如果把纠缠定义为必然导致复杂变化,再把复杂变化当作纠缠的证据,理论只是在定义与观察之间往返。较好的做法是独立规定候选通道和操作条件,再预测相应结果。即使概念不能完全脱离理论而定义,也应让关键证据不只是概念的重复。一个有意义的模型必须允许某些符合表面标签的案例并不满足其机制。
对象重建有时揭示,原目标把制度选择包装成自然属性,因而需要重新讨论评价目的。这种贡献要给出原定义的后果、新定义的理由与两者的对应,不能只靠新命名成立。若进一步声称新模型能更好预测原目标,就必须回到同目标的强基线比较;若改用新目标,则先独立论证其必要性,再按新任务评价不同模型。哲学论证与预测检验因此各有工作:前者可以改变何者值得估量,后者限制对一个明确目标能声称多少。任何一方都不能借另一方的成果免除自己的责任。
研究内容最终来自承诺与限制的结合。属性是发生中的稳定性,这一主张要求研究稳定性的条件;它不能允许研究者在稳定出现时一律说纠缠被压制,在变化出现时一律说纠缠已显现,而不给独立区别。理论应当在稳定与变化两边都承担解释任务。这样的对称责任,是发生论避免成为万能语言的基本条件。
40.3 数学结论与领域机制之间的距离
数学可以为研究纲领提供严格支点,也可以被误用为跨领域权威。一个条件命题在形式模型中成立,不意味着所有现实对象满足其前提;一个反例否决某种充分性声称,也不意味着相关哲学问题全部消失。研究必须保留从概念到模型、从模型到对象的中间论证,否则公式的精确性会掩盖适用条件的不确定。
第13章证明,观测等价而目标不同会阻止同一估计程序对不同目标同时一致恢复;它也展示单输出可以可辨识、循环反馈可以稳定。这些结果对本书具有双重作用。它们限制过强的普遍声称,同时指出新的建设方向:研究观察映射何时失去区分、什么干预能够打破等价、哪些反馈参数产生稳定、哪些条件变化使原摘要不再足够。边界并未减少问题,反而使问题更准确。
数学模型中的变量还需要与经验代理连接。状态变量可以代表知识、期待或资源,但每种解释都须说明如何观测或约束。一个形式上可观测的系统,在实际资料中可能因噪声和窗口不足而难以恢复;一个形式上稳定的系统,也可能在未建模外部输入下表现剧烈变化。模型不是现实的缩小复制,而是选择某些关系承担推论。选择本身应公开。
跨领域形式相似尤其需要谨慎。两个系统都可以写成状态更新和输出方程,并不说明它们具有同一种实体机制。相似可能只是表达足够一般,能够容纳许多过程。真正有意义的共同结构,应当在参数关系、允许干预、稳定条件或失败模式上提供额外限制。若共同形式没有排除任何可能结果,它可以作为记账框架,却不能单独成为统一定律。
对跨域公度的追求也不必立即寻找一个总分。甜度变化与经济响应没有天然共同单位,可以先比较无量纲的响应比例、相对于任务容许误差的失配、恢复时间相对于观察窗口的比值,或者模型在新条件中的相对损失。但每种标准化都需要非零且有意义的基准。把不同指标压成一个纠缠强度,可能再次隐藏对象差异,重演本书所批评的无条件汇总。
更可行的统一是保存一组可比较关系。各领域分别说明什么被更新、通道怎样识别、哪些稳定性得以保留、增加信息付出什么代价。共同体可以据此比较机制类型和研究难度,而不必宣布一种领域比另一种更活、更成熟或更真实。形式共同性与价值排序是不同问题,数学尺度不能自动转化为伦理地位。
数学工作的开放边界在于继续寻找足够强又不过宽的命题。何种压缩在什么损失下充分,何种反馈使估计目标随制度变化,何种观测与干预集合足以辨识更新,这些都可以形成独立研究。每个小结论若前提清楚、反例充分,便能支撑专著的一部分。比起一个尚未成立的通用定理,这种可连接的局部结果更有可能形成持久理论。
40.4 经验积累为何需要不同层次的成功
经验成果进入纲领时,应标明它改变了哪项承诺。某个形状在新资料中重现,使描述对象更可靠;某项操作分开两个预测,使设计具有辨别力;实际干预结果排除一条竞争通道,才推进机制判断;模型迁移到新条件,则增加其可使用范围。这里沿用第38章的证据关系,进一步问这些局部成果是否产生此前无法提出或无法检验的问题。纲领的积累单位是被新增证据改变的主张,而非支持性图表、文章或领域的数量。
例如两个独立团队都发现同类分布分裂,这增加了现象可靠性;若两团队使用同一种装置与处理程序,共同方法问题仍可能存在。另一个团队通过不同测量安排发现同样条件关系,才提供新的约束。多次重复的价值不只是次数,而在于它们在哪些方面独立、哪些条件保持、哪些误差源不同。研究纲领应追求能够改变判断的多样证据,而非累积表面相似案例。
成功也可以表现为有内容的缩限。若只有结果公开并进入行动的条件才出现指定信息效应,后续模型就应删除对隐藏条件的同样预测;若某类稳定任务无需额外事件字段,档案便可减去这些字段并保留恢复条件。缩限之后必须有可观察后果,才构成知识增长。如果只是把原主张改得更模糊,使它继续容纳所有结果,就没有增加约束。研究纲领需要保存缩限前后的适用域及下一步判断,才能区分更准确的条件理论与不断后退的表述。
跨领域研究尤其不能用一个领域的成功抵销另一个领域的失败。物理测量中的条件变换、生命系统中的状态更新、经济指标的制度作用和人机协作的后果承接,拥有不同证明责任。它们可以共享发生问题,却不应共享一张总成绩单。某个领域若只能提供解释重组,就据此评价;另一个领域若取得独立预测增益,则明确其增益。统一语言不能使证据越界流通。
累积还需要对未决结果保持耐心。一个机制模型可能暂时与既有模型等价,研究者可以保存它作为生成新问题的候选,而不急于宣布胜负。但这种保留应当伴随寻找区分条件的努力。如果长期没有任何可区分任务,模型的经验身份就应降低,转而承认其概念用途。开放并不意味着所有假说永久享有同等地位,资源投入仍需要理由。
一个有意义的阶段性成果,可以是形成了可靠事件字典、发现一种原先未见的失配、建立一个条件性机制,或证明某种复杂记录没有必要。它们都能够改变后续研究。判断研究纲领是否进步,应看这些成果是否持续相互连接,是否使新问题更明确、实验更有区分力、失败更能指导修订,而不只看支持该理论名称的论文数量。
这种积累方式使理论保持创造性。新对象和新机制不必被迫立即进入一个完整体系,可以先取得局部身份,再与其他结果比较。与此同时,理论也不能无限把不利材料归为尚未成熟。每个未决位置都应说明缺少什么、可能怎样解决、何时值得停止。有限成果与开放问题之间的清晰边界,是研究纲领能够持续工作的条件。
40.5 与既有研究传统进行强比较
新典范的论证很容易借助一个过于整齐的对手:旧科学只追求常数,只排除主体,只把残差当噪声。这个形象便于宣言,却不足以承受实际学科史和当代方法的复杂性。计量学处理不确定性与相关误差,控制理论研究反馈与稳定,经济学研究异质性和预期,感知科学研究适应与情境。发生学必须与这些已有能力相遇,才能确定自身真正增加了什么。
强比较首先承认共同问题。不同传统可能已经用其他概念处理本书关心的部分机制。承认这种重合不会消灭本书价值,反而能够避免重复发明,并把努力集中到尚未连接的地方。比如多个领域各自研究历史依赖,SDE可以提出共同的事件记录和证据责任;但共同程序的价值需要通过实际使用证明,不能仅由跨领域命名获得。
比较还要区分哲学、方法与领域理论。科学哲学讨论知识如何增长,不等于为某个经济参数提供具体预测;一个统计模型预测失败,也不能直接否定一套哲学。拉卡托斯区分研究纲领中能够产生新经验内容的进步性调整与仅追随已知困难的退化性调整,这个区分本身已经要求关注修订的后果。[73] 因而本书不能把所有保护性修订都描述为免疫,而应对自己和对手使用相同标准。
若一个已有模型加入有独立依据的新条件,随后成功预测未见结果,这应被视为真实进展,而不是仅因它保留旧名称便被贬为补丁。相反,SDE模型若每次失败后才增加不可观测状态,却没有新预测,也不能因使用发生语言便被视为更深。理论是否进步,取决于修订增加了什么可检验内容,而不是修订属于哪个阵营。
强比较也允许多种理论在一段时间内并存。一个框架擅长对象建构,另一个擅长局部计算,第三个提供制度评价。它们可能互补,也可能在某些任务中竞争。研究不必先决定谁拥有世界的全部解释权,才能利用各自成果。但互补不能成为逃避冲突的万能答案:当两种框架对同一操作给出不同预测时,仍应让资料裁决相应声称。
原创性因此需要精确表达。提出新的概念区分、组织新的研究程序、证明一个条件命题和发现独立机制,是不同贡献。可以同时拥有其中几种,也可以只完成一种。若只是用新词重述已有结果,应该说明解释组织上的收益;若声称不可还原的机制增量,就应给出近邻理论不能同样产生的限制和预测。这样的表达比笼统宣布全球首次更能经受检验。
与既有传统的关系最终是一种生产性的张力。它们为本书提供强约束,防止发生学退化成无所不包的修辞;本书也可以反过来追问这些方法何时把对象身份、判断位置和制度回写留在模型之外。双方都不需要预先获胜。真正的新问题常常产生在各自有效范围的接缝,而不是产生在对方被描绘得最薄弱的地方。
40.6 事实解释与规范责任的连接
发生学强调模型和制度进入下一轮过程,容易进一步引出规范问题:应该保留什么稳定性,应该改变什么路径,谁承担记录与干预的代价。但描述某种发生机制并不能独自推出应当怎样行动。一个系统能够稳定运转,不说明它值得维护;一个系统充满变异,也不说明它更自由或更有价值。价值判断需要公开目的、权利与后果,不能由动力学形容词替代。
例如一种评价制度通过强反馈使分数稳定提高,可能改善学习,也可能只促进对评分规则的适应。判断好坏需要考察教育目的、独立迁移、负担与公平,而不仅是反馈是否存在。相反,一种制度允许较大个体差异,可能尊重多样路径,也可能放任资源不平等。发生机制提供理解后果的材料,规范论证则决定哪些后果应被重视,两者需要连接却不能合并。
主体性的研究也受到这一边界约束。跨轮记忆、目标保持和后果承接可以作为某些系统能力的代理,却不能自动决定意识、人格或道德地位。第31至35章把人机系统中的能力放回具体架构和任务,不把单次调用代表全部AI,也不以某个记忆测试解决全部主体问题。代理有效说明某项操作关系成立,规范地位还需要其他论证。因而一个能力指标通过验证,只能取得对应用途的资格,不能顺带决定系统应承担何种权利与责任。
对人的研究尤其不能把不稳定当作更真实的生命证据。稳定边界、熟练技能和可靠承诺可能具有重要价值;变异也可能来自损伤、资源不足或测量失配。发生学若要尊重主体,就应允许不同稳定与变化具有不同意义,而不是要求个体不断表现复杂性才能被承认为活的存在。把理论偏好变成对人的评价尺度,会违背其恢复发生条件的初衷。
制度修复因此应当是比较性的。研究者提出改变路径或规则,需要说明相对于哪些可行替代方案更有理由,哪些群体受益、哪些承担成本,以及不利后果出现时怎样恢复或补偿。经验研究可以估计部分后果,不能代替所有价值选择;价值主张可以确定目标,也不能豁免对实际效果的检查。两者相互约束,才使创造新安排具有责任。
研究自身也在这一关系之内。增加档案可能改善知识,却增加隐私与劳动成本;公开失败有利于共同体,却可能给个体带来声誉压力;快速修订模型可能减少错误,也可能使使用者难以跟上。没有一种程序能够只产生收益。新典范需要把这些张力纳入制度设计,而不是在方法之外附上一段笼统伦理声明。
发生学的规范贡献可以在于使被隐藏的选择重新可见。它提示研究者,某个被当作自然尺度的指标可能包含制度决定,某种被称为效率的压缩可能把代价转移给他人。揭示这些关系能够改善公共讨论,却不自动给出唯一政策。让事实解释与规范理由各自说清楚,再在具体行动中共同承担后果,是比从本体论直接推出应然更稳固的道路。
40.7 怎样判断研究纲领正在前进
研究纲领的前进不应只按理论覆盖范围计算。覆盖越广而限制越少,可能意味着内容变薄。更有意义的指标是问题是否变得更精确,模型是否产生新的区分,资料是否能够支持以前不能完成的判断,以及失败是否减少了无效重复。这些变化可以在有限项目中观察,不必等待整个科学共同体改换名称。
三项优先研究应成为有不同决策后果的项目组合。E1味觉研究若辨认出路径效应,但既有适应模型已充分说明它,就保留设计成果,不登记独有机制;E2边际消费倾向研究若历史版本改善了实时评估,却未改善同目标预测,就将成果记为比较资格与资料组织,并停止追加没有收益的复杂参数;E3 AI教育若只有协作收益,就推进相应协作工具,同时暂停把它称为个人能力提升。三种结果都可以有价值,但分别决定下一笔资源用于何种问题,不能汇成支持本书的一票。
阶段推进可以设立几道与任务对应的入口。对象和资料身份未清楚,资源先用于定义与事件重建;两个模型还没有在可行条件下分开,资源用于形式推导与设计校准。设计原则上有区分能力以后,还要检查实际数据的精度:若不确定范围仍宽,机制保持未决,可以改善精度或因资源限制暂缓,不能把未支持写成已否定;若资料已排除预定的重要机制效应,或稳定违背关键预测,才据此修订或停止相应模型。机制或预测关系在规定条件中成立后,再扩大外部检验。每道入口都有独立成果,并交代尚未获得的资格,使扩大研究依据实际约束,而非仅依据理论信心。
时间安排可以帮助组织工作,却不能替代这些完成条件。某个季度结束不意味着辨识问题自动解决,一年计划完成也不意味着理论成熟。研究应同时保留日历进度与证据进度:何时做了什么,实际取得哪些约束,哪些前提仍未满足。若关键条件不足,调整计划是合理的;但调整理由应公开,不能把不断延期变成理论永远免于检验的方式。
共同体层面的成果还包括共享工具和失败库。若不同团队能够使用相同事件协议,却保留领域差异,并在复核中减少误解,方法就获得独立收益。若协议负担很高而很少改变判断,则应简化。基础设施的价值不由采用者人数独自决定,也不由作者对其哲学意义的评价决定,而由它在实际研究中帮助完成的工作决定。
理论创造仍需要不以短期结果为唯一尺度的空间。一个概念项目可以先研究为何两种记录不应算作同一事件,一个数学项目可以寻找现有干预无法打破等价的证明;两者未必立即产生更低预测误差,却能改变经验研究的目标或可行路线。继续支持它们的理由应是障碍变得更清楚、论证出现新约束、与后续研究的接口更明确。若反复重述同一困难而没有这样的变化,就需要暂停投入。长期性可以解释进度缓慢,不能替代进展的内容。
阶段评议应把三层增量与继承条件分别记录。对象重建需要新旧目标的对应和案例约束;设计辨别力需要在现实精度与允许操作下仍能分开候选解释;经验机制需要独立资料及强竞争模型的比较。第39章的知识基础设施则保证这些判断可复核、可继续,不替任何一层制造成功。若只有对象与程序收益,纲领就以此有限身份继续;若出现独立机制增量,才发展相应领域理论;若连这些收益也长期无法实现,则降低优先级或停止项目,留下已经获得的有效材料。
40.8 开放边界与有限的退出
一个能够发展的纲领需要说明自己的退出条件,而且退出必须与主张层次相称。数学充分性命题被反例否决,就撤回该推导;具体机制模型在有辨识力的实验中失败,就修改或放弃相应通道;某项预测没有通过外部检验,就限制其用途。不能把一个局部反例无限扩大为全书失效,也不能把所有反例都缩小为无关紧要的技术细节。
本体论假说的评价通常更间接。它可以因概念矛盾、持续误导研究、无法与经验建立有内容的连接而失去说服力;也可能因组织出新的可检验问题而获得支持。但这些评价不同于一次实验的直接拒绝。研究者应承认哲学层面的开放性,同时防止用这种开放性保护已经作出的具体经验声称。一个理论可以在哲学上继续讨论,而在某项实践用途上停止使用。
跨领域统一也有自己的边界。如果各领域最终只能共享极一般的语言,找不到有约束力的共同关系,那么本书应把统一性限定在问题组织与研究责任上。若出现可比较机制,再讨论更强统一。不存在一个总分或通用单位,并不自动使研究无效;但也不能一面拒绝任何公度,一面宣称已经证明所有案例是同一种现象。统一程度必须与实际连接程度相称。
还有一些开放问题不能由当前论证提前回答。属性身份怎样在长期制度与技术变化中保持,某些历史怎样被压缩为有效状态,成熟与退化能否形成跨领域可比较而不价值混淆的概念,机器的后果承接怎样与人的主体经验发生关系,都需要继续研究。本书能够给出区分和入口,不能把尚未完成的机制写成已经发现的事实。
退出需要落实到用途和资源,而不只修改措辞。一个失去支持的模型应停止用于它未能通过的预测任务,留下失败条件和可继续使用的局部关系;一个无收益字段应从常规采集中撤下,保留在何种新任务下值得恢复的说明;一个长期没有区分条件的经验假说,可以转入概念讨论而不继续占用同等实验资源。重新进入研究也要有新理由,例如出现新的可行干预、独立资料或严格推导。这样的可逆退出保留创造机会,同时使失败确实改变下一轮发生条件。
全书各编由此取得不同而相连的位置。物理测量提供条件变换与稳定约束的问题,生命和感知揭示历史怎样成为当前可响应状态,经济指标展示公开读数如何进入制度行动,伦理与教育要求分清能力对象和价值选择,AI研究则把任务边界、工具版本与后果承接带入复合系统。这些论证共同支持追问稳定性的发生条件;它们没有共同证明一条跨域经验定律。能够继承的统一性,首先是对对象身份、比较资格、因果通道及修订后果逐项负责,再由各领域实际证据决定更强统一能够走多远。
从属性之问到科学发生学,建设性的成果应落在三处:让原先混同的对象获得有理由的区分,让原先不可裁决的解释获得有效设计,让真正取得的机制在边界内改善预测与行动。三处都可能成功,也都可能受限,简单而充分的模型仍是可接受的结果。科学的创造力由此包含形成新对象与新路径的能力,也包含撤回失效用途、保存判断历史的能力。结语所要承接的历史责任已经有了具体基础:我们交给后来者的,不只是最后一次答案,还有答案能够成立、被使用和被改变的条件。