一阶逻辑的推理理论篇1
作为大学逻辑学教师,我们的首要任务是从事逻辑学的教学,并且以科学研究来促进逻辑学的教学改革,提高逻辑学的教学质量,提升逻辑学的教学水平。20多年来,特别是20世纪90年代以来,中国高等学校中逻辑教学现代化的步子越来越大,步伐越来越快,逻辑教材的建设成就斐然,逻辑教学的改革成果丰硕。其中,王路著的《逻辑基础》[1]和宋文坚主编的《新逻辑教程》[2]和《逻辑学》[3]、中国人民大学逻辑教研室编写的《逻辑学》[4]、中山大学逻辑教研室编写的《逻辑学》[5]以及梁庆寅主编的《传统和现代逻辑概论》[6],何向东主编的《逻辑学教程》[7],黄华新、胡龙彪编著的《逻辑学教程》[8]以及其它许多教材,在逻辑教学内容和体系的改革方面都具有自己的特色。宋文坚教授在《逻辑学的传入和研究》中认为:这些教材“总的特点是:教学体系的框架是按逻辑演算的讲述体系构建起来的;以讲经典逻辑为主,较全面完整地介绍了两个演算,或公理系统,或自然演算,介绍了它们的元逻辑问题,注重阐释现代逻辑的各个基本概念,力图让学生学习逻辑学的新观念。……这些书一般都保留了传统形式逻辑的某些有实际应用的内容,如直言命题的推理,对当关系等”[9]。
在逻辑教学初步实现现代化的过程中,在这些具有时代特色的教材中,我们到底有哪些成功经验值得总结和推广,有哪些问题需要反思和改进?这就是本文中讨论的主题。
1坚定不移地走逻辑教学现代化之路
在20世纪70年代末期,针对我国逻辑教学和研究水平远远落后于国际水平的实际状况,特别是我国大学逻辑教学中所用的逻辑教材内容比较贫乏、陈旧的状况所提出的“形式逻辑要现代化”的口号,主张逻辑教学和研究要现代化,要大量吸收数理逻辑的成果,编写现代化的逻辑教科书。然而,对于这个反映时代要求的口号,逻辑学界不少人并不是完全赞同的。在什么是逻辑教学和研究现代化,如何实现逻辑教学和研究现代化等等问题上,逻辑学界曾经展开了3次较大的争论。在许多次逻辑学讨论会上,双方展开激烈争辩的情景至今仍历历在目,令人难以忘怀。
经过多次激烈的争论,在逻辑教学是否应当现代化的问题上,逻辑学界基本取得了共识,这就是在中国的高等教育中,逻辑教学也要与国际接轨,坚定不移地走逻辑教学现代化之路。上述这些教材,就是中国的逻辑教学与国际初步接轨的一批成果中的典型代表。由于使用了这些教材,在中国的逻辑教学中,特别是大多数高校哲学系的逻辑教学中,现代逻辑已经成为学生的必修课,也已经和正在成为许多高校非哲学专业的文科学生的公共基础课或者公共选修课。现代逻辑正在大踏步地走进我国高等学校课堂,逐渐成为逻辑教学的主流。因此,张家龙先生认为我国的逻辑教学已经初步实现了现代化,这是一个不容争辩的事实。
正是基于我国的逻辑教学已经初步实现了现代化这一基本事实,张家龙会长发出了这样的号召:“我们不能满足于已经取得的成绩,我们要继续前进,在21世纪经过几十年奋斗,中国逻辑学者完全有能力全面实现我国逻辑教学与研究的现代化、与国际逻辑教学和研究水平全面接轨。”
2树立正确的逻辑教学观,促进逻辑教学的改革
王路教授在《逻辑基础》一书的“序”中谈到学习逻辑可以有许多目的。他把这些目的大体上分为3类:一类是通过学习逻辑,掌握一些专门的技术和方法,从而使我们能够应用这些技术和方法解决一些具体的问题;另一类是是通过学习逻辑,培养一种逻辑的眼界和意识,从而使这种逻辑的眼界和意识成为我们知识结构中的构成要素,在我们的工作和生活中潜移默化地起作用;第三类则是通过有关的逻辑知识树立逻辑的观念。“就这三个目的而言,最重要的是逻辑的观念。因为逻辑的技术方法,逻辑的眼界和意识都是围绕逻辑的观念展开的。”[1]
那么,在逻辑教学,特别是现代逻辑教学中,我们应当用什么样的逻辑的观念去指导逻辑学的教学改革呢?
在《逻辑的观念》一书以及一系列的论文中,通过对历史上亚里士多德逻辑和现代逻辑的详尽考察,王路教授认为,从逻辑的内在机制看,逻辑是研究必然性推理即研究推理的前提和结论之间“必然地得出”的关系的:“从亚里士多德到现代逻辑,始终贯穿了一条基本的精神,这就是‘必然地得出’。”[10]王路详尽地讨论了亚里士多德和现代逻辑对于“什么是必然地得出”和“如何才能必然地得出”的问题的解答,树立了一种逻辑的观念,一种对逻辑科学或者逻辑学科的内在机制和根本性质的观念。并且,他反复强调现代逻辑通过构造形式语言和逻辑演算,得到具体的可以操作的方法,以保证我们可以达到“必然地得出”。李小五教授在《什么是逻辑》中指出:“逻辑就是对形式正确的推理关系进行可靠且完全刻画的形式推演系统。”[11]并且,他给逻辑下了这么一个形式定义:“我们称L是一个C--逻辑当且仅当L是一个三元组