可知性悖论：当“一切真理皆可知”推出“一切真理皆已知”#

3.1 语言与算子#

我们使用一个命题模态语言，包含：

$Kp$ 不是“我此刻知道 p”，而是“某人于某时知道 p”。更展开地说：

其中 $x$ 范围覆盖任何认知主体，$t$ 范围覆盖任何时间。这个读法很重要：Fitch 的结论不是“某一个人知道一切”，而是“每一个真理都至少被某个主体在某个时间知道”。它是一种集体全知（collective omniscience），而不是个体全知。即便如此，它仍然与我们的非全知直觉严重冲突。

NOTE

$\Diamond$ 的读法也需要小心。它通常被理解为“形而上学可能性”或“原则上可实现的认知可能性”，而不是“与我们现在掌握的证据相容”。如果 $\Diamond$ 只是认识论的“不被排除”，KP 会变成另一条原则，Fitch 论证的前提也会随之改变。后文会回到这一点。

3.2 可知性原则#

可知性原则可以写成：

读作：对任意命题 p，如果 p 为真，那么 p 可能被知道。

为了避免高阶量化带来的技术争议，也可以把它写成图式（schema）：对任意公式 φ，

图式版的 KP 已经足以产生 Fitch 的结果；量化版则更接近反实在论者想要表达的那个单一论题。两者都允许把 KP 应用于包含 K 的命题；这正是 Fitch 句子能够成为实例的原因。这个“自我应用”的特征，在讨论限制策略时会变得重要。

严格地说，$\forall p$ 是命题量化。它可以是对象性的（量词的范围是命题实体），也可以是替换性的（量词的范围是语句的替换实例）。Fitch 的论证在两种读法下都可以重建；为了避免关于命题实体的形而上学争议，许多文献使用图式版。关键不在于量词的本体论，而在于量词是否允许包含 K 的实例。

与 KP 相对的是“非全知”论题：

读作：存在一个真理，它不被任何人于任何时间知道。

Fitch 的结论是：

读作：每一个真理都已经被某人于某时知道。

Fitch 定理可以写成：

或者，以 Fitch 原来的“定理 5”形式写成：

后者说：如果存在未知真理，那么存在不可知真理。它的逆否命题就是 KP → Omni。注意，在通常的、现实世界可及自身的模态逻辑中，逆命题 Omni → KP 是平凡的：假设 Omni，任取 p；由 Omni 得 $Kp$；由于现实世界可及自身，$Kp$ 蕴涵 $\Diamond Kp$；所以 $p \to \Diamond Kp$，即 KP。因此，KP 与 Omni 不是“一个较强、一个较弱”，而是等价的。这就是“坍塌”一词的准确含义。

3.3 最小知识逻辑#

这套设置属于标准的知识逻辑传统（Hintikka 1962）。Fitch 的推导只需要很少的假设。把它们列出来，有助于看清哪些前提可以质疑、哪些几乎不能：

除此之外，还需要 $\Box$ 服从正规模态逻辑：必然算子对蕴涵分配，$\Box$ 与 $\Diamond$ 互为对偶。仅此而已。

值得注意的是，这个清单里没有：

• 知识对逻辑后承的完全封闭（full logical omniscience）；
• 正反省 $K\varphi \to KK\varphi$；
• 负反省 $\neg K\varphi \to K\neg K\varphi$；
• S4 或 S5 的模态公理；
• 任何关于人类认知局限的经验前提；
• 任何关于“理想认知共同体”的社会学假设。

(A) 比“知识对逻辑后承封闭”弱得多。它只要求知道一个合取的人知道它的两个合取项。有人可能会说，日常生活中的知道往往是整体的、非分解的：我知道“会议在三点于二楼举行”，并不总是能把“会议在三点”和“会议在二楼”作为两个独立的知识项来把握。但 (A) 是一个理想化的规范性原则：如果你真的知道整个合取，那么当被问及“会议在三点吗？”时，你应当能够正确回答。它与“知道”的概念紧密相连，很难在没有代价的情况下放弃。

(B) 更是知识概念的核心。如果一个人“知道” p，而 p 是假的，我们通常不会说他知道，而会说“他以为他知道”或“他错误地相信”。事实性是知识与信念、猜测、合理相信的分界线。

(C) 是正规模态逻辑的标准规则。它不意味着认知主体知道所有逻辑真理；它说的是：如果 φ 是逻辑定理，那么 φ 在每一个可能世界都成立，因此 $\Box \varphi$ 成立。这是语义上的必然性，不是心理学上的知识。

(D) 是 $\Box$ 与 $\Diamond$ 的对偶：如果 φ 不可能为真，那么 $\Diamond \varphi$ 为假。除非我们采用次协调逻辑，否则这条原则几乎不可动摇。

(E) 是争论的焦点之一。Fitch 推导的最后一步——从“没有未知真理”到“一切真理都被知道”——依赖经典逻辑的双重否定消去。直觉主义者会在这里刹车。后文会详细讨论。

3.4 形式推导#

下面是完整的自然演绎式推导。每一步都标注了依据。

这个推导有几个技术细节值得说明。

第一，第 7 步得到的 $\neg K(p \land \neg Kp)$ 并不依赖第 1 步的假设。它只依赖 (A)、(B) 和反证法（否定引入）。因此第 8 步的必然化是合法的：我们是在对一个逻辑定理使用必然化规则，而不是在对一个偶然前提使用它。第 8 步说的是：在任何一个可能世界中，都不可能有“知道 p 且知道自己不知道 p”这样的事。

第二，第 9 步从 $\Box \neg K(\ldots)$ 推出 $\neg \Diamond K(\ldots)$，用的是 $\Box$ 与 $\Diamond$ 的对偶。这一步在正规模态逻辑中是有效的。

第三，第 11 步从假设 1 推出矛盾，因此否定假设 1。第 12 步把 $\neg (p \land \neg Kp)$ 改写成 $p \to Kp$。在经典逻辑中，$\neg (p \land \neg Kp)$ 等价于 $\neg p \lor Kp$，也就是 $p \to Kp$。在直觉主义逻辑中，这一步只能得到 $p \to \neg \neg Kp$，不能得到 $p \to Kp$。这是后文“直觉主义方案”的关键。

第四，第 13 步的全称概括是合法的，因为 p 是任意的命题变元，推导中没有对 p 施加任何特殊假设。

如果不想使用必然化规则，也可以给出一个语义版本，结论相同：

任取一个可能世界 w。假设 w 中 $K(p \land \neg Kp)$ 成立。由 (A)，w 中 $Kp$ 与 $K\neg Kp$ 成立；由 (B)，w 中 $\neg Kp$ 成立。于是 w 中 $Kp \land \neg Kp$，矛盾。因此，没有任何可能世界使 $K(p \land \neg Kp)$ 成立。所以 $\neg \Diamond K(p \land \neg Kp)$。

这个版本更直观：Fitch 句子的不可知性不是偶然的经验事实，而是“知道”这个概念的结构性后果。它在所有可能世界都不可知。

图 1：Fitch 论证的双路径结构。左栏从“未知”走向“可知”，右栏从“被知”走向“矛盾”，两栏在 ⊥ 处汇合。

3.5 Fitch 的“定理 5”形式#

把上面的推导改写成“存在未知真理 → 存在不可知真理”，会更接近 Fitch 原文：

第 4 步的存在概括是合法的：我们找到了一个具体的 p，它既真又不可能被知道。第 5 步则说：只要存在未知真理，就存在不可知真理。

取逆否命题：

第 7 步使用了经典量词等价：

这就是 KP → Omni 的另一种写法。它把“可知性”与“已知性”放在同一个量词结构中，使坍塌变得一目了然。

3.6 自然语言重述#

现在把形式推导翻译成人话。

假设存在一个未知的真理 p。比如：

p：那片海沟里恰好有 137 条这种鱼。

p 是真的，但没有人知道。于是下面这个合取也是真的：

$p \land \neg Kp$：那片海沟里恰好有 137 条这种鱼，而且没有人知道这一点。

KP 说：任何真理都可知。因此，这个合取也应当可知：

有可能某人知道：“那里有 137 条鱼，而且没有人知道这一点。”

但“知道这个合取”意味着什么？根据 (A)，知道一个合取就要知道它的每个合取项。所以，知道这个合取的人必须：

1. 知道那里有 137 条鱼；
2. 知道没有人知道那里有 137 条鱼。

根据 (B)，知识蕴涵真理。第 2 项“知道没有人知道”蕴涵“没有人知道”。但第 1 项已经说明“有人知道”——就是知道者本人。于是，同一个人既知道又不知道那里有 137 条鱼。矛盾。

因此，这个合取不可能被任何人知道。它不是“暂时没人知道”，而是“逻辑上不可能被知道”。可是，根据假设，它是真的。于是我们得到了一条不可知的真理。这与 KP 冲突。

所以，如果 KP 成立，那么“存在未知真理”这个假设就必须为假。也就是说：不存在未知真理。在经典逻辑中，这等于说：一切真理都已经被知道。

这个论证的狡猾之处在于，它没有凭空制造一个自相矛盾的命题。它只是把“p 是未知的”这个事实本身变成一个命题，然后让 KP 应用于这个命题。KP 本来想说“任何真理都可以被认识”，但它没有料到，有些真理的内容恰恰是关于“哪些真理尚未被认识”的。对于这类真理，可知性的要求会反过来吞掉自身。

3.7 几个容易混淆的区分#

在继续分析之前，有必要澄清几组区分。它们在后文的解决方案中会反复出现。

第一，“一切真理都被知道”不等于“我们现在知道一切”。 Fitch 的结论是 $\forall p(p \to Kp)$，其中 K 是“某人于某时知道”。它允许知识分布在不同的主体和时间中。它甚至允许一个真理在很久以后才被知道。它说的是：每一个真理都在某个时刻被某个人知道。这个结论仍然很强，但它不是“全知者此刻俯瞰一切”的画面。

第二，“可知”不等于“已知”，也不等于“可验证”。 “可知”是一个模态概念：存在一种可能的认知状态，在其中 p 被知道。“已知”是现实概念：在现实世界中，p 已经被知道。“可验证”则更窄：存在一种可执行的验证程序。三者不能混为一谈。Fitch 的论证之所以有效，正是因为它把“可知”理解为“存在可能的认知”，而不是“存在一个我们能实际执行的检验程序”。

第三，“可能”有不同种类。 逻辑可能性、形而上学可能性、物理可能性、认识可能性、实践可能性，彼此不同。KP 中的 $\Diamond$ 通常是形而上学或“原则上”的可能性。如果把它读成“与我们的证据相容”，KP 会变成一条认识论原则，Fitch 的结论也会随之改变。如果把它读成“物理上可实现”，KP 会变得太强，因为很多数学真理没有物理检验程序。这个歧义是许多争议的源头。

第四，“知道”有不同的语法。 知道一个命题（knowing that）、知道如何做一件事（knowing how）、认识一个人（knowing a person）、熟悉一个地方（acquaintance），这些“知道”并不共享同一个逻辑结构。Fitch 的 K 只覆盖命题知识。如果把“可知性”理解为一种能力或倾向，而不是“存在一个知道 p 的可能世界”，论证的前提就会改变。后文的“能力/倾向”方案正建立在这个区分上。

第五，“真理”是否二值，会影响最后一步。 经典逻辑假定每个命题非真即假，并且允许双重否定消去。直觉主义逻辑不接受这一点：它把真理理解为“被构造/被证明”，而不是“独立于证明的真值”。Fitch 推导的最后一步依赖于经典逻辑。因此，逻辑修正不是无关紧要的技术细节，而是直接触及“真理是什么”的哲学选择。

4.1 这不是一个逻辑错误#

面对 Fitch 的结论，最常见的第一反应是：推导里一定有个错误。但事实并非如此。这个推导在经典模态逻辑中是有效的；它的每一步都只用了极弱的原则。真正的问题不是“推理是否有效”，而是“哪个前提应当被放弃”。而每一个候选前提都有沉重的代价。

我们可以把冲突写成：

其中 $\mathrm{CL}$ 指经典逻辑。要让系统一致，至少要去掉一项。去掉 NonO 意味着接受全知论；去掉 KP 意味着放弃普遍可知性；去掉 (A) 意味着否认知道合取蕴涵知道合取项；去掉 (B) 意味着否认知识蕴涵真理；去掉 (C) 或 (D) 意味着修改模态逻辑；去掉经典逻辑意味着接受直觉主义或次协调逻辑。没有哪一项是免费的。

这就是为什么它被称为“悖论”而不是“谬误”。它不是某个论证在某个隐蔽处犯了错，而是几个各自看来都很合理的承诺放在一起产生了不可接受的后果。哲学上的悖论往往就是这样：它不是逻辑的病，而是我们信念体系的裂缝。

4.2 盲点：摩尔句子的知识论版本#

理解 Fitch 论证的最好方式，是把它看成一个关于“盲点”（blind spot）的定理。

在知识逻辑中，一个命题 p 是 K 的盲点，当且仅当 p 为真，但不可能被知道：

Fitch 的“定理 5”说的就是：

只要存在未知真理，就存在盲点。

而 KP 说的则是：

不存在盲点。

因此，KP 与“存在未知真理”不相容。

这个盲点的典型例子，就是 Fitch 句子本身：

它说的是“p 是真的，但没有人知道 p”。这个句子可以在 p 未知时为真。但它不可能被知道。为什么？因为知道它的人必须同时知道 p 和知道“没有人知道 p”；后者蕴涵“没有人知道 p”，前者蕴涵“有人知道 p”（即知道者本人）。这是一个彻头彻尾的矛盾。

这个结构与摩尔悖论（Moore’s paradox；Moore 1942）非常相似。摩尔悖论的典型形式是：

$p$，但我不相信 $p$。

这句话可以是真吗？可以。比如，p 是真的，而说话者由于某种原因没有形成相应的信念。但它不能被说话者合理地断言或相信。当你说“p，但我不相信 p”时，你的断言本身表达了 p，而你的第二句话又否认你对 p 有信念。这不是一个逻辑矛盾，而是一个“语用矛盾”或“认知矛盾”：这句话的内容与你做出这句话的行为不相容。

Fitch 句子是摩尔句子的“知识版”，而且更强：

$p$，但没有人知道 $p$。

这句话可以被别人知道吗？假设另一个人知道它。那么他知道 p，也知道“没有人知道 p”。由事实性，他知道“没有人知道 p”蕴涵“没有人知道 p”；但他自己知道 p，所以“有人知道 p”。矛盾。因此，不仅说话者不能知道它，任何主体都不能知道它。它是一个绝对的盲点，而不是第一人称的盲点。

这个区分很重要。摩尔句子“p，但我不相信 p”可以被另一个人知道：另一个人可以知道 p，并且知道我不相信 p。它只是对说话者本人构成盲点。Fitch 句子则不同：它的第二个合取项是全称的、无人称的否定，因此一旦被任何人知道，就会与第一个合取项冲突。它把“未知”变成了一个对所有人都关闭的知识对象。

从这个角度看，Fitch 的定理其实是摩尔悖论的一个模态化、无人称化的版本。它告诉我们：知识的结构中必然存在盲点，除非所有真理都已经被知道。反实在论者想让“真理”与“可知性”外延重合，但盲点的存在使这个重合不可能，除非他接受全知论。

4.3 自我指涉与全称量化#

有人会说：Fitch 句子是不是一种自我指涉的诡计？它是不是像“这句话是假的”一样，通过自指制造矛盾？

严格地说，Fitch 句子并不是直接的自我指涉。它没有说“本句子不被知道”。它说的是“p 是真的，并且没有人知道 p”。它的第二个合取项量化的是实际的认知状态，而不是句子自身的真值。它之所以不可知，不是因为它是自指的，而是因为它的内容包含了“没有人知道 p”这个否定性的认知事实。

但它的确有一种“间接的自反性”：KP 是一个全称命题，它量化所有命题，包括那些关于“哪些命题被知道”的命题。当 KP 应用于 Fitch 句子时，它把“知识的范围”本身变成了知识的对象。这种结构可以称为谓词性的自我应用（impredicative self-application）：一个关于所有命题的原则，被应用到一个由该原则自身的算子所构成的命题上。

这正是许多限制策略的突破口。如果我们把 KP 限制在不含 K 的命题上，Fitch 句子就被排除在外，悖论消失。但代价是：KP 不再适用于关于知识的真理。反实在论者本来想说，真理之所以为真，是因为它原则上可被认识；这个“原则上”应当覆盖包括知识论在内的一切领域。如果 KP 只能覆盖“世界”而不能覆盖“我们对世界的知识”，它就不再是一个普遍的反实在论论题，而只是一个局部论题。

另一个相关的结构是全称量化。Fitch 的结论之所以如此强，是因为 KP 前面的 $\forall p$ 没有限制。它说的是“所有命题”。如果它说的是“所有基本命题”或“所有经验命题”，悖论可能不会出现。但反实在论者想要的正是那个无限制的全称量化：真理，作为真理，就是可知的。这个“作为真理”的普遍性，恰恰是悖论的燃料。

4.4 模态坍塌：从“可知”到“已知”#

Fitch 定理最令人不安的地方，不是它推出了一个假命题，而是它让一个模态区分消失了。

KP 试图维持两个层次的区分：

这个区分是温和反实在论的命脉。它让反实在论者可以说：真理不是我们此刻的意见，而是我们的认知共同体在理想条件下会达到的东西。它既反对“真理就是实际共识”的粗糙相对主义，也反对“真理完全独立于认知”的素朴实在论。

Fitch 的论证说：对于 Fitch 句子，模态层和现实层重合了。$\Diamond K(p \land \neg Kp)$ 不可能为真；因此，如果 $p \land \neg Kp$ 为真，它就是一个反例。KP 为了排除这个反例，只能否认 $p \land \neg Kp$ 的真，也就是否认未知真理的存在。于是，模态层被现实层吞并：可能被知道 = 已经被知道。

NOTE

这个坍塌不是某个技术假设的产物，而是 KP 的全称性加上知识算子对自身的应用所产生的。只要 KP 适用于“关于知识状态的命题”，它就会把“可能的知识”压缩成“实际的知识”。这就是为什么许多哲学家说，Fitch 的定理不是揭示了某个隐藏的矛盾，而是揭示了“温和反实在论”这个概念本身的不稳定性。

4.5 为什么温和反实在论特别脆弱#

温和反实在论者通常会这样回应：“我们并不是说一切真理都已经被知道。我们只是说，一切真理原则上可以被知道。现实中的无知是偶然的、可消除的。”

Fitch 的论证正好攻击这个“偶然的、可消除的”说法。它指出：如果“一切真理原则上可知”是一个无限制的论题，那么“现实中存在未知真理”就不是一个可以被经验地承认的偶然事实，而是一个与论题不相容的反例。你不能同时说：

1. 一切真理原则上可知；
2. 存在一些真理，我们事实上不知道，而且可能永远不知道。

因为第 2 条中的“我们不知道”本身构成了一个真理（或至少构成一个真命题），而第 1 条要求这个真理可知。但一旦它被知道，它就不再是“我们不知道”了。这个真理的内容与它的可知性互相拆台。

这就是“盲点”的哲学意义：它不是我们认知能力的偶然限制，而是“知识”这个概念的结构性边界。你可以说“我们不知道某些东西”，但你不能把“我们不知道某些东西”这个整体当作一个可以被知道的对象，除非你放弃它的“未被知道”这一面。

Fitch 自己对这个结构有一个技术性的称呼：条件谬误。在价值理论中，如果“如果 s 知道 p，s 就会欲求 x”中的 p 是不可知的，那么这个反事实条件句的前件不可能为真，整个条件句就会空洞地为真。Fitch 为了避免这种空洞化，选择只对可知的命题使用这个分析。这个技术选择后来变成了一个哲学论题：可知性不是无限制的。

这个历史细节提醒我们：Fitch 的定理最初并不是为了反驳反实在论而设计的。它是一个关于“知识算子如何与反事实条件句互动”的技术结果。后来，当它被用来攻击验证主义时，它的哲学意义才被放大。这个“从技术工具到哲学悖论”的转变，本身就是一个值得注意的现象：一个逻辑定理可以在另一个语境中变成一面照妖镜。

5.1 语义反实在论与验证主义#

Fitch 定理最直接冲击的是语义反实在论。

Michael Dummett（1978, 1991）的反实在论不是一种关于“世界是否存在”的形而上学学说，而是一种关于意义与真理的语义学说。它的核心想法是：一个陈述的意义由我们能够识别它为真的条件决定；如果真理可以完全超出我们的识别能力，那么意义就失去了可公共把握的基础。于是，真理不能被理解为一种“独立于我们认知的符合关系”，而应当被理解为“在理想条件下可被证成”或“可被验证”。这条思路的极端形式就是：

一切真理都可以被认识。

Dummett 自己并不总是把这条原则表述为无限制的 KP。他更愿意说，陈述的真取决于我们是否有能力在适当条件下识别它为真；对于复杂陈述，真理通过归纳定义从基本陈述的可知性中构造出来。但无论如何，反实在论需要一个普遍的“认知约束”（epistemic constraint）论题，否则它就无法与素朴实在论区分开来。

Fitch 的定理说：这个普遍的认知约束论题，如果被表述为无限制的 KP，就会塌缩为“一切真理都已经被知道”。这对反实在论是一个两难：

• 如果坚持无限制的 KP，就必须接受全知论，这与反实在论的“反形而上学”姿态相矛盾；
• 如果限制 KP，就必须说明限制的原则是什么，以及为什么这个限制不是专门为了逃避 Fitch 而设的。

逻辑实证主义的验证原则也面临类似的困境。验证主义说，一个陈述的意义在于它的验证方法；一个无法被验证的陈述没有认知意义。如果“一切真理都可验证”被普遍化，Fitch 的论证就会把它推向“一切真理都已经被知道（或已经被验证）”。早期逻辑实证主义者可能会说，他们只关心“有意义的陈述”，而不关心“所有真理”；但 Fitch 句子恰恰是一个有意义的陈述：它说“p 是真的，但没有人知道 p”。这个陈述在 p 未知时是真的，而且它的意义似乎很清楚。验证主义者不能简单地把它排除为“无意义”，否则就会失去对“未知真理”这一日常概念的说明。

Putnam（1981）的内部实在论与皮尔士的真理论也受到波及。Putnam 大致主张，真理是“在理想认识条件下的合理可接受性”；皮尔士说，真理是探究共同体在无限探究的极限处会同意的东西（Peirce 1931–1958）。这些表述都试图在“实际共识”与“独立实在”之间保持一个中间地带。Fitch 的定理指出：如果“理想认识条件”被理解为“所有真理都可以在某个可能世界中被知道”，那么这个中间地带就会塌缩为“所有真理都已经被知道”。理想化的“极限”并不能自动提供一条逃逸路线，因为 Fitch 句子恰恰是关于“极限”本身的：它说的是“p 是真的，但没有人知道 p”，而“没有人知道”可以包括“在极限处也没有人知道”。如果极限处的知识是可能的，那么这个句子的第二个合取项就会被否定；如果它不被否定，这个句子就是一条不可知的真理。

Crispin Wright（1992）在《真理与客观性》中试图用一种更精细的“认知约束”来挽救反实在论。他区分了“真理”与“有保证的断言”，并试图说明，对于某些话语领域，真理与我们的认知能力之间有构成性的联系。Fitch 的定理对这种精细版本提出了更高的要求：你不能只是说“真理与认知有联系”，你还必须说明这个联系的范围和逻辑形式。一旦你把它表述为无限制的全称量化，Fitch 就会出现；一旦你限制它，你就需要解释为什么这个限制不是 ad hoc。

5.2 知识论：未知真理与集体全知#

在知识论内部，Fitch 定理的影响同样深远，尽管它常常以“反实在论的问题”出现。

首先，它迫使我们区分个体全知与集体全知。Fitch 的结论 $\forall p(p \to Kp)$ 并不要求某一个人知道一切；它只要求每一个真理都至少被某个主体在某个时间知道。这个区分在直觉上很重要：我们很容易否认“某个人全知”，但不那么容易否认“人类集体的知识在原则上覆盖一切真理”。Fitch 说，后者同样会导致一个强得多的结论：如果每一个真理都可被某个主体知道，那么每一个真理事实上都已经被某个主体知道。集体全知不是一个小问题，它同样与“存在未知真理”不相容。

其次，它揭示了“未知真理”这个概念的结构。我们通常认为，未知真理是知识论中再自然不过的对象：我们知道有些东西我们不知道。但 Fitch 句子表明，并非所有未知真理都能被同一个知识算子“覆盖”。当未知真理的内容涉及“没有人知道它”时，它就成了一个盲点。这不是说我们不应该说“存在未知真理”；而是说，当我们把“未知真理”当作一个整体对象，并试图把它纳入“可知”的范围时，就会出现逻辑上的自我拆台。

第三，它连接了知识论与摩尔悖论。摩尔悖论传统上被看作语用学或信念逻辑的问题：“p，但我不相信 p”不是矛盾，却是不可断言的。Fitch 句子把这种结构提升到知识论层面： “p，但没有人知道 p” 不是矛盾，却是不可知的。这个类比让我们看到，知识论中的一些“盲点”不是偶然的无知，而是知识概念本身的语法特征。

第四，它影响了知识优先（knowledge-first）的认识论。Williamson 在《知识与它的界限》中讨论 Fitch 时，把这个结果称为反实在论的“尴尬”（embarrassment），而不是一个真正的悖论。他的立场是：知识是一种事实性的心理状态，不能被还原为信念加其他条件；未知真理是存在的；因此，不是所有真理都可知。Fitch 的定理恰好证明了这一点。对于知识优先的认识论者来说，这个定理不是威胁，而是一个支持：它表明“知识”不能被“可知性”或“可证成性”所取代。

第五，它对“知识的社会性”提出了挑战。如果知识是集体的事业，那么“集体全知”是否可能？Fitch 的结论说的是：只要每个真理都有某个潜在的主体可以知道，那么每个真理事实上都已经被某个主体知道。这个结论似乎把“潜在”与“现实”之间的社会历史距离抹平了。社会认识论者可能会说，知识的生产是一个历史过程，许多真理在原则上可知，但尚未被任何人知道。Fitch 的论证则说，如果“原则上可知”是严格的全称命题，那么这个历史距离在逻辑上是不可能的。这个冲突促使我们重新思考“可知性”与“可发现性”的区别。

5.3 模态逻辑与形式认识论#

从形式角度看，Fitch 定理是一个关于模态坍塌的案例。它表明，在一个正规模态逻辑中，如果把“可知性”定义为 $\Diamond K$，并让它与真理外延重合，那么 $\Diamond K$ 就会塌缩为 $K$。这不是因为模态逻辑本身有缺陷，而是因为 $K$ 的自我应用产生了盲点。

这个结果推动了几个方向的研究。

其一是量化模态逻辑中的替换问题。KP 允许我们把任意命题代入 $p$，包括包含 K 的命题。Kvanvig 认为，这种代入违反了模态语境中的指称限制：$Kp$ 实际上是一个量化表达式 $\exists x\,\exists t\,\mathrm{Know}(x,p,t)$，它在不同可能世界中指称不同的主体和时间，因此不是一个刚性指称词（rigid designator）；把它代入 $\Diamond$ 的辖域会导致模态谬误。Williamson 则反驳说，Kvanvig 混淆了“索引性”与“非刚性”：一个表达式可以在不同语境中指称不同对象，但在固定语境中仍然刚性指称。这个争论至今没有定论，但它让我们看到，Fitch 悖论不仅涉及知识论，也涉及量化模态逻辑的深层问题。

其二是动态认识论（dynamic epistemic logic）。在动态认识论中，知识不是静态的，而是通过公告、学习、观察等行动不断更新的。Fitch 句子可以被看作一个“自我拆台的公告”：如果你公告“p 是真的，但没有人知道 p”，公告之后所有人都知道了 p，于是公告的内容变成了假。这与摩尔句子“p，但我不相信 p”的公告版非常相似。动态认识论让我们能够精确地刻画“可知”与“可学习”的区别：一个命题可能是“可知的”（存在某个可能世界知道它），但不是“可学习的”（不存在一个真实公告序列使我们知道它）。van Benthem（2004）、van Ditmarsch 等（2012）、Holliday（2018）以及 Berto 与 Hawke（2021）从不同角度发展了这个思路。

其三是时间索引。如果 K 被索引到时间，$K_t p$ 表示“在 t 时刻 p 被知道”，那么 Fitch 句子 $p \land \neg K_t p$ 可以在后来的时刻 $t'$ 被知道：在 $t'$ 时刻，某人知道 p 曾经是真的，并且在 t 时刻没有人知道 p。这个知识并不矛盾，因为它把“未知”定位在过去的时刻。这个思路可以阻断 Fitch 的推导，但代价是改变 KP 的含义：KP 不再说“任何真理都可以在同一个时刻被知道”，而是说“任何真理都可以在某个时刻被知道”。后者更弱，也更接近“可发现性”而不是“可知性”。我们在第六节会详细讨论。

其四是知者悖论（knower paradox）与次协调逻辑。知者悖论构造一个句子 k：“k 是未知的”。假设 k 被知道，则由事实性，k 是真的，所以 k 是未知的；于是 k 既被知道又未知。这个悖论与 Fitch 悖论共享一个结构：知识算子应用于一个关于自身未知性的句子。Beall（2000）认为，知者悖论为我们提供了独立理由，去相信某些“知道与不知道”的矛盾是真的；在次协调逻辑中，我们可以接受这些矛盾而不爆炸。这个思路很激进，但它揭示了 Fitch 论证对经典一致性假设的依赖。

5.4 语言哲学与数学哲学#

在语言哲学中，Fitch 定理触及了“意义与可识别性”的关系。验证主义的意义理论说，理解一个陈述就是知道它的验证条件。如果一切真理都可验证，那么一切真理都可被理解；但 Fitch 句子似乎是一个有意义的陈述，却不可能被知道。验证主义者必须解释：这个句子的意义是什么？它的验证条件是什么？如果它的验证条件不可能被满足，那么它是否还有意义？

一种回应是：Fitch 句子的意义在于它的使用，而不是它的验证条件。我们可以理解“p 是真的，但没有人知道 p”这句话，因为我们知道在什么情况下它会是真的；我们只是不能把它作为一个知识对象来把握。这个回应把“意义”与“可知性”拉开距离，从而避免了 Fitch 的直接冲击。但它也削弱了验证主义的核心论题：如果意义不等于可知性，那么反实在论的语义学基础就不那么牢固了。

在数学哲学中，Fitch 定理与直觉主义、构造主义有复杂的互动。直觉主义者说，一个数学陈述的真在于我们能够构造一个证明；因此，“一切数学真理都可被证明”是一个自然的论题。Fitch 的定理似乎会把它推向“一切数学真理都已经被证明”，这显然是荒谬的。但直觉主义者可以回应说，数学中的 K 不是“某人于某时知道”，而是“存在一个证明”；证明的存在是一个客观的、非时间性的事实，而不是一个心理事件。于是，Fitch 句子的构造在数学语境中可能不成立，因为“没有人知道 p”这个第二合取项在数学中不是一个合法的构造性陈述。这个回应是否成功，取决于我们如何理解“证明”与“知识”的关系。

Church 本人是逻辑学家，他的审稿报告最初就是在符号逻辑的语境中给出这个证明的。这个历史事实提醒我们：Fitch 定理的根源不是反实在论，而是模态逻辑与知识算子的互动。它后来被用来攻击验证主义，是因为验证主义恰好承诺了一个无限制的 KP。这个“语境迁移”本身说明，一个形式定理的哲学意义取决于它与哪些实质论题结合。

5.5 形而上学：实在论与观念论之间#

在形而上学层面，Fitch 定理最常被用来支持实在论。

实在论者说：真理独立于我们的认知；即使没有人知道某个真理，它仍然是真的。Fitch 的定理似乎为这个立场提供了一个优雅的论证：

1. 存在未知真理（NonO）。
2. 如果一切真理都可知，那么一切真理都已经被知道（Fitch）。
3. 但并非一切真理都已经被知道（显然）。
4. 所以，并非一切真理都可知。
5. 所以，有些真理在原则上不可知。
6. 所以，真理不能等同于可知性；实在论是对的。

这个论证的每一步都值得推敲。第 1 步是经验性的，但几乎不可否认；第 3 步也是经验性的，但同样几乎不可否认。第 2 步是逻辑定理。因此，结论 4 在经典逻辑中几乎不可避免。这个论证的力量在于，它不需要任何关于“物自体”或“超越世界”的形而上学假设；它只需要“存在未知真理”这个平凡的事实。

但实在论者不能高兴得太早。Fitch 的结论是“有些真理不可知”，而不是“所有真理都独立于认知”。它只证明了结构性不可知（structural unknowability）：有些真理之所以不可知，是因为它们的逻辑形式（例如包含“没有人知道”这样的否定性认知成分），而不是因为它们涉及一个超越的、完全无法触及的实在。这个区分很重要：实在论者想要的是“识别超越的真理”（recognition-transcendent truth），即那些原则上无法被人类认知触及的真理；Fitch 只提供了“逻辑盲点”（logical blind spots），即那些因为知识算子的结构而无法被知道的真理。前者是一个形而上学论题，后者是一个逻辑论题。Fitch 的定理可以支持前者，但不能直接证明前者。

这也是 Tennant 等人强调“结构不可知”与“实质不可知”区别的原因。Fitch 的定理告诉我们：存在一些逻辑上不可知的真理。它没有告诉我们：存在一些因为世界本身的独立性而不可知的真理。后者需要额外的形而上学论证。反实在论者可以接受前者，同时坚持后者不存在：他们会说，所有“实质”真理都是可知的，只有那些自我指涉的、逻辑上构造的真理才是不可知的。这个回应是否令人满意，取决于你是否认为“逻辑盲点”足以构成对反实在论的威胁。

5.6 一个总结性的判断#

Fitch 定理的影响可以概括为一句话：它把“真理是否可知”从一个模糊的哲学口号，变成了一个必须精确表述的逻辑论题。

在 Fitch 之前，反实在论者可以说：“真理不是独立于我们的；它是我们原则上可以认识的东西。”在 Fitch 之后，这句话必须被改写为：

• 哪些命题属于 KP 的范围？
• $\Diamond$ 是哪一种可能性？
• $K$ 是哪一个知识算子？
• 逻辑是经典的、直觉主义的，还是次协调的？
• “可知”是“存在一个可能世界知道”，还是“存在一种能力/方法”？

每一个问题都会导向不同的理论。Fitch 的定理不是终点，而是一个分岔口。它迫使每一个想要坚持“真理与认知有内在联系”的人，说明这个联系的确切形式。这本身就是它的哲学价值：它把一个看似温和的直觉，变成了一个需要付出理论代价的承诺。

6.1 逻辑修正#

6.2 语义限制#

语义限制方案不改变逻辑规则，而是重新解释 KP 中的算子或命题，使 Fitch 句子不再构成反例。

6.3 句法限制#

句法限制方案保留经典逻辑与通常的语义，但限制 KP 的适用范围：只对某一类命题使用 KP。

6.4 概念修正#

概念修正方案不改变逻辑，也不限制 KP 的句法范围，而是重新理解“可知性”本身。

6.5 接受结论：Fitch 作为反实在论的反驳#

最后一种方案是接受 Fitch 的结论：KP 是假的，不是所有真理都可知。

Williamson（2000b）把 Fitch 的定理称为反实在论的“尴尬”（embarrassment），而不是一个真正的悖论。他的论证很简单：

1. 我们知道有些真理是未知的。
2. Fitch 证明，如果一切真理都可知，那么一切真理都已经被知道。
3. 因此，并非一切真理都可知。
4. 因此，实在论是对的：真理可以超出我们的认知能力。

这个方案的优点是，它不需要任何逻辑修正、语义限制或概念修正；它只需要接受一个平凡的经验事实（存在未知真理）和一个逻辑定理。它的缺点是，它没有回应反实在论的动机。反实在论者之所以提出 KP，不是为了否认“存在未知真理”，而是为了说明真理的本性：真理不是一种独立于认知的“符合”，而是与我们的认知实践内在相关。仅仅说“KP 是假的”，并没有解释为什么反实在论的直觉是错的。

此外，“接受结论”方案面临一个解释上的问题：Fitch 只证明了“结构性不可知”，而不是“实质不可知”。如果反实在论者说“所有实质真理都可知，只有那些逻辑上自我指涉的真理不可知”，那么接受结论方案并没有完全反驳他。它只证明了：无限制的 KP 是假的；它没有证明：任何形式的认知约束论题都是假的。

因此，“接受结论”是一个合法的立场，但它不是一个完整的哲学解决方案。它更像是一个“止损”：在经典逻辑与通常的知识概念下，KP 必须被放弃；但为什么我们应该接受这些默认设置，仍然是一个开放的问题。

6.6 方案比较#

下表按“被修改的对象”总结主要方案。表中的“代价”不是绝对的；它只是提醒读者，每一种方案都需要额外的理论承诺。

6.7 哪种方案最好？#

这个问题没有公认的答案。不同的方案对应不同的哲学承诺：

• 如果你已经接受经典逻辑与素朴实在论，那么“接受结论”是最自然的：Fitch 证明了 KP 是假的。
• 如果你是一个反实在论者，并且愿意修正逻辑，那么直觉主义方案最有系统性；但它仍然留下“无未知真理”的结论，需要额外的解释。
• 如果你希望保留经典逻辑，同时保留 KP 的某种版本，那么 Tennant 的 Cartesian 限制或 Edgington 的实在性方案最有吸引力；但它们都需要回答“限制是否 ad hoc”与“报复性反例”的问题。
• 如果你认为“可知性”根本不是一个统一的模态概念，那么能力/倾向方案或维特根斯坦式的语法诊断可能更合适；但它们很难提供一种形式化的语义学。

评价一个方案，至少可以看四个标准：

1. 原则性：限制是否来自一个独立的理论根据，而不是仅仅为了逃避悖论？
2. 保守性：是否保留了反实在论的核心动机，而不是把 KP 弱化到无关紧要？
3. 稳定性：是否能避免针对该限制的报复性反例？
4. 逻辑代价：是否需要全局地修正经典逻辑，还是只需要局部地调整知识逻辑？

用这四个标准衡量，Tennant 的 Cartesian 限制与 Edgington 的实在性方案在“原则性”与“保守性”上表现较好，但它们都面临技术上的反驳；直觉主义方案在“系统性”上最强，但它的结论仍然令人不安；次协调逻辑与类型论方案则代价过高，难以成为主流。

Fitch 悖论的文献之所以没有收敛，是因为这些标准本身互相冲突。你越是想保留 KP 的强论题，就越需要付出逻辑或语义的代价；你越是想避免逻辑修正，就越需要限制 KP 的范围。没有一种方案能同时满足所有标准。这正是悖论的哲学深度所在。

7.1 为什么维特根斯坦不是“另一个技术方案”#

前面的方案都在回答同一个问题：Fitch 的推导中，哪一个前提应当被修改？逻辑修正改推理规则，语义限制改算子解释，句法限制改 KP 的范围，概念修正改“可知”的含义，接受结论则放弃 KP。它们共享一个假设：KP 是一个有确定内容的哲学论题，我们需要判断它是否为真。

晚期维特根斯坦可能会拒绝这个问题的提法。

在《哲学研究》中，哲学不是一种理论建构，而是一种治疗。它的目标不是给出新的解释，而是让我们看清那些让我们困惑的语言用法。维特根斯坦说：

哲学是一场反对用语言来迷惑我们的智性的战斗。（PI §109）

一幅图画把我们俘虏了。而我们无法走出它，因为它就在我们的语言之中，而语言似乎不断向我们重复它。（PI §115）

你的哲学目标是什么？——给苍蝇指出飞出捕蝇瓶的路。（PI §309）

从这一视角看，Fitch 悖论不只是一个逻辑问题，更是一幅图画：它把“真理”想象成一个由命题构成的总和，把“知识”想象成主体与命题之间的一种关系，把“可能性”想象成一个包含所有可能认知状态的空间。然后它问：这个总和中的每一个命题，是否都能被这个关系覆盖？Fitch 的证明说：不能，除非这个关系已经覆盖了全部。

维特根斯坦不会直接说“KP 是假的”。他会问：“一切真理都可知”这句话，究竟在哪个语言游戏中有使用？ 它的使用条件是什么？谁在什么情况下会说这句话？它要排除的是什么？如果这些问题没有清楚的答案，那么 KP 就不是一个具有确定真值的论题，而是一个被哲学语法伪装成论题的“图画”。

这不是说维特根斯坦会否认 Fitch 的定理。定理是有效的；他可能会接受它。但他会拒绝把它解释为“反实在论被驳倒了”或“实在论被证明了”。从这一视角看，这个定理显示的不是世界的结构，而是我们语言的结构；它是一则语法评论，而不是一项形而上学发现。

下面的讨论不是对维特根斯坦的逐字解释，而是从晚期著作出发的一种重构。维特根斯坦的文本本身是开放的，不同读者会有不同的读法；但有一条主线是清楚的：不要问“哪个前提为假”，先问“为什么我们会觉得这个前提必须被表述为全称命题”。

7.2 意义即使用：K 的语法#

《哲学研究》§43 说：

对于“意义”一词的大量用法——虽然不是全部——我们可以这样解释：一个词的意义就是它在语言中的使用。

这条原则对 Fitch 悖论的意义是直接的。$K$ 不是一个脱离语境的逻辑符号；它代表“知道”这个词在具体语言游戏中的用法。而“知道”有多种用法：

• 我知道今天会下雨（基于天气预报）；
• 我知道怎么骑自行车（一种能力）；
• 我知道巴赫（熟悉其作品）；
• 我知道他迟到了（基于观察）；
• 我知道 2+2=4（数学知识）；
• 我知道我不知道（自我认识）。

这些“知道”并不共享同一个逻辑结构。Fitch 的 $K$ 只覆盖命题知识，而且把它理想化为一个统一的、事实性的、对合取分配的算子。这个理想化在形式逻辑中是合法的；但维特根斯坦会问：这个算子对应于哪一个语言游戏？它的使用规则是什么？它的“知道者”是谁？

Fitch 的知道者是 $\exists x\,\exists t$：一个匿名的、无身体的主体，可以在任何时间、任何可能世界知道任何命题。这个主体没有语言游戏，没有训练，没有共同体，没有怀疑与确信的实践。维特根斯坦会说：这样的主体不是我们日常意义上的“知道者”；它是一个逻辑构造，而不是一个生活形式中的行动者。

更重要的是，$K$ 的语法在第一人称与第三人称之间是不对称的。维特根斯坦在《哲学研究》中写道：

我能知道别人在想什么，却不能知道我在想什么。说“我知道你在想什么”是正确的，说“我知道我在想什么”是错误的。（一整团哲学凝结为一滴语法。）（PI II.xi）

这句话的意思不是“我们不能反省自己的心灵”，而是说：“我知道”在第一人称中的用法与在第三人称中的用法不同。当我说“我知道 p”时，我通常是在给出保证、承担责任、表示我有根据；我不是在描述一个内在的心理状态。当我说“他知道 p”时，我是在根据他的行为、证据、训练来判断。这两种用法属于不同的语言游戏。

Fitch 的 $K$ 把这两种用法抹平了。它把“知道”变成一个无主体的关系 $\mathrm{Know}(x,p,t)$，然后用量化覆盖所有 x 和 t。这个抽象在逻辑上是方便的，但它遗漏了“知道”的语法：知道总是某个具体的实践中的知道，总是与给出理由、接受纠正、参与共同体相联系。

维特根斯坦在《蓝皮书》中批评哲学家有一种“对普遍性的渴望”（craving for generality；BB）：他们总想找到一个适用于所有情况的定义，而忽略语言游戏的多样性。Fitch 的 KP 正是这种渴望的产物：它想用一个全称命题覆盖“所有真理”，却没有问“所有真理”这个说法在日常语言中是否有清楚的使用。

7.3 摩尔悖论与盲点#

Fitch 句子与摩尔悖论的结构相似，这一点在第四节已经讨论过。维特根斯坦对摩尔悖论的处理，可以为我们提供一条线索。

摩尔悖论的典型形式是：

天在下雨，但我不相信天在下雨。

这句话不是逻辑矛盾：它可以是真，如果说话者对自己的信念判断错误。但它不能被说话者合理地断言。当你说“天在下雨”时，你表达了你的信念；当你接着说“但我不相信”时，你撤回了刚才的表达。这不是一个关于世界的矛盾，而是一个关于“相信”和“断言”的语法矛盾。

维特根斯坦在《哲学研究》第二部分的讨论中，把这种句子视为“荒谬的”（absurd），而不是“假的”。它的荒谬不在于它与事实不符，而在于它没有使用场景：没有人会在正常语言游戏中说这样的话。它是一句“语法笑话”。

Fitch 句子是摩尔句子的知识版：

$p$ 是真的，但没有人知道 $p$。

这句话可以在 $p$ 未知时为真。它不是逻辑矛盾。但它不能被任何人知道。为什么？因为知道它的人必须同时知道 $p$ 和知道“没有人知道 $p$”；后者蕴涵“没有人知道 $p$”，前者蕴涵“有人知道 $p$”。这不是一个关于世界的发现，而是“知道”这个词的语法：你不能同时把一个命题当作已知的，又把它当作无人知道的。

从这一视角看，Fitch 句子的不可知性是一则语法评论，而不是一项形而上学发现。它告诉我们“知道”这个词如何被使用，而不是告诉我们存在一个神秘的、不可知的实在领域。反实在论者把这条语法评论普遍化，变成“一切真理都可知”的论题；Fitch 的证明则显示，这个普遍化会自我拆台。

这里有一个微妙但重要的区别。维特根斯坦不会否认“存在未知真理”这个日常说法。我们每天都说“我不知道明天会发生什么”“没有人知道海底有多少鱼”。这些说法有明确的用法。他否认的是：当我们把“未知真理”提升为一个哲学对象，并追问“它是否原则上可知”时，我们还在说某种有内容的话。在哲学语境中，“未知真理”变成了一个形而上学的实体，而 Fitch 句子则变成了它的极限案例。

维特根斯坦的治疗不是要我们停止说“未知真理”，而是要我们看清：在日常语言中，这个说法没有 Fitch 所赋予它的那种形而上学重量。Fitch 的证明之所以令人不安，是因为我们先把“真理”想象成一个总体，再把“知识”想象成覆盖这个总体的关系；然后我们发现有些真理不能被覆盖。这一视角会说：这个“总体”是一个图画，而不是一个事实。

7.4 铰链：在“知”与“不知”之外#

晚期维特根斯坦对知识论最深刻的贡献，是《论确定性》中的“铰链”（hinge）思想。

维特根斯坦写道：

如果我们试图怀疑一切，我们连怀疑任何东西都做不到。怀疑的游戏本身预设了确定性。（OC §115）

我们提出的问题和我们的怀疑，依赖于某些命题不受怀疑这一事实；它们就像铰链，问题和怀疑绕着它们转动。（OC §341）

如果我想让门转动，铰链必须固定不动。（OC §343）

困难在于认识到我们相信的根据之无根据。（OC §166）

这些“铰链命题”不是普通的知识对象。它们包括“我有两只手”“地球在我出生之前已经存在”“我不是刚刚才出生”等等。它们不是通过证据被知道的，也不是通过怀疑被否证的。它们是我们的语言游戏得以运转的背景。维特根斯坦说：

我不是通过使自己确信它的正确性而得到我的世界图景的；我也不是因为它正确而拥有它。不：它是继承下来的背景（inherited background），是我借以区分真与假的背景。（OC §94）

一切检验、一切假设的证实与否证，都已经在一个系统之内进行。（OC §105）

从 Fitch 悖论的角度看，铰链思想提出了一个根本挑战：并非所有命题都适合用“知道/不知道”的二分来刻画。 在一种常见的读法中，铰链命题不是普通意义上的“被知道”，也不是普通意义上的“未被知道”；它们是使“知道”和“不知道”成为可能的背景。Fitch 的 KP 假定每一个命题都可以被放入 $K$ 或 $\neg K$ 的范畴；但维特根斯坦会说，这个假定本身是一种语法混淆。

这个挑战不是要说“铰链命题是不可知的”，而是要说：“可知性”这个谓词并不适用于所有命题。 就像“重”不适用于数字，“知道”也不适用于某些语法命题。Fitch 句子 $p \land \neg Kp$ 可能是一个语法命题，而不是一个经验命题。它看起来在说“p 是真的，但没有人知道”，但实际上它在记录“知道”这个词的用法：一个人不能同时知道 p 又知道“没有人知道 p”。如果它是语法命题，那么 KP 对它的应用就是范畴错误。

维特根斯坦在《哲学研究》§371 说：

本质在语法中表达。

§373 说：

语法告诉我们一个对象是什么。（神学即语法。）

把这两句话应用到 Fitch 句子：它的“本质”不是某个隐藏的形而上学事实，而是它在语言游戏中的用法。它的不可知性不是因为它指向一个超越的领域，而是因为“知道”这个词的语法不允许它被知道。Fitch 的证明把这条语法规则变成了一个逻辑定理；我们还可以补充说：这个定理的哲学意义，取决于我们是否错误地把语法规则当成了世界的事实。

7.5 反实在论 vs. 治疗式哲学#

这里必须区分两种“反实在论”。

一种是 Dummett 式的语义反实在论。它是一个系统的意义理论：真理必须与我们的识别能力相联系；一个陈述的意义由它的验证条件决定；经典逻辑的排中律不适用于不可判定的陈述。这种反实在论是一个理论，它有其内部的论证、原则和修正策略。Fitch 悖论主要针对的是这种反实在论。

另一种是维特根斯坦式的“治疗式”态度。它不是一种关于真理的学说，而是一种哲学方法。它不主张“真理是可知的”或“真理是不可知的”；它主张：当哲学家问“真理是否独立于我们的认知”时，他们往往被一幅图画迷惑了。按照这种治疗式读法，维特根斯坦既不是通常意义上的实在论者，也不是通常意义上的反实在论者；他是在问：这个争论本身是否有清楚的意义？

从这一视角看，Fitch 悖论并不“驳倒”维特根斯坦，因为维特根斯坦从来没有承诺无限制的 KP。反过来，维特根斯坦的视角也不“解决”Fitch 悖论，因为它不提供一种替代的逻辑或语义学。它做的是另一件事：它让我们看到，Fitch 悖论之所以有力量，是因为我们接受了一幅图画——真理作为一个总体，知识作为一个覆盖关系，可能性作为一个空间。维特根斯坦会说：这幅图画不是错的，但它不是唯一的；它是我们的语言给我们的一种投影，而不是世界的本来面目。

这并不意味着维特根斯坦会站在反实在论者一边。他可能会说：反实在论者与实在论者都在同一幅图画中争论。实在论者说“总体中有一些部分不能被覆盖”，反实在论者说“总体中的每一部分都可以被覆盖”。这一视角会说：你们都在把“总体”当作一个对象；但“总体”不是一个对象，它是你的语言游戏的一个形式。Fitch 的证明显示了这幅图画的内在张力，但它没有显示“实在”的结构。

这个立场有一个明显的风险：它可能被批评为“quietism”（寂静主义），即一种拒绝回答问题、只做语法描述的哲学态度。反实在论者会说：我们需要一个关于真理的实质理论，而不是一堆语法评论；Fitch 悖论是一个实质问题，不能用“这是语法”来打发。维特根斯坦的回应会是：一个实质理论如果不能说明自己的语言游戏，它就是一座空中楼阁。但反实在论者可以反过来问：如果没有实质理论，我们如何批判实在论？如何说明科学知识的客观性？这些问题是维特根斯坦式进路的难点。

7.6 “不要想，而要看”：对 Fitch 句子的语法考察#

维特根斯坦在《哲学研究》§66 说：

不要想，而要看！

这句话是对哲学方法的最好概括。面对 Fitch 句子，我们不应该立刻问“它是否可知”，而应该看它在哪些语言游戏中被使用，以及它在那里做了什么。

让我们做一个语法考察。

场景一：数学定理。“在怀尔斯证明之前，费马大定理是可知的。”这句话的意思是：存在一个证明，数学界原则上可以找到它。它不是说“存在一个可能世界，其中某人知道费马大定理”，而是说“证明的方法在我们的数学实践中是可及的”。这里的“可知”与“可证明”相联系，而不是与 $\Diamond K$ 相联系。

场景二：遥远星球的成分。“那颗行星大气中的氦含量是可知的。”这句话的意思是：我们的仪器原则上可以测量它。它依赖于因果接触、测量技术、理论模型。它不是纯粹的逻辑可能性。

场景三：海滩上的沙粒数。“那片海滩上有多少粒沙是可知的。”这句话的意思是：原则上可以数，尽管实际上可能永远没有人去数。它依赖于“数”这个实践的可执行性。

场景四：Fitch 句子。“p 是真的，但没有人知道 p，这件事是可知的。”这句话的意思是什么？如果 p 是一个经验命题，那么知道“p 真且无人知道 p”的人必须知道 p，并且知道无人知道 p。但一旦他知道 p，他就成了“有人知道 p”的证据，第二项就变成假。这个“知道”没有一个可执行的认知行动：你不能通过观察、推理或公告来达到它，因为达到它的行动会破坏它的真值条件。

在这四个场景中，“可知”的语法不同。第一个与证明相关，第二个与测量相关，第三个与计数相关，第四个则没有一个对应的实践。它们之间没有一条贯穿一切的本质，只有维特根斯坦所谓的“家族相似”。Fitch 的 KP 把前三个场景中的“可知”抽象为一个统一的 $\Diamond K$，然后把它应用到第四个场景。维特根斯坦会说：这就是范畴错误。不是“第四个场景中的命题不可知”，而是“可知”这个词在第四个场景中没有使用。

这个语法考察也解释了为什么 Fitch 句子看起来像一个“反例”，而不是一个“矛盾”。它不是一个逻辑矛盾，而是一个没有语言游戏的句子。它的“不可知性”不是因为它指向一个神秘的不可知领域，而是因为它没有对应的认知实践。这一视角会说：哲学的任务不是为它找到一个“不可知”的标签，而是看清它为什么没有使用。

从这个角度看，“一切真理都可知”这句话本身也是一个哲学上的“最高级用法”。它把“可知”从具体的语言游戏中抽离出来，变成一个覆盖所有命题的普遍谓词。维特根斯坦在《哲学研究》§122 中谈到“perspicuous representation”（清晰的表象）：哲学的目标是获得一种对语言用法的清晰把握，而不是构造一个覆盖一切的体系。Fitch 的证明可以成为一种“清晰的表象”：它让我们看到，当“可知”被普遍化时，它会与“知道”的语法发生冲突。

7.7 这种视角的力量与限度#

维特根斯坦式视角的力量在于，它避免了前面所有技术方案的 ad hoc 问题。它不需要说“只对 Cartesian 命题使用 KP”，也不需要说“只对基本陈述使用 KP”，更不需要修改经典逻辑。它说的是：KP 本身不是一个有确定用法的论题；它的“普遍性”是一种语法幻象。这个诊断直指悖论的根源：不是某个前提错了，而是我们把一个语言游戏中的概念用到了另一个语言游戏。

它还有一个优点：它保留了日常语言中“存在未知真理”的用法。维特根斯坦不会否认“没有人知道海底有多少鱼”；他只是否认这个日常说法可以被提升为一个形而上学的“不可知真理”学说。这个立场比“接受结论”更温和：它不要求我们放弃日常的实在论直觉，也不要求我们接受反实在论的形而上学。

但它的限度也很明显。

第一，它不直接回应 Fitch 的形式论证。反实在论者可以说：我们可以把 KP 重新表述为一个形式化的论题，而不使用日常语言的“可知”概念；你的语法考察只适用于日常语言，不适用于形式逻辑。维特根斯坦式回应会说：形式逻辑本身也是一种语言游戏；它的符号也有使用规则；如果 KP 的形式化脱离了这些规则，它仍然是空的。但这个回应需要更多的论证，不能只靠“这是语法”一句话。

第二，它有寂静主义（quietism）的风险。如果所有哲学问题都被诊断为“语法混淆”，那么哲学就失去了批判的功能。反实在论者会说：我们需要一个关于真理的实质理论，来说明为什么种族主义或性别歧视的陈述是假的，或者为什么科学实在论比工具主义更好。维特根斯坦式进路可能会说：这些实践本身有内部的批判标准，不需要一个形而上学的基础。但这个回答是否足够，是一个开放的问题。

第三，它对维特根斯坦的解读是有争议的。晚期维特根斯坦是否真的会拒绝 KP？他是否有一个关于“知道”的统一说明？《论确定性》中的铰链思想是否可以被用来支持“可知性不适用于所有命题”？这些问题没有定论。把维特根斯坦用于 Fitch 悖论，是一种创造性的重构，而不是直接引用。

第四，它可能过于宽容。如果“一切真理都可知”只是语法混淆，那么“一切真理都不可知”也可能是语法混淆。维特根斯坦式进路会不会把实在论与反实在论的争论都消解掉，从而无法区分两者？这是一个实质性的担忧。维特根斯坦可能会说：哲学的目的不是选边，而是看清争论的语法。但对于那些认为实在论/反实在论之争有真实政治、伦理或科学后果的人来说，这个回答并不令人满意。

因此，维特根斯坦式视角最好被理解为一种补充，而不是一种替代。形式方案告诉我们：如果我们坚持 KP，我们需要付出什么代价；维特根斯坦式诊断告诉我们：为什么我们会觉得 KP 必须被坚持。前者是逻辑的，后者是治疗的。两者结合，才能既看清悖论的结构，又看清它的动机。