Lógica formal, lógica dialéctica habría sido la introducción a 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 mantuvieron que la lógica formal era la inherente al capitalismo y, por lo tanto, era burguesa. A pesar del error y el vacío que supuso que este extraordinario proyecto se malograra, la presente obra no es meramente la introducción que supuestamente tendría que ser, ya que en el origen, tal como la lógica dialéctica muestra, está incluida la meta: esta obra de henri lefebvre ejemplifica, en sí, aquello que debió ser aquel ambicioso tratado de materialismo diatéctico.