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 no clásica
La lógica dialéctica es el sistema de leyes del pensamiento y la forma de razonar, desarrollado dentro de las tradiciones hegeliana y marxista, que busca hacer una mediación entre la lógica formal «pura» y el análisis dialéctico de las contradicciones en el movimiento. El "Diccionario soviético de filosofía" la define como la "ciencia acerca de las leyes y formas en que el desarrollo y el cambio del mundo objetivo se reflejan en el pensar, acerca de las leyes que rigen el conocimiento de la verdad" mientras que la lógica formal "se dedica a investigar las diversas formas de los juicios humanos, de los argumentos, interesándose sólo por si están o no construidos en consonancia con las reglas de la lógica".