# 前言

逻辑学是最古老也是最现代的学科之一。它始于公元前4世纪。比它更古老的学科只有哲学和数学，二者与逻辑学一直有着密切联系。20世纪之交，通过应用新的数学技巧，逻辑学发生了变革；在过去半个世纪里，逻辑在计算和信息处理中，起到了全新而重要的作用。因而它在人类许多思想和行为中成为中心主题。

本书按当代逻辑学家现在如何理解该主题对逻辑学进行介绍。但它并不试图成为一本教科书，这样的书如今比比皆是。本书的目的在于探索逻辑的根源，它潜藏于哲学，一些形式逻辑会顺带进行讲解。

每一章我从某个特定的哲学难题或逻辑谜题出发，然后讲解一种解决它的方案，通常是相当标准的方案。但在某些领域却没有标准答案：逻辑学家之间仍然存在分歧。在这种情况下，我就只是选取一种有趣的方案。几乎所有的方案，无论是否标准，都可以质疑。每章结束时，我会对讲解的方案指出一些存在的问题。有时这些问题是标准的，有时不是。有时这些问题有简单的答案，有时不一定。这样做的目的是激励读者自己对这些问题进行思考。

现代逻辑学是高度数学化的学科。我尝试以避免几乎所有数学的方式来写作这些内容。最多在最后几章要求一点高中代数的知识。当然，你要下决心来掌握一些对你而言可能是新的符号，但这比初步掌握任何一门语言要容易得多。并且，符号给困难问题带来的明晰性，使得任何掌握这些符号可能遇到的麻烦都是值得的。但有一点要注意，读一本逻辑或哲学方面的书不同于读一本小说，你不得不时常慢慢和仔细地阅读。有时你可能还得停下来想一想。如果必要的话，你还应该准备回过头重读某个段落。

本书最后一章是关于逻辑学的发展的。在那里，我试图将本书涉及的问题放入一种历史视角中，以表明逻辑学是一个活生生的学科，一直在逐步发展，并将继续如此。这一章还包含一些进阶阅读的建议。

本书有两个附录。第一个是术语和符号表。如果你忘记了某个词或符号的意义，你可能需要查阅它。第二个附录包含每一章的一道相关题目，你可以用来检验对这一章主要思想的理解。

本书追求广度而不是深度。每章内容都可以轻易写成一本书——这些书其实已经写出来了。即便如此，还有一些逻辑学中非常重要的问题，我在这里并未触及。但如果你坚持读完本书，你就会对现代逻辑的基本内容有一个很好的了解，并且会理解，为什么人们会认为逻辑是值得思考的。


---

# 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/preface.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.