Ábaco lógico - Logical abacus
Un ábaco lógico es una computadora digital mecánica .
También se conoce como una "máquina lógica", el ábaco lógico es análoga a la ordinaria (matemática) ábaco . Se basa en el principio de 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 la solución de términos lógicos. problemas. Estos instrumentos son todos desarrollos más o menos elaborados de la "pizarra lógica", en la que estaban escritas en columnas verticales todas las combinaciones de símbolos o letras que lógicamente podrían estar hechas de un número definido de términos. Estos se compararon con cualquier premisa dada y se tacharon las incompatibles. En el ábaco, las combinaciones están inscritas cada una en una sola barra de madera o sustancia similar, que se mueve con una llave; Por tanto, las combinaciones incompatibles pueden eliminarse mecánicamente a voluntad, de acuerdo con cualquier serie de premisas.
Los principales ejemplos de tales máquinas son los de William Stanley Jevons ( piano lógico ), John Venn y Allan Marquand .
Referencias
- Chisholm, Hugh, ed. (1911). Encyclopædia Britannica (11ª ed.). Prensa de la Universidad de Cambridge. .
- William Stanley Jevons, Element. Lecciones de lógica , c. xxiii.
- Allan Marquand, Academia Estadounidense de Artes y Ciencias , 1885, págs. 303–7.
- Allan Marquand, Estudios de lógica de la Universidad Johns Hopkins , 1883).
- Barrett, Lindsay; Connell, Matthew (2005), "Jevons y el 'piano ' lógico " , Rutherford Journal , 1.
- William Stanley Jevons (1869). La sustitución de similares, el verdadero principio del razonamiento, derivó de una modificación de la máxima de Aristóteles . Londres: MacMillan. - En la p.55f, Jevons da una descripción de su ábaco lógico.
Este artículo incorpora texto de una publicación que ahora es de dominio público : Chisholm, Hugh, ed. (1911). " Ábaco ". Encyclopædia Britannica . 1 (11ª ed.). Prensa de la Universidad de Cambridge. págs. 5-6.