Lógica aristotélica
La lógica aristotélica, también conocida como lógica tradicional, es un sistema formal de razonamiento desarrollado por el filósofo griego Aristóteles. Está basada en el principio del tercero excluido y en el silogismo, que es una forma de argumento deductivo. Esta lógica ha sido fundamental en el desarrollo de la filosofía, la ciencia y el pensamiento occidental.