Manifestante de Stanhope

El Stanhope Demonstrator fue la primera máquina en resolver problemas de lógica. ^{[ 1 ]} Fue diseñado por Charles Stanhope, tercer conde Stanhope, para demostrar consecuencias en lógica de forma simbólica.

El primer modelo se construyó en 1775. Consistía en dos diapositivas de color rojo y gris montadas en un marco cuadrado de latón. Este modelo se podía utilizar para demostrar la solución de un problema silogístico en el que los objetos podían tener dos propiedades diferentes y la pregunta era cuántos tendrían ambas propiedades. Se utilizaban escalas marcadas del cero al diez para establecer la cantidad o proporción de objetos con las dos propiedades. ^{[ 2 ] [ 3 ] [ 4 ]} Esta forma de inferencia anticipó el silogismo numéricamente definido que Augustus De Morgan expuso en su libro Lógica formal en 1847. ^{[ 5 ]}

El dispositivo consistía en una placa de latón de aproximadamente cuatro pulgadas cuadradas montada sobre una pieza de caoba de tres cuartos de pulgada de espesor. Presentaba una abertura con una hendidura en la madera de aproximadamente una pulgada y media cuadrada y media pulgada de profundidad. Esta abertura se denominaba holón , que significa "todo", y representaba el conjunto completo de objetos en consideración. ^{[ 3 ]}

Se podía insertar una lámina de vidrio rojo translúcido desde la derecha a través del holón. Una lámina de madera gris podía deslizarse debajo de la lámina roja. Cuando el dispositivo se utilizaba para la «Regla para la lógica de la certeza», la lámina gris se insertaba desde la izquierda. Cuando se utilizaba para la «Regla para la lógica de la probabilidad», la lámina gris se insertaba desde arriba. Las láminas roja y gris representaban las dos proposiciones afirmativas que se combinaban. Stanhope las denominó ho y los . ^{[ 3 ]}

Se construyeron al menos cuatro de los dispositivos con este estilo cuadrado. ^{[ 3 ]} En 1879, Robert Harley escribió que tenía uno que le había regalado el bisnieto de Stanhope, Arthur , quien había conservado uno. ^{[ 3 ] [ 6 ]} Los otros dos eran propiedad de Henry Prevost Babbage , hijo de Charles Babbage , quien continuó su trabajo en la Máquina Analítica . ^{[ 3 ]} Uno de los dispositivos fue donado al Museo de Ciencias de Londres por el último conde en 1953. ^{[ 7 ]} Se construyeron otros estilos, como modelos circulares, pero estos eran menos convenientes. ^{[ 3 ] [ 8 ]}

• piano lógico
• Diagrama de Venn

• Demostrador de Stanhope Square, c. 1805. Museo de Ciencias, Londres.