清华大学哲学系教学刘奋荣：大学逻辑教导难在何处 - 清华大学新

　　逻辑学对计算机科学、信息科学的作用大家都有一致的意识。然而纵观海内的大学教育，值得思考的问题是：到底有多少有关逻辑演算跟技术的教育？一些文科院系可能开设“逻辑学”已属不易，而在理工科的院系，简直看不到逻辑学的教育内容。教养系统中逻辑缺失是广泛存在的问题。然而，对逻辑训练的盼望则是笔者作为一般老师所深深领会到的。

　　当社会埋怨当今大学生逻辑思维缺失机，也许我们应该更踊跃地思考：逻辑学自身发展示状如何？其学科穿插性如何在大学教育中体现？在详细的学科中，逻辑学作为工具的位置如何通过教育实现？

起源：中国科学报 2013-11-28 刘奋荣

　　在逻辑的教育方面，兴许英国已经远远走在咱们的前面。利物浦大学博士格罗斯（Grossi）先容了英国最新的做法，他称为“对逻辑来说是最激动听心的时刻”。从2014年秋季开端，英国中学的课程将会引入有关计算的内容。这就使得作为盘算机迷信基本的逻辑学能从中学开始进入公民教导打算，从而在更早的阶段培育学生的逻辑思维才能。

　　此外，我们的生涯正在受到信息的影响，信息科学的发展能帮我们懂得信息的作用机理。阿姆斯特丹大学教授范丙申（Van Benthem）重点讲述了逻辑学对于信息科学和常识型社会的基础作用：逻辑学能让我们看明白社会景象背地的个别模式和规律。

　　今年10月，笔者有幸组织了在清华大学举行的“逾越大学的逻辑：基础与利用”国际会议，来自世界各地的著名逻辑学家共聚一堂，探讨逻辑学的最新研究和发展趋势。大家特殊探讨了逻辑学在大学教育中的作用。这些学者来自计算系、语言学系、哲学系、数学系等各个学科，从中可以看出逻辑学的学科交叉性。可以说，逻辑的发展过程就是一直与其他学科交叉的历史。

　　笔者在清华大学为本科生开设了一门“一阶逻辑”课程，重要讲解命题逻辑、谓词逻辑和新的认知、动态逻辑。这门课程是哲学系的必修课,企业家导师，也向全校开放。每次上课都吸引了来自数学、计算机、信息、物理学等院系的学生，他们当真学习的立场给我留下深入的影响。

　　然而，作为一门基础的实践学科，除了本身的学科发展外，逻辑学始终在为其余学科默默地承当奠基性、工具性的作用。一个研讨者若不基础的逻辑思维、逻辑技巧的练习，我们还能等待他作出什么高程度的科学研究？正如纽约城市大学教学阿提莫夫（Artemov）所说，就像16世纪物理学家发明的万有引力定律一样，逻辑根本法则由古希腊逻辑学家察看人类的推理得到。物理学描写物理世界的规律，而逻辑学则教会我们如何准确思考，得到牢靠的论断。

　　对逻辑训练对计算机学科研究的主要性，牛津大学计算机系传授阿布兰姆斯基（Abramsky）说，情势逻辑的训练应当成为计算机科学及其相干范畴的基本训练局部。美国莱斯大学教授瓦迪（Vardi）说，在从前的50年里，逻辑学与计算机科学之间的交互是持续、普遍的。逻辑学成为计算体系建模的工具，被称为“计算机科学的演算”。

大学逻辑教育难在何处

　　进入中学的教育在中国或者还须要一些时日，然而在大学发展基本的逻辑训练和逻辑教育仿佛没有那么艰苦。国外大学的做法能够给我们供给一些教训和启示。大学的逻辑教育关乎科学的整体发展，还须引起国人的关注。（作者系清华大学哲学系教授）

　　如何在教育体制中真正落实逻辑训练和技术的内容？新西兰奥克兰大学博士谢破民（Seligman）提到，课程设计要体现逻辑学发展现状。在过去的30年里，逻辑的发展超出了传统上与数学的交叉，开始与计算机科学交叉，并通过计算机科学与良多社会科学交叉。然而，逻辑学在当今的教育内容依然停留在传统的对逻辑学的懂得上：逻辑学要么是理论计算机的一个小构件，要么是数学领域内小的研究方向，不少人将其看作是哲学没有必要、无聊的课程。只管历史已表明，逻辑在哲学、计算机发展中起到了举足轻重的作用，但在当下大学教育中，逻辑学发展的真正面孔远远没有体现出来。

• 清华大学启动2014年“自强打算” - 清华大学消息网
• 浅谈企业资金危险剖析与治理把持办法
• 浅谈事业单位会计治理工作中存在的问题及解决思路
• 浅谈上市公司内部管理构造对会计信息品质的影响
• 浅析高校基建会计监视
• 浅析环境治理会计
• 浅析水利企业的策略治理会计
• 浅析我国治理会计轨制环境及影响