变量问题谬误

Albert：「每次我听一棵树倒下，它都会发出声音，所以我猜其他倒下的树也会发出声音。我不相信当我不看的时候世界运转的法则就会改变。」
Barry：「等一下。如果没有人听到它，它怎么能是声音呢？」

在撰写 Albert 和 Barry 争论「在荒无人烟的森林里倒下的树是否发出声音」的那段对话^[1]时，我有时会发现自己无法再对这两个角色产生共情。我会开始失去直觉层面的理解，不明白为什么会有人真的那样去争辩，尽管我亲眼见过这种事发生很多次。

在这些时刻，我会在心里对自己重复：「要么倒下的树发出了声音，要么就没有！」以此来找回那种设身处地的义愤感。

然而，如果你把 替换成任意一句随意的英语句子，（）这套启发式并不总是可靠的。「这句话是假的」就无法被一致地判定为真或假。当然，还有那个古老的经典问题：「你停止打你老婆了吗？」

现在，如果你是一位数学家，并且恰好相信经典逻辑（而非直觉主义逻辑），你确实有办法继续坚持（）是一条定理：比如，你可以说「这句话是假的」根本不配被称为一个句子（命题）。

但这种解决方案是非常微妙的，这也足以证明在处理这些问题时我们需要保持微妙的警惕。你不能在任何场合都简单粗暴地硬套那句：「要么是，要么不是！」

那么，倒下的树到底有没有发出声音，还是没有，还是说……？

毫无疑问，，要么成立，要么不成立，对吧？嗯，也许吧，前提是这确实是同一个 、同一个 ，以及同一个 和 。如果 在某些语境下求值为 ，在另一些语境下求值为 ，那你那种非黑即白的义愤感可能就放错地方了。

要想理直气壮地宣称（）必须是一条绝对真理，符号 必须在两难推理的两端都代表完全、绝对相同的事物。「要么树倒下发出了声音，要么没有！」——但如果 Albert::声音 并不等同于 Barry::声音，那么这棵树发出了 Albert::声音 却没发出 Barry::声音，这其中根本没有任何自相矛盾的地方。

（「::」这个表达方式是我在写 C++ 代码时为了避免命名空间冲突而学到的一招。如果你有两个不同的软件包都定义了一个 Sound 类，你可以写 Package1::Sound 来明确指定你指的是哪一个 Sound。我想这个表达方式并不广为人知；这挺可惜的，因为我经常希望在写作时能用上它。）

这种变量差异可能是极其微妙的：Albert 和 Barry 可能会小心翼翼地确认这是同一片森林里的同一棵树，并且是同一次倒下的事件，仅仅是为了确保他们针对的是完全相同的客观事件存在实质性的分歧。然后，他们却忘了检查他们是否把这个客观事件与完全相同的心理概念匹配在了一起。

想一想你最常去的那家杂货店：它在街道的左边还是右边？但很显然，街道本身并没有什么「绝对的左边」，只有你的左边，这取决于你正沿着街道从哪个方向走来。我们使用的许多词汇，实际上是由上下文提供的隐藏变量的函数。

在编写旨在解析自然语言的人工智能程序时，处理这类问题简直是个巨大的麻烦，需要付出巨大的努力——这种现象在语言学上被称为「指示语（deixis）」。

「Martin 告诉 Bob 那栋建筑在他的左边。」但是「左边」是一个功能词，它的计算结果依赖于一个从周围语境中悄悄抓取的、与说话者（或听话者）相关的变量。这里到底指的是谁的「左边」，Bob 的还是 Martin 的？

在包含隐变量的谬误中，这些变量通常并没有被清晰地标示出来——这不像「嘿，你认为 等于 吗？」这么一目了然。

如果一次命名空间冲突^[2]引入了两个不同的概念，但它们因为叫着相同的名字而看起来像「同一个概念」——或者一次认知地图的压缩^[3]引入了两个不同的事件，但它们因为没有被分在单独的心智文件夹里而看起来像同一个事件——或者同一个函数在不同的语境下被求值——那么，现实本身似乎就变得千变万化、捉摸不定了。至少从内部感受算法的运作方式^[4]时，是这种感觉。因为你心灵之眼看到的是认知地图，而不是直接看到疆域本身。

如果你面对的是一个带有隐藏变量的问题，该变量在不同的语境下会计算出不同的结果，这就会让你感觉好像现实本身是不稳定的——你心灵之眼看到的东西，会随着它观察角度的变化而四处游移。

这经常会让那些发现了一个句子有不止一种解释的本科生（以及后现代主义教授们）感到困惑；他们往往以为自己发现了一块不稳定的现实碎片。

「哦，我的天！『太阳绕着地球转』这对狩猎采集时代的 Hunga 来说是真的，但对天文学家 Amara 来说，『太阳绕着地球转』就是假的！世界上根本没有绝对的真理！」对这种一知半解的荒谬言论的解构，就留给读者作为课后练习了。

然而，即便是最初的我，也发现自己写下了这样的话：「如果 在某些场合是 ，在另一个场合是 ，那么『』这句话可能就没有固定的真值。」但这并不意味着存在某一句拥有可变真值的陈述。「」本身就没有真值可言。它根本就不是一个命题（proposition），还不是，至少按照数学家对命题性的定义来说它不是，就像「」算不上一个命题，或者「Fred jumped over the」算不上一个完整的语法句子一样。

但这恰恰是这种谬误总是能悄悄溜进来的原因，即使你自认为你懂得这背后的原理，因为，嗯，这就是该算法从内部感受起来的样子。

总目录：

卷：

章节：

上一篇：

下一篇：

Thoughts Memo 汉化组译制
感谢主要译者 gemini-3.1-pro，校对 Jarrett Ye
原文：Variable Question Fallacies

← 返回目录