形式邏輯

形式邏輯是一門以思維形式及其規律為主要研究對象，同時也涉及一些簡單的邏輯方法的科學。

形式邏輯的研究對象

任何具體思維都有它的內容，也有它的形式。任何具體思維，都涉及一些特定的對象。

例如：

各個不同領域中的具體思維所涉及的對象是不相同的。但是，在各個不同領域的具體思維中，又存在着一些共同因素。

例如：在各個不同領域的具體思維中，都要應用諸如下列這些思維因素：

各個領域共同要用到的思維因素，就是思維形式。

各個領域具體思維所涉及的特殊對象，就是思維內容。

形式邏輯只研究思維形式而不研究思維內容，這不是要將思維形式和思維內容割裂。相反，形式邏輯研究思維形式，正是為了使人們自覺的掌握思維形式的規律。

S—所有帝國主義政府的一切決策都是從人民出發。
A—美國是帝國主義國家。
P—所以美國政府的一切決策都是從人民出發。
- 形式邏輯研究的是 「S→A→P」的過程是否正確。
- 形式邏輯不研究「S」,「A」,「P」本身是否正確。

形式邏輯的基本規律和其他規律，要求思想有確定性、明確性、無矛盾性與一貫性，

「互相矛盾的思想，其真假判斷也一定互相矛盾」，即，在一個思維過程中，兩個互相否定的思想不能同真,必有一假。

“排除中立“，即，在一个思维过程中，一个思想要么是真的，要么是假的，不存在“薛定谔状态”。

形式邏輯、數理邏輯、辯證邏輯使不同的，但又有一定聯繫的三門學科。