La lógica ha sido, desde sus inicios en la filosofía griega, una herramienta fundamental para la construcción del conocimiento. Aristóteles, considerado el padre de la lógica formal en la filosofía occidental, sentó las bases de una disciplina que con el tiempo se ha expandido y evolucionado, influyendo en campos tan diversos como la computación, la inteligencia artificial y la argumentación política.