数理逻辑教学中的数学方法

摘要

正如方法比知识本身更重要一样,在哲学系的数理逻辑教学中,对教学方法的理解比数理逻辑知识本身更为重要。数理逻辑与传统逻辑最大的不同就在于数学方法的使用,掌握这些数学方法,对于教好和学好数理逻辑具有积极作用。在讲解数理逻辑的两个演算中,函数方法、分析—综合法以及数学归纳法需要与具体的数理逻辑知识结合起来,作为重点讲解。对数学方法的重视,不仅有利于学生更好地学习数理逻辑,也有助于培养数理逻辑人才。