形式邏輯

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

形式邏輯致力於將人類思維過程反應為語言。

形式邏輯在一定程度上以追求必然結論為目的。

形式邏輯的研究對象

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

例如：

物理學中的具體思維，就涉及聲、光、電、力等這些特定的對象。
數學中的具體思維，就涉及數量、圖形等這些特定的對象。

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

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

如果······那麼······

所有······都是······

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

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

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

舉例

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

形式邏輯的基本規律

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

同一律

「前後所說的是同一個」，即，在一個思維過程中，前後提及的內容應當是一致的、同一的。

矛盾律

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

排中律

「排除中立」，即，在一個思維過程中，一個思想要麼是真的，要麼是假的，不存在「薛定諤狀態」。

形式邏輯與數理邏輯、辯證邏輯區別

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

數理邏輯

數理邏輯與形式邏輯的研究對象不是完全相同的

數理邏輯與形式邏輯的研究方法是不同的

數理邏輯與形式邏輯再人們認識中所起的作用是不同的

辯證邏輯

形式邏輯只從思維形式而研究思想本身的準確性、明確性、無矛盾性與一貫性
形式邏輯只從真假的角度，研究各種思維之間的真假關係

形式邏輯的作用

形式邏輯是認識客觀世界的輔助工具

形式邏輯是論證思想和表達思想的必要工具
形式邏輯可以幫助我們識破謠言、勘破詭辯（但形式邏輯學習再好也無法戰勝詭辯）