第94頁
關於這一點，鄭文輝在《歐美邏輯學說史》中有過具體說明：《後分析篇》在論述證明理論時，試圖建構演繹科學，並把演繹科學同數學科學比較。亞里士多德通過這個工作去認知一般的科學原理。他說：「借論證而傳授或接受的一切教導均賴先有的知識進行……數學的知識以及一切其他思考的學科都是如此獲得的；三段論的和歸納法的論辯推理的兩種形式也是如此，因為它們每一種都先利用舊知識以灌輸新知識。」（《後分析篇》）可見，亞里士多德主張通過證明，從已知的知識開始，並通過三段論的證明手法達到新知。這就是證明的本質，可見它超出一般形式邏輯的範圍。
同時，亞里士多德還探究了證明前提的性質問題。他認為作為證明的前提必須是真實的、原始的，而這就不是形式邏輯本身所能解決的問題，它是科學論本身的問題。亞里士多德認為，前提與結論之間的因果關係的順序是不可逆倒的。因此在證明中，必定先存在原始的而又不證自明的東西，這種東西不屬於形式邏輯本身的類屬。為了尋求前提的真，《後分析篇》尤其注重中詞，因為建立真的前提要有理由，這理由就是中詞。正如羅斯所說：「既然科學前提必須是直接的，那麼科學證明可以表述為這樣的過程，即插入我們希望聯接小詞和大詞這兩個詞之間的必要的中詞。」可見，在《後分析篇》裡，亞里士多德的中詞的意義在於顯示出科學證明前提的真實性和直接性，它與《前分析篇》的用法不同。
由於證明理論意味著把思想與現實聯接起來，它在本體論意義上與真是一致的，並且也通過三段論的結構來完成，因而它包含整個科學論的問題，其中既有形式邏輯的問題，也有非形式邏輯的問題。形式邏輯僅僅是科學論的一部分，即科學論中用公式表達推理規則的那個部分。而非形式邏輯則是科學論的其餘部分，它包括諸如歸納邏輯這樣的非形式邏輯，甚至包括整個科學性質的問題。亞里士多德的科學論的概念包括如下內容：一是除了通過證明，還通過其他方法，如通過直接知識而認知的科學原理。二是通過證明，即間接地認知的科學定理。三是作為科學三段論的證明方法。因此，科學論不是純粹形式邏輯的問題，形式邏輯只是它的一個子類，而且科學論問題正是《後分析篇》在述說證明理論時提出來的。這樣，亞里士多德的證明理論就包含了比形式邏輯更多的東西，它實質上涉及了整個科學理論的問題。①
①參看鄭文輝：《歐美邏輯學說史》，中山大學出版社，
1994年版，第
64-
65頁。
5. 關於矛盾律和排中律
