也称“抽象思维”。运用概念、判断、推理反映现实的过程。认识的高级阶段，即理性认识阶段。以其撇开事物具体形象的抽象性和形象思维相区别。逻辑思维不等于合乎逻辑的思维，它可以是合乎逻辑的，也可以是违反逻辑的。

亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

从思维的形式结构方面研究思维规律的科学。它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则、方法帮助人们正确地思考问题和表达思想。是人们认识世界和改造世界的必要工具。

①思维的规律、规则：这个想法似乎不合逻辑。 ②研究思维规律的科学，即逻辑学。 ③客观事物的规律：历史的逻辑｜生活的逻辑。 ④观点，主张。多用于贬义：霸权主义的逻辑。

违反逻辑规则而产生的错误。如违反同一律而产生的偷换概念，违反矛盾律而产生的自相矛盾，违反排中律而产生的模棱两可。逻辑错误可以是无意造成的，也可以是故意制造的。

又称“布尔代数”、“开关代数”。研究逻辑问题的一门数学。是现代数学中的一个重要分支。由英国数学家布尔提出。其逻辑变量的取值仅为“0”和“1”。基本逻辑运算有“与”、“或”、“非”等。是设计计算机的有力工具。

又称“数字逻辑电路基本单元”。执行“或”、“与”、“非”、“或非”、“与非”等逻辑运算的电路。任何复杂的逻辑电路都可由这些逻辑门组成。广泛用于计算机、通信、控制和数字化仪表。

研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。

由多发射极晶体管作为“与门”，与倒相器兼跟随器串接，并最终推挽输出的逻辑集成电路。可构成各种逻辑关系。

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。