遙遠的救世主

第63部分 (第4/4頁)

總結了人類思維的經驗教訓，以保持思維的確定性為核心，

用一系列規則、方法幫助人們正確地思考問題和表達思想，是人們認識世界和改造世

界的必要工具，是人類認識發育到一定階段後出現思維方法。康德首先使用了這個術

語。

形式邏輯的研究方法　形式邏輯研究的推理中的前提和結論之間的關係，是由作

為前提和結論的命題的邏輯形式決定的，而命題的邏輯形式（簡稱命題形式）的邏輯

性質則是由邏輯常項決定的。要弄清邏輯常項的性質，系統地揭示推理規律，就要通

過建立邏輯演算，進行元邏輯的研究。研究元邏輯的方法是形式化的公理方法。

形式邏輯的規則　同一律、矛盾律、排中律和理由充足律。這四條規律要求思維

必須具備確定性、無矛盾性、一貫性和論證性。

形式邏輯的缺陷與超越

人的思維由其內容與形式構成。而形式邏輯企圖在不考慮思維內容的情況下透過

把握思維的形式來了解思維的全貌，這顯然是不可能的。這種企圖遭遇了東西方兩方

面的批判。

東方是戰國時期的名家學派，代表人物有惠施、公孫龍、桓團、魏牟，他們透過

將邏輯的內容替換為極限情景或是加入時空、運動（靜止）、觀察者、範疇等因素來

大大複雜邏輯的內容，即使用極限情景和複雜情景來使得當時的形式邏輯破產。其原

理在於，形式總有一定的承載量，若內容超過了形式所能承受的限度，那麼原有的形

式就會崩壞，隨之而來的是新的與新內容相適應的形式。但是由於哲學上的幼稚，導

致他們在形式邏輯的廢墟上建立起來的是詭辯論——他們由可能的發現者蛻變為純

粹的破壞者。西方則是黑格爾，他將邏輯研究地重心轉向邏輯的內容，從而建立起了

辯證邏輯。

241

名家沒有像黑格爾那樣依照內容去建立邏輯，而是透過操縱內容把形式邏輯搞垮

了就滿意了。他們以辯論為樂，把對手說糊塗了，他們就高興了。於是，他們就不能

避免詭辯的誘惑。黑格爾則在批判形式邏輯的時候同時著手建設新的邏輯。另外，就

批判物件而言，當時中國的形式邏輯的發育程度還不高，其主張帶有破碎性，這就導

致名家在批判過後所能給出的是一個個孤立的詭辯命題。而黑格爾所批判的形式邏輯

是系統的，若要使批判成功，則需要找到一種同樣系統的邏輯來替代之，而不是玩弄

幾個命題。自然，黑格爾的辯證邏輯也是也還有缺陷。比方說絕對精神只否定自身兩

次——為什麼沒有第三次否定呢？此外由於對形式邏輯批過了頭，導致辯證邏輯停留

在純粹思辨的層面上。這些唯心辯證法所遺留的問題，終於在唯物辯證法這裡得到了

解決。

＇編輯本段＇

二．發展歷程

形式邏輯已經歷了2000　多年的歷史，19　世紀中葉以前的形式邏輯主要是傳統邏

輯，19　世紀中葉以後發展起來的現代形式邏輯，通常稱為數理邏輯，也稱為符號邏

輯。

傳統邏輯

傳統邏輯通常把命題分為直言命題、選言命題和假言命題，並研究這幾種命題的

形式和推理形式。傳統邏輯還包括關於矛盾律和排中律等邏輯規律的理論，以及有關

詞項的理論。

形式邏輯在歐洲的創始人是古希臘的亞里士多德。亞里士多德的建立了第一個邏

輯系統，即三段論理論。其論述形式邏輯的代表作有《形而上學》和《工具論》。繼

亞里士多德之後，麥加拉…斯多阿學派邏輯揭示出命題聯結詞的一些重要性質，發現

了若干與命題聯結詞有關的推理形式和規律，發展了演繹邏輯。而古希臘的另一位哲

學家伊壁鳩魯則認為歸納法是唯一科學的方法。中世紀的一些�