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.
