形式思维（formal thinking）亦称“形式逻辑思维”。抽象思维的一种。广泛运用于数学、自然科学和一些社会科学。主要特点：（1）以客观对象的实证性知识为依据，这些知识既可以是在自然状态下通过观察获得的，也可以是在实验中通过精确测量获得的。（2）遵循同一律这一基本逻辑规律。（3）用形式逻辑的方法对形式性的逻辑符号进行操作，从而获得用形式逻辑表达的抽象思维成果。

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