亞里士多德將知識，或者說廣義的哲學分為三大類，理論知識、實踐知識和製作性的知識。

在這三大類知識之外，還有邏輯學，亞里士多德並沒有把邏輯學歸入這三類知識之中，因為邏輯學是所有科學研究的「工具」，是各個學科門類都要用到的東西，因此他的邏輯學著作被統稱為《工具論》。

尤其是他創立的謂詞邏輯的演繹推理規則，在人類文明史上屹立不倒，直到十九世紀末弗雷格和羅素提出數理邏輯，才算遇到了真正的挑戰。

所謂的演繹推理，就是一種論證形式，給定某些事情，就可以必然地推論出另一些事情。這裡強調的是必然性，也就是說，給定了前提的真實性，就必然能夠得出真實的結論，滿足了這一點，這個推理就是有效的推理。

舉一個最簡單的三段論的例子： 大前提是：所有人都是會死的。 小前提是：蘇格拉底是人。 結論就必然是：蘇格拉底是會死的。 在這個經典的三段論裡，三個詞項分別是人、會死和蘇格拉底，其中人出現了兩次，就是所謂的中項，而蘇格拉底和會死就是端項，結論就是這兩個端項在中項的作用下，連接到一起。

亞里士多德將任何一門科學中的基本前提稱為第一原理，也就是我們今天所說的公理。 這個第一原理或者公理，需要具備以下六個特徵：它必須是真實的、首要的、直接的、它必須比結論更清楚、它必須在邏輯上先於結論，並且能夠解釋結論。公理是用來證明其他結論的，而公理本身必然不是被證明出來的，否則整個科學體系就要陷入無限倒退或者無限循環了。從公理出發，運用邏輯規則進行演繹推理，就是亞里士多德所說的「科學證明」，也就是說，任何一門科學，都是一個從公理出發的演繹系統。

定義事物本質的方法＝屬＋種差

有個很有名的笑話，說柏拉圖把人定義為「沒有羽毛的兩足動物」，於是犬儒學派的第歐根尼拎過來一隻拔光了毛的公雞，說「這就是你要找的人！」這個笑話或許不足為信，但是很好地說明瞭找到恰當的種差其實並不是那麼容易。