Nesta obra, Aristóteles estabelece o instrumento da lógica formal, base do pensamento científico. Contrapondo-se à maneira discursiva dos diálogos, consagrada por Platão, o filósofo inaugura um novo pensar como forma de alcançar a verdade das coisas. Ao definir dez categorias (substância, quantidade, qualidade, relação, lugar, tempo, posição, estado, ação e paixão) para classificar tudo o que existe, Aristóteles propõe elementos que podem ser apreendidos diretamente pelo pensador, sem necessidade de demonstração. Assim, estabelece um modelo dedutivo fundamental para a elaboração do conhecimento científico. Categorias é um misto de estudos lógicos e linguísticos essencial para os estudiosos.