Les
Catégories est une des œuvres majeures d'
Aristote qui a été placée en tête de son
Organon (l'ensemble de ses traités de
logique). Aristote développe dans ce traité les bases de sa logique et de son
ontologie, en étudiant la façon dont l'être peut se dire dans le langage, particulièrement dans la
langue grecque. Le terme de « catégorie » provient du verbe grec
categorein, qui signifie « accuser ». Les catégories seront ainsi les modes d'accusation de l'être, c'est-à-dire les différentes façons de signifier et de désigner
ce qui est en général. L'élaboration des premiers éléments du discours sur l'être dans ce traité pose les bases de la théorie des propositions prédicatives (ou jugements), théorie qui sera exposée dans le traité qui suit les
Catégories, à savoir le traité
De l'interprétation, et qui sera formalisée par les logiciens modernes à la fin du et au début du , sous le nom de
calcul des prédicats. Les
Catégories serviront, d'une part, de base pour la discussion de thèses
ontologiques et
épistémologiques à travers toute l'
histoire de la philosophie, et, d'autre part, comme .