逻辑学是既古老又年轻。历史悠久,源远流长。它有三大源泉:古希腊的形式逻辑,中国先秦的名辩逻辑,古印度的因明。朝气蓬勃,充满活力,已经或者正在发展成为一个庞大的逻辑学科体系。
逻辑学有广义和狭义之分。狭义的逻辑学指:研究推理的科学,即只研究如何从前提必然推出结论的科学。广义的逻辑学指:研究思维形式,思维规律和思维的逻辑方法的科学。广义逻辑学研究的范围比较大,是一种传统的认识,与哲学研究有很大关系。整个逻辑学科的体系非常庞大复杂,如:传统的、现代的和辩证的、演绎的、归纳的和类比的、经典的和非经典的,等等。但是,它再庞杂也有相通的地方,例如:构建判断的方法;进行必然性推理;认同逻辑真理或逻辑规律等。
逻辑学是研究思维的科学。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性;思维形式是指用以反映对象及其属性的不同方式,即表达思维内容的不同方式。从逻辑学角度看,抽象思维的三种基本形式是概念,命题和推理。
例如,所有语言都是传递信息的,汉语是一种语言,所以,汉语是传递信息的。
在这个论断中,“所有”,“语言”,“传递信息”,“是”,“一种”,“汉语”等是概念。由概念组成的语句,如“所有语言都是传递信息的”等等的内容称作判断。而由判断组成的论断称作推理。
思维的这几种基本形式又由其构成的元素和其联结方式(结构)不同而形成各种不同的亚形式,我们把这类亚形式,即思维内容各组成部分(或元素)的联结方式(即结构),称作思维的逻辑形式(或思维的形式结构)。
例如,所有股票都是有价格的;所有生物都是进化的;所有法律都是具有强制性的。
这三个判断所表达的思想内容是不同的,它们分别陈述了经济学、生物学和法学领域不同对象所具有的某种属性,但是它们在结构上却是相同的,我们说它们具有相同的逻辑形式。我们用“S”表示每个判断中所陈述的对象,用“P”表示对象所具有的属性。于是,上述三个判断的共同逻辑形式是“所有S都是P”,它是判断形式中的一种类型。
再如,
1)如果温度升高,那么分子的布郎运动就会加快。如果温度升高了,所以,分子的布郎运动会加快。
2)如果两个角是对顶角,那么这两个角就相等。这两个角是对顶角,所以,这两个角相等。
我们用“p”表示“如果”后面的判断,用“q”表示“那么”后面的判断。于是,上述两个内容不同的论断,却有着共同的逻辑形式:
如果p,那么q;p,所以,q。
这也是推理形式的一个种类。
从上述分析可看出,每一种逻辑形式都包含逻辑常项和变项。逻辑常项是指同类逻辑形式中不变的部分。如上例中的“所有,都是”和“如果,那么”等。逻辑常项决定各种逻辑形式的性质,是区别不同逻辑形式的依据。变项是逻辑形式中的可变部分,即用拉丁字母表示的那部分。它们可以用相应的具体概念或判断代入。前例中的“S”和“P”是概念变项,它们可以代入任意概念;前例中的“q”和“p”是判断变项,也可代入任意判断。
逻辑学研究概念、判断和推理,不研究具体的思维内容,而是暂时抛开具体内容,研究其逻辑形式及各种逻辑形式之间的关系。