第88頁
亞里士多德在《前分析篇》中提出了彪炳千古的三段論理論，這是他在邏輯上最重要的貢獻。三段論被看作形式邏輯必不可少的基礎，亞里士多德把研究三段論作為科學方法研究的一個階段。在他之前，柏拉圖研究過「劃分」的方法，這方法與三段論有關，被後人認為是三段論的雛形，並影響到亞里士多德創立三段論。他自己也說：「劃分好比是一種弱的三段論，因為它預定了所要證明的東西，並且總是推出比所討論的屬性更廣泛的東西。」（《前分析篇》）雛形也好，影響也好，「劃分」總不是三段論，所以學術界都認為三段論是亞里士多德首創。羅斯說，三段論完全屬於亞里士多德，這個詞儘管在柏拉圖那裡已出現，但那不是亞里士多德所給定意義上出現的，而且也沒有對推理過程給出一般的描述，黑格爾說：「亞里士多德是考察並描述三段論的各種形式和所謂的主觀意義的第一人。他做得那樣嚴密和正確，以致從來沒有人在本質上對他的研究成果有所增加。」①
①黑格爾：《小邏輯》，三聯書店，
1954年版，第
364頁。
亞里士多德關於三段論的論述，主要集中在《前分析篇》中，重點在上卷，其中第l—
7章討論的是直言三段論，第
8—
22章探討模態三段論，
23章以後是對三段論的補充說明。他把三段論稱為「分析的三段論」，把三段論以外的推理稱為「非分析」的推理。他是這樣定義三段論的：
「三段論是一種論證，其中只要確定某些論斷，那麼某些異於它們的事物便可以必然地從如此確定的論斷中推出。」（《前分析篇》）三段論，就是指從前提必然可以得出結論的思維形式。在討論三段論時，亞里士多德涉及到三段論與演繹必然性的關係，他說：「‘必然’的含義比三段論要廣。因為所有的三段論都是必然的，但不能說所有必然的都是三段論。」（《前分析篇》）這裡的「必然」，在亞里士多德看來是演繹必然性。很明顯，三段論僅僅是演繹必然性的一種，雖然他主要討論了三段論，但不能由此得出亞里士多德只知道三段論而否定其他類型的演繹推理。實際上，亞里士多德已看到一般演繹必然性與三段論具有類屬的關係。他的看法是正確的，形式邏輯的發展，證明了這一點。
