逻辑学

关于思维形式及其规律的科学。研究概念、判断、推理及其相互联系的规则、规律，以帮助人们正确地思维和认识客观真理。包括形式逻辑、数理逻辑和辩证逻辑。形式逻辑研究既成的思维形式结构及其规律和规则;数理逻辑是用数学方法研究有关形式逻辑问题及数学基础问题;辩证逻辑研究辩证思维的形式及其规律。逻辑学的研究始于古代，公元前5世纪到4世纪，在中国、印度和希腊都有关于逻辑问题的著作。中国的墨子及后继的墨子学派就有《墨子》、《大取》、《小取》等逻辑著作。印度的《因明正理门论》、《因明八正理论》，希腊亚里士多德的《工具论》，都是有名的逻辑学著作。在中国，最早引进印度逻辑学的是唐朝的玄奘，他称印度逻辑为“因明”。最早引进西方逻辑的是明末的李之藻，他译了葡萄牙高因盘利大学的《逻辑讲义》，称之为《名理探》。严复则译为“名学”，孙中山则称逻辑学为“理则学”。新中国成立后通称为“逻辑学”。作为理论思维工具的逻辑学，随着科学技术的发展，现已形成许多种类的逻辑系统和新的分支。除了以上谈的三种基本逻辑演算之外，还建立了数理逻辑的证明论、集合论、递归论和模型论及其它许多新的逻辑学说。例如逻辑语义学、逻辑语言学、模态逻辑、多值逻辑、量子论逻辑、控制论逻辑、拓朴逻辑、行为逻辑等等。随着科学技术对社会作用的不断加强，逻辑学的社会作用也在日益加强。联合国教科文组织编制的学科分类，将逻辑学列为七大基础学科的第二位;英国大百科全书则把逻辑学列为五大学科的首位。