前言

逻辑学是最古老也是最现代的学科门类之一。它始于公元前4世纪。比它更古老的学科只有哲学和数学，三者紧密相连。19和20世纪之交，逻辑学发生了变革，引入了新的数学技巧。过去的50年里，逻辑学在计算和信息处理方面起到了新的重要作用。因此，就人类思想和行为而言，逻辑学是一门中心学科。

这本书汲取现代逻辑学家的观点，对逻辑学作了简单介绍，但它并不是一本教科书。当今，这样的图书比比皆是。这本书的独特之处在于，它想要探寻潜藏在哲学深处的逻辑学之根源。在此过程中，形式逻辑学也得到了阐释。

我在每一章的开始都提出了一个特定的哲学问题或逻辑难题。然后我指出了一种解决方案。这一方案通常颇为标准，但某些时候，却没有标准答案：逻辑学家之间仍有分歧。在这样的情况下，我就只是选取了其中最为有趣的一种方案。对于几乎所有的方案（无论标准与否），都可以提出质疑。每章结尾，我都指出了方案存在的问题。有时候，这些问题是标准的，有时候却不是。有时候，答案很简单，有时候，答案不一定很简单。目的是为了激励你来作出回答。

现代逻辑高度数理化了。我写作的时候试图避免涉及数学。只有最后几章需要用到一点中学里学过的代数。你会需要掌握一些新的符号，但是，跟学习一门语言的基础知识相比，这简直不值一提。符号简化了复杂问题，使你更容易弄明白。但要提醒一点：读逻辑学或哲学书可不同于读小说。有时候，你得放慢速度，仔细地阅读。有时候，你得停下来想一想，还有在必要的时候要准备好回头读上一段。

本书的最后一章论述了逻辑学的发展。在这一章里，我将前文叙述过的一些问题放到一个历史背景之下，指出逻辑学是一门活生生的学科，它一直在发展，仍将继续发展。这一章也给出了推荐书目。

本书有两个附录。第一个是术语和符号表。你忘记名词或符号的意义的时候，可以查阅一下。第二个是每一章的相关问题，你可以用它来测试一下你是否理解了每一章的要点。

本书追求广度而非深度。每一章的论题都可以拿出来独立成书——真的，这样的书有很多。即便如此，本书里没有谈到的重要逻辑问题仍有很多。但只要你看完本书，你对逻辑学的基础就已经有了一个很好的掌握，同时你也能理解为什么人们愿意思考这门学科了。