O documento discute juízos categóricos e proposições predicativas categóricas. Explica que um juízo é a atribuição de um atributo a um conceito através de uma cópula. As proposições são expressões lógicas de juízos. Há quatro tipos de proposições categóricas dependendo da quantidade e qualidade dos termos: A (universal afirmativa), I (particular afirmativa), E (universal negativa) e O (particular negativa). Alguns termos podem estar distribuídos dependendo do tipo de proposição.