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