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.
