Logika Zdaniem Arystotelesa celem nauki jest wyprowadzenie ( apodeiksis) stanu faktycznego z jego przyczyn. Ten proces ma dwie możliwe formy: wnioskowanie o szczególnych przypadkach ze znanej ogólnej reguły (dedukcja) i wnioskowanie o ogólnej regule ze znanych poszczególnych przypadków (indukcja). Poprawności wnioskowania miała natomiast służyć logika jako metoda porządkowania myślenia, jego formy, a nie treści (logika formalna). Arystoteles stworzył zupełny system tak zwanej teorii sylogizmu, która obecnie stanowi część klasycznego rachunku predykatów. Sam Arystoteles na oznaczenie tego, co dziś zwiemy logiką używał terminu analityka, rezerwując nazwę logika dla dialektyki, czyli sztuki prowadzenia dyskusji.
Pojęcia i kategorie Podstawowym elementem logiki arystotelesowskiej jest pojęcie, które odpowiada istniejącej w świecie rzeczywistym kategorii (rodzajowi). Pojęcie wprowadza definicja ( horismos) wskazująca nadrzędny rodzaj oraz różnicę gatunkową. Np. w definicji człowieka jako „istoty rozumnej” – „istota” jest nazwą nadrzędnej kategorii, a „rozumna” określa właściwość, która wyróżnia człowieka spośród innych istot.