通常認(rèn)為，人類有史以來有兩大邏輯系統(tǒng)，即形式邏輯和辯證邏輯，它們共同起源于古希臘柏拉圖和亞里士多德的時(shí)代。然而，形式邏輯在亞里士多德那里已基本成形，辯證邏輯卻直到黑格爾才具備了比較完備的邏輯體系，且在今天也還未得到邏輯學(xué)上的“資格認(rèn)定”，其本質(zhì)始終是個(gè)迷。要理解辯證邏輯的本質(zhì)，無疑要從它與形式邏輯的比較入手。然而，辯證邏輯這位小弟弟總是被強(qiáng)行納入到形式邏輯這位老大哥的既定模式中來理解，在我看來是迄今為止邏輯學(xué)界最大的誤會(huì)。我認(rèn)為，只有辯證邏輯才真正揭示出了形式邏輯自身的本質(zhì)，反過來，辯證邏輯的本質(zhì)的發(fā)現(xiàn)，只能以形式邏輯對(duì)自身本質(zhì)的自我覺醒為前提。

一、辯證邏輯與形式邏輯的關(guān)系從兩大邏輯體系的起源來看，柏拉圖的“辯證法”是亞里士多德形式邏輯的思想先驅(qū)；反之，亞氏形式邏輯也仍然具有某種辮證理解的性質(zhì)。恩格斯曾把亞里士多德歸入“帶有流動(dòng)范疇的辯證法派”，蘇聯(lián)阿赫曼諾夫也指出亞里士多德邏輯還具有邏輯、認(rèn)識(shí)論、本體論的“三統(tǒng)一”的性質(zhì)。①只是經(jīng)過中世紀(jì)經(jīng)院哲學(xué)的純粹化，邏輯才成了單純思維的抽象工具。要闡明這“兩種”邏輯的真實(shí)關(guān)系，我們首先要把形式邏輯中長期已被“遺忘”了“此在”（借用海德格爾的術(shù)語)重新喚回來，即在新的高度上達(dá)到對(duì)形式邏輯的辯證的、富有生命力的理解。

二、形式邏輯為什么不能理解辯證邏輯?迄今為止，形式邏輯對(duì)辯證邏輯除了攻擊之外，只有“諒解”，而無“理解”，只有容忍，而無認(rèn)同。因?yàn)樾问竭壿嬙谧詈玫那闆r下也沒有把辯證邏輯理解為形式邏輯對(duì)自身的自我理解，而是看作另一種異己的邏輯，它或是否定(破壞)形式邏輯(因而要反對(duì))，或是不否定形式邏輯(因而可以并行不悖)，總之，不是勢(shì)不兩立，就僅僅是外在并列關(guān)系。形式邏輯不理解辯證邏輯，只不過表明形式邏輯尚未達(dá)到自我理解、自我意識(shí)。一般邏輯學(xué)家沒有看出，辯證邏輯正是形式邏輯自否定(自我破壞)及否定之否定(自我重建)的成果，因而兩者不過是同一個(gè)邏輯在自我運(yùn)動(dòng)的上升過程中的兩個(gè)階段；在這兩個(gè)階段中，只有辯證邏輯達(dá)到了邏輯的自我意識(shí)，因?yàn)樗此嫉搅诉壿嫷淖苑穸ǖ倪\(yùn)動(dòng)本性，并將自否定確立為邏輯更深層次的原則。