A kategóriák a legáltalánosabb fogalmak, egyszersmind a lét legáltalánosabb vonatkozásai. A fogalmakból épülnek fel az ítéletek, az ítéletekből a következtetések, a következtetésekből pedig az induktív vagy deduktív bizonyítás. Arisztotelész, a formális logika megteremtője, tíz kategóriát - szubsztancia, mennyiség, minőség, viszony, hely, idő, helyzet, birtoklás, cselekvés, elszenvedés - különböztet meg, s ezeket fejti ki a „Kategóriák" című könyvében, amely az „Organon" első logikai tanulmánya.