Ábaco lógico

Un ábaco lógico es una computadora digital mecánica.

Piano Lógico de Jevons en el Museo Powerhouse de Sydney en 2006

También conocido como "máquina lógica", el ábaco lógico es análogo al ábaco ordinario (matemático). Se basa en el principio de las tablas de verdad.

Está construido para mostrar todas las combinaciones posibles de un conjunto de términos lógicos con sus negativos y, además, la forma en que estas combinaciones se ven afectadas por la adición de atributos u otras palabras limitantes, es decir, para simplificar mecánicamente el solución de problemas lógicos. Estos instrumentos son todos desarrollos más o menos elaborados de la "pizarra lógica", en la que se escribieron en columnas verticales todas las combinaciones de símbolos o letras que podían formarse lógicamente a partir de un número definido de términos. Estos se compararon con cualquier premisa dada, y los que eran incompatibles se tacharon. En el ábaco las combinaciones se inscriben cada una en un solo trozo de madera o sustancia similar, que se mueve con una llave; las combinaciones incompatibles pueden así eliminarse mecánicamente a voluntad, de acuerdo con una serie dada de premisas.

Los principales ejemplos de tales máquinas son los de William Stanley Jevons (piano lógico), John Venn y Allan Marquand.