数理逻辑,又称符号逻辑、理论逻辑或逻辑斯蒂,数学的一个分支,用数学方法研究的逻辑或形式逻辑。数理逻辑诞生于17世纪末,迄今为止,已有三百余年的历史。数理逻辑最初是作为“运用数学方法的逻辑”而兴起的。随后,数学的发展提出并要求解决数学的逻辑和哲学基础问题,于是数理逻辑又进一步发展成主要是“关于数学的逻辑”,并且与数学基础理论相结合,成了一门具有强大生命力和广泛应用的数学科学。1920年,随着英国著名哲学家、数学家、社会活动家,数理逻辑的集大成者罗素(1872-1970)来华,数理逻辑正式传入中国。本文以1920-1966年间数理逻辑在中国的发展历史为研究对象,在系统地挖掘、收集和整理原始文献和研究文献的基础上,进行了较为细致和深入的研究,力图从整体上厘清其发展的基本脉络,呈现主要科学家的贡献和中外数理逻辑交流等情况,较为客观地反映其发展水平和特点。本文主要包括以下4部分内容:1.分前史时期、第一阶段、第二阶段、第三阶段梳理数理逻辑的诞生及其各分支的发展历史。2.考察了20世纪上半叶中国学者对数理逻辑的引介工作。分析了罗素来华之前,中国学者关于数理逻辑的探讨以及罗素《数理逻辑》讲演的历史背景、内容与影响。围绕中国第一部数理逻辑译著《罗素算理哲学》及其引起的学术争论,探讨了数理逻辑被最初引进时中国学者的态度、学术水平与传播范围等问题。搜集了早期中国学者的数理逻辑论文,介绍了他们对集合论、数学基础、数理逻辑基础理论3个方面的引介工作。3.回顾和总结了数理逻辑在中国初步奠基时期(1920-1949)的发展历史及其特点。以汪奠基的《逻辑与数学逻辑论》、《现代逻辑》和金岳霖的《逻辑》3部具有代表性的著作为切入点,探究了这一时期中国学者数理逻辑研究的方向、水平与贡献。特别探讨了各层次数理逻辑教育的开展情况以及20世纪三四十年代,中国第一批数理逻辑留学人员的学习与研究。4.回顾和总结了数理逻辑在新中国的建立与发展时期(1949-1966)的发展历史与特点。重点讨论了这一时期数理逻辑界为消除科学界和大众对数理逻辑的歪曲和误解所做的宣传与普及工作。分析了国内外学术交流的开展与“12年远景规划”对数理逻辑的助推作用,总结了中国学者在数理逻辑理论与应用领域取得的主要成绩。以1952年“院系大调整”为背景,讨论了数理逻辑专门人才的培养情况。论文主要结论如下:1.民国时期,以傅种孙、张申府、金岳霖、汪奠基为代表的先行者们为数理逻辑在中国的引介和传播做出了卓越贡献。他们的引介工作是谨慎的、负责的,也是先进的。他们的工作使数理逻辑在中国的发展具有了较高的起点和良好的基础,迈出了历史性的、坚实的一步。2.数理逻辑在中国的初步奠基时期(1920-1949),国内学习和研究数理逻辑的人屈指可数,并没有广泛和稳固的发展基础。一些科学家的工作和具有前瞻性的成果没有产生应有的影响。数理逻辑只是中学、大学课堂里讲授的内容,并没有成为理论研究的主要对象。3.数理逻辑在新中国的建立与发展时期(1949-1966),为使数理逻辑具备持续发展的群众基础,中国数理逻辑学家开展了行之有效的宣传与普及工作。20世纪五十年代,数理逻辑研究机构相继成立,标志着中国数理逻辑发展已经从教学研究相结合的阶段进入专门研究阶段。这一时期,中国数理逻辑在逻辑演算、递归论及数理逻辑的应用等领域有比较集中的研究,尤其在逻辑演算、递归论两个领域取得了一些具有国际领先水平的成果。4.大学数理逻辑教育的开展为学科的发展带来了转折。1927年,金岳霖在清华大学哲学系开设数理逻辑课程。20世纪三四十年代,在国内接受数理逻辑教育的第一批留学人员出国深造,师从世界知名大师学习。他们回国后,投身教育与科学研究第一线,开创了我国数理逻辑崭新的局面。5.国家政策是助推数理逻辑发展的重要动力。1956年,《1956—1967年科学技术发展远景规划纲要》颁布后,数学界及全国各地高等学校相应地开展了远景规划的实施工作。数理逻辑界开始了较大规模的有计划的科学研究,构建了中国数理逻辑发展的新格局。