Zdaniem Arystotelesa celem nauki jest wyprowadzenie (ἀπόδειξις apodeiksis) stanu faktycznego z jego przyczyn. Ten sprawa sądowa ma duet możliwe formy: wyprowadzenie o szczególnych przypadkach ze znanej ogólnej reguły (dedukcja) również inferencja o ogólnej regule ze znanych poszczególnych przypadków (indukcja). Poprawności wnioskowania miała przeciwnie zaś sprzyjać logika w charakterze procedura porządkowania myślenia według jego formy, natomiast nie treści (logika formalna). Arystoteles stworzył zupełny układ w taki sposób zwanej teorii sylogizmu, która współcześnie stanowi rozmiary klasycznego rachunku predykatów. Sam Arystoteles na wskazanie tego, co współcześnie zwiemy logiką używał terminu analityka, rezerwując nazwę logistyka na rzecz dialektyki, innymi słowy sztuki prowadzenia dyskusji.