第90頁
若A屬全部B，B屬一些C，則A屬一些C。另一方面，若以全稱肯定之大前提與特稱否定的小前提放在一起，則沒有結論。如說動物是人，而人不是一些白的物體，則我們無法得到任何動物與白色物體之間的關係。同樣，在第二、第三格式中，也有一些有效的形式。如在第一樣式中全稱肯定之大前提及特稱否定之小前提在一起無法產生結論，但在第二格式，則會產生一特稱否定的結論，如：若M屬全部N，及M不屬於一些P，則N不屬一些P。
三段論的整個理論中最值得注意的就是它的創始性。希臘科學和哲學的一個顯著特點是注重證明。亞里士多德之前的思想家們對邏輯思想當然不可能沒有一點論述，如公元前
5—前
4世紀的思想家們就曾以推論邏輯同別人論戰，柏拉圖在他的《智者篇》中談及了不同形式的論證方法，亞里士多德從柏拉圖著作中吸收了不少內容，但在此之前確實沒有一個人對論證所取的形式作過詳盡而具普遍性的說明。在邏輯學方面，亞里士多德遠遠超過了柏拉圖。所以，亞里士多德的邏輯學創始人的地位是不容置疑的。他的聲望衍及後世，大約二千多年來三段論一直被邏輯學家公認為是最重要的論證類型。①
①參看羅伊德：《亞里士多德思想的成長與結構》，（台灣）聯經出版事業公司，第
76-
79頁。
亞里士多德自己對三段論理論的評價也很高：「每種證明、每種演繹推論（三段論）必須憑藉我們討論過的三個格而進行。」（《前分析篇》）這就是說，每種可能的演繹推論都是由一個或多個已為亞里士多德所分析過的那種類型的推論的鏈條所組成。這裡，亞里士多德很欣賞自己的傑作，實際上他是自認為建立了一門完美無缺的邏輯學。三段論理論的確很清楚，完整而簡明，但他創立這一理論時，也還不是完善的，他的自誇是有點過分了。因為還有許多難以計數的推論是亞里士多德的理論所不能解釋的。理由很簡單，他的推理理論建立在他的判斷理論基礎之上，後者的缺陷造成了前者的不足。
喬納遜·伯內斯很公正地評價了三段論：「《前分析篇》確實是一部天才的作品。雖然在亞里士多德系統內存在著一些內在的困難（最明顯的是他關於或然判斷的演繹的論述），行文中也包含著一些錯誤和模糊之處，但這些屬於白璧微瑕。總的說來，《前分析篇》是邏輯思想的範例，它是精緻的、系統的；它的推論井然有序、明白曉暢、嚴密無比；它達到了令人歎為觀止的概括水平，即使它不能再被認作是完整的邏輯，它也仍然能被推崇為是一個近乎完善的邏輯部門。」①
①喬納遜·伯內斯：《亞里士多德》，中國社會科學出版社，
1989年版，第
63-
64頁。
4. 關於證明
