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

Mathematical Methods in the Teaching of Mathematical Logic

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

Just as method is more important than knowledge itself, in mathematical logic teaching of phi- losophy department, understanding mathematical method is more important than mathematical logic knowl- edge itself. Mathematical logic and traditional logic is the biggest difference between the use of mathematical methods. Mastering these mathematical methods has a positive effect for teaching and learning mathematical logic. In the two calculus to explain the mathematical logic, the function method, the analysis-synthesis meth- od and the mathematical induction need to be combined with the concrete mathematical logic knowledge as the key explanation. Emphasis on mathematical methods, not only help students learn mathematical logic bet- ter, but also help to develop mathematical logic personnel.