Logic in Action
逻辑开放课程项目(2009-2011)简介

逻辑在行动(Logic in Action)是一个关于逻辑教育的研发项目,旨在开发“开放的”、互联网支持的逻辑课程,并将其应用在数学、哲学、计算机科学、语言学和认知科学中。

这个项目由阿姆斯特丹大学逻辑、语言和计算研究所承担,参加项目的人来自荷兰、西班牙、美国和中国的一些研究者和 从事逻辑教学的老师。该项目从2009年4月开始,到2011年4月结束。项目的最终成果是撰写关于逻辑基础知识的教材,建立一个互动的网络应用系统, 这些成果将向全世界的逻辑学生和爱好者开放。项目的主要参与者见下列表和介绍。


Johan van Benthem
Univ of Amsterdam, NL, and Stanford University CA, US
Jan van Eijck
Centre for Mathematics and Comp Science, Amsterdam and Univ of Utrecht, NL
Hans van Ditmarsch
Univ of Seville, SP
Jan Jaspars
Free Lance Logician, Amsterdam, NL

清华大学哲学系刘奋荣副教授参与了本项目的开发,并在清华大学试用项目编写的英文教材教学,引导学生使用有助于理解逻辑内容的一些软件。 2009年的课程教学情况,见 课程网页 。2010年的课程教学情况,见 课程网页 。除此以外,该课程还在美国斯坦福大学开设,取得了喜人的成绩。

Fenrong Liu
Tsinghua University, Beijing, CN
Eric Pacuit
Univ of Tilburg, NL and Stanford Univ, CA, US
Tomohiro Hoshi
Stanford University, CA, US

我们将会在本网页发布项目最终的成果。

此外,我们将会建立一个中文的镜像,便于中国的学生和逻辑爱好者使用相关的材料和软件。


以上网页的部分内容来自 Jan Jaspars的网页,致谢! 清华大学 刘奋荣