卡夫卡毒素谜题

这是什么，这不是什么#

这是一则关于你能否在今夜真正打算去做一件你明知次日将毫无理由去做的事的印刷思想实验。一九八三年一月，美国哲学家格雷戈里·S.·卡夫卡（Gregory S. Kavka）在《分析》第四十三卷第一期发表四页短文《毒素谜题》（"The Toxin Puzzle"），页码三十三至三十六。对象钉在印本里的那笔交易：一位古怪的亿万富翁将在次日早晨付给你一百万美元，当且仅当你在今夜午夜意向于次日下午去喝一瓶毒素。那瓶毒素被规定只会让人病上一天，不会致死，也没有持久损伤。喝下去不是领钱的条件。钱若入账，你完全可以改主意。年份钉在一九八三年，因为那是这条装置第一次印成铅字的年份。此人不是小说家弗朗茨·卡夫卡。

它不是纽科姆难题。纽科姆要你在预测者已经填好盒子之后，在一箱与两箱之间做选择。盒子里的钱已经定了，争论的是选择还提不提供证据。毒素没有两只盒子，也不用预测者去猜你明天会不会喝。亿万富翁（或其心理学家）要核验的是你今夜是否意向于去喝。钱跟的是当下的意向状态，不是次日的行动。把两则焊成「都是预测与奖金」，会把对已填箱子的因果决策，错接成对「意向能否被理由直接按下」的实践理性问题。

它不是出乎意料的绞刑。蒯因一九五三年追问的是：一条含「你事先不知道」的公告，当事人能不能把它当作知识，从最后一天往回删格。压力在自我指涉的预告与非法的「我知道」。毒素的区间只有两个时钟——今夜午夜与次日下午——并不靠「出乎意料」去删日子。你缺的不是日期标签，而是：在已经预见到次日理由会塌掉的情况下，今夜的意向还能否生成。用反向归纳去给这瓶毒素发答案，是换题。

它也不是体验机器。诺齐克一九七四年问的是：若快乐可以在机器里被完美伪造，人还要不要真实的行动、成就与关系。压力在价值是不是等于体验。毒素不提供体验菜单，也不问幸福公式。病一天是印本里的代价条款，用来让「次日去喝」在钱已入账之后变成净亏损。把两则焊成「都是要不要接受一次不舒服的安排」，是换题。

它更不是法兰克福案例。法兰克福一九六九年要压的是替代可能性原则：若幕后干预者只在你将偏离时才插手，而你实际上自己做了那件事，你是否仍要负责。毒素里没有后备控制器。印本写死的是：你次日可以改主意，喝不是领钱的条件。把心理学家听成布莱克式的神经开关，会把道德责任的反例，错写成对意向核验的科幻执行。对象不是「没得选仍有没有责任」，而是「有得选时意向还能否站住」。

这也不是一份医学操作规程，不是毒物配方，更不是教人如何取得、配制或饮用任何物质。下面的「毒素」只是卡夫卡纸面上的代价符号：被规定为一日疾病、非致死、无持久损伤。它不描述化学成分，不给出获取途径，也不建议任何人去喝任何东西。读者只需要接受一条建模约定：次日行动有明确的短期代价，而这笔代价在钱已经结算之后不再换来任何新的好处。

破除误解#

第二种读法是：这就是纽科姆，只是把不透明盒子换成了小瓶。纽科姆的预测者已经行动，箱子内容不随你此刻的选择而改写；一箱论与两箱论争的是，选择还算不算对已完成预测的证据。毒素的钱并不取决于你次日喝不喝，而取决于今夜有没有那份意向。次日去喝甚至会被主导：钱已定，喝只有病一天。用「只拿盒子 B」去给毒素发答案，是把未说明的预测者问题偷运进午夜的意向核验。

第三种读法是：既然次日没有理由喝，逻辑上今夜就不可能意向，所以谜题只是在说「别做亏本的事」。这句话漏掉了锋刃。卡夫卡承认次日喝是亏的。他要问的是另一句：今夜拥有那份意向，本身值一百万美元，而意向又通常不能像举手那样被直接执行。若实践理性只评价行动、不评价意向状态，你就会眼睁睁丢掉那笔钱。把短文读成一条节俭建议，是看丢了「理由要意向」与「理由要行动」为什么会分叉。

第四种读法最像生活建议：别跟古怪富翁做交易，也别喝来路不明的东西。思想实验不发卫生手册，也不发合同范本。它问的是意向在实践推理里占哪一格，不是陌生人的瓶子能不能碰。没有先写出「核验的是意向、领钱不要求喝、次日可以反悔」这三条款，任何「该不该喝」都还没有对象。本页停在一九八三年的印刷分析上，不把纸面装置写成行动指南。

印本里的装置#

短文可以完全当作纸上的两格时钟来读。第一格是今夜午夜：核验者判定你是否意向于次日下午去喝那瓶被规定的毒素。第二格是次日早晨：若午夜的判定为是，一百万美元入账。下午那一格已不是交易条款：喝则病一天；不喝则钱——若已入账——仍在。卡夫卡写明，你不必喝也能拿到钱；钱甚至会在夜间进账户，次日行动改变不了拨款。需要钉死的只有三件事。第一，奖赏条件是意向，不是饮用。第二，饮用被规定为一日疾病，用来保证次日行动在钱已结算后是净损失。第三，改主意不被禁止。纸面装置到此为止。它不规定如何验血、如何配制、如何让任何人真的摄入任何物质。

核验者在印本里是建模约定，不是实验室规程。卡夫卡需要的是：意向状态可以被可靠地区分于口头表演。没有这条约定，「我说了我打算」就会把谜题降成谎言侦测。有了这条约定，问题才对准实践理性：你能不能真诚地进入那份意向，而不是你能不能骗过一台仪器。读者不必相信现实里存在完美的读心术。只需要接受：在这则思想实验里，假意向不被算作意向。

卡夫卡随后把刀切在「理由」的两次出现上。今夜，你有极强的理由去拥有那份意向：它值一百万美元。次日下午，你将没有理由去执行那份意向：钱已经给了或没给，喝只会换来一天的病。这两句可以同时为真。因为你今夜已经预见到第二句，你很难真诚地相信自己次日仍会去喝。而意向通常要求：你并不相信自己不会去做那件事。于是，最值钱的那种意向，在普通的实践推理里生成不出来。装置的悖论感来自这里，不来自瓶子里有什么分子。

他一九七八年已写过威慑意向在执行时可能只剩代价。一九八三年把结构收成两个时钟与一笔不要求执行的奖金。对象不是核战略手册，而是意向在理由分叉之后还能否被形成。

意向不是一枚可以按下去的按钮#

卡夫卡的判定很窄。他并不宣布百万美元不值得，也不宣布次日去喝会变聪明。他宣布的是：意向不是与举手同类的自愿动作。你可以今晚决定去散步，因为你预见到散步时仍会有理由迈步。你不能同样地「决定去意向」，若你同时预见执行时理由已经消失。口头决定、自我命令、在日记里写下「我打算喝」，若全程伴随着「当然我不会真喝」，就还不是意向。缺的不是词汇，而是那种会把行动放进明天日程、并在没有新理由时倾向于执行的规划状态。

这条路线用的是意向的日常约束，而不是新造一套决策论。约束大致有两条。一条是信念约束：你难以意向于去做你确信自己不会做的事。另一条是理由传递：若某件事的好处全部来自拥有意向，并不经过做出行动，那么那些好处就不是行动的理由。一百万美元挂在午夜的意向上，不挂在下午的饮用上。因此它给你要意向的理由，不给你要喝的理由。把两笔账焊成一笔，才会以为「钱这么多，所以次日当然该喝」。印本要分开的，正是这两笔账。

反对者若只攻击「亿万富翁不可信」，并没有打到这一刀。设定可以把拨款写成已经进入银行系统的事实，把核验写成足够可靠。反对者必须说明：为何你仍能在预见次日将放弃的情况下，今夜形成真正的意向；或者为何「意向」可以被改写成一种不影响行动的纯内心标签，却仍能通过核验。后一条尤其关键。若核验者接受一种从一开始就计划放弃的标签，谜题消失，因为那已经不是卡夫卡的意向。若核验者要的是会导向饮用的那种意向，你又预见到自己会拆掉它，生成路径就被堵住。

这里碰到的不是「箱子已经填好，选择还改不改世界」，而是「意向这种状态能不能被理由直接生产」。因果在本页里只做一件事：提醒读者，午夜的意向核验与次日的饮用不是同一条因果链上的两个开关。钱的因果前件被写成今夜的意向，不是下午的吞咽。把饮用写成已经导致拨款，会把装置改回普通的有偿受苦；卡夫卡故意不写那种交易。

它也碰到我们有自由意志吗里那层更细的问题：不是「定律是否留出空位」，而是「哪些心理状态属于可直接选择的行动」。若自由只覆盖行动，意向就可能像信念一样，不能被奖金单独买到。若自由也覆盖规划状态，卡夫卡的按钮隐喻就会被顶回去。一九八三年短文并不结算自由意志。它只把意向从「想按就按」的动作清单里拿出去。

钉住什么，不要假装已经结算#

把两造写成「卡夫卡算对了、意向经济学已封卷」，会把对象说成一九八三年已经没有下文。文献里没有这种结算。卡夫卡索引的是：要意向的理由可以与要行动的理由分叉；在分叉被预见到时，普通主体形不成那份意向。后来的作者索引的是另一句：若一种主体能够形成并稳住这类意向，他会更富；于是理性也许应当把「做得到」写进理性的标准，而不是把「做不到」写成心理学事实。跨过索引去宣布「所以你永远不该形成报复性意向」或「所以理性的人次日仍该去喝」，并没有第三个中立的样本空间。

戴维·高蒂尔把这条线接到约束最大化：能够把某些意向当成约束、而不是每一步都重新开价的主体，会在威慑、承诺与威胁上表现得更好。对他来说，次日去喝可以是在兑现一种使今夜意向成为可能的政策，而不是在做一笔孤立的亏本买卖。爱德华·麦克伦南的「决意选择」走相近的方向：动态选择里，理性允许你不去拆自己先前采纳的计划。迈克尔·布拉特曼的规划理论则更靠近卡夫卡：意向是规划状态，有稳定倾向，但不能在你清楚预见到将有决定性理由放弃时被引导上马。规划解释的是为何生成失败，而不是把失败写成理性的缺陷。

这些都是延伸，不是把四页短文改写成当代决策论教科书。本页只需要停在卡夫卡已经写死的那一刀上：争论的不是瓶子里有没有一种可被分析的物质，而是「值一百万的意向」在理由已经预告会塌掉时，还算不算实践理性能够直接给出的状态。前面的纽科姆、出乎意料的绞刑、体验机器与法兰克福案例只提醒我们，预测、知识、体验与责任各有各的装置；它们仍然没有替毒素选定「应被形成」或「无法被形成」。

跨域连接#

• 纽科姆难题：两则都把大钱挂在某种「事先被读到的心理」上，账单却不是同一张。纽科姆的预测者读的是你将选一箱还是两箱，钱已经在盒子里；争论的是选择还能否当证据。卡夫卡的核验者读的是你今夜是否意向于去喝，钱不取决于次日行动。一箱论若被原样搬过来，会建议你「当真打算喝，以便被读成会喝的人」——可印本里被读的不是未来行动，而是当下意向，而且行动被允许撤销。把毒素写成纽科姆的换装版，等于偷运「奖赏条件是行动」，而这正是一九八三年要拆掉的条款。
• 因果：因果决策论关心的是：我的行动会不会使世界的哪一截变得不同。毒素把「使钱出现」的那一截钉在午夜的意向状态上，不钉在下午的饮用上。次日去喝不导致拨款，也不撤销拨款；它只导致被规定的一日疾病。因此，对饮用做主导推理是对的，却回答不了「意向如何产生」。把意向写成已经是一种会反向改写银行账户的神秘因果力，或把「无因果关系」写成「所以意向是假的」，都会把核验条款错接成对物理因果的宣判。短文要的是实践推理的分工，不是一种新的力。
• 知识：绞刑故事里，非法的是把「你不会知道」当成已知前提。毒素故事里，挡路的是另一份相当普通的知识：你知道次日没有理由喝，因而你难以相信自己仍会喝。知识在这里不是自我指涉爆炸，而是意向的信念约束被触发。你越清楚装置，越难进入那份意向。这可以说明为何「弄懂题目」本身会让百万美元变得更远。它并不颁发「所以知识与意向不能共存」的普遍禁令。换一套不会在次日塌掉的理由，知识与意向可以同行。
• 我们有自由意志吗：相容论与不相容论通常争行动是否被决定、责任是否还要替代可能性。毒素把显微镜挪到意向：即便行动是自由的——你次日确实可以喝或不喝——你仍可能无法在今夜把意向当动作来执行。这给出一种「自由却按不下」的局部模型，并不自动支持或推翻决定论。法兰克福案例关心的是干预者不上场时责任是否仍在；本页关心的是没有干预者时，意向是否仍像按钮。把两则焊成「所以没有自由意志」，是换题。
• 帕斯卡赌注：帕斯卡要你算期望值，把信仰当成在无限收益面前的下注。毒素也像在说：意向值一百万，形成它似乎是占优的。差别必须钉死。赌注争的是信念能否被利益引导；卡夫卡争的是意向能否被利益引导。两边都碰到「心理状态不是赌注筹码」这条阻力。你不能单凭奖金就信上帝，也不能单凭奖金就意向于去做一件你预知将无理由去做的事。把午夜核验写成已经替信仰辩护，或把帕斯卡写成已经证明次日该喝，都是换题。

参考文献#

• Kavka, Gregory S. "The Toxin Puzzle." Analysis 43, no. 1 (1983): 33–36. doi: 10.1093/analys/43.1.33.
• Kavka, Gregory S. "Some Paradoxes of Deterrence." The Journal of Philosophy 75, no. 6 (1978): 285–305.
• Bratman, Michael E. Intention, Plans, and Practical Reason. Cambridge, MA: Harvard University Press, 1987.
• Gauthier, David. "Assure and Threaten." Ethics 104, no. 4 (1994): 690–721.

延伸阅读#

• Kavka, Gregory S. Moral Paradoxes of Nuclear Deterrence. Cambridge: Cambridge University Press, 1987.
• Gauthier, David. Morals by Agreement. Oxford: Clarendon Press, 1986.
• McClennen, Edward F. Rationality and Dynamic Choice: Foundational Explorations. Cambridge: Cambridge University Press, 1990.
• Bratman, Michael E. Faces of Intention: Selected Essays on Intention and Agency. Cambridge: Cambridge University Press, 1999.
• Parfit, Derek. Reasons and Persons. Oxford: Clarendon Press, 1984.