本课程主要分为四部分内容:

1）公理系统:主要讨论命题逻辑公理系统，含可靠性、完全性与判定性、计算复杂性等；

2）数海钩沉:主要讨论集合、代数和逻辑之间的关联与对应等内容；

3）证明论:主要讨论Hilbert风格与Gentzen风格演算、Cut-free定理、构造性逻辑等内容；

4）哲学逻辑:主要讨论模态逻辑、认知逻辑、时态逻辑、动态逻辑等内容。