淺談形式邏輯的客觀基礎及其性質

　　形式邏輯是一門以思維形式結構為自己獨特研究物件的邏輯科學。思維形式是人們進行思維以反映客觀物件的形式，也就是思維內容賴以存在的形式。如概念形式，判斷形式，推理形式等。思維內同與思維形式相互依存，密切聯絡，思維內容總要用一定的思維形式表現，一定的思維形式總表現一定的思維內容，不通過一定的思維形式表現的赤裸裸的思維內容和不表現一定思維內容的空洞的思維形式都是不存在的。但是思維內容與思維形式又是有區別的，同一個思維內容可以通過不同的思維形式表現，同一個思維形式可以表現不同的思維內容。如：“經濟規律是客觀的”與“經濟規律是主觀的”他們的思維內容截然相反，但是用的卻是相同的全稱肯定判斷形式。這說明了思維形式對於思維內容存在相對獨立性。

　　邏輯科學的不同分支從不同的角度，不同的方面研究思維形式。辯證邏輯以辯證法的觀點研究思維形式的矛盾運動，如它們的形成，發展，轉化以及他們之間的辯證關係等。形式邏輯則是從結構方面研究思維形式，即研究思維的形式結構。

　　形式邏輯雖然是一門思維科學，但是它在客觀世界有著現實的基礎。邏輯形式、邏輯規律和邏輯方法反映著客觀事物的實在性和客觀事物之間一些最基本、最簡單的關係。如一般與個別的關係，類與類之間的包含關係，各種現象之間的因果關係。

　　所以客觀事物的實在性就是說任何事物在一定條件下都存在質的規定性。把握了事物質的規定性也就把握了事物本身，事物對我們就是確確實實存在的，它是什麼，在我們的思維中就要承認它是什麼，不能既說它是什麼又說它不是什麼，如果沒有客觀事物的實在性，那麼也就沒有思維的確定性，形式邏輯也就無法存在了。客觀事物的實在性是形式邏輯重要的客觀基礎。另外，個別與一般的關係，類與類之間的包含關係，各種現象之間的因果聯絡等，這些客觀事物之間最基本最簡單的關係，也是形式邏輯重要的客觀基礎。

　　客觀事物的實在性和客觀事物之間的一些最基本的、最簡單的關係是如何反映到人們的頭腦中，推動形式邏輯的誕生和發展的呢?通過人們千百萬次實踐的重複。列寧曾明確指出：“人的實踐經過千百萬次的重複，它在人的意識中以邏輯的格固定下來。這些格正是***而且只是***由於千百萬次的重複才有著先入之見的鞏固性和公理的性質。”例如以下推理：

　　所有M都是P

　　所有S都是M

　　所以，所有S都是P

　　這是三段論的第一格AAA式，它是一個普遍有效的演繹推理式。為什麼它是普遍有效的?以一個具體推理為例：

　　所有哺乳動物***M***都是脊椎動物***P***，

　　所有海豚***S***都是哺乳動物***M***，

　　所以，所有海豚***S***都是脊椎動物***P***。

　　這是一個正確的推理，因為在客觀世界裡，哺乳動物***M***包含於脊椎動物***P***中，而海豚***S***包含於哺乳動物***M***中，當然可以得出結論：海豚***S***包含於脊椎動物***P***之中。正是這類實踐的千百萬次的重複，才形成了三段論第一格AAA式，使它取得了先入之見的鞏固性和公理性質。

　　堅持形式邏輯有客觀基礎，並以反映論和實踐論的觀點加以闡明，這就堅持了馬克思主義辯證唯物論。唯心主義認為形式邏輯和邏輯規律是先驗的，約定論認為邏輯形式與邏輯規律是人們約定的結果，這些否認形式邏輯客觀基礎的觀點都是錯誤的。

　　在堅持了形式邏輯有其客觀基礎之後，在此基礎上我們可以發現形式邏輯具有這樣的性質：形式邏輯是一門其基本內容沒有階級性的思維工具性科學。

　　形式邏輯是一門思維工具性科學。形式邏輯反映著客觀事物的實在性和客觀事物之間的一些最簡單和最基本的關係，而實在性是客觀事物最基本的性質，各種最簡單的和最基本的關係是客觀事物之間最普遍的關係，因此，形式邏輯研究的邏輯形式、邏輯規律和邏輯方法，能夠為日常生活和各門科學提供最具普遍意義的思維工具。從邏輯發展史看，古希臘亞里士多德的弟子們將他們老是的邏輯著作編纂成書時，書名就為《工具論》;近代英國哲學家弗蘭西斯·培根的邏輯著作，書名為《新工具》。可見，將形式邏輯看作思維工具性學科是邏輯科學的傳統觀點。

　　形式邏輯的基本內容是沒有階級性的。從研究物件上看，形式邏輯不研究思維內容而研究思維的邏輯形式，不同的思維內容可以具有相同的邏輯形式，邏輯形式本身無階級性。從形式邏輯的客觀基礎看，邏輯形式及其規律和方法是客觀事物的實在性和他們之間最簡單最基本關係的反映，它們不涉及各階級的根本利益，各階級成員都可能遵守邏輯。從歷史上看，古希臘奴隸主哲學家亞里士多德創立的三段論和近代英國資產階級哲學家弗蘭西斯·培根所發展的歸納法，都可以為各階級服務。從現實看，並非某一階級成員專門違背邏輯而另一階級成員卻都遵守邏輯。各階級成員中都有一些人遵守邏輯，另一些人違背邏輯。

　　形式邏輯的基本內容是沒有階級性的，但對它的解釋，長期以來存在著唯物主義與唯心主義的激烈爭鬥，因此，恩格斯指出：“形式邏輯本身從亞里士多德直到今天都是一個激烈爭論的場所。”我們只有在馬克思主義的指導下，才能推動形式邏輯健康地向前發展。