El arte de la lógica y de su formalización ha sido siempre un ámbito t urbulento, cuya asombrosa vitalidad queda demostrada por las vehemente s polémicas que recorren su larga vida. Máquinas y diagramas lógicos t raza un panorama de esta fascinante historia, desde los diagramas de R amón Llull expuestos en su -Ars Magna- hasta el -demostrador- de Stanh ope, la máquina lógica de Jevons, la de Marquand, las simples tarjetas con ventanas y las investigaciones más recientes sobre inteligencia a rtificial.