La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.

La lógica es un uso especial del lenguaje que está relacionado con el sentido y la exactitud de lo que decimos. En concreto, es la disciplina que estudia la estructura, fundamento y uso de las expresiones del conocimiento humano.

El lenguaje puede emplearse de distintas formas: para pedir algo, o para avisar a alguien, para describir algo que hemos visto o simplemente para expresar una sensación, como cuando gritamos al quemarnos. Aristóteles, que es considerado el pionero en el estudio de la Lógica y su creador en su forma clásica, la consideraba como el arte de la argumentación correcta y verdadera. Siguiendo la definición clásica de lógica, podemos decir que se trata de la ciencia -o el estudio- que trata sobre los razonamientos correctos. Durante muchos siglos se desarrolló también un importante desarrollo sobre los razonamientos incorrectos o falacias, emitidos muchas veces con el ánimo de confundir el razonamiento o el debate con otros interlocutores.