17、2000 - 2010 年基于计算机的逻辑教学辅导工具：经验总结

2000 - 2010 年基于计算机的逻辑教学辅导工具：经验总结

1. 引言

2000 年 6 月，第一届逻辑教学工具国际大会在萨拉曼卡举行；2006 年 9 月，第二届同样在萨拉曼卡举办；2011 年 7 月，第三届也将在萨拉曼卡召开。在这十年间，信息和数字技术的发展给逻辑教学带来了巨大变革。一方面，新的逻辑内容被纳入课程以适应新技术；另一方面，计算机和互联网的普及改变了教学方式。

当前，技术在教育实践中的应用既带来了机遇，也带来了挑战。数字技术如计算机、移动设备、数字媒体创作与分发工具以及社交网站正在改变学习方式。传统教育模式与数字技术带来的便利之间存在着紧张关系，人们开始重新审视数字技术塑造新教育体系的前景，教育研究领域也呼吁为科技时代的教育未来寻找一个连贯的模式。

传统学习与技术驱动学习之间的紧张关系可概括为以下四组对立观点：
- 统一年龄学习 vs. 终身学习
- 教师作为专家 vs. 获取知识的多样化来源
- 标准化评估 vs. 基于表现的评估
- 被动吸收学习 vs. 主动实践学习

计算机辅导系统被视为在电子学习环境中提供定制化、交互性和基于表现评估的工具。回顾其发展历史，早期评估显示，基于先进计算机辅导理论开发的辅导系统能让学生在三分之一的时间内达到与传统教学相同的熟练程度。实证研究表明，最佳的辅导交互是导师提供包含简短且有针对性错误信息的即时反馈，且非拟人化的系统似乎效果更好。

在逻辑教学领域，上世纪九十年代的学术研究聚焦于帮助计算机科学专业学生学习形式证明（特别是自然演绎）的软件。Tarski’s World 的出现是一个里程碑，它不仅有助于学习一阶逻辑的语法和语义，还具有趣味性。