a quien se le atribuye la logica formal
Aristóteles es considerado el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. Fue el primero en formalizar los razonamientos, utilizando letras para representar términos. También fue el primero en emplear el término «lógica» para referirse al estudio de los argumentos dentro del «lenguaje apofánico» como manifestador de la verdad en la ciencia. Sostuvo que la verdad manifiesta en el juicio verdadero y el argumento válido en el silogismo: «Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente».