教学方法

• 扎实的课堂讲授仍然是最主要的教学手段。
• 设置习题课，督促学生做习题，为学生提供平台展现自己的学习成果。
• 借助网络交互式平台及时沟通信息，讨论解题思路以及对授课内容的理解

• 授课内容的现代化。授课内容更贴近当代研究，对哥德尔完全性定理、不完全性定理都有严格的处理。弱化传统教学中片面强调形式推演和机械的推演训练。更注重形式语言的语义部分，即初等模型论的讲解，加强语义与语法互动的内容。对哥德尔不完全性定理的证明有完整的处理，介绍了由此发展出来的递归论基础，也介绍了该定理对计算机科学和哲学等领域的深远影响。
• 调整授课方式以使不同背景的学生都能受益。最初，本课程只面向哲学专业本科生，但是也逐渐受到各专业同学的关注。数理逻辑本就是一门跨哲学、数学、计算机科学等诸专业的学科，我们非常愿意为不同专业的同学讲授数理逻辑。但是不同学科背景的学生在需求与接受能力等方面相差较大。我们在这些年的教学中，逐渐摸索出循序渐进的教学方法，一方面使各种基础的学生都能跟上进度，另一方面也让同学们不断有所收获，保持兴趣。

• 实现授课内容现代化。与国外同类课程完全接轨。学生通过本门课程的学习，可以直接在国外进入更高阶课程的学习。无论就内容现代化、广度还是深度而言，在国内同类课程中都处于领先水平。
• 由郝兆宽、杨跃编写的《数理逻辑导论》即将出版。