Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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.