Es la lógica desarrollada por Aristóteles, la cual estudia el silogismo (un tipo especial de deducción) y lo formaliza de acuerdo a su estructura sin preocuparse de su contenido o significado. Aristóteles identificó cuatro estructuras básicas del silogismo y de ellas derivó todos los silogismos posibles.
