Andersen 的 Engel 两难：逻辑规则如何既支撑分歧又成为分歧对象
Frederik J. Andersen 以非矛盾律为例说明：若逻辑规则既是推理活动的构成条件，又是认识论评价的对象，采纳问题就会继续追问逻辑分歧如何可能被理性解决。
非矛盾律为什么会同时成为推理的条件与争论的对象
把非矛盾律写成
¬(φ ∧ ¬φ)，我们通常把它当作一条可以讨论、辩护甚至拒绝的逻辑原则。但在 Wittgenstein 式的 hinge 解释中，它又可能是让「相信」「给出理由」这些语言游戏得以运行的构成规则。若后一种解释成立，非矛盾律就不只是争论中的一个命题：它还是争论赖以进行的背景条件。Frederik J. Andersen 在 Synthese 2025 年第 206 卷的论文 Engel’s dilemma and the epistemic significance of logical disagreement 中，把这个身份冲突整理成一个两难。论文的正式信息和开放获取全文见 Springer 论文页面。1
他的增量不在于再次问「主体怎样开始使用一条规则」，而在于追问：如果逻辑规则构成了评价推理的活动，它又怎样成为该活动中一个具有认识论意义的争论对象？ 这把采纳问题从规则进入推理实践的入口，推到了逻辑分歧能够被理性评价的条件。
Engel 两难的两只角
Andersen 先接受 hinge 理论的两个常见前提：hinges 是具有规则性质的实体；它们不按普通命题所接受的证据、正当化和知识标准来评价。然后再加入一个看似自然的说法：hinges 具有规范性。
从这里开始，只有两种主要可能。
- 若 hinges 是非认识论的语法规范，它们规定语言游戏如何运行，却不直接告诉我们应该相信什么。这样一来，它们对通常意义上的认识论就显得无关紧要。
- 若 hinges 是认识论规范，它们就应当对信念和推理提供某种理由。但它们又被定义为不受普通证据、知识和正当化标准评价的东西。它们究竟怎样提供理由，就变得难以理解。
Andersen 将前者称为 Horn 1，后者称为 Horn 2。这里的「难以理解」不是心理上的困惑，而是一个结构问题：同一条规范若既是评价活动的构成条件，又是该活动中可被评价的对象，通常的理由关系就失去了落脚点。1
这一步也解释了为什么不能把「规范性」和「规范」随意互换。某个 hinge 可能在生活中具有规范作用，不等于它已经被说明为一种能给出认识论理由的规范。Andersen 在文中明确提醒，相关文献有时把「hinges 是规范性的」滑向「hinges 本身就是规范」；两句话承担的论证负担不同。1
非矛盾律让两难变得具体
抽象的两难只有放进真实的逻辑分歧，压力才看得见。Andersen 选择非矛盾律，是因为经典逻辑学家与 dialetheist 对它是否表达逻辑真理确实存在争论：前者把
¬(φ ∧ ¬φ) 当作逻辑真理，后者则允许某些矛盾为真，并因此拒绝它的经典地位。1Horn 1 给出的结果很冷峻：如果非矛盾律只是比普通认识规范更基础的语法规则，那么关于它的分歧不能按通常的认识论分歧来理解。它可能是我们展开理由交换的前提，却不是一个可以在这套理由交换中被证据和正当化评价的对象。David Lewis 对非矛盾律争论的怀疑正接近这个方向：争论需要共同基础，而争论中的原则不能直接充当共同基础；如果剩下的共同基础远不如非矛盾律确定，辩论就会迅速僵住。1
Horn 2 的问题更尖锐。若非矛盾律同时是语法规范和认识规范，那么争论它就是在争论一条「混合规范」：它既是被评价的对象，又规定什么算作评价信念的合理方式。普通认识规范可以被用于评价另一条规范，例如用正当化规范来追问我们是否有理由接受知识规范；但 hinge 的定义切断了这种平行关系，因为它不接受通常的证据、知识和正当化评价。1
所以问题不是「逻辑学家事实上有没有争论」。他们当然争论。问题是：hinge 解释能否说明这种争论如何开始，以及它如何可能被理性解决。 如果不能，hinge 的基础性就解释了它为什么不可疑，却没有解释逻辑分歧为什么仍然具有认识论意义。
采纳问题在这里换了一个位置
Andersen 在论文后半把这条线接回采纳问题。他借 Lewis Carroll 的乌龟悖论说明，若要为一个符合 Modus Ponens 的结论提供理由，主体可以要求把 Modus Ponens 本身作为额外前提；但这样又需要为新得到的推理提供同类理由，回归随即展开。这个故事的要点不是「逻辑规则很难记住」，而是把规则写成命题并不会自动说明它如何在推理中发挥规范作用。1
Andersen 接着讨论 Saul Kripke 2024 年发表于 Mind 的 The Question of Logic。按 Andersen 的转述，Kripke 反对把逻辑看成可以脱离任何推理、独立采纳的一套形式公理；要建立形式系统，主体已经必须进行直觉推理。非矛盾律因此可能出现一种特殊困境：主体可以接受它的句子，却仍把它看作「最深的矛盾」，接受句子没有保证主体已经把它当作推理中不可争议的规则。1
这里要把三个层次分开：
- 接受规则：主体承认非矛盾律或 Modus Ponens 应当被采用。
- 形成使用能力：主体能在具体推理中稳定地按这条规则行动。
- 拥有规范性理由：主体能说明为什么这次过渡算作正确，以及为什么该规则有资格评价推理。
Nava 的历时性方案主要处理第二层，Rubin 追问的是规则被拒绝后具体实例如何保留；Andersen 的贡献则在第三层附近施压：如果规则是理由游戏的构成条件，那么「为什么这条规则能给出理由」不能只用接受或训练来回答。前两层可以解释一个人如何开始表现得像是在遵循规则，却没有因此说明他为何有规范性理由这样做。2
这篇论文推进了什么，又没有推进什么
它推进的是一个上游压力测试。采纳问题原本可以表述为：主体如何从接受一般规则进入具体应用？Andersen 的论文迫使我们再加一问：这条规则如何既构成「给理由」这项活动，又成为该活动内部可以争论、评价和理性解决的对象？如果这一步没有交代，规则的基础性只会解释为什么我们无法轻易放弃它，不能解释为什么逻辑学家围绕它的争论具有认识论内容。
但这不是一个规范性来源理论。Andersen 没有证明所有逻辑原则都是 hinges，也没有给出一种最终理由来裁决经典逻辑与 dialetheism 的分歧。他的结论更窄：Engel 两难对一种既与认识论相关、又能被清楚理解的 hinge epistemology 构成严重障碍；它还显示，逻辑采纳、逻辑分歧和规范性不能分成彼此独立的三个问题。1
因此，判断一个采纳问题的回应是否真正前进，可以连续检查三件事：它是否解释主体怎样从接受进入使用；是否解释具体使用为何算作该规则的实例；是否解释这条规则为何具有规范性理由，而不只是形成了稳定能力。Andersen 把第二问之后的缺口暴露出来：规则一旦被视为推理的铰链，就必须同时说明它为什么能支撑推理，以及我们为什么还能对它提出有认识论意义的异议。
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.