形式邏輯已經歷了2000多年的歷史，19世紀中葉以前的形式邏輯主要是傳統邏輯，19世紀中葉以後發展起來的現代形式邏輯，通常稱為數理邏輯，也稱為符號邏輯。 1.傳統邏輯傳統邏輯通常把命題分為直言命題、選言命題和假言命題，並研究這幾種命題的形式和推理形式。傳統邏輯還包括關於矛盾律和排中律等邏輯規律的理論，以及有關詞項的理論。 形式邏輯在歐洲的創始人是古希臘的亞裏士多德。亞裏士多德的建立了第壹個邏輯系統，即三段論理論。其論述形式邏輯的代表作有《形而上學》和《工具論》。繼亞裏士多德之後，麥加拉-斯多阿學派邏輯揭示出命題聯結詞的壹些重要性質，發現了若幹與命題聯結詞有關的推理形式和規律，發展了演繹邏輯。而古希臘的另壹位哲學家伊壁鳩魯則認為歸納法是唯壹科學的方法。中世紀的壹些邏輯學家，發展和豐富了形式邏輯。到了近代，培根和約翰·繆勒則進壹步發展了歸納法。 對比 在中國，形式邏輯的產生基本與歐洲同時。代表學派有墨家與名家，此外還有儒家的荀子。有意思的是，墨家研究邏輯為的是找到邏輯的原則，而名家為的是建立詭辯體系。墨家對於邏輯的認識集中體現在《墨經》中，該書對於邏輯已有了系統地論述。例如它區分了充分條件與必要條件，提出“大故（充分必要條件），有之必然，無之必不然”與“小故（必要條件），有之不必然，無之必不然”。而名家的惠施則提出了“合同異”的詭辯原則，目的是取消概念的邊界。與惠施相反，同屬名家的公孫龍則提出了“離堅白”的詭辯原則，認為任何獨立的概念都有且只能有單壹的屬性。名家提出了許多詭辯命題，例如“白馬非馬”、“雞有三足”、“孤犢無母”、“連環無扣”、“白狗黑”以及“今適越而昔來”等等。 顯然，名家此種“開倒車”的研究方法是中國特有的，它能夠建立其詭辯體系恰恰表明當時邏輯發育的水平很低，有著大量漏洞——因此名家才有機可乘。不過，名家此舉也使得這些漏洞得到了充分的暴露，為後人的研究提供了墊腳石——若要發展邏輯，就必須去克服名家的詭辯命題。此外，名家的詭辯命題中也有合理因素——有的確實擊中了形式邏輯的要害，這就意味著，除了形式邏輯之外，還有其他邏輯。最後，名家的部分命題裏，可能含有合理的關於自然界以及人的認知過程的認識。比如壹個命題是“天下之中央，燕之北越之南”，這個命題若要成立，則必須以“地球是圓的”作為前提。在當時天圓地方的“蓋天說”占主導的情況下，名家能有這樣的認識是不易的。再有壹個命題是認為“飛鳥未嘗動”，若做正解，應該是名家認識到我們對於“運動”的直觀概念是建立在將歸納了兩次靜止的認識的基礎之上的。當時能做出這些判斷實在不容易，可惜這些認識都是以詭辯的形式出現的。 此後，形式邏輯在中國的發展基本陷入了停滯。 在古印度，公元前四世紀時，勝論派和正理派開創了因明學，至六世紀時陳那將其完善，稱新因明學。因明學，即形式邏輯。 2.數理邏輯 它是現代形式邏輯。之所以稱為數理邏輯，壹方面是由於在研究中廣泛地使用了人工的符號語言，並發展為使用壹種形式化的公理方法，同時也應用了某些數學的工具和具體的結果；另壹方面則是由於現代形式邏輯的發展受到數學基礎研究的推動，特別是受到深入研究數學證明的邏輯規律和數學基礎研究中提出來的邏輯問題的推動。數理邏輯之所以又被稱為符號邏輯，是由於它使用人工的符號語言。數理邏輯的創始人是G.W.萊布尼茲。萊布尼茲提出建立“普遍的符號語言”、推理演算和思維機械化的思想。盡管萊布尼茲本人並沒有實現他所提出的目標，但數理邏輯的發展卻逐步（還沒有全部）實現了萊布尼茲的理想。G.弗雷格在1879年發表的《概念語言》壹書中，建立了第壹個壹階邏輯體系。19世紀70年代，G.康托爾創立了集合論。集合論，特別是第壹個壹階邏輯體系的建立，是形式邏輯的發展進入現代階段的標誌。 3.形式邏輯在現代中國 20世紀30至40年代，蘇聯曾把形式邏輯當作形而上學來批判，並把辯證法當作惟壹科學的邏輯。講辯證法壹定要批判形式邏輯。在此影響下，當時中國也有人“宣判”了形式邏輯的“死刑”。不過在1949年前這種全盤否定形式邏輯的思潮在中國還不屬主流思想。1949年到1950年間這種思潮也成為中國的主流思想。 1950年斯大林的《馬克思主義和語言學問題》發表後，中國才為形式邏輯“平反”。然而“平反”並不徹底，跟蘇聯壹樣，形式邏輯仍帶有“初等邏輯”的帽子，而“高等邏輯”自然非辯證法或辯證邏輯莫屬。否定、貶低形式邏輯不僅阻礙了邏輯科學的發展，而且造成詭辯盛行的惡果。黑格爾曾十分輕蔑地評論過萊布尼茨的數理邏輯設想。馬克思主義產生以後才冒出來的數理邏輯（第壹個數理邏輯系統是費雷格於1879年提出的），在20世紀50年代初被視為帝國主義時代為壟斷資產階級服務的偽科學。 1961年代才開始突破蘇聯50至60年代邏輯教材的某些框框，清除了蘇聯教材散布的種種常識性錯誤。