形式思維

形式思維（formal thinking）亦稱“形式邏輯思維”。抽象思維的一種。廣泛運用於數學、自然科學和一些社會科學。主要特點：（1）以客觀對象的實證性知識為依據，這些知識既可以是在自然狀態下通過觀察獲得的，也可以是在實驗中通過精確測量獲得的。（2）遵循同一律這一基本邏輯規律。（3）用形式邏輯的方法對形式性的邏輯符號進行操作，從而獲得用形式邏輯表達的抽象思維成果。

思維形式就是思維在抽象出具體內容之後所具有的共同結構。人們也稱之為思維的邏輯形式。邏輯形式由邏輯變項（P、Q、S、M……）和邏輯常項（所有……是、如果……那么……）構成。 邏輯學研究的思維邏輯形式，其主體是推理形式。因為推理是思維類型的中心。 邏輯形式或用自然語言，或用人工語言表示。 推理就是從一個或多個已知命題得出一個新命題的思維過程。