Hispanopedia Wiki
Articulo de referencia

Máquina lógica

El piano Logic de Jevons en el Museo Powerhouse de Sídney en 2006. Una máquina lógica o ábaco lógico es una herramienta que contiene un conjunto de partes que utiliza energía pa...

Hispanopedia WikiContenido en espanolLectura gratuita
El piano Logic de Jevons en el Museo Powerhouse de Sídney en 2006.

Una máquina lógica o ábaco lógico es una herramienta que contiene un conjunto de partes 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 en lógica booleana . Los principales ejemplos de tales 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 informáticos que facilitan 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 denominado gestión del conocimiento matemático .

Orígenes

Las primeras máquinas lógicas fueron construcciones mecánicas creadas 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/salida. [ 7 ]

Un ábaco lógico se construye para mostrar todas las combinaciones posibles de un conjunto de términos lógicos con sus negaciones y, además, cómo 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, en mayor o menor medida, desarrollos 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. Estas se comparaban con cualquier premisa dada, y las incompatibles se tachaban. En el ábaco, las combinaciones se inscriben cada una en una sola ficha de madera o material similar, que se mueve mediante una llave; de ​​este modo, las combinaciones incompatibles pueden eliminarse mecánicamente a voluntad, de acuerdo con cualquier serie de premisas dada.

Véase también

Referencias

  1. ↑ Jevons, William Stanley . "xxiii". Lecciones elementales de lógica .
  2. ↑ Barrett, Lindsay; Connell, Matthew (2005). "Jevons y el 'Piano' de Logic"" . Rutherford Journal . 1 .
  3. ↑ Venn, John (1894). Lógica simbólica (2.ª ed.). Londres : Macmillan. p. 135 y ss . – vía Internet Archive .  
  4. ↑ Marquand, Allan (1883). Estudios de lógica de la Universidad Johns Hopkins .
  5. ↑ Marquand, Allan (1885). Academia Estadounidense de Artes y Ciencias . págs. 303–7 . 
  6. ↑ Bennett 2005 , págs. 162–3.
  7. ↑ Bennett 2005 , pág. 163.

Bibliografía

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). 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., Estudios de lógica , 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 Books Eprint .
  • Peirce, CS
    • (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, pp.  165–70. Google Books Eprint . Reimpreso en (1976) The New Elements of Mathematics v. III, pt. 1, pp.  625–32; (1997) Modern Logic 7:71–77, Project Euclid Eprint ; y (2000) Writings of Charles S. Peirce v. 6, pp.  65–73.
  • Baldwin, Mark James (1902), "Máquina lógica", Diccionario de filosofía y psicología , págs.  28–30 Google Books Eprint . Clásicos en la historia de la psicología Eprint .
  • Ketner, Kenneth Laine (1984), "La historia temprana del diseño de computadoras: Charles Sanders Peirce y las máquinas lógicas de Marquand", con la asistencia de Arthur Franklin Stewart, Princeton University Library Chronicle , vol. 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 .

Lecturas adicionales

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