Máquina lógica

Una máquina lógica o ábaco lógico es una herramienta que contiene un conjunto de piezas que utiliza energía para realizar operaciones lógicas formales mediante el uso de tablas de verdad . Las primeras máquinas lógicas eran dispositivos mecánicos que realizaban operaciones básicas de lógica booleana . Los principales ejemplos de dichas máquinas son las de William Stanley Jevons ( piano lógico ), ^{[1] [2]} John Venn , ^[3] y Allan Marquand . ^{[4] [5]}

Las máquinas lógicas contemporáneas son programas electrónicos basados ​​en computadoras que brindan asistencia para la demostración de teoremas en lógica matemática. En el siglo XXI, estos programas de asistencia para la demostración han dado origen a un nuevo campo de estudio llamado gestión del conocimiento matemático .

Las primeras máquinas lógicas fueron construcciones mecánicas construidas a finales del siglo XIX. William Stanley Jevons inventó la primera máquina lógica en 1869, el piano lógico. ^[6] En 1883, Allan Marquand inventó una nueva máquina lógica que realizaba las mismas operaciones que el piano lógico de Jevons, pero con mejoras en la simplificación del diseño, la portabilidad y los controles de entrada y salida. ^[7]

El ábaco lógico se construye 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 problemas lógicos. Estos instrumentos son todos desarrollos más o menos elaborados de la "pizarra lógica", en la que se escribían en columnas verticales todas las combinaciones de símbolos o letras que podían formarse lógicamente a partir de un número determinado de términos. Se comparaban con unas premisas dadas y se tachaban las que eran incompatibles. En el ábaco, las combinaciones se inscribían cada una en una única tira de madera o sustancia similar, que se movía con una llave; de ​​este modo, las combinaciones incompatibles se podían eliminar mecánicamente a voluntad, de acuerdo con una serie dada de premisas.

• Allan Marquand
• William Stanley Jevons
• Lógica para computabilidad

 Este artículo incorpora texto de una publicación que ahora es de dominio público :  Chisholm, Hugh , ed. (1911). "Ábaco". Encyclopædia Britannica . Vol. 1 (11.ª ed.). Cambridge University Press. págs. 5–6.

• Bennett, Deborah (2005). La lógica simplificada: cómo saber cuándo el lenguaje te engaña . WW Norton & Company. pág. 163. ISBN 0393326926. Máquina lógica de Allan Marquand.
• Marquand, Allan
  • (1883), "Una máquina para producir variación silogística" en C. S. Peirce, ed., Studies in Logic , pp. 12-15, junto con "Nota sobre una máquina lógica de ocho términos", p. 16. Google Books Eprint. Libro reimpreso en 1983 con introducción de Max Fisch.
  • (1886), "Una nueva máquina lógica", Actas de la Academia Estadounidense de Artes y Ciencias 21 : 303–07. Google Libros Eprint.
• Peirce, C.S.
  • (carta de 1886), Carta de Peirce a A. Marquand, 30 de diciembre de 1886, publicada en 1993 en Kloesel, C. et al., eds., Writings of Charles S. Peirce: A Chronological Edition , vol. 5. Indiana Univ. Press, págs. 421–3. Vista previa de Google Books.
  • (1887), "Máquinas lógicas", The American Journal of Psychology v. 1, n. 1, Baltimore: N. Murray, págs. 165–70. Google Books Eprint. Reimpreso en (1976) The New Elements of Mathematics v. III, pt. 1, págs. 625–32; (1997) Modern Logic 7:71–77, Project Euclid Eprint; y (2000) Writings of Charles S. Peirce v. 6, págs. 65–73.
• Baldwin, Mark James (1902), "Máquina lógica", Diccionario de filosofía y psicología , pp. 28–30 Google Libros Eprint. Clásicos en la historia de la psicología Eprint.
• Ketner, Kenneth Laine (1984), "La historia temprana del diseño de computadoras: las máquinas lógicas de Charles Sanders Peirce y Marquand", con la asistencia de Arthur Franklin Stewart, Princeton University Library Chronicle , v. 45, n. 3, págs. 186–211. PULC 15MB PDF Eprint.
• Dalakov, Georgi (sin fecha), "Charles Peirce y Allan Marquand", Historia de las computadoras y la informática . Eprint.

• Jevons, William Stanley (1869). La sustitución de los semejantes, el verdadero principio del razonamiento, derivado de una modificación del dictamen de Aristóteles. Londres : MacMillan – vía Internet Archive .— En la página 55 y siguientes, Jevons da una descripción de su ábaco lógico.