Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la 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.