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.
Dialéctica
A despecho del ejemplo citado en la matemática se ha preguntado a menudo hasta qué punto las ciencias formales, y específicamente la lógica, son dialécticas y están sometidas a las leyes enunciadas por el materialismo dialéctico. Engels se expresó al respecto de un modo un tanto ambivalente, pues mientras las leyes de referencia tienen, a su entender, un alcance verdaderamente universal, por otro lado las leyes dialécticas mismas constituyen un elemento invariable. Puesto que la lógica misma es dialéctica, parece que no cabe preguntar si la propia lógica dialéctica es o no dialéctica; no parece que se pueda negar la lógica dialéctica por otra lógica no dialéctica. Por otro lado, la negación de la negación de esta lógica dialéctica daría una lógica dialéctica supuestamente «superior». Son muchas las discusiones sobre la autonomía o heteronomía de la lógica formal dentro del materialismo dialéctico.