形式邏輯

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

形式邏輯的研究對象

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

例如：

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

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

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

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

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

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

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

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

舉例

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

形式邏輯的基本規律

• 同一律：如果一個思想反映某客觀對象，那麼它就反應這個客觀對象；如果一個思想是真的，那麼它就是真的；如果它是假的，那麼它就是假的。
• 矛盾律：一個思想不能即反映某客觀對象而又不反映這個客觀對象；一個思想或者是真的，或者是假的。
• 排中律：一個思想或者或者反映某客觀對象，或者不反映這個客觀對象；一個思想或者是真的，或者是假的。

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

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

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

數理邏輯

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

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

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

辯證邏輯

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

形式邏輯的作用

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

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