“你这个人说话为什么毫无逻辑呢！？”我们常常听到这样的争吵。但是，如果问问大家什么是“逻辑”，则十有八九你不会得到令你满意的答案。翻开逻辑学教科书，举目望去都是抽象的符号和公式，这又似乎与日常生活当中人们的讨论毫无关系。逻辑学到底是关于什么的？逻辑学研究的逻辑，跟我们日常概念当中的逻辑，是不是一回事儿？如果你对逻辑学毫无了解，那么这门课程将会是一个非常好的入门。

如果你已经对逻辑学稍有了解，或曾经在高中数学当中学习过逻辑，那么或许你已曾在有一天遇到过我们课程中将会讨论的以下问题：

- 我们日常生活当中的推理和辩论都用日常语言（汉语、英语，诸如此类）来进行，但逻辑学当中的语言都是一些抽象符号组成的。这两者间有什么异同？有什么关系？
- 除了我们学过的逻辑，有没有其它的逻辑？（什么叫做“一个逻辑”？）
- 为什么在逻辑当中，从矛盾能够推论出任何陈述？
- 为什么当A为假时“A蕴含B”永远是真的？这意味着“如果朝鲜是中国的一部分，那么人会飞”这句话是真的吗？
- 为什么逻辑当中的一句话非得要么是真的要么是假的？
- 为什么逻辑本身是“正确”的？（或，在什么意义上可以说逻辑是正确的？）

本课程非常适合对于数学和/或哲学感兴趣的同学。希望在上完本课程以后，你会对以下的数学/哲学关切有所体察：自然语言和形式化语言的意义；语言与客观世界的关系；语言表达能力的界限；抽象系统的性质；模态性（modality）；逻辑与推理（reasoning）之间的关系，等等。当然，这些并非课程的主题，而是课程所希望启发同学们未来有兴趣去探索的话题。