Aristóteles también formalizó el cuadro de oposición de los juicios y categorizó las formas válidas del silogismo.