形式邏輯

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

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

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

形式邏輯的研究對象

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

例如：

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

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

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

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

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

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

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

形式邏輯中邏輯一詞指邏輯學。

• 邏：《說文》巡也。巡邏，按照既定框架，有目的性的行進過程。
• 輯：《說文》車和輯也。《六書故》合材爲車咸相得謂之輯。某一事物按特定方式形成另一事物。

廣義上的邏輯：在既定框架下，若干對象彼此的轉化過程。

形式邏輯即邏輯形式，思維形式，其研究對象即這個「既定框架」和「轉化過程」。

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

舉例

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

形式邏輯的基本規律

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

同一律

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

矛盾律

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

排中律

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

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

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

數理邏輯

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

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

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

辯證邏輯

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

形式邏輯的作用

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

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