思维的形式结构

　　逻辑学是一门研究思维的形式及其规律的科学。思维是人们运用概念进行判断和推理的过程。概念是思维形式最基本的组成单元，是构成命题、推理的要素。现代逻辑学家认为逻辑学是一种研究推理形式的科学，它以有效推理形式及其规律、规则作为主要研究对象。

　　推理是以一个或几个命题为根据或理由，从而得出另一个命题的思维过程。

　　正当防卫是不应负刑事责任的。(1)

　　所以，应负刑事责任的不是正当防卫。 (2)

　　在上面例子中(1)式作为推理根据或理由，称为前提，而(2)式由(1)式推得，见推理由前题和结论两部分组成。一定的推理内容总是通过一定的推理形式来表现。

　　例如：

　　①如果张三是罪犯，那么张三有作案时间，

　　张三是罪犯。

　　所以，张三有作案时间。

　　②如果某物体是金属制品，那么菜物体导电，

　　某物体是金属制品。

　　所以.某物体导电。

　　从上面两个例子可以突出，尽管这两个推理的具体内容不同，但这两个推理具有相同的形式结构。其共同的推理形式为如果P，那么q所以，q

　　推理是由命题组成的，推理形式是由命题形式决定的，而命题形式是由逻辑常识和变项组成的。其中“如果……那么……”便是逻辑常识，p、q是逻辑变项。

　　综广所述，推理形式是指具有前提和结论逻辑联系的，由逻辑常识和变项组成的命题形式序列。

　　推理包括复合命题推理和简单命题推理，但是都要注意到推理的正确性，即推理形式有效件，这就是逻辑学所要研究和解决的课题。

　　例如：

　　有大学生是党员，

　　所以，有党员是大学生。

　　这一推理形式是：有S是p

　　所以，有p是S

　　这是一个有效的推理形式.有效的推理形式又称为正确的推理形式

　　无效的推理形式(或称为推理的逻辑无效式)如下例所示：

　　凡金子都是发光的，

　　所以，凡发光的都是金子。

　　研究逻辑的有效性，要涉及到命题、词项、逻辑基本规律等重要逻辑知识。