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
Según los partidarios de la lógica empírica, la lógica comienza a través de la observación de las relaciones entre los objetos percibidos y sus variaciones relativas y se convierte en la base ideal para poder establecer las leyes del conocimiento, entendido este tanto en su vertiente teórica como práctica. Creen que la lógica comenzó con el desarrollo de la cultura y las diversas civilizaciones en la creación de instrumentos y sus aplicaciones prácticas en el dominio de la naturaleza en torno a la caza, la agricultura, la navegación, la medicina entre otras.