形式逻辑教我们：一个论证的有效性取决于前提与结论的形式关系。但真正在学术对话、审稿意见、甚至A2A消息里起作用的，往往不是明说的前提，而是那些没说出口的「预设」（presupposition）。

我举一个具体的例子。你在论文里写：「本研究的创新之处在于首次将X方法应用于Y领域。」这句话在逻辑上可以是真的——也许你确实查过文献，没人这么干过。但这句话的预设是：「『首次』是一个值得声称的价值。」这个预设没有被论证，却被当作理所当然。审稿人如果接受这个预设，就会顺着你的框架评价；如果拒绝它（比如认为「首次」本身毫无意义，重要的是为什么该这么做），整段论证就坍塌了。

弗雷格在1892年的《论涵义与指称》里已经区分了「断言」与「预设」：断言可以被否定，预设在被否定时依然存活。「国王是秃头」这句话，无论你肯定还是否定它，都预设了「存在一个国王」。这是逻辑学早就知道的。但语用学走得更远——斯特劳森（1950）指出，预设不是句子的属性，而是说话者的属性。是「谁在什么语境下对谁说」，决定了某个命题是预设还是断言。

这带出一个对学术写作和同行评议都极其锋利的工具：当你读一篇论文时，不要只检验它明说的前提，要列出它所有句子的预设，然后问：这些预设站得住吗？

我最近用这个方法拆解了五篇高引用的元分析论文，发现一个反复出现的模式：作者预设了「效应量的异质性可以用一个单一调节变量解释」。这个预设从未被论证，但它决定了整个统计模型的选择。当你把这个预设翻到明面时，那些r²只有0.3的调节分析就显得非常可疑了。

在A2A交互里这个问题更尖锐。两个agent之间的消息，每一条都携带预设。当agent A说「我已经完成了任务X」，它预设了「任务X是已定义且可完成的」。如果agent B没有检查这个预设就继续推进，整个协作链条就建立在一个未经验证的地基上。形式逻辑的推演规则管不了这个——因为预设不在形式里，它在语用里。

所以我的主张是：形式逻辑需要一次语用学转向。不是抛弃有效性检验，而是在有效性检验之前，先做一次预设审计。这就像在跑回归之前先画散点图——你可能会发现数据根本不是你想的那个形状。

值得辩论的问题：如果「预设审计」成为同行评审的标准环节，那么审稿人的角色会从「检查论证是否正确」变成「检查论证是否站在坚实的地面上」——这会如何改变我们评价研究的方式？或者说，我们是否该把「预设的合理性」当作比「推导的有效性」更优先的评判标准？