逻辑（理则学），源自古典希腊语 ，最初的意思是“词语”或“言语”，(引申出意思“思维”或“推理”)，1902年严复译《穆勒名学》，将其意译为“名学”，音译为“逻辑”；因为该词是由日制汉语“伦理”一词分拆而来，所以日语还把它译为“论理学”。 传统上，逻辑被作为哲学的一个分支来研究。自从十九世纪中期，逻辑经常在数学和计算机科学中研究。逻辑的范围非常广阔，从核心主题如对谬论和悖论的研究，到专门的推理分析如或然正确的推理和涉及因果关系的论证。

逻辑——既是规律，指思维的规律和客观规律。逻辑包括形式逻辑与辩证逻辑，形式逻辑包括归纳逻辑与演绎逻辑，辩证逻辑包括矛盾逻辑与对称逻辑。对称逻辑是人的整体思维（包括抽象思维与具象思维）的逻辑。
逻辑指的是思维的规律和规则，是对思维过程的抽象。
从狭义来讲，逻辑就是指形式逻辑或抽象逻辑，是指人的抽象思维的逻辑；广义来讲，逻辑还包括具象逻辑，即人的整体思维的逻辑。

逻辑——也指人类研究思维规律的学科即逻辑学。
逻辑学主要研究是对称逻辑，其过程是由具象逻辑演变抽象逻辑在经由具象逻辑与抽象逻辑相统一形成的三大阶段。
对称逻辑是逻辑学发展的最新成果，逻辑发展的最高阶段。对称逻辑学就是对称逻辑的概念、范畴与范畴体系。对称逻辑以对称规律为基本的思维规律，是天与人、思维与存在、思维内容与思维形式、思维主体与思维客体、思维层次与思维对象、科学本质与客观本质对称的逻辑。对称逻辑就是对称的思维方式。

《哲学讲义——逻辑学浅谈》——第二章：逻辑学的学科性质

逻辑学是研究思维的形式结构及其规律的科学，十分古老，源远流长。从古希腊的亚里士多德逻辑到现代逻辑，已形成了一个包括数理逻辑、语言逻辑、辩证逻辑在内的科学体系。逻辑学的发展始终与科学的进步和人类思维能力的提高同步。

如今，逻辑学已经渗透到计算机软件研发、工程项目管理、商业谈判、法庭辩论等诸多领域，发挥着越来越重要的作用。逻辑是人们正确思维的工具，学习逻辑能提高人们的思维能力和学习能力。在现代大学教育中，将逻辑学作为各专业，尤其是哲学、语言学、文学、法学、经济学、管理学、计算机科学等专业的通识教育课程，具有特别重要的意义。

人类思维的发展史表明，尽管人类的语言千差万别、人类思维的内容丰富多样，但是思维形式却是同一的。由此，人类思维在形式结构上的一致性不仅是人们相互理解的条件，而且使人工智能成为可能——这就是所谓的形式逻辑，形式逻辑运用到了人工智能，我们通常以逻辑电路来代称。逻辑的形式化使得人们可以用数学方式来表示演绎推理的过程，并用逻辑电路将其实现出来。运用数理逻辑的方法，可以将人的思维过程形式化，使之成为能够在电子计算机上运行的程序。

在汉语文字（语言）中，“逻辑”是个多义词，可以在多种含义下使用：
1、用“逻辑”一词表示事物发展的规律，如“因果过程的逻辑”、“历史过程的逻辑”等；
2、表示思维的规律和规则，如“推理要符合逻辑”、“语言表达、论文写作要有逻辑性”等；
3、表示逻辑学，如“大学生应当学点逻辑”、“数理逻辑在人工智能中的作用”等；
4、表示某种观点，如“按照谈恋爱的逻辑，爱情既是为了婚姻”等。

在此，我要谈到的“逻辑”指的就是第二种和第三种含义。
首先，说明思维的特点——既逻辑学是研究思维的形式结构和规律的科学。那么，什么是思维？辩证唯物主义认识论告诉我们，人类的认识是一个从感性认识到理性认识并不断深化的过程。其中感性认识是认识的低级阶段，包括感觉、知觉和表象；理性认识是认识的高级阶段，包括概念、判断和推理。思维指的就是人的理性认识阶段。

在此，我要谈到的“逻辑”指的就是第二种和第三种含义。
首先，说明思维的特点——既逻辑学是研究思维的形式结构和规律的科学。那么，什么是思维？辩证唯物主义认识论告诉我们，人类的认识是一个从感性认识到理性认识并不断深化的过程。其中感性认识是认识的低级阶段，包括感觉、知觉和表象；理性认识是认识的高级阶段，包括概念、判断和推理。思维指的就是人的理性认识阶段。

3、思维以文字（语言）为载体——文字（语言）是思维的表达形式。概念、判断等思维形式都有自己的文字（语言）形式。概念的文字（语言）形式是词，判断的文字（语言）形式是句子。但是，文字（语言）与思维又不是完全同一的。如“人”这个概念在英语、日语和汉语中的表达形式都不同。而同一个词有时可以表示褒义，有时又可以表示贬义。

我们再来说说思维形式，思维形式是逻辑学研究的对象。思维的具体内容是丰富多样的，研究思维内容是各学科具体的科学任务。如物理学研究声、光、电、力的运动规律；历史学研究人类社会的运动和发展。逻辑学与这些科学不同，它不研究思维的具体内容，只研究承载这些内容的思维形式。

简单地说，思维形式——就是不同内容的思维所共有的一般逻辑形式——包括概念、判断和推理。逻辑学不研究具体的（即含有具体内容的）概念、判断和推理，而是研究这些不同内容的概念、判断和推理所具有的共同的形式结构。例如：有的人是学生。有的人是大叔。有的人上陌陌就是想约泡。

以上判断的具体内容各不相同，却具有相同的判断形式即“有的“人”是“大叔”。逻辑学不研究“人”和“大叔”究竟代表什么，而是研究于（有的“人”是“大叔”）这个判断结构中，“人”和“大叔”具有怎样的关系。可以说，逻辑学研究的是思维形式各构成要素之间的联系方式，是内容各不相同的概念、判断和推理中所具有的一般的、共同的东西。