Lógica
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.
Lógica empírica
La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la Antigua Grecia, siendo su máximo exponente el propio Aristóteles. El término "empírico" deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ, en, y πεἳρα, prueba, experimento. Su origen se inicia con la observación de las relaciones entre los objetos, lo que la convierte en la base ideal para las leyes del conocimiento. Su aparición en la Antigua Grecia y el mundo árabe provoca la definitiva separación entre las ciencias formales (geometría, álgebra) de las ciencias empíricas (zoología, botánica) y las ciencias aplicadas (ingeniería, medicina). Su paso a través de la historia provoca el descubrimiento de la lógica experimental y se mantiene hasta nuestros días. Observación.