En lo que sigue examinaremos la teoría de Peirce sobre las categorías, o los principales modos de ser ontológicamente (y, por tanto, de predicarse lógicamente) que pueden tener las cosas.