今天是2024年12月23日 第52周 星期一

代人,时大变了。

我们生活在大地上,但我们的梦想超越天空。

形式邏輯

出自Akarin
跳至導覽 跳至搜尋

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

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

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

「形式」的意義

形式邏輯的研究對象

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

例如:

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

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

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

  • 如果······那麼······
  • 所有······都是······

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

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

形式邏輯中邏輯一詞指邏輯學[1]

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

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

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

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

舉例

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

形式邏輯的基本規律

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

同一律

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

矛盾律

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

排中律

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

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

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

數理邏輯

  • 數理邏輯與形式邏輯的研究對象不是完全相同的
  • 數理邏輯與形式邏輯的研究方法是不同的
  • 數理邏輯與形式邏輯再人們認識中所起的作用是不同的

辯證邏輯

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

形式邏輯的作用

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

注釋

  1. 一般認為,邏輯(logic)是一個外來詞語音譯,指的是思維的規律和規則。邏輯(英語:logic)的字根源起於希臘語邏各斯(希臘語:λόγος),最初的意思有詞語、思想、概念、推理、論點之意。後譯為(法語:logique),最後發展為英文中的邏輯(英語:logic)。