Lógica formal, lógica dialéctica habría sido la introducción de un ambicioso tratado de materialismo dialéctico en el que se pretendía la concordia de distintos campos y ciencias que, asentados en la lógica formal, la lógica de lo abstracto, iban a ser articulados por la lógica dialéctica, la de las diferencias y oposiciones. Programado en ocho volúmenes, el proyecto no vio finalmente la luz a causa de que los ideólogos pretendidamente marxistas, sostenían que la lógica formal era la inherente al capitalismo, y por lo tanto, burguesa. A pesar del error y el vacío que supuso, la presente obra no es meramente una introducción ya que en el origen, tal como la lógica dialéctica muestra, está incluida la meta: la lectura de esta obra de Henri Lefebvre entraña, en sí, aquello que debió ser aquel ambicioso tratado de materialismo dialéctico.
Es autor de una importante obra en los campos de la sociología y la filosofía marxista, y en cierto modo figura referente de lo que ahora llamamos geografía crítica. Algunos de sus textos más conocidos son La producción del espacio, El derecho a la ciudad o Hegel, Marx y Nietzsche.
