狭义的逻辑学指：研究推理的科学，即只研究如何从前提必然推出结论的科学。

广义的逻辑学指：研究思维形式，思维规律和思维的逻辑方法的科学。

广义逻辑学研究的范围比较大，是一种传统的认识，与哲学研究有很大关系。

整个逻辑学科的体系非常庞大复杂，如：传统的、现代的和辩证的、演绎的、归纳的和类比的、经典的和非经典的，等等。

但是，它再庞杂也有相通的地方，例如：构建判断的方法；

进行必然性推理；

认同逻辑真理或逻辑规律等。

逻辑学作为一门科学的逻辑，是既古老又年轻的。

历史悠久，源远流长。

它有三大源泉：古希腊的形式逻辑，中国先秦的名辩逻辑，古印度的因明。

逻辑学是一门基础性的学科，逻辑学的基本理论是其他学科普遍适用的原则和方法。

同时逻辑学又是一门工具性的学科，它为包括基础学科在内的一切科学提供逻辑分析、逻辑批判、逻辑推理、逻辑论证的工具。

例如，所有语言都是传递信息的，汉语是一种语言，所以，汉语是传递信息的。

在这个论断中，“所有”，“语言”，“传递信息”，“是”，“一种”，“汉语”等是概念。

由概念组成的语句，如“所有语言都是传递信息的”等等的内容称作判断。

而由判断组成的论断称作推理。

思维的这几种基本形式又由其构成的元素和其联结方式(结构)不同而形成各种不同的亚形式，我们把这类亚形式，即思维内容各组成部分(或元素)的联结方式(即结构)，称作思维的逻辑形式(或思维的形式结构)。

例如，所有股票都是有价格的；

所有生物都是进化的；

所有法律都是具有强制性的。

这三个判断所表达的思想内容是不同的，它们分别陈述了经济学、生物学和法学领域不同对象所具有的某种属性，但是它们在结构上却是相同的，我们说它们具有相同的逻辑形式。

我们用“S”表示每个判断中所陈述的对象，用“P”表示对象所具有的属性。

于是，上述三个判断的共同逻辑形式是“所有S都是P”，它是判断形式中的一种类型。

再如，1）如果两个角是对顶角，那么这两个角就相等。

这两个角是对顶角，所以，这两个角相等。

我们用“p”表示“如果”后面的判断，用“q”表示“那么”后面的判断。

于是，上述两个内容不同的论断，却有着共同的逻辑形式：如果p，那么q；

p，所以，q。

这也是推理形式的一个种类。

从上述分析可看出，每一种逻辑形式都包含逻辑常项和变项。

逻辑常项是指同 类逻辑形式中不变的部分。

如上例中的“所有，都是”和“如果，那么”等。

逻辑常项决定各种逻辑形式的性质，是区别不同逻辑形式的依据。

变项是逻辑形式中的 可变部分，即用拉丁字母表示的那部分。

它们可以用相应的具体概念或判断代入。

前例中的“S”和“P”是概念变项，它们可以代入任意概念;前例中的“q”和“p”是判断变项，也可代入任意判断。

逻辑学研究概念、判断和推理，不研究具体的思维内容，而是暂时抛开具体内容，研究其逻辑形式及各种逻辑形式之间的关系。