人们在逻辑思维过程中，根据现实材料按逻辑思维的规律、规则形成概念、作出判断和进行推理的方法。包括形式逻辑方法和辩证逻辑方法。形式逻辑方法包括普通(传统)逻辑方法(如综合、抽象、概括、定义、划分等)和现代形式逻辑方法(如形式化方法、公理化方法)。辩证逻辑方法包括归纳与演绎结合、分析与综合结合、逻辑的与历史的结合、抽象上升到具体等方法。

亦称“自相矛盾”。指同一个主体(个人或集体)作出的互相矛盾(不能同真也不能同假)或互相反对(不能同真但可以同假)的判断。如说：“我承认万事万物都有矛盾，但是我认为咱们班上没有矛盾。”逻辑矛盾是一种思想上的矛盾，它不同于辩证法所说的那种思想上的矛盾。其区别在于：(1)前者是思想混乱的表现，而后者则是客观事物的矛盾在思想上的反映。(2)前者是违反思维规则的结果，是不正常的，后者则是正常的思维所固有的。......更多

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

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

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

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

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

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

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

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