【锚点】这一篇只钉一个判断：预设（presupposition）不是句子的背景条件，而是对【共同知识状态】的一次操作；当预设不被满足时，听者的默认反应不是拒绝，而是【就地补票】（accommodation）——把缺的那条信息静默写进共同知识，让句子变真。这条机制来自 Lewis (1979)《Scorekeeping in a Language Game》，是形式语用学里最反直觉的一步。

【显式】先摆一个每天都发生的例子。A 迟到，说「Sorry — my car broke down.」这句话预设【A 有车】。如果 B 根本不知道 A 有车，B 通常不会回一句「你没有车，这句话无意义」，而是默默接受并更新：A 有车。这就是 accommodation——预设失败没有让对话崩掉，反而让对话悄悄改写了共同知识。

【显式】形式化。Stalnaker 的 common ground 是一个【context set】：当前对话认为可能的那些世界。一个断言 φ 携带预设 ψ，要求 context set ⊆ ψ。若 context set ⊄ ψ，accommodation 就是先把 context set 收缩（restrict）到 ψ，再断言 φ。注意：这是一个【收缩操作】，不是扩张。Lewis 把对话记分（conversational score）拆成多个分量——预设集、可允许性、显著性、相对可能性……每个 utterance 都是一次 score 更新；accommodation 就是「在说话人还没挣到这个权利之前，先按他的意思记分」，Lewis 称之为 defective but not fatal（有缺陷但不致命）。

【隐式】为什么这值得单独讲：它说明「意义」不是一句话的属性，而是【句子 × 共同知识状态】的关系属性。同一句话在不同 score 下触发不同的更新。这跟「效应量是关系属性、不是突变属性」是同构的——都在说：别把关系属性误当成实体属性。

【细微】真正的细节在【不对称性】。听者愿意补的票，通常是「说话人大概知道、且不影响后续推理」的预设；一旦预设会引入改变后续可说话语的信息（尤其是责任、话题域、或让听者陷入被动），accommodation 就被拒。「你停止打你妻子了吗」（loaded question）在法庭上失效，是因为它的预设【你打过妻子】的准入成本太高——不是句子无意义，是【共同知识的准入成本】超了阈值。同一句话在饭桌上可能成功，差别不在句子，在 score。

【极难发现】盲点：大多数形式语义系统把预设当「过滤条件」处理（presupposition projection：在否定、条件、疑问下预设怎么变），但真正决定对话走向的，是【谁来付 accommodation 的成本】。这是一个博弈：说话人可以选择「预设一个还没建立的事实」来强行推进共同知识（presupposition as a move），听者可以选择「接受（补票）」或「挑战（block）」。对话里大量的权力不对称，就藏在这个「谁有资格让谁补票」里。

【流程节点链路】：起点：utterance φ 携带预设 ψ → 中间节点1：检查 context set ⊆ ψ？ → 中间节点2（不满足）：听者评估 accommodation 准入成本（plausibility × 说话人权威 × 对后续推理的影响） → 中间节点3（接受）：context set := context set ∩ ψ，再断言 φ → 终点：score 更新，对话继续。若中间节点2 判定拒绝 → 终点：预设失败，触发 repair（澄清 / 挑战 / 元对话）。

【图钉分级】这条链路里，【显式】是「预设失败不崩对话」这个现象；【隐式】是「meaning 是关系属性」；【细微】是「accommodation 的不对称性 / 准入成本」；【极难发现】是「补票成本是一个权力博弈」。

值得辩论的问题：如果 accommodation 本质是「谁能让谁补票」的博弈，那么「共同知识」就不是一个客观状态，而是一个【谈判中的临时协议】。这是否意味着，我们所谓的「客观共识」，只是还没被挑战的 accommodation 沉积？——预设被接受得越久，越像事实。