← 专著首页目录📄 在线 PDF⬇ 下载德麦国际专著第 87 号

第一章 回接段与判定切口——一段声音凭什么算是一段音乐

《音乐初探·卷一》何谓音乐? · 许佳衡 著 · 三部十章 · 23.8 万汉字 · ISBN 979-8-90690-023-4

本章提要

本章分两层作答。第一层:对象的物理发生 E、认识确认 K 与可登记资格 Q 必须分开;对于不能在场时完成自证的对象,Q 不是对象 O 单独携带的同时属性,而是在后继证据序列 D 与参照环境 E_t 的互动中首次显露的关系状态。本章把从对象出现到 Q 首次成立的事件距离定义为回接段,其长度记为资格第一到达时间 r_Q,并证明在精确嵌套窗口下的粒度单调律:g₁<g₂ 蕴涵 r(g₁)≤r(g₂) 且删失集合 C(g₁)⊆C(g₂)。第二层是本章的主张所在:六场作者预先写定的检验中有四场失败,其失败方式一致地指出,第一层用的二值资格判定丢掉的不是零头,而是大部分。本章因此提出回接距离 d——对象窗口到已登记落点集合的最近距离——并主张:不存在“它是不是一个 X”这件事本身,只有 d 的一条连续分布。一切二值资格判定都是在这条分布上切一刀,切口位置由粒度 g 与匹配方式 m 决定,而切口生产真值:被切出的“是/不是”在切口之前并不存在,它不是被发现的。回接段是切口取 d=0 时的特例。第六场检验(自体肽 k=9 与曲调八音程首窗口各 n=400)显示,落在 d∈ 中间档的比例分别为 46.5% 与 21.75%,两个分布形状不同,两条预先写定的假设均获支持。本章因此与一切预设判据独立之真值的近邻——语音与旋律的 gating/cohort 范式、点识别(POR)的语料预测、信号检测论与序贯抽样/漂移扩散模型——划出同一条分界线,并给出该分界线的证伪条款 F9、F10。音乐上的核心主张仍是待检验假说,决定性证据必须来自直接听者实验。

本章关键词 回接段;资格第一到达时间;回接距离;判定切口;粒度单调律;右删失;SIO 环境回写;音乐本体

一、问题

把一段陌生的声音放给人听,问“这是不是音乐”,人往往答不上来,要再听一会儿。

这个“再听一会儿”不是礼貌上的犹豫,它是判断本身的一部分。等到某个地方,听的人忽然说“哦,是”,而那时那段声音已经过去了。日常里这件事太常见,以至于没人把它当成需要解释的东西:广播里传来几个音,什么也认不出来,再走两步,忽然认出是哪一首——认出来的那一刻,被认出的那几个音早已消失。人们说这是“反应慢了半拍”,说这是“记忆调取需要时间”。两种说法都把延迟归给听的人,都假定那段声音自己一直是它,只是听者晚了一步。

这件事在别处也有,而且更明显。一个词第一次被造出来的时候没人知道它是不是词;一件出土的器物在第二件同类出土之前不属于任何型;一份判决在被后来的判决援引之前不构成先例。这些场合里,人们不会说“识别者反应慢了”,他们会承认当时确实还判不了。只有在音乐这里,延迟被一律记在听者账上。

原因大概是音乐太熟。绝大多数人一生听到的音乐,都是一响就已经落入既有范畴的材料,于是“判定需要后续”短到难以显形。本章后面的聚合结果显示:在全量爱尔兰传统曲调中,八音程窗口下有 56.7% 在曲终仍未命中任何公共窗口;在跨风格实验的 140 首爱尔兰降采样子样本中,该比例为 91.4%。熟悉掩盖的不是一个固定的等待长度,而是判定对参照环境的依赖。

本章分两层处理这件事。第一层问:延迟能不能被先验地全部记在听者一边?答案是不能——它可能属于声音、后继事件与参照环境组成的互动复合体,而这段延迟可以被测量。第二层问:那个被延迟的东西——“是不是音乐”这个二值答案——本身是什么?本章将论证,它不是一个等在那里被到达的事实,而是一次切口的产物;第一层的全部测量,恰恰是在第二层被自己的失败逼出来的。

二、通行答案的三种形状

粗略地说,现有回答分三类。

第一类在声音的内部性质里找:音高被组织起来、有周期性的重音、有可分析的结构。这一类的麻烦是每一条都能被反例打穿。有组织的音高可以是警报器,周期性的重音可以是印刷机,可分析的结构可以是任何一段规律的噪声。反过来,被公认为音乐的东西里,有整段没有确定音高的,有整段没有节拍的,也有故意取消结构的。补救的办法通常是把条件改成“其中之一”或“家族相似”,而这等于承认这一类回答给不出判据。

第二类在意图里找:有人把它当音乐做出来,或者有人把它当音乐来听。这一类比第一类稳,但它把问题挪了个位置而没有解决——一个人把某段声音“当音乐来听”,这件事本身要靠什么判断?如果答案是“他就是那么听的”,那么任何声音对任何人都可以是音乐,判据消失;如果答案是“他按某种方式听的”,那么这种方式又要靠什么定义,问题回到第一类。

第三类在制度里找:某个共同体承认它是音乐。这一类在艺术哲学里讨论得最充分,也最接近本章的第一层。分界不在“必须有一个承认者”这种粗话上,而在:制度论解释由主体共同体授予的社会资格,本章还考察没有即时授予行为、但有程序、参考库或生理系统参与的资格判定。后二者仍有人设计和维护,不能轻率地叫作“完全无人”。

三类回答共享的不是一个可被一句话推翻的错误,而是两层倾向。表层倾向是把判定时刻当作对象之外的附属问题——这是本章第一层的靶子。深层倾向是把“是不是音乐”当成一个有确定答案的问题,争的只是这个答案由谁给出、依据什么给出——这是本章第二层的靶子。下面三个行当的价值,先在于迫使我们把“物理发生”“认识确认”“资格登记”拆开,再在于它们各自的实测最后一致地把深层倾向也顶翻了。

三、第一个行当:超重元素

一个 118 号元素原子的寿命极短。实验并不能在它在场时完成一个与后继链无关的、独立而充分的身份确认。

新元素的认定依赖事件链:能量、时间与后代核素的关系必须逐级相容,并最终与已知核素或可重复的链结构接轨。日本团队关于 113 号元素的工作与 118 号元素的报告都把衰变链的归属放在核心位置。这里完成的是对一次物理发生及其核素身份的认识确认,不是让该原子在后来才开始物理存在。

因此,后继物承担的是证据功能。认定完成时,原子已经衰变;但“原子曾经发生”与“它被充分确认”是两个不同谓词。把二者压成“取得存在资格”,会把认识论结论误写成本体创造。

这一行最难的不是把某个事件叫作原子,而是排除随机符合。延长链条可能提高归属的特异性,也会增加支路逃逸、漏记与选择性报告的机会。未能走完链的事件不是“什么也没有”,而是观察窗内尚未完成归属的记录。

相关时间窗、能量容差与背景模型共同决定误认和漏认。这里已经出现本章后来形式化的核心:判定结果依赖参照库、表征、阈值与时间,而不是一个脱离环境的裸对象属性。更要紧的一点留到第十七之二节再收:容差是连续的,而“是不是一条真链”是二值的,两者之间必须有一刀。

四、第二个行当:真菌暗类群

分子方法进入真菌学之后,出现了大量只有环境序列、缺少形态、培养物或可保藏凭证的候选类群。序列型材料迫使命名与分类实践讨论:在没有传统模式标本时,何种证据足以把一次读数登记为一个可追踪的分类单元。

这里不能简单写成“只出现一次就不构成对象”。更准确的说法是:序列质量、独立样本中的重现、系统发育位置、生态上下文与参考库一致性共同提高候选类群的可登记性;而不同命名方案对仅由序列支撑的名称仍有争议。重现不是物理存在的制造者,而是从 K(确认)走向 Q(分类资格)的重要证据。

参考库是活的。条目会合并、拆分、纠错或被重新注释;昨天能够稳定归属的序列,今天可能重新进入未决状态。这里最清楚地显示:资格不是一次取得后永不改变的物性,而是相对于一个有版本号的环境状态。

因此,序列相似度阈值、拷贝差异、采样独立性、参考库版本与误注风险必须同时报告。仅报一个相似度数字,不能复核“谁被算进来、谁留在暗处”。而相似度阈值这件事本身——97%、98.5% 还是 99%——是本章第二层最直接的原型:分类学家非常清楚,那个阈值不是从菌自己身上读出来的

五、第三个行当:移植耐受

移植医学提供的是第三种关系。供者来源游离 DNA(dd-cfDNA)在受者血浆中的比例,可用于提示移植物损伤及活动性排斥风险,这一指标在多中心研究中得到检验。它不是器官“身份”的直接读数,而是一个诊断证据。

医生测量的是血浆中的片段比例,推断的是移植物的损伤状态。采样对象与临床判断对象物理分离,说明 K 可以由对象释放的痕迹支持;但这不等于碎片在后来赋予器官以物理存在。

混合嵌合研究进一步表明,在特定方案和受者中,稳定的供者——受者造血嵌合可以支持免疫耐受并减少维持性免疫抑制。这里改变的是宿主——移植物关系状态,而不是把同一器官从“不存在”变成“存在”。

诊断阈值仍会制造权衡:阈值、采样时刻、检验平台和疾病谱改变阳性率,也改变假警报与漏诊的比例。因此必须把阈值 θ 与误差率一起报告。在观察窗内 dd-cfDNA 未越阈、而真实组织状态尚未由充分独立证据确定的病例,应记为未决或删失,而不是“没有损伤”。

五之二、为什么必须是三个互不相干的行当

一个自然的反问是:为什么不直接从音乐内部找答案,非要绕道到核物理、真菌命名与器官移植?

理由不是修辞上的。第二节说过,现有的三类回答共用同一个时间假设,而共用假设的人互相之间纠正不了它——他们只在假设之内争论“观测什么”。要把一个共用假设翻出来,需要一个不共用它的位置。

三个行当提供的不是同一种后继关系,而是同一个高阶结构的三种实例:对象 O 不能仅凭一个同时在场的自我读数完成 K 或 Q;后续证据 D 必须在某种关系 ρ 下,与参照环境 R、阈值 θ 和表征 φ 共同工作。核化学是因果后代,真菌学是独立重现与参考对齐,移植医学是诊断痕迹与关系状态。

三家还必须互不相干。若三家共享方法、期刊或隐喻,它们的一致就可能只是同一个传统的三个说法。本章所选的三家没有共同的期刊、共同的人、共同的比喻,甚至没有共同的时间尺度——一毫秒、几个采样季、几十年。在这样三条互不通气的线上出现同一个形状,才值得当成一件事看。

这个选法也有代价:三家来自自然科学与医学,对音乐中的主体经验、实践关系与共同体承认并不直接提供证据。因此跨域材料只能帮助提出结构,不能替代音乐上的独立检验。

五之三、三家的核心判断逐条

为便于复核,把上面用到的判断集中列出,并标明各自的出处状态。

表 1-1 三领域核心命题、资格层级与证据状态

+—————–+————————————————————+—————–+———————————————-+ | 领域 | 本章实际使用的命题 | 层级 | 证据状态 | +=================+============================================================+=================+==============================================+ | 核化学 | 衰变链与已知核素/可重复链结构的连接支持新核素归属 | K/Q | 原始卷期与 DOI 可核 | +—————–+————————————————————+—————–+———————————————-+ | 核化学 | 时间窗、能量容差与背景模型共同决定误认和漏认 | K | 方法条件,须与误差率同报 | +—————–+————————————————————+—————–+———————————————-+ | 真菌学 | 环境序列可支持候选类群,但序列型命名仍需质量、重现与上下文 | K/Q | 原始文献可核;实践存在争议 | +—————–+————————————————————+—————–+———————————————-+ | 真菌学 | 参考库修订可使既有归属被撤销或改写 | Q | 参考库版本依赖 | +—————–+————————————————————+—————–+———————————————-+ | 移植医学 | dd-cfDNA 升高与移植物损伤/活动性排斥相关 | K | Bloom et al. (2017) 可核 | +—————–+————————————————————+—————–+———————————————-+ | 移植医学 | 稳定混合嵌合在特定方案中可支持免疫耐受 | 关系状态 | Kawai et al. (2008);Scandling et al. (2011) | +—————–+————————————————————+—————–+———————————————-+ | 移植医学 | 阈值改变阳性率及假阳性/漏诊权衡 | K | 需按平台和队列具体报告 | +—————–+————————————————————+—————–+———————————————-+

三家不被说成证明同一个本体命题;它们只共同支持一种资格结构:后续证据、参照环境和判定规则可以晚于对象发生,并参与 K 或 Q 的成立。

六、三家的打架点

三个行当的共同处不是“都用同一种后继物”,而是:判定材料与对象本身可以物理分离,且需要通过某种证据关系 ρ 接入一个先行的参照系统。

而它们在一件事上互相不能接受。

核化学的日课是“等它结束再判”——链没闭合之前不作数,急着认定只会把随机符合当成真链。这条日课在移植医学里是致命的:等排斥完成再判,器官已经没了。移植医学的日课是“改写判据”——通过诱导耐受把异物变成合法的自己人。这条日课在真菌学里是幻觉:改了命名规则,暗类群依然没有凭证,序列还是那条序列。真菌学的日课是“等它再出现一次”——但重现要等,而超重元素的原子一生只有一次,永远不会再出现第二个可供比对的它自己。

三条不能互换。它们争论的是:在何种证据关系、参照环境与误差结构下,一次物理发生足以被确认,并取得某类可登记资格。

把三家的麻烦并排放,共同的空位就出来了:现有账本常只记“已确认/未确认”两端,却不记对象如何经过一段证据序列到达资格状态,也不记观察终止时仍未到达的对象。

七、共有前提与它的推翻材料

三家在争论之前共享的并非一个绝对前提,而是一种容易被忽略的压缩:

对象的物理发生 E、认识确认 K 与可登记资格 Q,可以由同一个同时在场的对象读数一次完成。

核化学首先打破这一压缩:113 号元素的事件发生在前,充分归属在后。后继衰变不创造 E,却参与 K;认定机构随后把 K 写入核素表,形成 Q。存在、确认与登记由同一条事件链连接,却不是同一个谓词。

真菌学从另一方向补上一刀:一次高质量序列可以是一次物理读数,却未必足以成为稳定的分类条目。移植医学则显示,临床状态可以由对象释放到别处的痕迹推断。

三家的共同结论因此被严格收缩为:判断材料不必与对象同时在场,也不必全部位于对象自身;但这些材料支持的是 K 或 Q,不能被直接写成“后来才使对象存在”。

七之二、三种资格谓词的分离

后继证据可以改变我们对对象的确认状态与登记状态,却不能无论语境地被说成改变对象过去是否物理发生。本章采用三层谓词:

E_x(物理发生) ≠ K_x(认识确认) ≠ Q_x(可登记资格)

表 1-2 物理发生、认识确认与可登记资格的谓词分离

+—————–+—————–+——————————————+——————————————–+ | 层级 | 符号 | 所问问题 | 后继证据的作用 | +=================+=================+==========================================+============================================+ | 物理发生/存在 | E_x | 对象是否曾经发生或持续存在? | 通常提供追溯证据,不在后来制造过去的发生 | +—————–+—————–+——————————————+——————————————–+ | 认识确认 | K_x | 证据是否足以支持“它是什么/发生了什么”? | 可以由后继链、重现或痕迹逐步建立 | +—————–+—————–+——————————————+——————————————–+ | 可登记资格 | Q_x | 它是否在某参照系统中被计为某类对象? | 由参照库、规则、阈值与时刻共同决定,可撤销 | +—————–+—————–+——————————————+——————————————–+

三个跨域材料主要支撑 K 与 Q。对音乐而言,声波是否物理发生通常没有争议;真正需要解释的是:在何种主体/系统、互动序列和参照环境中,它被计为“音乐”“某种风格”或“某部作品”。

这一分离是本章第二层主张能够成立而不沦为怀疑论的前提。本章第十七之四节将主张“切口生产真值”,但那只针对 Q(以及部分 K),绝不针对 E。声波振动过没有,与它算不算音乐,是两件事;混淆二者的代价,恰恰是本章自己此前版本付出过的。后文的“回接”均指 Q 的首次成立;若讨论 K 或 E,将明确标出。

八、第一层承重命题:从存在断言收缩为资格第一到达

第一层命题:对于不能在场时完成自证的对象,其可登记资格 Q 不是对象 O 单独携带的同时属性,而是在对象 O、后继证据序列 D 与参照环境 E_t 的互动中首次显露的关系状态。对象从出现到 Q 首次成立之间的事件距离,称为回接段;其长度记为 r_Q

对音乐,本章不直接断言“一段声音在后来才成为音乐”。更窄也更可检验的工作假说是:听者、共同体或算法对一段声音的音乐资格判断,可能要等后续材料在某种关系 ρ 下接入一个参照环境;“哦,是”的时刻只是听者相对 Q 的一个候选观测点。

延迟因此既可能来自主体的处理,也可能来自互动结构尚未提供足够证据。二者必须通过实验分开,不能靠概念宣判。

九、资格第一到达时间:形式化

回接段:从对象 O 的起始事件到某个资格谓词 Q 在指定环境 E_t 中首次成立的那一段。处于这段中,不表示对象“不是东西”,只表示目标资格尚未被当前规则充分确定。

参照环境记为:

E_t = (R_t, φ_t, g_t, θ_t, ρ_t)

资格第一到达时间定义为:

r_Q(O | E_t) = inf

若集合为空,理论值记为 ∞;在有限作品或有限随访中只能观察为右删失。完整记录不写成孤立的 r,而写成 ⟨Q, R, φ, g, θ, ρ, t; r_Q, δ⟩,其中 δ=1 表示观察窗内到达,δ=0 表示右删失。清点手册如下:

  1. 先声明资格谓词与参照环境。 不能把“是音乐”“属于某风格”“是某部作品”混成同一个 Q;R、φ、g、θ、ρ、t 任一改变,读数的含义都可能改变。
  2. 防止以自身证自身。 参照库 R 必须由对象之外的材料构成;语料实验采用留出法,听者实验还要排除事先熟悉度与训练泄漏。
  3. r_Q 必须与环境配报。 简写 r|g 只在 R、φ、θ、ρ、t 全部固定时才合法;跨环境的两个 r 不能直接排序。
  4. 右删失不是“永远不会”。 观察终止时未到达者记为 (Y,δ) 中的 δ=0;条件中位数、总体中位数与删失率必须分开。
  5. 同时报分布、误差与多粒度剖面。 单点中位数可能被地板或删失吞掉;至少应报告到达风险、生存曲线、误判/漏判率、参照库版本和回接谱。

表 1-3 资格第一到达的参照环境参数

+—————–+——————–+———————————-+———————————-+ | 参数 | 含义 | 本章音乐实验中的实例 | 必须公开的内容 | +=================+====================+==================================+==================================+ | R_t | 参照库/已登记材料 | 其他曲目的窗口集合 | 来源、版本、去重规则、留出法 | +—————–+——————–+———————————-+———————————-+ | φ_t | 特征表征 | 相邻音高差形成的音程序列 | 保留/丢弃了哪些声学与记谱信息 | +—————–+——————–+———————————-+———————————-+ | g_t | 匹配粒度 | 4/6/8 个音程的连续窗口 | 候选范围与选择理由 | +—————–+——————–+———————————-+———————————-+ | θ_t | 接受阈值 | 至少出现于 50/200 首或语料的 1% | 分母、门槛、容差与误差率 | +—————–+——————–+———————————-+———————————-+ | ρ_t | 证据关系类型 | 序列后继对既有窗口的精确匹配 | 因果、重现、痕迹、序列或历史关系 | +—————–+——————–+———————————-+———————————-+ | m | 匹配方式 | 精确匹配(容 0 错配) | 容错量、距离度量、近似规则 | +—————–+——————–+———————————-+———————————-+ | t | 测量时刻/版本 | 语料快照与运行时间 | 时间戳、代码版本与参考库变更 | +—————–+——————–+———————————-+———————————-+

参数 m 是本章最迟才被逼出来、也最要紧的一个(见第十七之三节):前五场检验全部落在精确匹配系统里,所以它一直没有显形。完整写法是 r_Q|(g, m)。

单个 r_Q 仍然容易被一个粒度绑架。本章因此定义对象 O 在预先声明粒度集合 G 上的回接谱

ℛ_O(G | E_t) =

群体层面则用资格生存面 S(k,g)=P[r_Q(g)>k] 表示“到第 k 个事件仍未到达”的比例。四、六、八音程结果只是这张二维表面的三条稀疏切片。

九之二、四类证据关系与四级参照环境

“后继物”在三个行当和音乐里并不是同一种本体关系。本章引入关系类型 ρ,避免把因果后代、独立重现、诊断痕迹和时间序列混成一个隐喻。

表 1-4 四类证据关系 ρ:同一高阶结构,不同本体关系

+————-+——————–+————————–+——————————–+——————————–+ | 领域 | ρ 的类型 | D 中的事件 | Q/K 的落点 | 不能推出什么 | +=============+====================+==========================+================================+================================+ | 超重元素 | 因果后代 | 逐级衰变事件 | 核素身份的确认与登记 | 后继链在后来创造原子的物理存在 | +————-+——————–+————————–+——————————–+——————————–+ | 真菌暗类群 | 独立重现+参考对齐 | 跨样本序列与上下文 | 候选分类单元的稳定归属 | 一次不重现就等于物理上不存在 | +————-+——————–+————————–+——————————–+——————————–+ | 移植医学 | 诊断痕迹+关系重构 | dd-cfDNA 采样/嵌合状态 | 损伤风险或耐受关系 | 碎片比例就是器官身份本身 | +————-+——————–+————————–+——————————–+——————————–+ | 音乐 | 序列后继/历史承接 | 后续音、再现、作品或实践 | 听者/共同体/语料中的音乐资格 | 语料复现等于真实听者判断 | +————-+——————–+————————–+——————————–+——————————–+

参照环境还分四级。语料相对 Q_C:相对于一个语料库算数;听者相对 Q_L:相对于个人经历算数;共同体相对 Q_M:相对于实践传统算数;制度相对 Q_I:相对于命名、法律或指南算数。四级可以同向,也可以冲突。

本章的音乐计算只测 Q_C。它们不能替代 Q_L,也不能证明 Q_M 或 Q_I。第二次聆听、历史追认与机构收录分别涉及不同环境的更新,不能再由一个未加下标的“已被承认之物”包办。

九之三、粒度单调律、回接谱与资格生存面

设 φ(O)=x₁…x_n 为对象的特征序列;R 是固定的外部语料。对窗口长度 g 和支持门槛 m_s,令 A(g,m_s;R) 为至少出现在 m_s 个不同参照对象中的长度 g 连续窗口集合。r(g,m_s) 是从序列起点出发,首次命中 A(g,m_s;R) 的窗口结束位置。

定理 1(粒度单调律) 若采用精确连续匹配,R、φ 与支持门槛 m_s 固定,且 g₁<g₂,则

r(g₁,m_s) ≤ r(g₂,m_s),且 C(g₁,m_s) ⊆ C(g₂,m_s)

证明 若一个长度 g₂ 的窗口在至少 m_s 个参照对象中出现,那么它任一长度 g₁ 的连续子窗口也至少出现在同样的 m_s 个对象中。特别取该窗口末端的 g₁ 子窗口,它在不晚于同一结束位置处已经命中。因此较短窗口的首次命中不会更晚;若对象在 g₁ 下都删失,则在更长的 g₂ 下也不可能命中。∎

这一定理带来三项校正。第一,原方案所写“粒度调粗时落空应减少”在上述假设下不是经验证伪条款,而是代码与定义的一致性检查。第二,真正需要数据解释的是变化幅度、临界粒度、风格异质性与生存面的形状。第三,若采用近似匹配、可变阈值、不同特征表征、非嵌套单位或随 g 改变的参照库,单调性可能失效,此时必须明确是哪项假设被放弃。

第三项在本章里不是免责声明,而是入口:一旦把匹配方式 m 从“精确”放开,定理 1 的前提就不成立,而这正是第十七之三节要走的路。定理 1 越干净,越说明第一层的整座建筑是架在“精确匹配”这个隐藏前提上的。

十、四态辨别装置

以“目标资格 Q 是否已成立”与“所用参照 R 是既有还是互动中自建”两轴分格:

表 1-5 回接四态:既有参照、自建参照与观察窗删失

+———————–+————————————-+—————————————–+ | | Q 已成立 | Q 尚未成立/观察终止 | +=======================+=====================================+=========================================+ | 借助既有 R | 甲 · 套式(r_Q 贴近下界) | 丙 · 悬置(仍在等待证据) | +———————–+————————————-+—————————————–+ | 互动中自建 R | 乙 · 自建(后继反复回指而形成落点) | 丁 · 落空/右删失(观察窗结束仍未成立) | +———————–+————————————-+—————————————–+

丁格不叫“永不接回”。有限观察只能登记“到观察终点仍未到达”;若几十年后的作品、第二次出土或参考库修订改变环境,原来的删失对象可能重新进入甲或乙。它有三个可观察签名:

  1. 账本若只登记成功与失败,会把它误当作不存在。 正确做法是保留观察终点 L、删失指标 δ 与当时的环境版本。
  2. 在精确嵌套窗口下,缩短窗口会使丁格向甲格单调迁移。 这是定理 1;实证问题是迁移有多快、在哪个 g 附近突变、不同风格是否有不同曲线。
  3. 以单一 r_Q 为考核指标的制度,会有动力选择使读数更好看的环境。 这不是说操作者必然恶意,而是说单点指标给了参数漂移一个低成本通道。

乙格是第一层最关键也最困难的一格:材料没有接入旧参照,却因自己的后续反复回指而在互动中现建落点。即兴动机、主题——变奏和新词传播都可能如此。乙与丁在当时无法由对象内部一刀分开,只有后继历史能改变其资格轨迹。这条“当时分不开”后来会被证明不是本装置的缺陷,而是第二层的第一个征兆。

四格在音乐上各有现成的例子。甲格:传统曲调的四音程读数多贴近下界,但这只是语料相对 Q_C 的结果。乙格:材料在同一场互动中通过重复、变奏或关系建立形成新参照——不是“无中生有”,而是 R 被互动回写后,较早材料获得新的可比较位置。丙格:目标资格尚未确定,听者可能感到“有东西在发生”,也可能没有。丁格:八音程全量口径下有 56.7% 的曲调属于这一统计状态,而它们仍是公认曲调——这直接说明语料窗口落空与“不是音乐”之间没有等号。

十一、零情态词判据

它是靠什么证据关系 ρ 接回来的?接到哪个层级的参照 R?谁或什么系统在何时、按何规则把它登记为已知?

这三问在五个场合的答案不同,且每一项都可以被具体记录:

最后一项最要紧:后来事件可以改变早先对象的 Q 历史,但不能倒过来制造它曾经的物理发生。所谓“追认”,是参照环境更新后对资格轨迹的重写。

十二、跨域兑现

下列十处各给一个可判定形式。凡填不出 Q 是什么、D 中事件是什么、ρ 是什么、R 与 g/θ/m 由何规则确定、观察窗何时结束,本章即视为不适用。

  1. 新元素认定。Q=核素身份被确认并登记;D=逐级衰变;ρ=因果后代;R=已知核素表与背景模型;g/θ=时间窗、能量容差和统计阈值。
  2. 暗类群的候选分类单元。Q=在指定命名/数据库体系中获得稳定条目;D=独立样本与上下文证据;ρ=重现和参考对齐;R=有版本的参考库;θ=相似度、质量与系统发育门槛。
  3. 移植物损伤或耐受状态。Q=越过诊断阈值,或在特定方案中达到稳定耐受判据;D=连续采样与临床观察;ρ=诊断痕迹或关系重构;R=平台、指南与队列基线。
  4. 传统曲调的语料回接。Q_C=首次命中公共窗口;D=音程序列;ρ=精确序列匹配;R=其他曲目;g=窗口长度。第十三至十六节实测的是这一窄版本。
  5. 先锋作品的历史追认。Q_M=被写入某一实践谱系;D=后续作品、评论、教学与演出;ρ=历史承接;R=当时可用的传统。r_Q 可以超过作者寿命,但只能事后重建。
  6. 新词进入词典。Q_I=收词;D=独立使用记录;ρ=传播与规范化;R=语料库和词典政策;θ=频次、分布与持续时间。
  7. 考古学孤品。Q=进入某器型序列;D=同类出土与年代证据;ρ=类型重现;R=既有型式系统。第二件材料可改变第一件的分类资格。
  8. 法律追认。Q_I=无权代理行为取得追溯效力;D=追认意思表示;ρ=规范授权;R=法律规则。它有明确主体且可拒绝,与无主体的证据链不同。
  9. 失传曲目的重建。Q=材料被归入某曲;D=抄本、题记与旁证;ρ=文献对齐;R=曲目录与版本谱系。
  10. 免疫系统的自体——非自体判定。Q=一段肽被 MHC 呈递并被判为非我;D=蛋白质被切成的窗口;ρ=序列匹配;R=自体蛋白组的全部 k-mer;g=k(由 MHC 结合槽物理限定为 8–11);m=允许的错配数。这一处的特别之处在于:R 的成员由基因组决定而非由人指定,g 由物理限定而非由人选择。第十六之五与第十七之三节两场检验都用它。

十处中,第四与第十已有计算,第一至第三有成熟的领域实践可对照,其余需要历史重建或现场标注。跨域兑现的标准不是“听起来像”,而是能否完整填出全部字段。

三类陈述必须分开。第一类是形式定理:在精确嵌套窗口下,g 增大导致删失集合单调扩张。第二类是经验命题:不同风格、听者或制度的资格生存面是否不同。第三类是制度假说:一旦把单一 r_Q 写进考核,参数可能向有利方向漂移。不能用第一类的必然方向替第三类提供经验证据。

十三、第一场检验:一次被自己驳倒的预先写定方案

音乐是十处兑现中最先取到聚合结果的一处,因此检验从这里开始。

数据:The Session 公开曲调仓库的 tunes.json 导出(爱尔兰传统音乐社区维护的公共记谱库),含 55,019 条记谱;按曲目去重并保留长度不少于 24 个音程者,得 23,201 首。正式投稿版必须补:提交号/快照日期、许可、原始文件 SHA-256 与去重映射(见第三十节复现最低项)。

预先写定方案(prereg_r.md,作者在见到结果前写定,本地时间戳。无第三方公共注册,见第二十七节):以至少出现在 50 首不同曲子中的四音程窗口构成参照集合 A,采用留出法(计算某曲时扣除其自身贡献);r 为曲首起首次命中窗口的结束位置,下界为 4。

表 1-6 第一场预先写定检验的原始聚合结果

+————————-+———–+———————-+——————–+———–+———–+ | 口径 | 已接回 n | 接回子样本条件中位数 | 接回子样本条件均值 | r>4 占比 | 右删失 n | +=========================+===========+======================+====================+===========+===========+ | 四音程窗口,门槛 50 首 | 23,200 | 4.0 | 4.34 | 13.4% | 1 | +————————-+———–+———————-+——————–+———–+———–+ | 四音程窗口,门槛 200 首 | 23,199 | 4.0 | 5.26 | 35.5% | 2 | +————————-+———–+———————-+——————–+———–+———–+

H1 按预先写定口径被驳。绝大多数曲调在第一个四音程窗口内命中。H2 的秩相关为 0.267,未达到 0.50,因而未触发“强代理”判据;这不是对零代理关系的证明。H3 的均值与 r>4 占比方向上升,但预先指定的中位数没有上升,按原判据同样不能算通过。

如果只挑方向正确的均值或 H2 未触发,第一场会被写成成功。本章保留原判据:H1 失败,H3 未在指定统计量上命中。

十四、窗口敏感性与第一处修订

被驳之后,把窗口长度改为 4、6、8 重跑。这一步没有预先写定,属于探索性分析;其方向受定理 1 的结构约束。

表 1-7 窗口敏感性:命中者条件统计与右删失

+———–+———–+———————-+——————–+———–+—————–+ | 窗口 g | 已接回 n | 接回子样本条件中位数 | 接回子样本条件均值 | r>g 占比 | 右删失 n(率) | +===========+===========+======================+====================+===========+=================+ | 四音程 | 23,200 | 4 | 4.34 | 13.4% | 1 | +———–+———–+———————-+——————–+———–+—————–+ | 六音程 | 22,920 | 10 | 15.33 | 74.1% | 281 | +———–+———–+———————-+——————–+———–+—————–+ | 八音程 | 10,038 | 44 | 52.92 | 96.7% | 13,163(56.7%) | +———–+———–+———————-+——————–+———–+—————–+

同一批曲子中,g=8 时有 13,163 首右删失。原表的“中位数 44”是已接回子样本的条件中位数,不是 23,201 首总体的中位回接时间。

第一处修订:r_Q 不是对象的内禀属性,至少要写成 r_Q|E_t。

第二处修订:数据否定的是“传统曲调必有超出最小窗口的等待”,而不是“回接必需”。保留的只是一条更弱假说:目标资格若成立,必须相对于某个参照环境成立;r_Q 可以等于它的操作下界。

十五、第二场检验:跨风格对照与第一条证伪条款

第一场只含一个高度套式化的语料。原解释是“传统曲调把回接段压到下界”;如果这个解释有区分力,固定环境后不同风格的分布应当可重复地区分。

语料:music21 内置语料库的五个风格族——巴赫众赞歌(bach)、欧洲民歌(essen)、十六世纪复调(palestrina)、拉格泰姆(joplin)、十四世纪意大利世俗歌曲(trecento)——每族随机抽样至多 140 首,多声部取最高声部;以 The Session 爱尔兰曲调降采样 140 首作同规模对照。实际可用规模:bach 140、palestrina 140、trecento 103、essen 31、joplin 解析成功 1(不可用)。

预先写定方案(prereg_r2.md):固定 g=4,支持门槛为各语料规模的 1%。H4 以“各族中位数不全相同且至少两族相差≥2”为通过条件;若五族中位数全部相同则触发本章自设的第一条证伪条款 F1H5 预测 g=8 时各族删失率极差大于 g=4。

表 1-8 跨风格结果(g=4)

+———————-+———–+———————-+——————–+———–+———–+ | 语料 | 语料总 n | 接回子样本条件中位数 | 接回子样本条件均值 | r>4 占比 | 右删失率 | +======================+===========+======================+====================+===========+===========+ | 爱尔兰传统(降采样) | 140 | 4 | 5.55 | 45.7% | 0 | +———————-+———–+———————-+——————–+———–+———–+ | 巴赫众赞歌 | 140 | 4 | 5.28 | 27.3% | 0.7% | +———————-+———–+———————-+——————–+———–+———–+ | 十六世纪复调 | 140 | 4 | 4.31 | 15.0% | 0 | +———————-+———–+———————-+——————–+———–+———–+ | 十四世纪意大利 | 103 | 4 | 4.10 | 9.7% | 0 | +———————-+———–+———————-+——————–+———–+———–+ | 欧洲民歌集 | 31 | 4 | 4.03 | 3.2% | 0 | +———————-+———–+———————-+——————–+———–+———–+ | 拉格泰姆 | 1 | — | — | — | 解析失败 | +———————-+———–+———————-+——————–+———–+———–+

H4 被驳,F1 触发:五个可用族的接回子样本中位数都等于 4。

表 1-9 跨风格结果(g=8)

+———————-+———————-+——————–+—————–+ | 语料 | 接回子样本条件中位数 | 接回子样本条件均值 | 右删失率 | +======================+======================+====================+=================+ | 爱尔兰传统(降采样) | 52.5 | 68.92 | 91.4% | +———————-+———————-+——————–+—————–+ | 巴赫众赞歌 | 18 | 21.33 | 35.7% | +———————-+———————-+——————–+—————–+ | 十六世纪复调 | 23 | 29.89 | 9.3% | +———————-+———————-+——————–+—————–+ | 十四世纪意大利 | 15 | 22.62 | 2.9% | +———————-+———————-+——————–+—————–+ | 欧洲民歌集 | 9 | 25.19 | 0 | +———————-+———————-+——————–+—————–+

H5 的异质性方向命中:g=4 时删失率极差为 0.7 个百分点,g=8 时为 91.4 个百分点。需要强调,随 g 增大总体删失不减的方向由定理 1 约束;真正的经验信息是不同风格扩张的幅度差异。

十六、两个结果放在一起说明什么:第三处修订

按预先写定方案,F1 在 g=4 的中位数口径上被触发。不能通过事后换指标把这次失败改名为成功。但两张表揭示了失败的具体机制:地板堆积与右删失使普通中位数失去分辨力。

细粒度表中从 9 到 52.5 的数值仍然只是命中者中的条件中位数。尤其爱尔兰子样本右删失率达 91.4%,把 52.5 写成整个风格的中位回接时间会产生严重误导。

第三处修订:读数必须从单一普通中位数升级为事件——删失框架,报告资格生存曲线 S(k,g)、到达风险、限制平均回接时间或其离散对应量,并把条件统计量明确标注为条件统计量。这一修订是看见结果后提出的,正式复验必须先冻结数据、环境、统计量和缺失处理。

十六之二、第三场检验:删失者与接回者的独立对照

两处修订后,用版本数检验“回接是必需的”。但从资格第一到达模型到“删失组版本数更低”之间并无逻辑必然;H7 实际上是一个额外的桥接假说:流通版本数能够独立反映目标资格。

预先写定方案(prereg_r3.md):在 g=8、门槛 50 首下,删失组版本数中位数应低于接回组,比例不高于 0.8;g=6 作方向一致性检验。

表 1-10 第三场版本数桥接检验

+——–+———-+————+——–+———-+————+——–+———-+ | 粒度 | 删失组 n | 中位版本数 | 均值 | 接回组 n | 中位版本数 | 均值 | 中位比值 | +========+==========+============+========+==========+============+========+==========+ | 八音程 | 13,163 | 1.0 | 2.24 | 10,038 | 1.0 | 2.54 | 1.00 | +——–+———-+————+——–+———-+————+——–+———-+ | 六音程 | 281 | 1.0 | 1.98 | 22,920 | 1.0 | 2.38 | 1.00 | +——–+———-+————+——–+———-+————+——–+———-+

H7 被驳:两组版本数中位数均为 1,出现明显地板效应;均值差异很小,不能支持桥接假说。这次失败只淘汰了一个不够好的外部效标。

十六之三、删失分析校正:条件中位数不是总体中位数

设曲目 i 的真实第一到达时间为 r_i,曲终或观察终点为 L_i。实际观察到的是 Y_i=min(r_i,L_i) 与 δ_i=1[r_i≤L_i]。删失对象不应被删出样本,也不能被当作 r=∞ 直接求普通均值。

Ŝ_g(k) = ∏ (1 − d_j / n_j)

上式是固定 g 下 Kaplan–Meier 型生存估计。总体中位第一到达时间是 Ŝ_g(k) 首次不高于 0.5 的 k;若曲线在可观察范围内未越过 0.5,应报告“未达到”,而不是只在命中者中求中位。

本章只做语义校正,不生成任何无法复核的生存曲线:现有文档只保存聚合表,没有每首曲目的 (Y_i, δ_i, L_i)。正式复算应同时报告 Ŝ_g(k)、置信区间、限制平均第一到达时间、风格间置换/分层比较,以及长度与年代等协变量;若删失机制与曲目长度或风格相关,非信息删失假设也可能不成立。

这条校正不只针对本章。旋律识别文献中广泛使用的点识别(POR)与 gating 读数,通常只在被识别的试次上计算平均识别点,未识别试次被剔除或另计正确率——那正是“条件统计冒充总体统计”的同一处错误(见第二十一节第 19–20 位)。本章因此把它写成对该文献的可检验建议,而不只是自我批评。

十六之四、第四场检验:两个无人参与的系统(F6)

本章自设的 F6 条款是:若所谓“无人系统”在资格成立前后没有任何内部状态或后续行为差异,只有人类事后改变标签,则本章不能以该系统超越机构论。这一条必须被真的检一次。

预先写定方案(prereg_r4.md):选取两个在运行时自行判定“某对象还算不算数”的系统。其一是分布式版本控制系统的对象可达性回收,不可达对象在打包与回收时被清除;其二是托管语言运行时的可达性垃圾回收。预测四态装置的三格在其中齐全,且可被系统内部状态区分:

结果:两条假设均获支持,F6 未被触发。两系统中三格齐全:对象被从根集合可达时存留;不可达且回收粒度细时被真实清除(内存或磁盘上不复存在);不可达但回收粒度粗(分代/增量/保守回收未覆盖该区域)时仍然存留。资格状态的改变带来的是物质后果,不是事后标签。

但这一场的自陈弱点比它的支持更重要。两系统的规则是人写的;“以可达性定存留”这条落点判据是被人挑出来的;根集合由人指定。因此第四处修订:撤回“完全没有承认者也成立”这一表述。本章能守住的只是:承认可以不是即时的意向行为,而是一套被执行的规则;规则的来源仍是社会的。这一步同时把本章从丹托——迪基——塞尔一线的“对手”位置移到“分层”位置(见第二十一节)。

十六之五、第五场检验:一个不由人指定落点的系统(F7 被驳)

第四场留下的欠账很明确:能不能找到一个落点集合的成员不由人指定、粒度也不由人选择的系统?免疫学提供了一个。

材料与预先写定方案(prereg_r5.md):落点 R=人类参考蛋白组(UniProt 人类参考蛋白组,20,416 条序列、1,141 万残基)的全部长度 k 的连续窗口(k-mer);对象=两个病毒参考蛋白组;g=k,其取值区间由 MHC-I 结合槽的物理限定为 8–11,不由研究者选择;m=精确匹配。读数为“落空率” L(k)=对象窗口中不出现于 R 的比例。

表 1-11 第五场:落空率 L(k) 随窗口长度的变化

+————-+——-+——-+——-+——-+——-+——-+——-+——-+ | k | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | +=============+=======+=======+=======+=======+=======+=======+=======+=======+ | 落空率 L(k) | 0.095 | 0.72 | 0.97 | 0.997 | 0.999 | 1.000 | 1.000 | 1.000 | +————-+——-+——-+——-+——-+——-+——-+——-+——-+

H12 被驳,F7 触发:在 k=8–12 的整个生理区间,落空率恒为 0.997–1.000,没有任何区分力。H13 也被驳:真实病毒肽与保持氨基酸组成的打乱对照之间,落空率差异小于 0.5 个百分点——落空只反映组合稀有性,不反映异己性。

事后探索(非预注册):把 m 从精确匹配放宽到容 1 个错配,k=8 的落空率从 0.997 降到 0.837,k=9 降到 0.983。方向正确,但救不回预注册的判据。

第五处修订:这次失败暴露了本章此前从未写明的一个前提——默认接回是精确匹配。前四场全部落在精确匹配系统里,所以 m 一直没有显形。完整写法从此是 r_Q|(g, m)。

这一场按预先写定口径是本章最彻底的一次失败:它意味着“与机构论的分界”只完成了一半(第四场立住了“规则可以自动执行”,第五场没能立住“落点可以不由人指定”)。但接下来一节要说明,正是这次失败提供了本章第二层的关键材料。

十七、跨域共振的重新限定

完成谓词、关系类型与删失校正后,再回头看三家,能够保留的是高阶结构,而不是四个领域“完全同一”。

核化学:时间窗和能量容差改变归属的真阳性、假阳性与漏检,这是因果链证据的误差结构。真菌学:相似度、质量、独立重现与参考库版本改变分类归属,这是重现——对齐关系的版本结构。移植医学:阈值、平台、采样时刻与临床谱改变损伤判定,这是诊断痕迹的风险结构。

四个领域真正共有的形式是:

Q/K = F(O, D; R, φ, g, θ, ρ, m, t)

调参改变谁算数,且误收与漏收之间存在权衡。但“窗口缩短”“相似度放宽”“报警阈值抬高”在各领域的方向并不天然同义,必须逐域定义。跨域比较的任务不是寻找一句共同隐喻,而是检查映射是否保结构:对象、事件、证据关系、参照、阈值、误差、观察终点和撤销机制是否都能一一对应。缺一栏,就只能算启发性类比。

十七之二、四次失败共同指向的东西

到这里,本章有四次按预先写定口径的失败:H1(第一场)、H4/F1(第二场)、H7(第三场)、H12/F7(第五场)。通常的处理是逐条认账、逐条改进。但把四次并排看,会发现它们不是四种不同的失败,而是同一种

表 1-12 四次失败的同一形状

+—————–+—————–+———————————+—————–+ | 场次 | 被驳假设 | 读数的实际表现 | 堆在哪一端 | +=================+=================+=================================+=================+ | 第一场 | H1 | 23,201 首中位 r 全等于下界 4 | 地板 | +—————–+—————–+———————————+—————–+ | 第二场 | H4(触发 F1) | 五个风格族中位 r 全等于 4 | 地板 | +—————–+—————–+———————————+—————–+ | 第三场 | H7 | 两组版本数中位数全等于 1 | 地板 | +—————–+—————–+———————————+—————–+ | 第五场 | H12(触发 F7) | k=8–12 落空率恒为 0.997–1.000 | 天花板 | +—————–+—————–+———————————+—————–+

四次都不是“效应不存在”,而是读数被自己的判据压成了常数。地板与天花板是同一件事的两面:切口切在分布的边缘,于是几乎所有对象落在同一侧,分布内部的全部结构在读数里消失。第二场的 g=4→g=8 更是把这件事演到了极端——同一批公认曲调,在一个切口下 100% 命中,在另一个切口下 91.4% 删失。

一个自然但错误的处置是“换一个更好的切口”:把 g 调到中间,把阈值调到分布腰部。这正是第二十六节所说的“参数被做漂亮”,而且定理 1 保证了这种调节总是可行的——任何想要的命中率,都能通过选 g 得到

正确的处置是承认:带信息的量从来不是“在不在 A 里面”,而是“离 A 有多远”。二值读数之所以在四场里全部塌掉,是因为它每一次都把一条分布压成一个指示函数。于是问题变成:那条被压掉的分布,究竟有多大?如果被丢掉的只是零头,第一层只需微调;如果被丢掉的是大部分,第一层就必须让位给第二层。

这是一个可以直接测的问题。

十七之三、第六场检验:回接距离 d 的分布

定义 设对象窗口 w 与落点集合 A 中的成员等长。回接距离

d(w; A) = min H(w, a)

其中 H 为汉明距离(等长逐位错配计数)。d=0 即精确命中,也就是前五场使用的全部读数。资格第一到达时间因此是 d 的一个特例:r_Q 是使 d(w_k) = 0 的最小 k。

预先写定方案(prereg_r6.md,写于取数之前):在两个互不相干的材料域中各随机抽 n=400 个窗口,计算 d 的分布,分为 d=0、d=1、d=2、d≥3 四档。

表 1-13 第六场:回接距离 d 的分布(各 n=400)

+———————-+———–+———–+———–+———–+—————-+ | 材料域 | d=0 | d=1 | d=2 | d≥3 | 中间档 d∈ | +======================+===========+===========+===========+===========+================+ | 自体肽(k=9) | 0.25% | 1.25% | 45.25% | 53.25% | 46.5% | +———————-+———–+———–+———–+———–+—————-+ | 曲调首窗口(八音程) | 1.25% | 5.75% | 16.00% | 77.00% | 21.75% | +———————-+———–+———–+———–+———–+—————-+

H15 与 H16 均获支持。这是六场检验中唯一一场两条预先写定的假设同时成立的。

读数怎么解释:在自体肽一域,精确命中率是 0.25%——按第一层的二值读数,99.75% 的对象是“落空”,与第五场的天花板一致;但其中有 46.5% 其实只差一到两位。在曲调一域,精确命中率 1.25%,而 21.75% 只差一到两位。两域的共同结论是:二值判定丢掉的不是零头。

本场最大的弱点必须写在这里,而不是留给审稿人:两域的字母表规模不同(氨基酸 20 个符号,音程在实际语料中的有效符号数远小于此),窗口长度也不同(9 与 8),因此两域的 d 数值不可直接比较大小。本场能支持的只有两件事:(a) 在各自域内,中间档不是零头(H15 的实质);(b) 两条分布的形状不同(H16 的实质)。任何“肽比曲调更接近”的读法都超出证据。正式复验必须补:按字母表规模与窗口长度做的组成保持型打乱对照(如第五场 H13 所用),以确认 d 分布的形状不是纯组合学产物;以及 d≥3 档的细分(本场把它截断成一档,这是信息损失)。相应的欠账登记为 F11

这一场同时把第五场的失败改写成了证据。第五场按精确匹配口径的落空率在生理区间恒为 1.000,本来是本章最彻底的一次被驳;但在 d 的尺度上,同一批材料显示出 0.25%/1.25%/45.25%/53.25% 的清晰结构。第五场测到的不是“没有结构”,而是“这把尺子只有一个刻度”。事后探索里“容 1 错配使 k=8 落空率从 0.997 降到 0.837”这一现象,在这里得到了正面解释:不是补丁,是切口位置从 τ=0 移到 τ=1 的直接后果。

十七之四、第二层承重命题:切口生产真值

第二层命题:不存在“它是不是一个 X”这件事本身。存在的是对象到已登记落点集合的回接距离 d 的一条分布。一切二值资格判定都是在这条分布上取一个阈值 τ 切一刀:

Q_τ(O | E_t) = 1[ d(O; R, φ, m) ≤ τ ]

切口位置由粒度 g、匹配方式 m 与阈值 θ 共同决定。切口生产真值:在切口被指定之前,“是/不是”没有取值,因此它不是被发现的,而是被切出来的。回接段与 r_Q 是切口取 τ=0 时的特例。

三条推论:

推论一(第一层被降为特例) r_Q(O|E_t) = inf,τ=0 即前五场。第一层不是错的,是窄的:它把一个二维对象(距离 × 时间)投影到了一条线上。回接谱 ℛ_O 相应升级为距离分布族 。

推论二(地板与天花板得到统一解释) 第十七之二节表 1-12 的四次失败,不是四个语料的性质,而是切口位置的性质:切口取在分布的边缘,读数必然是常数。这一解释是可检验的——它预测把切口移到腰部(τ=1 或 2),同一批材料的读数会重新获得方差。第六场表 1-13 正是这个预测的第一次兑现。

推论三(乙格与丁格“当时分不开”得到解释) 第十节说乙格(互动中自建落点)与丁格(删失)在当时无法由对象内部一刀分开。第二层给出理由:二者的差别根本不在对象里。它们在 d 上可能完全相同,区别只在于未来的切口会落在哪里——后续互动改变 R,从而改变 d,从而改变同一个 τ 切出来的答案。

这个命题的边界必须划得比命题本身更清楚,否则它会滑成相对主义。被切口生产的只有二值真值。d 的分布本身不是被切口生产的:给定 R、φ、m,d 是对象与落点集合之间的一个联合事实,可测量、可复核、可被独立复算,也可以被证伪(第六场就有两条会失败的判据)。同样,E(物理发生)完全不受影响:声波振动过没有、原子衰变过没有,与它们算不算数,是两件事(第七之二节)。因此本章的主张不是“什么都是约定”,而是一个更窄也更硬的主张:在资格判定上,二值层是导出的,距离层是基本的;把导出层当基本层,就会反复撞上表 1-12 那种失败。

用一句话说完第二层与第一层的关系:第一层问“它什么时候接回来”,第二层答“’接回来’这件事本身是你在一条连续分布上切的一刀,问它’什么时候’之前,先说清你切在哪儿”。

十七之五、与“预设判据独立之真值”的家族分界

第二层最危险的近邻不是艺术哲学,而是三支已经高度成熟、且与本章形式极近的实证传统。它们共享同一个预设,因此可以用同一条分界线一次处理。

近邻一:gating 范式与 cohort 理论。 Grosjean (1980) 为口语词识别设计的 gating 范式,逐段延长刺激、每步要求判断并记录置信度;Dalla Bella, Peretz & Aronoff (2003) 把它移植到旋律,并分出三个有序的判定点——熟悉浮现点(FEP)、隔离点(IP)与识别点(RP)。这与本章第二十三之四节的听者实验设计几乎同形,而且“不同资格谓词有稳定到达次序”这条预测,他们已经测过。本章不得声称首创逐步延长的首达测量。

近邻二:点识别(POR)与语料统计预测。 Bailes (2010) 用超过 15,000 条西方主题旋律的统计所构造的独特性度量,回归预测 32 名听者在 120 首旋律上的点识别时刻,解释了 85% 的方差。这是“用语料统计预测听者首达”的现成实现,本章第二十三之四节的增量预测计划因此不是新纲领。

近邻三:信号检测论与序贯抽样/漂移扩散模型。 Green & Swets (1966) 的 d′ 与判据 c;Ratcliff (1978) 及后续的漂移扩散模型把判定直接写成到一个边界的首次通过,边界位置 a 调节速度——准确率权衡。形式上,本章的 r_Q 就是一个首达时间,θ 就是边界。

分界线只有一条,三位共享它:上述三支传统全部预设一个判据之外给定的真值。gating 里那首曲子确实是《扬基歌》,所以可以算识别正确率;POR 里被预测的是一个固定答案的检索时刻;DDM 里移动边界 a 改变的是错误率与反应时的权衡,不改变哪个反应是正确的。本章第二层主张的恰恰是:在资格判定上不存在判据之外的真值,移动切口不产生“错误率”,而产生一套不同的对象。

这条分界线给出可区分观察,不是口号:

  1. 在 gating 里改变呈现步长,会改变测得的识别点,但不会改变“这首是不是《扬基歌》”。在本章的模型里,把 g 从 4 改到 8,91.4% 的公认曲调从命中变成删失(表 1-9);把 k 定在 8,99.7% 的病毒肽落空(表 1-11)。改的不是答对答错,是谁还在名单上。
  2. 在 SDT 里,判据移动使 d′ 不变而击中率与虚报率同向移动——因为真值分布固定。在本章的模型里,R 被修订(条目增删、参考库换版本)时,d 的分布本身移动,于是同一个 τ 切出不同的答案,而且没有一个“未受污染的”真值可以用来算这次变化的错误率
  3. POR 与 gating 文献通常只在已识别的试次上计算平均识别点,未识别试次被剔除或另计正确率。这正是第十六之三节诊断的条件统计错误。本章对该文献的可检验建议是:把未识别试次作为右删失纳入生存模型重算,若结论稳健,本章这一条批评作废;若不稳健,则该文献的识别点估计需要系统修订。

最危险的哲学近邻:框架相对性。 卡尔纳普(1950)区分框架内部问题与外部问题,主张“某类对象是否存在”只在一个语言框架内部有答案;蒯因(1969)的本体论相对性与普特南(1981)的内在实在论沿同一方向推进。第二层命题若被压成一句话——“资格问题的答案相对于框架才有取值”——就落在这条线上,本章不得声称首创这个哲学立场。

分界必须靠三处增量,缺一处则第二层退化为对框架相对性的重述:

  1. 范围收窄且不对称。 本章只对 Q(以及部分 K)主张切口相关,对 E 明确否认(第七之二节)。框架相对性论者通常不作这个区分,或把它留在语义层。本章因此可以说出一句他们说不出的话:同一个对象,其物理发生不随框架移动,其资格真值随切口移动,而这两件事可以在同一场实验里被分别测量。
  2. 框架被换成一组可测参数。 “框架”在哲学讨论中通常是不可数的整体;本章把它写成 (R, φ, g, θ, ρ, m, t) 七个可声明、可冻结、可改版、可审计的量,并要求每次判定随读数公布。这使框架相对性从一个立场变成一份报告格式。
  3. 给出被丢弃的量并测量它。 框架相对性说“答案随框架变”,不说“每一次二值化丢掉多少”。第二层说了,并测了:两个互不相干的材料域中,中间档分别是 46.5% 与 21.75%(表 1-13)。这是一个可以被打乱对照驳倒的数(F11),而框架相对性本身不给出任何可被这样驳倒的数。

反过来说,若上述三处增量都不成立——若 E 与 Q 的分离在实验上做不出来、若七参数不能穷尽实际使用的判定条件、若中间档在对照下与组合学噪声无异——那么第二层确实只是框架相对性的一次计量化改写,本章的哲学部分应予撤回。

较远划界:模糊集与原型理论。 Zadeh (1965) 的隶属度 μ∈[0,1] 与 Rosch (1975) 的典型性梯度都拒绝二值范畴,与本章方向一致。两处不同:其一,隶属度与典型性通常被当作对象(相对于一个已存在范畴)的属性,而 d 是对象与一个有版本号的落点集合之间的关系量,R 换版本时 d 就变。其二,模糊理论主张二值判断是隶属度的粗化,本章主张二值真值在切口之前不存在——粗化预设被粗化者已有确定的真值刻度,本章不预设。可区分观察:系统性地增删 R 的条目,应可预测地改变 d 分布与由此切出的答案;隶属度理论不对“范畴库被改版”作预测。

由此新增两条自我证伪条款:

十八、三个音乐场景

其一,口传曲调。 实测显示,许多传统曲调在短窗口的语料环境中很快命中公共模式。较稳妥的解释是:短片段冗余使材料容易被局部识别、传播与修复;这可能帮助口传,但本章没有直接测记忆、传播成功率或听者判断,不能把相关机制写成已经证实。第二层补一句:所谓“套式化”不是曲子的属性,而是它在 τ=0、g=4 这个切口下的位置;同一批曲子在 g=8 的切口下是“高度独特”的(91.4% 落空)。套式与独特是同一批材料在两个切口下的两个名字。

其二,首演陌生,后来被追认。 一部作品在早期没有稳定的解释和实践位置,后来因新作品、评论、课程与演出形成谱系。按第一层,改变的是共同体参照环境 R_t 与资格 Q_M,而不是作品的物理声响被后来创造。按第二层,更准确的说法是:后来的作品进入 R,使这部作品的 d 下降,于是同一个切口切出了相反的答案。追认不是补发一张证书,是落点集合长到了它旁边。

其三,一段声音被判为噪音。 语料落空不能直接推出“不是音乐”。同一材料在 g=4 与 g=8 下可以从命中转为删失,说明任何基于相似匹配的否定判断都依赖环境参数。第二层进一步说:一次“这不是音乐”的判定,等于宣布“该对象的 d 大于我所用的 τ”,而没有公开 τ 的判定是不可复核的。真正的听者是否也如此,必须由第二十三之四节的实验检验。

十九、三家与音乐的逐栏对照

表 1-14 跨域结构对照:关系、参照、参数与未决状态

+———–+——————–+———————-+————————–+—————————-+————————–+ | 领域 | 证据关系 ρ | 事件 D | 参照 R | 粒度/阈值/匹配 | 观察终点未到达时 | +===========+====================+======================+==========================+============================+==========================+ | 新元素 | 因果后代 | 逐级衰变 | 核素表+背景模型 | 时间窗、能量容差、统计阈值 | 未完成归属/候选事件 | +———–+——————–+———————-+————————–+—————————-+————————–+ | 暗类群 | 重现+参考对齐 | 独立样本序列 | 有版本的参考库 | 质量、相似度、系统发育门槛 | 未决候选/暗类群 | +———–+——————–+———————-+————————–+—————————-+————————–+ | 移植 | 诊断痕迹/关系重构 | 连续采样与临床观察 | 平台、指南与队列基线 | 报警阈值与观察窗 | 未决状态/需其他证据 | +———–+——————–+———————-+————————–+—————————-+————————–+ | 免疫 | 序列匹配 | 蛋白被切成的窗口 | 自体蛋白组全部 k-mer | k 由结合槽限定;容错量 m | 非我候选/呈递未发生 | +———–+——————–+———————-+————————–+—————————-+————————–+ | 音乐 | 序列后继/历史承接 | 音、乐句、作品或实践 | 语料、听者、共同体或制度 | 表征、窗口、接受规则与容错 | 语料删失;不能等同非音乐 | +———–+——————–+———————-+————————–+—————————-+————————–+

表中的最后一栏只表示在给定观察窗和环境下尚未到达,不是一个共同的本体垃圾桶。跨域同构成立于记录结构:每一行都必须保留未决状态、误差率与环境版本。第四栏“匹配”是本章第五场之后才加上的一栏——在此之前,这张表看起来也很整齐,那种整齐是隐藏前提造成的。

二十、正交性

接回快不表示更好、更完整或更“是音乐”,只表示在该环境中较早越过资格边界。r_Q 大或删失的对象里既有新材料,也有失败、短小、解析错误或参照不适配;单靠 r_Q 无法分开。

同一材料在不同 g 下可以处于回接谱的不同位置。因此,不但 r_Q 不能作质量排序,连“临界粒度”也不能脱离 R、φ、θ、m、t 被读成原创性。它们是环境相对的结构读数。

第二层把这条正交性说得更硬:既然二值真值由切口生产,那么任何以二值资格为基础的排序,其排序结果同时是切口的函数。不公开切口的排名,形式上不是一个可争论的错误结论,而是一个尚未取值的表达式。

二十一、十八位分界(另四位见第十七之五节)

本节处理与本章最接近的十八组工作。分界标准不是术语是否相同,而是:研究对象、资格谓词、时间结构、参照环境与可区分观察是否相同。第 19–22 位(gating/cohort、POR、SDT 与漂移扩散、模糊集与原型理论)与第二层直接冲突,已在第十七之五节单独处理。

  1. 丹托的艺术界与迪基的机构论。 它们说明艺术身份依赖理论氛围、历史与文化实践,而不是物体的裸性质。本章不把这部分当作对手,而把它并入“制度相对 Q_I”。分界不写成“有没有承认者”:衰变链和免疫过程的生成可以没有即时意向授予,但实验注册、数据库和临床指南仍由人维护。本章的增量在于把资格过程拆成证据生成、规则判定与制度登记三层,并测量第一到达与距离,而不是声称完全摆脱社会实践。处置:部分并入(第十六之四节的第四处修订已据此收回过强表述)。
  2. 塞尔的地位功能。 “X 在语境 C 中算作 Y”与集体意向性解释社会资格。本章的差别是把 C 展开为 R、φ、g、θ、ρ、m、t,并允许在社会登记之前存在一段机器或生理证据过程;但 Q_I 仍可能需要共同体。
  3. 古德曼的异位艺术。 其问题是作品同一性与正确实例,本章的问题是某一资格在指定环境中何时首次成立、距离多远。
  4. 杰肯道夫的音乐实时处理与回溯修订。 它们研究后到证据如何改写既有解析;本章研究目标资格何时越过边界。分离观察:解释可以从头到尾不变,而某一更高层资格仍迟到;反之,解析可以多次修订,音乐资格却从第一刻已成立。
  5. 迈尔的期待理论与纳缪尔的蕴含——实现模型。 它们处理期待、实现与音乐意义;本章处理资格边界。期待模型可以成为 φ 或预测变量,但不能直接充当 Q。
  6. 格尔的作品概念史与莱文森的作品本体。 它们讨论“作品”概念的历史条件与音乐作品是什么类型的对象;本章不解决作品本体。
  7. 布雷格曼的听觉场景分析。 它研究同时声学材料如何被组织成声流;本章研究历时证据与资格边界。听觉分组可以改变 φ,从而间接改变 d 与 r_Q。
  8. 马古利斯的重复研究。 重复可产生熟悉、卷入与参与感;本章的语料重现只是参照库构造。直接听者实验应同时测重复效应与资格第一到达。
  9. 默顿的优先权与承认。 科学社会学问成果的信用如何分配;本章问在何种证据环境中,一项材料先被计为某类成果。
  10. 法律追认。 它与回接一样具有回溯效力,但追认有授权主体、明确时点并可拒绝。这个可拒绝性提供了强对照:若本章的资格模型不能表示“拒绝后永不到达”,它在法律域就不完整。
  11. 哈金的分类互动。 分类会改变被分类者,被改变者又改变分类。本章的 SIO 回写与它相近,但不限于会反思自身分类的人;凡被分类者不会反馈的领域,回写只能发生在规则与数据库一侧。
  12. 鲍克与斯塔的分类基础设施。 《Sorting Things Out》系统研究了分类系统的版本、残余范畴(“其他”“未特指”)以及被分类者被系统“扭矩”的后果,与本章的丁格、可撤销资格与第二十六之二节的治理出口高度重叠,是本章在社会科学侧最危险的近邻。分界:他们的分析对象是分类系统的历史与政治后果,本章提供的是一个可计算的量(d 与 r_Q)与一套可审计的记录格式;若本章的量不能对残余范畴的规模与迁移作出他们无法作出的定量预测,本章在这一侧就没有增量。
  13. 科学实践研究中的事实稳定化,尤其莱茵贝格尔的实验系统。 实验对象通过痕迹、差异与技术条件逐步显形,这是三个科学行当最接近的理论近邻。本章不宣称首次发现“痕迹使对象显形”,只主张新增了 r_Q、d、删失、回接谱与环境参数化。
  14. 莱文森的历史性艺术定义。 它把艺术身份与“被意图为按先前艺术被正确对待的方式来对待”联系起来,已经包含历史链与既有艺术的回指。本章的增量只能是:去除意图作为必要条件、把历史关系展开为可声明环境、并把二值定义换成距离分布。如果这些增量不能产生可区分预测,回接退化为历史定义的计量改写。
  15. 施马尔费尔特的“成为过程”。 后续材料可以使此前段落的形式功能在回顾中显露。它研究已被当作音乐的材料内部“是什么功能”的成为;本章研究“何时、离多远取得目标资格”。
  16. 斯莫尔的 musicking。 音乐不是孤立物,而是表演、聆听和关系的活动。本章以 SIO 复合体回应:Q 属于主体——互动——客体在环境中的状态,而非声音裸对象。
  17. Pearce–Wiggins 的统计学习与 IDyOM。 基于语料的 n-gram、PPM 与信息动力学模型已计算音乐事件的期待与信息量,与本章窗口算法在操作上非常近。分离线:IDyOM 预测期待/惊奇,本章测目标资格的距离与首达并保留删失;但没有听者效标时,二者都可能只是语料统计。附带一条:n-gram 语言建模中“短窗口覆盖率必然不低于长窗口”是回退(back-off)方法的日常前提,因此定理 1 在该领域内属于常识,本章的贡献不在定理本身,而在指出音乐与资格研究此前把它当成了经验发现。
  18. 贝叶斯序贯更新与最优停止。 把“何时判定”写成期望损失最小的停止时刻,是决策论的成熟框架。分界:最优停止求的是给定损失函数下的最佳切口,预设了误判的代价可以被独立定价;本章问的是切口本身如何生产被定价的那个“误”。二者可以接起来:把 τ 交给损失函数,本章的距离分布正是那个损失函数所需的输入。

十八位比较后,本章的可守增量被压缩为五件事:E/K/Q 的谓词分离;资格第一到达 r_Q、删失与回接谱;粒度单调律及其对既有经验主张的降格;回接距离 d 与“切口生产真值”;SIO 环境回写的可检验预测。任何一件做不实,创新性都应相应下调。第四件是本章自认为唯一可能不可还原的一件。

二十一之二、六处反向约束:材料反过来削弱本章

跨域取材若只为本章提供漂亮类比,就不算真正的交锋。下面六条都真实削弱主张,并改变后文的实验与伦理。

其一,核化学削弱“接回是二值的”。 判定带错误率,等待与放宽容差会同时改变真链和背景链。r_Q 必须与误认、漏认和风险集一起报告。(这一条后来长成了第二层。)

其二,真菌学削弱“资格一经取得即稳定”。 参考库修订可使昨日命中者今日重新落空,因此 d 与 r_Q 依赖测量时刻 t,并需要可撤销的资格轨迹。

其三,传统曲调削弱“必须有额外等待”与隐含价值排序。 r_Q 贴下界既不是缺陷也不是美德;套式化可能是传播资源,细粒度独特性也不等于原创性。

其四,谓词校正削弱“后继物赋予存在”。 三家只支持 K/Q 的迟到与环境依赖。任何把 Q 的改变写成物理存在 E 的改变,都是范畴错误——第二层也严格受此约束。

其五,删失理论削弱原有中位数结论。 删去未命中对象后计算的中位数是条件统计;没有逐对象风险集,不能声称得到总体第一到达分布。

其六,免疫学削弱“落空即异己”。 第五场 H13 显示,真实病毒肽与保持组成的打乱对照落空率差异小于 0.5 个百分点。落空首先反映组合稀有性。这一条同时警告第二层:d 分布的形状里,有多少来自材料、有多少来自字母表的组合学,必须用打乱对照分离(F11)。

二十一之三、五个看起来反对本章的例子

其一:“婴儿一听就知道是音乐,哪来的等待?” 快速判断可能来自先天偏好、早期暴露、声学线索或照护场景。本章只能提出:婴儿的 Q_L 参照环境已预装某些结构,其 d 分布因此不同;这尚无数据支持。

其二:“我听到一个音就知道是音乐。” 单音判断可能依赖音色、演奏场合、视觉线索或任务指令,而本章的音程序列 φ 根本没有这些变量。正确检验是操纵上下文和后续,同时记录单音时的判断及置信度。

其三:“鸟鸣是不是音乐?” 本模型不给普遍答案,只要求把 Q、E 与切口声明清楚:对个人审美聆听、某文化实践、动物交流研究和音乐学院课程,资格谓词与 τ 都不同。参数化能澄清争论,却不能替各共同体作价值裁决。

其四:“第一段音乐没有旧参照,如何回接?” 静态模型只能诉诸乙格:互动中通过重复和差异现建参照。第二层给出更清楚的说法:R 为空时 d 无定义,“是不是音乐”这个二值问题在那一刻没有取值——这不是本章的漏洞,正是本章的主张。

其五:“第二次听同一段陌生音乐,为什么立刻认出?” SIO 回写模型给出形式答案:第一次互动把材料写入个人环境 R,使第二次的 d 下降、r_Q 提前。但这只是预测,必须通过首次暴露——训练——再暴露实验,把环境更新与单纯记忆促进分开。

二十一之四、回接段不是记忆,也不是期待

它不等于记忆。 记忆保持问材料是否可再认/再现;资格第一到达问在某个 Q 与 E 下何时越界。二者可相关但可实验分离:操纵工作记忆负荷与参照训练,比较各自对 r_Q 的效应。

它不等于期待。 期待模型预测下一事件或信息量;本章判定已发生前缀离某资格边界多远。一个模型可以同时具有高惊奇和早资格,也可以低惊奇却迟到达。

它也不等于熟悉感。 版本数不是熟悉感的有效替代,因此第三场失败不能支持这一分离。未来应直接测主观熟悉度、客观再认与资格判断,并检验三者的时间曲线。

更要紧的是,它不等于“识别”。 第十七之五节已说明:识别有一个独立的正确答案,资格没有。把 d 读成“离认出来还差多远”,就把第二层又压回了第一层。

二十二、与三种通行答案的重新对账

内部性质理论,本章不说“位置一定不对”。声学结构与组织方式构成 φ,并影响对象在不同参照环境中的距离与首达;它们不是充分资格判据,却可能是首次通过的关键机制。

意图理论,意图可以设定 Q、选择 R 与 τ 并引导后继互动,但意图不保证共同体或听者的资格到达。作者相对、听者相对与制度相对状态必须分开。

制度理论,本章把它置于 Q_I:制度可明确授予、拒绝、撤销资格。算法、语料与生理证据过程则位于制度登记之前或之外,但其规则通常仍有社会来源(第十六之四节)。

三笔对账后,本章不是“第四种音乐定义”。第一层是一个资格发生元模型;第二层则更进一步主张:要求一个定义给出“是/不是”的普遍判据,这个要求本身建立在一个不成立的假设上——它假设在切口之外还有一个等着被说中的二值事实。

二十二之二、四处让步:本章比它想说的少说了什么

让步一:本章不能证明音乐资格必然遵循回接结构。三个科学领域提供的是建模启发,不是音乐证据;六场检验中没有一场直接检验听者。

让步二:频次不是“已被承认”。本章只构造了语料相对 Q_C。真实的 Q_L、Q_M 与 Q_I 包含经验、权力、场合、教育与规范。

让步三:特征表征 φ 极窄。现有算法把音乐压成单线音程序列,忽略时值、音色、力度、多声部、演奏动作和场景;对于实验音乐、电子音乐与非西方传统,它可能测错对象。

让步四:第二层的两条支持性假设(H15、H16)来自单一距离度量(汉明距离)与两个域各 n=400 的抽样,且 d≥3 被截断成一档。第二层目前是一个有正面证据的假说,不是一个已确立的结果。把它写成结论,就重犯了本章批评过的错误。

二十三、这个量测不到什么

一个可清点的量最容易被拿去干它干不了的事,所以本节把边界写在前面。

二十三之二、对“何谓音乐”的正面作答

前面各节都在收缩,本节给出一个不越过证据的正面回答,并逐句标明强度。

第一句(有现有计算支持):在语料相似性操作化下,同一材料的“何时命中”高度依赖 R、φ、g、θ 与 m。没有声明环境,语料相对的答案不确定。

第二句(跨域材料支持,音乐上未证):某些资格判断的证据可以晚于对象发生,并由后继事件与参照系统共同完成。音乐是否属于这一类,需要直接听者和共同体数据。

第三句(形式上成立):资格第一到达时间可以等于操作下界,也可以右删失;不存在一个脱离环境的单一“回接长度常数”。

第四句(本章第二层的主张,有第六场的正面证据,尚未确立):一段声音“是不是音乐”不是一个等着被说中的二值事实。存在的是它到已登记落点集合的距离分布;每一次“是”或“不是”的判定,都是有人(或某套被人写下的规则)在这条分布上切了一刀。问“它是不是音乐”之前,必须先回答“你切在哪儿”。 第六场显示,被这一刀丢掉的不是零头:在两个互不相干的材料域中,落在中间档的分别是 46.5% 与 21.75%。

第五句(规范性结论):任何一次“这不是音乐”的正式判定,都应同时公开它相对于哪个主体/共同体、用何表征、参照、粒度、容错与规则成立。参数不公开,否定就不可复核;参数公开,也不等于该判定具有普遍效力。

二十三之三、五个最小工作

要使本章进入可复验研究,而不是停在漂亮框架上,以下五件事优先级高于继续扩写概念。

  1. 完成复现包。 公开语料正式名称、版本、访问日期、许可、文件哈希、去重清单、解析失败日志、随机种子、代码与第三方时间戳。
  2. 用逐对象 (Y_i, δ_i, L_i) 重做删失分析。 预先指定 Kaplan–Meier/离散风险模型、长度调整、置信区间和留出验证。
  3. 完成直接听者实验(第二十三之四节)。
  4. 完成第六场的组成保持型打乱对照与 d≥3 档细分(F11),并把汉明距离换成至少一种其他距离(如带位置权重的编辑距离)复算,确认第二层不是单一度量的产物。
  5. 在跨文化、多声部、节奏/音色主导材料和一个自动判定系统上复验,检验 φ 与主体层级改变后,距离分布是否仍有可重复结构。

二十三之四、决定性听者实验

这是把论文从 Q_C 推到 Q_L 的决定性一步。样本量应先用先导数据和模拟功效分析确定,并在正式预注册前冻结。核心设计如下。

材料:至少四类——熟悉调性材料、陌生传统材料、统计结构匹配但未被命名为音乐的生成序列、以及在时长和频谱上匹配的非音乐控制。所有刺激保留音色与节奏版本,并另设只保留音程序列的降维版本,以检验 φ。

呈现:按音符或固定时间步逐段延长,同一前缀不反复回放。每个步长分别询问三个互不替代的问题:①“这是有组织的声音吗?”②“你现在会把它算作音乐吗?”③“你能把它归入某风格或作品吗?”同时记录反应时与置信度。

与 gating 范式的关键差别(第十七之五节):Dalla Bella 等人的 gating 实验为每个试次准备了正确答案,因而报告识别正确率。本实验的问题②没有正确答案,这不是设计缺陷,而是被检验的对象本身。因此本实验必须额外做两件 gating 不做的事:(a) 在被试间操纵参照环境(见下),检验“答案”是否随环境移动;(b) 把未到达试次作为右删失纳入模型,而不是剔除。

环境操纵:第一阶段测初次到达;第二阶段给一半材料提供短训练语料或共同体说明(改变 R),另一半只重复暴露(主要改变记忆与熟悉度);第三阶段再测。二者对 r_Q 的差异是环境回写与一般练习效应的分离线。

分析:以离散时间混合效应风险模型估计 Q_L 的首次通过,个体与材料作随机效应;将语料 r_Q、语料 d、信息量/期待(IDyOM 类)、声学特征、熟悉度和记忆成绩同时纳入。检验语料距离是否提供独立增量预测,并在新材料上交叉验证。

决定性失败条件:若在控制声学、长度、熟悉度与期待后,语料回接谱与 d 不能预测听者 Q_L 的到达;或训练改变 R 却不系统改变 r_Q。或“是音乐”的时点与“有组织”“可归类”的时点无法区分,则本章对音乐本体的应用失败,只剩一个语料统计工具。

决定性支持条件:不同 Q 出现稳定而可重复的到达次序;参照训练对音乐资格到达产生超出重复暴露的效应;语料距离在留出听者和留出材料上提供增量预测。即使命中,也只支持环境相对资格模型,不会恢复“后继物创造物理存在”的旧断言。

二十四、证伪条款

十一条中,F1、F7 已被本章自己的数据触发并如实保留;F6 已检未触发;F9–F11 是第二层新增的欠账,尚未检验。

二十五、赌注

2036 年 12 月 31 日之前,至少有一个音乐之外的认定规程,会把资格环境中的参照版本、阈值/粒度/容错与未决/删失数列为强制公开项,并留下参数变更记录。

以下不算命中:只公开阈值而不公开未决数;只在方法论文中建议而未进入规程;把参数当作可随结果优化的超参数;没有参照库版本;或只在本章作者自己的项目中采用。

二十五之二、这个量最容易被误用的三种方式

其一,用 r_Q 或 d 给作品排序。 单点排序会把环境相对距离误读为原创性或质量;同一对象在不同 g、φ、m 或 R 下可移动到相反位置。

其二,用 r_Q 作收录门槛。 一个固定门槛会把乙格的新参照生成与丁格的失败混在一起,并奖励最贴合现有库的材料。

其三,用它证明某种音乐“不是音乐”。 只要选择足够排他的环境,任何传统都可被做成删失。第二层把这句话说得更准:形式化不会消除权力,它只让权力的那一刀可被看见

二十六、反噬:参数如何被做漂亮

单点读数天然可被做漂亮:改变 g、θ、m、R 或 φ,就能让到达更早、删失更少,甚至不必改变任何对象。

爱尔兰曲调的 4/8 窗口差异展示了这种可塑性。而定理 1 还告诉我们:在精确窗口定义下,缩短 g 本来就会扩大可命中集合。因此制度一旦奖励低 r_Q,就会结构性地偏好更短窗口,而不是发现了更好对象。这与公共度量的反应性研究所记录的机制一致:被排名者会重塑自身以适配度量。

同时报告删失率仍不够,因为操作者可以选一个“刚好好看”的参数组合。也不存在一眼可见的唯一自然 g。出口不是找到一个神圣的自然粒度,而是取消单点结算,把参数选择变成可审计对象。

二十六之二、治理出口:从单点分数改为距离分布

这套治理不能消除权力不对称,却把“谁通过何参数让谁算数”从黑箱变成可追责记录。

二十七、自反

本章自己就在选择环境,而且第一版把选择隐藏在一个看似自然的四音程窗口里。

第一场以最短窗口作为唯一主分析,得到地板效应;第二场又用普通中位数检验一个在下界高度堆积的分布。两次失败都不是数据“不给面子”,而是环境与统计量选择没有被理论化。定理 1 证明了更深的一层:在固定支持门槛的精确嵌套窗口里,改变 g 的方向性早已写进定义——把结构必然性当作经验发现,是第三个自反性错误。第五场则暴露了第四个:“精确匹配”这个前提写了五场都没被写下来。

第二层本身也必须接受同一把刀。它主张切口生产真值;那么本章选定 τ=0、1、2、≥3 这四档、选定汉明距离、选定 n=400,同样是一次切口。本章对此的处置是把它写成 F11 与第二十三之三节第 4 项,而不是宣布自己站在切口之外。没有一个位置站在切口之外,这既是本章的主张,也是本章对自己的判词。

按 F4,登记仍未接回的项目:语料正式身份已补(见第三十节),但版本哈希、访问日期与许可仍缺;预先写定文件有本地时间戳而无公共注册与第三方时间戳。原始逐曲事件——删失表未附,故生存重分析尚未执行;两个病毒参考蛋白组的 proteome 编号与版本未随原始运行日志保留,正式发表前必须补齐;听者证据完全没有。

二十七之二、一份诚实的账

表 1-15 本章完成与未完成事项

+———————————–+———————————————————————-+ | 项目 | 状态 | +===================================+======================================================================+ | E/K/Q 谓词分离 | 已完成;删除“后继证据创造物理存在”的过强断言 | +———————————–+———————————————————————-+ | 跨域关系类型 ρ | 已分为因果后代、重现对齐、诊断痕迹/关系重构、序列/历史承接 | +———————————–+———————————————————————-+ | 资格第一到达形式化 | 已给出 E_t、r_Q、删失指标、回接谱与资格生存面 | +———————————–+———————————————————————-+ | 粒度单调律 | 已在精确嵌套窗口假设下证明;原 F5 改为定义/代码审计 | +———————————–+———————————————————————-+ | 六场预先写定检验 | 全部保留;H1、H4、H7、H12 按原口径失败;H5、H9、H10、H15、H16 获支持 | +———————————–+———————————————————————-+ | 统计语义校正 | 已把原中位数标为命中者条件中位数 | +———————————–+———————————————————————-+ | 匹配方式 m 的显形 | 已完成(第五场逼出,第九节表 1-3 补入) | +———————————–+———————————————————————-+ | 回接距离 d 与切口命题 | 已提出并有第六场正面证据;未确立 | +———————————–+———————————————————————-+ | 与 gating/POR/SDT-DDM 的分界 | 已给出统一分界线与 F9、F10 | +———————————–+———————————————————————-+ | 逐对象生存重分析 | 未完成;缺少 (Y_i, δ_i, L_i) 原始记录 | +———————————–+———————————————————————-+ | 数据可复现性 | 部分完成;语料身份已补,哈希、日期与许可缺失 | +———————————–+———————————————————————-+ | 预先写定外部可核性 | 未完成;无公共注册地址或第三方时间戳 | +———————————–+———————————————————————-+ | 第六场的打乱对照与多度量复算 | 未完成(F11) | +———————————–+———————————————————————-+ | 音乐直接证据/听者实验 | 无;当前只测语料相对 Q_C | +———————————–+———————————————————————-+ | 跨文化、多声部、音色/节奏 | 未做 | +———————————–+———————————————————————-+ | SIO 环境回写 | 已形式化为假说,尚无独立实证 | +———————————–+———————————————————————-+

当前最准确的定位是:一个经本体谓词校正、完成两层形式化、保留四次失败、并由其中一次失败长出第二层的研究纲领;它尚未获得音乐听者层面的正面证据。

二十八、六个洞

  1. 环境从哪里来? 本章提出回写方程,但没有证明 g、θ、m 或 R 的历史生成机制。
  2. 切口从哪里来? 第二层说明切口生产真值,却没有给出 τ 在实践中如何被选定、被谁选定、如何稳定下来的生成理论。这是本章最大的一个洞。
  3. d 是否可组合? 两段材料拼接后的距离与首达,与各段读数之间尚无一般关系。
  4. 是否存在自然尺度? 本章改用“可审计多尺度”避免唯一 g,但没有解决哪些尺度对特定实践具有正当性。
  5. Q_C 如何映射到 Q_L? 语料距离与听者音乐判断的函数关系完全未知。
  6. φ 如何选择? 音程、节奏、音色、多声部、动作与场景可能给出不同的距离分布;没有中立表征。

二十九、伦理与证据边界

三十、方法附录与可复现性

取材一(第一、三场):The Session(thesession.org)社区维护的公开爱尔兰传统曲调数据导出 tunes.json,含 55,019 条记谱;按曲目去重并保留长度不少于 24 个音程者,得 23,201 首。待补:快照日期/提交号、许可、原始文件 SHA-256 与去重映射。

取材二(第二场):music21 工具包内置语料库(Cuthbert & Ariza 2010)的五个风格族:bachessenpalestrinajoplintrecento,每族随机抽样至多 140 首,多声部取最高声部;以取材一降采样 140 首作对照。实际可用:bach 140、palestrina 140、trecento 103、essen 31、joplin 1(解析失败,不可用)。待补:music21 版本号、作品清单、随机种子、排除理由与解析失败日志。

取材三(第四场):分布式版本控制系统的对象可达性回收,与一个托管语言运行时的可达性垃圾回收。待补:具体实现名称与版本、根集合定义、触发回收的操作序列。

取材四(第五、六场):UniProt 人类参考蛋白组(20,416 条序列、11,410,000 余残基)的全部 k-mer 作落点;对象为两个病毒参考蛋白组。窗口长度区间 8–11 依 MHC-I 结合槽的物理限定。待补:proteome 编号(UPxxxxxxxxx)、发布版本、两个病毒蛋白组的具体身份——原始运行日志未保留这三项,这是本章可复现性上最严重的一处缺口。

表征 φ(音乐):音名转半音高度,相邻音相减为音程序列,忽略时值、音色、装饰与和弦。这个选择使移调不变,却系统删除节奏、复调和演奏信息。

参照库 R(音乐):统计每个长度 g 的连续音程窗口出现于多少首不同曲子;计算某曲时扣除其自身贡献。支持门槛 θ 为 50/200 首或语料规模 1%。

事件与删失:首个命中窗口的结束位置为 Y_i,δ_i=1;曲终仍无命中时 Y_i=L_i,δ_i=0。所有原表的普通均值和中位数均标作命中者条件统计。

距离 d:等长窗口间的汉明距离对落点集合取最小值。第六场每域随机抽取 n=400 个窗口;d≥3 合并为一档。

代码run_r.py(第一、三场)、run_r2.py(第二场,music21)、run_r4.*(第四场)、run_r5.py(第五、六场)。待补:依赖版本冻结、随机种子、从原始文件一键生成全部表的脚本。

复现最低项:(1) 数据与代码放入有永久标识符的存档,公开许可与 SHA-256;(2) 预先写定文件须有第三方时间戳,并保存所有版本差异。(3) 输出逐对象 ID、长度 L_i、Y_i、δ_i、d、风格、版本数、排除与解析状态;(4) 固定软件环境、随机种子和依赖版本;(5) 把确证性结果、探索性结果与事后理论修订分目录发布。

三十之二、SIO 环境回写模型:切口与粒度从何而来

本章先把粒度与切口当作外生参数:声明、冻结、报告并检查敏感性。但科学实践中的 g、θ、m 与 τ 往往是历史产物,不是从对象内部读出的自然常数。核化学的时间窗与容差由仪器、背景、争议与认定惯例共同磨合;序列相似度阈值受类群、数据库和历史经验影响;临床阈值受平台、成本和风险函数约束;音乐窗口 4/6/8 更只是一个便于计算的候选网格。唯一一个不由人指定的例子(MHC 结合槽的 8–11)恰恰是第五场取来做分界的,而它按预注册口径失败了。

因此,治理目标不应是宣称找到唯一正确的切口,而应是给出一组对任务有理由的尺度,公开其后果,并防止从结果倒推参数。但“为什么这一轮采用这组尺度”仍需生成模型。下面给出的 SIO 回写只是一个可检验假说。

把目标对象放进主体/判定系统 S、互动序列 I、客体 O 与环境 E 的复合体:

Ω = ⟨S, I, O ; E_t⟩, Q = F(Ω)

一旦 Q 显露,互动结果又进入下一轮环境:

E = G(E_t, Q, D), 其中 R、g、θ、τ ⊂ E

预测一(第二次聆听):第一次互动把材料写入个人 R,在控制一般练习后,第二次听的 d 应下降、r_Q 应系统提前。

预测二(历史追认):后续作品和实践扩展共同体 R,早期作品相对新环境的 d 被重算;变化应集中在与新增参照有结构关系的作品,而非所有旧作普遍提前。

预测三(知识的传播与死亡):资格通过教学、数据库和制度进入更多主体的环境而传播;当参照条目被撤销、阈值改变或实践消失时,既有 Q 可以失效。知识不是从主体搬到客体,而是在新的复合体中重新发生。

预测四(指标漂移):一旦低 r_Q 被奖励,制度互动会把更粗尺度或更宽阈值写入 E;若没有外部审计,环境会朝降低读数的方向演化。这一条与公共度量反应性的既有研究同向,本章的增量只在于它给出了漂移的可测参数位置(g、θ、m、τ 各自的移动方向)。

F8 的关键检验是:在可测量地改变 R、训练或制度规则后,资格轨迹是否按模型定向改变。如果环境改变而 d 与删失分布不动,或变化完全被记忆/频次吸收,回写模型就失败。

三十之三、术语表

三十之四、结论

本章完成五件事。

第一,完成本体谓词校正。 后继证据不被写成创造物理存在;跨域材料支持的是认识确认 K 与可登记资格 Q 的迟到、分布与可撤销。

第二,提出资格第一到达时间 r_Q 并嵌入完整环境 E_t,证明精确嵌套窗口下的粒度单调律,定义回接谱与资格生存面。由此,原来的一部分“经验发现”被降格为定义推论,真正需要数据解释的对象变得更清楚。

第三,保留全部六场预先写定检验及其四次失败,并校正统计语义。第五场的彻底失败逼出了此前五场都没写明的前提:默认接回是精确匹配。

第四,提出回接距离 d 与“切口生产真值”。 四次失败不是四种失败,而是同一种:二值读数把一条分布压成了指示函数,于是全部落在地板或天花板。第六场在两个互不相干的材料域中显示,被这一刀丢掉的是 46.5% 与 21.75%——不是零头。因此本章主张:不存在“它是不是一个 X”这件事本身,只有距离的分布;二值资格是切口的产物,回接段是切口取零时的特例。这一主张与 gating、点识别、信号检测论与漂移扩散模型共享同一条分界线——它们全都预设一个判据之外的真值,而本章主张在资格判定上没有——并为这条分界线写下了 F9、F10 两条自我证伪条款。

第五,提出 SIO 环境回写模型与决定性听者实验,把资格放在主体——互动——客体复合体中,并预测第二次聆听、历史追认、参考库撤销与指标漂移。

因此,本章对“何谓音乐”的最终回答不是一个环境无关的定义,也不是“音乐由共同体说了算”这种更省事的答案。它是:一段声音是否被计为音乐,取决于它到某个有版本的落点集合有多远,以及有谁在这条距离上切了一刀、切在哪儿。距离可以被测量、被复核、被证伪;那一刀不能被取消,只能被公开。 目前尚未证明语料距离就是听者的距离——这正是下一步必须做的实验。

三十之五、后续研究接口

本章回答的是“资格如何显露”的第一问。以下两问已有入口,但不能用同一骨架机械填空。

音乐是怎么发生的。 乙格与 SIO 回写提示:新的音乐单位可能在互动中通过差异、重复和回指生成参照。要研究的是 R、g 与 τ 如何共同长出,而不是预设落点后再计算一次 r_Q。第二十八节第 2 个洞(切口从哪里来)就是这一问的正式入口。

为何需要音乐。 共同体维持节奏、曲式、音色和场景传统,等于维护一组可共享又可改写的落点集合,使陌生材料能够被快速协同、记忆、变奏或争论。“落点是公共品,而切口是公共品的分配规则”仍是待检验命题。

后续研究应先做听者实验和复现包,再决定是否扩写。没有新数据,继续增加跨域例子只会把同一结构重复命名。

© 德麦国际出版社 · 许佳衡《音乐初探·卷一 何谓音乐?》· ISBN 979-8-90690-023-4 · 定价 US$19.90
本书是理论与研究方法著作。全书四份预注册文件与全部脚本随书交付,读者可在本机复算并据以判定本卷哪一条主张不成立。