Cuando Aristóteles afirma en sus "Refutaciones Sofísticas" que es el inventor de la lógica, se refiere únicamente a la lógica formal representada en el silogismo.