形式邏輯學

從思維的形式結構方面研究思維規律的科學。它總結了人類思維的經驗教訓，以保持思維的確定性為核心，用一系列規則、方法幫助人們正確地思考問題和表達思想。

定義

“形式邏輯學”是關於“形式邏輯”即傳統邏輯的概念、範疇、規律的學科體系。所謂“形式邏輯”就是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。由於本質上“形式邏輯”是知性邏輯，所以現代數理邏輯沒有超出“形式邏輯”即傳統邏輯的範疇。所謂邏輯是思維的規律，邏輯學是關於思維規律的學說，思維規律是思維內容與思維“形式”的統一。“形式”邏輯也是從內容和“形式”的統一上來研究思維規律的學說，因而決不是什麼純“形式”的邏輯。正好像傳統把概念說成是思維的“形式”是混淆了概念和語言一樣，把傳統邏輯說成是思維“形式”的學說是混淆了傳統邏輯和語言學。如果像馬克思說的，只有語言才是思維的“形式”，那么，只有語言學才是研究思維的“形式”和“形式”的規律（如語法規則）的學說。而傳統邏輯一開始就不是什麼“純思維形式”的科學。傳統邏輯的創始人亞里士多德認為判斷的主詞和賓詞的聯繫就反映了事物之間的客觀關係，列寧說他的邏輯學是尋求、探索，它接近於黑格爾的邏輯學。後來傳統邏輯的發展，與其說被“形式”主義化了，還不如說是被歪曲化了。因為，根據恩格斯的傳統邏輯和辯證邏輯的關係是初等數學和高等數學的關係的比喻，可以認為辯證邏輯（對稱邏輯是辯證邏輯發展的高級階段）研究人的認識的理性階段的規律，傳統邏輯則研究人的認識的知性階段的規律。超出了傳統邏輯的適用範圍，把傳統邏輯套用到整個人類認識的過程，使它成為詭辯的工具並陷入悖論是並不奇怪的。黑格爾之所以認為傳統邏輯可以成為詭辯工具，是因為黑格爾把傳統邏輯和形上學混為一談，從而把傳統邏輯的局限性絕對化了。但正好像超出了真理的套用範圍，把真理變成謬誤並不等於真理本身就是謬誤一樣，超出了傳統邏輯的適用範圍，把傳統邏輯變成詭辯的工具也不等於傳統邏輯本身就是純“形式”的東西。

創始人亞里士多德

釋義

對象決定內容，特定的對象決定特定的內容。任何事物都是相對靜止狀態和絕對運動狀態的統一；對事物的質的相對穩定性，即同一事物、同一屬性、同一關係在同一時間、地點下的確定性的反映，不但是必要的，而且是可能的。這個反映是人類認識的必經階段——知性階段的基本任務，因而同一律是知性認識的基本規律。從傳統邏輯到對稱邏輯（中間經過矛盾邏輯），是人類思維方式發展的兩大階段。人類認識，無論是低級的還是高級的，都是客觀對象的反映；因此，無論是傳統邏輯還是對稱邏輯，都是關於思維規律的科學；作為它們研究對象的人類思維、思辯和實在的關係，都是內容和“形式”的統一、主觀與客觀的統一。世界是無限的，本性是辯證的和對稱的。人類對世界的認識，也是一個從片面到全面、從現象到本質、從相對到絕對、從抽象到具體、從不對稱到對稱的過程。這裡面有量變，也有質變。相對於整個人類來說，從傳統邏輯的思維方式到對稱邏輯的思維方式，達到對世界的對稱本性的認識，是認識發展史的一大飛躍。如果說，在此以前，人們滿足於傳統邏輯的思維方式，把它看成是唯一正確的思維方式，因而往往陷入形上學的思維方式的話，那么，現在人們感到，要對事物有一個完整的認識，只有用對稱邏輯的思維方式才有可能，用傳統邏輯的思維方式是不夠的了。這時候，傳統邏輯給人以脫離思維對象的假象，是正常的；把傳統邏輯看成是“形式”邏輯，是難免的。現在的任務，是通過歷史的和全面的考察，從假象返回本質，還傳統邏輯以本來的地位。這樣，我們就可以清楚地看到：傳統邏輯也是從內容和“形式”的統一上來研究思維的學說，因而決不是什麼“形式”邏輯。傳統邏輯內容的具體化和“形式”的抽象化、數學化、符號化是對稱的雙向同步過程。符號化不等於“形式”化。僅僅根據傳統邏輯“形式”的抽象化、數學化、符號化就把傳統邏輯看成是“形式”邏輯是線性思維的產物。

含義

形式邏輯這個詞是有多種含義的，有的專指傳統邏輯（包括傳統演繹邏輯和傳統歸納邏輯），有的專指演繹邏輯（包括傳統演繹邏輯和現代演繹邏輯），有的則專指現代數理邏輯。還有一種是政治性產物，是政治決定理論的惡果，是為了與辯證邏輯這種政治決定的邏輯相區分。這種意義的形式邏輯常常被污衊為形上學、低等邏輯，而辯證邏輯自然是科學的邏輯、高等邏輯。這種意義上的形式邏輯其實就是現今通常所說的邏輯學，這種意義上的形式邏輯正好沒有承認辯證邏輯是邏輯學，而只認為其是一種哲學。

發展歷史

20世紀30至40年代，蘇聯曾把形式邏輯當作形上學來批判，並把辯證法當作惟一科學的邏輯。講辯證法一定要批判形式邏輯。在此影響下，當時中國也有人“宣判”了形式邏輯的“死刑”。不過在1949年前這種全盤否定形式邏輯的思潮在中國還不屬主流思想。1949年到1950年間這種思潮也成為中國的主流思想。1950年史達林的《馬克思主義和語言學問題》發表後，中國才為形式邏輯“平反”。然而“平反”並不徹底，跟蘇聯一樣，形式邏輯仍帶有“初等邏輯”的帽子，而“高等邏輯”自然非辯證法或辯證邏輯莫屬。否定、貶低形式邏輯不僅阻礙了邏輯科學的發展，而且造成詭辯盛行的惡果。黑格爾曾十分輕蔑地評論過萊布尼茨的數理邏輯構想。馬克思主義產生以後才冒出來的數理邏輯（第一個數理邏輯系統是費雷格於1879年提出的），在20世紀50年代初被視為帝國主義時代為壟斷資產階級服務的偽科學。1961年代才開始突破蘇聯50至60年代邏輯教材的某些框框，清除了蘇聯教材散布的種種常識性錯誤。黑格爾的大小邏輯講的是哲學，不討論從形式上講有什麼樣的前提可以得到什麼樣的結論這樣的推理形式方面的問題。

評價

其實，在現今的非經典演繹邏輯中確實有一支是與辯證邏輯有很多相似之處的，這種邏輯就是次協調邏輯（又常稱為費協調邏輯、亞相容邏輯，也有人稱之謂悖論邏輯、辯證邏輯）。這種邏輯承認經典演繹邏輯中的“矛盾律”並不普遍有效，試圖將“矛盾”封裝起來，不讓其危害整個系統。許多認同黑格爾辯證邏輯的人也是因為看到了現代經典邏輯中的悖論問題，而企望黑格爾的辯證邏輯能解決這個問題。但事實上，類似的方法已經有了，這就是次協調邏輯。然而，次協調邏輯是隸屬於現代非經典演繹邏輯的，如果次協調邏輯真是辯證邏輯的話，那么這種辯證邏輯屬於現代非經典演繹邏輯的一支，而不是獨立於其外。不過，次協調邏輯儘管與黑格爾的辯證邏輯有許多相似之處，但也有許多區別，並不能簡單的說它是辯證邏輯。