4. Ο Αριστοτέλης διατύπωσε τους βασικούς νόμους της λογικής,

τον νόμο της ταυτότητας,

τον νόμο της (μη) αντίφασης και

τον νόμο της του τρίτου αποκλείσεως.

Με τους νόμους αυτούς και με τις θεωρίες του για τις λογικές κατηγορίες, για τις έννοιες, για τις κρίσεις και για τους συλλογισμούς θεμελίωσε την τυπική λογική τα θεμέλια της οποίας εξακολουθούν να χρησιμοποιούν οι άνθρωποι.

Ένας από τους σοβαρότερους λόγους της παγκόσμιας φήμης του Αριστοτέλη είναι το ότι πρότεινε και επέβαλε το δόγμα για τις Κατηγορίες. Το τι ακριβώς σήμαινε αυτό το δόγμα αλλά και το τι ακριβώς είναι οι ΚΑΤΗΓΟΡΙΕΣ είναι ένα μάλλον σκοτεινό ζήτημα. Το γεγονός όμως είναι ότι ο Κατηγορίες παίζουν έναν ιδιαίτερο ρόλο τόσο στη ΛΟΓΙΚΗ του Αριστοτέλη όσο και στην ΟΝΤΟΛΟΓΙΑ .