“La lógica es el arte de equivocarse con confianza” (J. W. Krutch)

La lógica es una ciencia formal y que por tanto, no tiene contenido, sino que simplemente estudia las formas válidas de inferencia. Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.

La lógica tradicional, es una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La lógica tradicional, se basa en el silogismo como razonamiento basado en el juicio categórico aristotélico. Hoy día la lógica utiliza como unidad básica la proposición y las reglas de inferencia en la argumentación discursiva.