Mecanismo interno del computador escalonado- Réplica contemporánea del contador escalonado
El cálculo razonador es un marco teórico de cálculo lógico universal, un concepto descrito en los escritos de Gottfried Leibniz , usualmente emparejado con su más frecuentemente mencionada characteriza universalis , un lenguaje conceptual universal.
Existen dos puntos de vista opuestos sobre lo que Leibniz entendía por cálculo razonador . El primero se relaciona con el software de la computadora , el segundo con el hardware de la computadora .
El punto de vista recibido en la filosofía analítica y la lógica formal es que el razonador del cálculo anticipa la lógica matemática —un "álgebra de la lógica". [1] El punto de vista analítico entiende que el razonador del cálculo es un motor de inferencia formal o programa de computadora , que puede diseñarse de modo que otorgue 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 del cálculo así como una característica universal . Esa parte de la lógica formal relevante para el cálculo se incluye en el encabezado de teoría de la prueba . Desde esta perspectiva, el razonador del cálculo es solo una parte (o un subconjunto) de las características universales , y una característica universal completa incluye un "cálculo lógico".
Un punto de vista opuesto surge de la filosofía sintética y de 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 que el cálculo razonador se refiere a una "máquina de calcular". El cibernético Norbert Wiener consideró que el cálculo razonador de Leibniz era un precursor de la computadora digital moderna:
"La historia de la máquina de cálculo moderna se remonta a Leibniz y Pascal. De hecho, la idea general de una máquina de cálculo no es otra cosa que una mecanización del cálculo razonador de Leibniz ."
— Wiener (1948, pág. 214)
"...al igual que su predecesor Pascal, [Leibniz] estaba interesado en la construcción de máquinas de computación en el Metal. ... así como el cálculo aritmético se presta a una mecanización que progresa a través del ábaco y la máquina de computación de escritorio hasta las máquinas de computación ultrarrápidas de la actualidad, así también el cálculo razonador de Leibniz contiene los gérmenes de la machina ratiocinatrix , la máquina de razonamiento".
— Wiener (1965, pág. 12)
Leibniz construyó precisamente una máquina de este tipo para realizar cálculos matemáticos, a la que también se llamó " calculador por pasos ". Como máquina de cálculo, el raciocinador de cálculo ideal realizaría el cálculo integral y diferencial de Leibniz. De esta manera se aclara el significado de la palabra "raciocinador" y se puede entender como un instrumento mecánico que combina y compara razones.
Hartley Rogers vio un vínculo entre ambos, definiendo el cálculo razonador como "un algoritmo que, cuando se aplica a los símbolos de cualquier fórmula de la characteria universalis , determinaría si esa fórmula era verdadera o no como enunciado de la ciencia". [2]
Una discusión clásica del calculus ratiocinator es la de Louis Couturat , [3] quien sostuvo que las characterisa universalis —y por lo tanto el calculus ratiocinator— eran inseparables del proyecto enciclopédico de Leibniz. [4] Por lo tanto, las characterisas , el calculus ratiocinator y la enciclopedia forman tres pilares del proyecto de Leibniz.
