Razonador de cálculo -Calculus ratiocinator
El cálculo razonador es un marco de cálculo lógico universal teórico, un concepto descrito en los escritos de Gottfried Leibniz , generalmente emparejado con su characteristica universalis , un lenguaje conceptual universal mencionado con más frecuencia .
Dos vistas
Hay dos puntos de vista contrastantes sobre lo que Leibniz quiso decir con cálculo razonador . El primero está asociado con el software de computadora , el segundo está asociado con el hardware de la computadora .
Vista analítica
El punto de vista recibido en la filosofía analítica y la lógica formal es que el cálculo razonador anticipa la lógica matemática, un "álgebra de la lógica". El punto de vista analítico entiende que el razonador de cálculo es un motor de inferencia formal o programa de computadora , que puede diseñarse para otorgar primacía a los cálculos. Esa lógica comenzó con la Begriffsschrift de Frege de 1879 y los escritos de CS Peirce sobre lógica en la década de 1880. Frege pretendía que su "guión conceptual" fuera un razonador de cálculo así como una característica universal . Esa parte de la lógica formal relevante para el cálculo se incluye en el título de teoría de la prueba . Desde esta perspectiva, el razonador de cálculo es sólo una parte (o un subconjunto) de las características universales , y una característica universal completa incluye un "cálculo lógico".
Vista sintética
Un punto de vista contrastante proviene de la filosofía sintética y campos como la cibernética , la ingeniería electrónica y la teoría general de sistemas . Es poco apreciado en la filosofía analítica. La visión sintética entiende el razonador de cálculo como una "máquina de calcular". El cibernético Norbert Wiener consideró al coeficiente de cálculo de Leibniz como un precursor de la computadora digital moderna:
"La historia de la máquina informática moderna se remonta a Leibniz y Pascal. De hecho, la idea general de una máquina informática no es más que una mecanización del razonador de cálculo de Leibniz ".
- Wiener (1948 , pág.214)
"... como su predecesor Pascal, [Leibniz] estaba interesado en la construcción de máquinas de computación en el Metal ... así como el cálculo de la aritmética se presta a una mecanización que progresa a través del ábaco y la máquina de computación de escritorio hasta el ultra -Máquinas informáticas rápidas de la actualidad, por lo que el cálculo ratiocinator de Leibniz contiene los gérmenes de la machina ratiocinatrix , la máquina de razonar ”.
- Wiener (1965 , pág.12)
Leibniz construyó una máquina de este tipo para los cálculos matemáticos, que también se denominó "calculador escalonado ". Como máquina de computación, el razonador de cálculo ideal realizaría el cálculo integral y diferencial de Leibniz. De esta forma se aclara el significado de la palabra "ratiocinator" y se puede entender como un instrumento mecánico que combina y compara ratios.
Mecanismo interno del contador escalonado
Réplica contemporánea del calculador escalonado
Hartley Rogers vio un vínculo entre los dos, definiendo el cálculo ratiocinator como "un algoritmo que, cuando se aplica a los símbolos de cualquier fórmula de la characteristica universalis , determinaría si esa fórmula era verdadera o no como un enunciado científico".
Una discusión clásica del cálculo ratiocinator es la de Louis Couturat , quien sostenía que la characteristica universalis - y por tanto el cálculo ratiocinator - eran inseparables del proyecto enciclopédico de Leibniz. De ahí que las características , el cálculo ratiocinator y la enciclopedia forman tres pilares del proyecto de Leibniz.
Ver también
Referencias
Bibliografía
- Couturat, Louis (1901). La Logique de Leibniz . Traducido por Rutherford, Donald. París: Felix Alcan.
- Rogers, Hartley, Jr. (1963). "Un ejemplo en lógica matemática". The American Mathematical Monthly . 70 (9): 929–945.
- Wiener, Norbert (1948). "Tiempo, comunicación y sistema nervioso". Anales de la Academia de Ciencias de Nueva York . 50 (4): 197–219.
- Wiener, Norbert (1965). La cibernética o el control y la comunicación en el animal y la máquina (2, edición de bolsillo). La prensa del MIT .
- Fearnley-Sander, Desmond (1982). "Hermann Grassmann y la prehistoria del álgebra universal". The American Mathematical Monthly . 89 (3): 161-166.