思维形式就是思维在抽象出具体内容之后所具有的共同结构。人们也称之为思维的逻辑形式。逻辑形式由逻辑变项（P、Q、S、M……）和逻辑常项（所有……是、如果……那么……）构成。逻辑学研究的思维逻辑形式，其主体是推理形式。因为推理是思维类型的中心。 逻辑形式或用自然语言，或用人工语言表示。 推理就是从一个或多个已知命题得出一个新命题的思维过程。