# 第1章：有效性：从什么可以推出什么？

大多数人喜欢自认为是有逻辑性的。告诉某人“你没有逻辑性”，通常是一种批评。不合逻辑意味着混乱、糊涂和不理性。但什么是逻辑呢？在刘易斯·卡罗尔的《镜中世界》中，爱丽丝遇见了一对强词夺理讲逻辑的兄弟——特伟哥和特伟弟。在爱丽丝一时无语时，他们开始攻击爱丽丝：

> “我知道你在想什么”，特伟哥说：“但现在并不是这样的，决不是”。
>
> “反过来说”，特伟弟接着说：“如果过去是这样的，那么可能是这样的；假如现在是这样的，那就是这样的。但现在不是这样的，所以不是这样的。这就是逻辑。”

特伟弟所做的，至少在卡罗尔的戏仿作品中，是推理。而正如他所说，逻辑就是关于推理的。

我们都进行推理。我们根据已知进行推理，设法弄清什么是这样的。我们试图通过给出理由，来说服他人某事就是这样的。逻辑学就是研究什么可以算作什么的好的理由，以及为何如此。不过，你得以特定方式来理解这一论断。这里有两条推理：逻辑学家称之为**推断**（*inferences*）：

> 1. 罗马是意大利的首都，这架飞机在罗马着陆；因此，这架飞机在意大利着陆。
> 2. 莫斯科是美国的首都；因此，你无法去了莫斯科而没有去美国。

在每条推理中，“因此”之前的论断——逻辑学家称之为前提——在给出理由；“因此”之后的论断——逻辑学家称之为结论——被认为是由这些理由所支持的。第 1 条推理是好的；但第 2 条就很成问题，也不会说服任何有地理常识的人：莫斯科是美国首都这一前提就是假的。不过，要注意，假如前提是真的——比如说美国已买下了整个俄罗斯（而不只是阿拉斯加）并把白宫搬到莫斯科，从而离欧洲的权力中心更近——结论就会确实为真了。它会由前提推出；而这就是逻辑学所关心的。它不关心推断的前提是真是假，那是其他人的事（在这个例子中，是地理学家的事）。它只关心结论是否能从前提推出。逻辑学家把结论确实可以从前提推出的推断，称为**有效的**（*valid*）。因此逻辑学的中心目标就是理解**有效性**（*validity*）。

你或许认为这很无聊——一种吸引力还不如解纵横字谜的智力活动。但结果证明，这不但是一件很困难的事，而且与若干重要的（有时还是深刻的）哲学问题密不可分。我们接下来会看到其中一些。现在，让我们了解更多一些有关有效性的基本事实。

首先，一般区分两种不同的有效性。为了理解这一点，考虑下面三条推断：

> 1. 假如窃贼是从厨房破窗而入，就会在外面留下脚印；但并没有脚印；因此，窃贼不是从厨房破窗而入。
> 2. 琼斯的手指有尼古丁痕渍；因此，琼斯抽烟。
> 3. 琼斯每天买两包烟；因此，有人在厨房窗外留下了脚印。

第 1 条是很直接的推理。如果前提为真，结论也一定为真。或者换一种方式说，结论不真，前提也不能为真。逻辑学家把这样的推断称为**演绎有效的**（*deductively valid*）。第 2 条推理有所不同。前提明显对结论给出了好的理由，但结论并非确凿无疑。毕竟，琼斯完全有可能故意把手弄脏，好让别人认为他抽烟。因此该推断不是演绎有效的。这样的推断通常称为**归纳有效的**（*inductively valid*）。相比之下，第 3 条推断看上去按任何标准都无可救药。前提似乎完全没有为结论提供任何理由。它是无效的——不论在演绎上还是归纳上。事实上，既然大家都不是白痴，如果有人真的像这样给出理由，人们就会假定，还有一些无需告知的额外前提（也许有人通过厨房窗户把烟递给琼斯）。

归纳有效性是个非常重要的概念。我们无时不在进行归纳推理；比如，在设法解决汽车为何抛锚，人为何生病，或者谁是罪犯这些问题时。虚构的逻辑学家夏洛克·福尔摩斯就是归纳推理的大师。尽管如此，历史上更多的努力都投入到理解演绎有效性上——或许逻辑学家往往也是哲学家或数学家（在他们的研究中，演绎有效性至关重要），而不是医生或侦探。本书晚一点我们再回到归纳这个概念。现在，让我们对演绎有效性作更多思考。（认为演绎有效性是更简单的概念是很自然的，因为演绎有效的推断更为确定不变（cut-and-dried）。因此，试图先理解这个概念是个不错的主意。而我们会看到，即使做到这一点也并不容易。）除非特别说明，“有效”以后就指“演绎有效”。

那么什么是有效的推断呢？前面我们看到了，就是结论不真前提也不能为真的推断。但这是什么意思呢？特别的，“不能”是什么意思呢？一般而言，“不能”可以意指很多不同的事情。比如，考虑：“玛丽能弹钢琴，但约翰不能”；这里我们谈论的是人的能力。试比较：“你不能进入这里：你需要许可”；这里我们谈论的是，什么是某些规则所允许的。

这样来理解与当前问题相关的“不能”是自然的：说结论不真前提就不能为真，就是说，在所有前提为真的情形，结论都为真。目前为止，都很好；但到底什么是一个情形呢？它由什么样的事物组成，这些事物又如何相互关联呢？什么叫为**真**（*true*）呢？特伟弟可能会说，现在，你有个哲学问题要回答。

不久我们就要关心这些问题；但让我们暂时将其放在一边，先解决另一件事。不要轻易认为，我刚才给出的演绎有效性的解释是毫无问题的。（在哲学中，所有有趣的论断都是有争议的。）这里就有一个难题。假定这个解释是正确的，知道一个论断是演绎有效的，就是知道不存在前提为真而结论不为真的情形。现在，在什么是一个情形的任何合理的理解下，都会有多得可怕的情形：关于遥远恒星的行星上的事物的情形；关于宇宙有任何生命之前的事件的情形；虚构作品中描述的情形；梦想家想象的情形。人们如何才能知道在**所有**情形中哪些是成立的呢？更糟的是，似乎有无穷多的情形（一年后的情形，两年后的情形，三年后的情形，……）。所以即使在原则上，也不可能考察所有情形。这样一来，如果这种关于有效性的解释是正确的，而且假定我们能辨认推理是有效还是无效的（至少在很多情况下如此），我们就要有某种特别来源的洞见。什么来源呢？

我们需要借助某种神秘直觉吗？不一定。考虑一个类似的问题。我们都能区分母语中符合语法与不合语法的词语串，这没有太大问题。比如，任何母语为中文的人都知道，“这是一把椅子”是符合语法的，但“一把椅子是是一把”就不是。但符合语法和不合语法的句子似乎都有无穷多。（例如，“1 是一个数”，“2 是一个数”，“3 是一个数”，……都是符合语法的句子。我们也很容易造出杂乱无章的句子）。那么我们是如何做到这一点的呢？也许就像最有影响力的现代语言学家诺姆·乔姆斯基所认为的那样，我们能做这些是因为，无穷的句子由有穷的规则所囊括，而这些有穷的规则已经固化到我们大脑里；生物进化让我们天生具有语法知识。逻辑也是同样如此吗？逻辑规则也以同样的方式固化到我们大脑里了吗？

***

> 本章要点
>
> * 一个有效的推断就是结论可以从前提推出的推断。
> * 一个演绎有效的推断就是不存在前提为真而结论不为真的情形的推断。

***


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://wxflogic.gitbook.io/logic/chapter01.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.