Se trata de un tratado de lógica dedicado al estudio de los juicios o proposiciones, que viene a ser la continuación natural de las "Categorías", dedicadas al estudio de la predicación.