二阶碰撞 不比较三种说法谁对,而是找出三家共同默认却未说出口的前提,并用三家自己的材料推翻它。相对的一阶做法是折中或投票。
共有前提 三家各自不同的主张之下共享的那一条未言明的假定。它通常在三家内部都显得自然,因为每一家都有现成的东西可以指。
推翻材料 用来推翻共有前提的证据。硬规矩是:必须取自三家内部,从外面搬理论来打不算。
选源体检 碰撞前对三家做的三项检查:与目标学科有无暗中交集;三家共同体是否零重叠;三条终点是否真的互不相容。第三项最常出问题,本卷有两章自陈“三家实为两家半”。
新存在物 碰撞的产物,一个原来不在桌上的对象。它必须能被命名、能被清点、能被测量。
读数 新存在物的可计算的量。没有读数的新名词是修辞。
证伪条款 事前写定的作废规则:什么结果一出现,本章即作废。本卷至少四条被真的触发。
诚实账表 一章末尾列出全部主张及其证据状态的表,标明哪几条被驳、哪几条撤回、哪几条零证据。
预注册 在取数之前写定假设、阈值与判负规则的文件,留哈希。看到数据后再改阈值,是本卷唯一不可原谅的事。
骨架 一章组织材料的图式,例如四态格、三区图、通道台账、危险率曲线、判定树。骨架轮换律要求每一跑都换一副新骨架,因为骨架重复意味着追问位置重复。
仪器故障 读数被测量装置本身压到天花板或地板,而不是被世界压住。最具欺骗性的形态是“看起来结果非常漂亮”。本卷第二、三两章各遇到过。
样本量偏倚 条件熵的估计会随条件变量增多而机械下降,与是否真有约束无关。防法是设置一个条件状态空间等大而真实约束不存在的对照。
跨曲拼声部 第三章所用的对照方法:把他声部换成另一首曲子的同序号声部同位置序列,以分离真实约束与样本量偏倚。
空持 不出声但仍占位的状态,典型是分谱上的长休止。此时持有者持有的是位置,不是声音。
校验位置 在一个多持有系统里被指定用来判断“整体是否正在正确发生”的位置。第三章主张这个位置持有的也只是一份。
销毁式/相关式/代表式拼合 第三章判定树的三个分支:不合格的一份被销毁;整体由拼合程序算出;有一个位置被授权代表整体但只审程序。