逻辑学教育技术现代化论
本文作者(未知),请您在阅读本文时尊重作者版权。
摘要：现代教育技术应用于教育、教学是教育现代化的时代要求，也是实施素质教育的重要举措。逻辑学教育技术是关于学习过程和学习资源的设计、开发、利用、管理和评价的理论与实践。在逻辑教学中引入了LPL软件，可构造真值表的和一阶逻辑形式证明，学生网上提交并检查作业，增强了学生学习的主动性和创造性，激发了学生学习兴趣，大大提高了学习效率，节省了学习时间。
关键词：教育技术；LPL软件；真值表；形式证明中图分类号：B085文献标识码：A文章编号：1673-2219（2010）02-0081-03随着信息科学的迅速发展，人们正快步迈入信息时代。
现代教育技术顺应了信息时代的需要，同时也对教育提出了新要求。现代教育技术应用于教育教学是教育现代化的时代要求，也是实施素质教育的重要举措。前教育部部长陈至立曾经指出，“要把教育技术当作整个教育改革的制高点和突破口”，“要深刻认识现代教育技术在教育教学中的重要地位及其运用的必要性和紧迫性，充分认识应用现代教育技术是现代科学技术和社会发展对教育的要求，是教育改革和发展的需要。”一逻辑学现代教育技术的含义分析逻辑学教育技术是关于学习过程和学习资源的设计、开发、利用、管理和评价的理论与实践。逻辑学现代教育技术的发展经历了三个阶段：逻辑学教育传统技术阶段、逻辑学教育视听媒体技术阶段和逻辑学教育信息技术阶段。
逻辑学教育传统技术是指教育者所运用的技巧、技能和操作方法，还包括口语（演讲技能）、文字、黑板、粉笔、图片、模型、实物等。
逻辑学教育视听媒体技术是以各种现代教育媒体的使用为标志，即摄影、幻灯、投影、无线电广播、电影、电视、语言实验室等。在视听媒体技术飞速发展的同时，观念形态的技术也取得辉煌的成绩，有关教育评价的研究和教育目标的研究蓬勃发展，成为比较成熟的教育技术。
逻辑学教育信息技术以计算机和通讯网络为核心的现代信息技术的普及并在逻辑学教育中的大量应用为特征。只有基于信息技术、建构主义和以学为中心的教学系统的设计、开发等才能满足信息社会对人才需求的多样化和信息技收稿日期：2009－08－02作者简介：姚从军（1971－），男，湖北随州人，南开大学哲学系博士研究生，讲师，研究方向为现代逻辑。
术的交互性。因此，逻辑学教育技术不仅仅是教学，而且将直接用于促进学习。以南开大学为例，除用多媒体进行逻辑学教学外，还以本校网络教育环境为依托，实现以逻辑学专业为主要对象的面向全国网络教学，网上发布授课教案、电子教材、网络课件、视频教学录像、教学大纲、参考文献目录、习题库、课程试卷及参考答案链接、有关逻辑网站链接等内容，习题解答以及讨论问答等网络教育平台。
逻辑学现代教育技术与一般意义上的逻辑学教育技术相比，更突出与科学技术有关的课题探讨，吸取现代科技成果、系统理论和思维方法，使逻辑学教育技术更具有时代性，更加科学化、系统化。逻辑学现代教育技术分析和解决问题的基本思想是以学习者为中心，教师以间接形式主导教学。
逻辑学现代教育技术研究和实践的对象是学习过程，确立了学生在学习过程中的主体地位，强调对学习资源的设计、开发、利用和管理。也就是说，逻辑学现代教育技术不仅研究教学资源，而且重视对教学过程研究。
二逻辑教学软件LPL功能分析
当前，软件技术正以其独有的优势逐步深入到各学科领域，深入到课堂之中。它追求的是教育、教学的高效率和教学效果的最优化。我们在逻辑教学中引入了LPL软件。
LPL(language，proof，and logic)是一个电脑程序文件库，包括Boole、Fitch、Submit和Tarski’s World四个子程序文件，其中Boole是用来购建真值表的，Fitch用于购建一阶逻辑形式证明，Submit用于学生网上提交检查作业，塔斯基世界用于构造世界编写语句检验语句真值。这四个程序文件都能在不同计算机操作系统下使用。
语言学习的最好方法是使用语言。借助Tarski’s World和常用的计算机命令，可以使学生们在Tarski’s World的三维空间里使用和改造已有世界，创造新的世界，编写一阶逻辑语句，判断它们的真值，并可以通过做游戏的方式检验自己对语句真值的判断是否正确，从而可以认识到自己的错误从错误中学习。通过自行完成书中围绕Tarski’s World精心设计的大量的练习和问题，使学生们能够轻松的理解各逻辑联结词和量词的意义，快速熟悉它们的用法，从而掌握作为现代逻辑的核心部分的一阶逻辑的语言，实现学习目的。
塔斯基世界的这个应用程序除了程序操作文件之外还有一个塔斯基练习文件的文件夹，在这个文件夹里有两种文件：一种是世界文件，一种是语句文件。每个世界文件打开后都会有一个规定好的世界，是一个三维世界，由形状大小不一的几何图形组成，它们有自己的名称，在固定的位置（不是具体位置而是相对位置）。我们可以通过改变这些几何图形的形状、大小、位置和增加几何图形来改变一个世界。每一个语句文件包括一组语句，我们可以按照要求改变语句编写新语句，并在世界中检验语句的真值。这些世界和语句都是用来做书中练习的。