El arte de la lógica y de su formalización ha sido siempre un ámbito turbulento, cuya asombrosa vitalidad queda demostrada por las vehementes polémicas que recorren su larga vida. Máquinas y diagramas lógicos traza un panorama de esta fascinante historia, desde los diagramas de Ramón Llull expuestos en su «,Ars Magna», hasta el «,demostrador», de Stanhope, la máquina lógica de Jevons, la de Marquand, las simples tarjetas con ventanas y las investigaciones más recientes sobre inteligencia artificial.