逻辑学使用符号系统来探索人类推理，思考和论证的过程；同时，它也需要研究符号系统自身的定义、结构和性质。本课程是对符号逻辑的基础导论。课程将介绍一些基本的逻辑系统和许多有趣的逻辑证明。

本课程并不要求参与者掌握任何具体的概念定义或证明技术，相反，我将尝试使各位尽可能体验到证明背后的思路与直观。我们还将从多个不同角度理解符号逻辑中的一些问题；因此，本课程将会重点阐述在证明背后所蕴含的思想和方法，以及不同领域和论题之间的内在关联。