论文部分内容阅读
逻辑学是一门基础的学科,在新世纪,怎样使逻辑学教学适应高等教育不断改革和发展的客观要求,真正发挥逻辑学这门基础学科对于促进现代科学发展的作用,是摆在高校逻辑学教学面前的一个重大问题。国内外的逻辑学界的专家和学者在各自的逻辑学教学过程中运用了积累的经验和行之有效的方法,提高教学效果,激发学生的兴趣,使学生更好地掌握逻辑的规则和方法。就国内外逻辑学教学的方法,本文意图通过三个方面对这些方法进行介绍: 第一,介绍国内的逻辑学教学过程中采用的两种方法:案例式教学法和多媒体辅助教学方法。 第二,详细介绍国外比较流行的逻辑学教学的软件的操作和功能。启发式教学软件Logic for Fun: Gateway,传统逻辑教学软件Philosophy Lander软件和数理逻辑教学软件Bertrand软件和Logic Daemon Proof Checker自然演绎系统软件。 第三,介绍近几年国内外关于逻辑学教学方法的会议,并介绍国内外在逻辑学教学方法和软件的交流与合作的情况。 本文的目的在于对国内外先进的逻辑学教学方法的介绍,促进国内逻辑学的教学工作。