逻辑真理与推理

一个真值为“真”的命题被称为事实。在逻辑学中，事实也称为真理。

让我们考虑以下两个事实：

$P$：阿尔伯特·爱因斯坦出生于19世纪。
$Q$：如果 $a \land b$ 为真，则 $a$ 为真。

这两个事实之间存在根本性差异。$P$ 的真值取决于我们所处的世界。我们可以设想一个世界，在这个世界中，没有名为“阿尔伯特·爱因斯坦”的人出生在19世纪（甚至根本没有出生）。在我们的世界中，$P$ 是真的，逻辑学家将这类真理称为综合真理。

另一方面，$Q$ 是一个无论我们采取何种世界观都为真的陈述。事实上，$Q$ 的有效性不依赖于其组成部分 $a$ 和 $b$ 的具体真值。逻辑学家将这类陈述称为逻辑真理。

推理

我们使用逻辑真理来进行逻辑推理。逻辑推理是指根据一些已知的事实，推导出另一个新的事实。在逻辑推理中，我们并不验证前提的真实性，而是专注于确保结论在逻辑上是严密的。

亚里士多德给出的一个最著名的逻辑推理例子，证明了苏格拉底是会死的。他基于以下两个事实进行推理：

$F_1$：所有人都是会死的。
$F_2$：苏格拉底是人。

从 $F_1$ 和 $F_2$ 出发，他逻辑地得出结论：

$C$：苏格拉底是会死的。

亚里士多德的例子对你来说可能显得平淡无奇，甚至有些琐碎。然而，这个例子蕴含着几个重要的基本原理。

首先，我们必须认识到，逻辑推理的目的并不是去验证前提的真实性。因此，亚里士多德并未试图证明 $F_1$ 和 $F_2$ 的正确性。在推理过程中，这些前提被逻辑学家视为既定事实，无需质疑。

其次，值得注意的是，亚里士多德的结论 $C$ 是一个全新的命题；也就是说，

$C \not \equiv F_1$，且 $C \not \equiv F_2$。

这个结论 $C$ 是一个此前未知的事实，只有通过从 $F_1$ 和 $F_2$ 进行逻辑推导才得以揭示。

要真正理解亚里士多德所要表达的思想，我们需要想象自己生活在亚里士多德所处的时代——古希腊。当时的古希腊人认为神是永生的，而人类则是会死的。苏格拉底是古希腊最杰出的哲学家之一。

亚里士多德正在向我们展示逻辑的必然性。一旦接受 $F_1$ 和 $F_2$ 为真，逻辑就必然要求我们接受其结论 $C$。尽管我们可能希望苏格拉底是永生的，但逻辑学家必须放下这种愿望，接受苏格拉底终将死亡这一事实。

我们可以进一步思考：如果某些所谓的“事实”本身并不成立，那么逻辑推理会带来什么结果？这个问题的答案可以用一句常见的话概括：

“垃圾进，垃圾出！”

如果最初作为“事实”给出的前提实际上是错误的，那么通过逻辑推理得出的结果将是完全不可预测的。更严重的是，如果这些前提彼此矛盾，那么逻辑甚至可以引导我们得出任意结论！

逻辑在文学中扮演着至关重要的角色。这里特别提到侦探小说。在这一类型的作品中，侦探通常通过逻辑推理来解开谜团。伟大的美国作家埃德加·爱伦·坡创作了许多此类作品。他的写作启发了著名悬疑电影导演阿尔弗雷德·希区柯克，以及《福尔摩斯》的创作者阿瑟·柯南·道尔。

夏洛克·福尔摩斯遵循的一条重要逻辑原则是：

“当你排除了所有不可能的情况后，剩下的，不管多么难以置信，必定就是真相。”

这条原则使他能够解决许多复杂的谜案。事实上，这条原则太过著名，以至于经常出现在热门电视剧《星际迷航：下一代》中。

让我们仔细审视亚里士多德的例子。他得出结论 $C$，即“苏格拉底是会死的”。如果我们综合分析两个前提 $F_1$ 和 $F_2$，就会发现它们包含的信息比 $C$ 更多。$F_1$ 声称所有人的死亡性，而不仅仅是苏格拉底；$F_2$ 将苏格拉底归类为“人”。因此，苏格拉底具备所有人类共有的属性（死亡只是其中之一）。

因此，通过逻辑推理，亚里士多德实际上减少了信息量。结论 $C$ 所包含的信息严格少于 $F_1$ 与 $F_2$ 的总和。直觉上，人们可能会认为信息减少是没有意义的，而逻辑推理应当增加信息。但这两个想法都是错误的！

逻辑推理从不增加前提中已有的信息，反而常常减少信息。更令人惊叹的是，这种简化后的信息往往比原始前提更有用。我们通过两个例子来说明这一点：

假设一位病人疑似患有某种疾病，医生要求其进行多项检查。医生分析检查结果，最终判断病人没有患病。这个结论是基于检查数据、医学知识和逻辑推理得出的。该结论所包含的信息远少于原始检查数据。任何专业医生都能从检查结果中推导出这一结论，但反过来却无法从结论还原出原始数据。对于病人及其家人而言，这个简化的结论显然更加有用。

再举一例：公司保存在档案室中的大量财务记录。一位专家可以通览全部文件，推断出公司财务状况良好。这一结论对投资者而言至关重要，远胜于那些堆积如山的原始文件。

信息的精简在决策过程中极为关键。逻辑正是实现信息精简并引导我们走向正确结论的核心工具。