de

The view

El punto de vista recibido en la filosofía analítica y la lógica formal, es que el ratiocinator del cálculo del anticipa el &mdash de la lógica matemática ; un " álgebra del logic" (Fearnley-Chorreadora 1982: p. ¡El punto de vista analítico entiende que el ratiocinator del cálculo del es un motor de inferencia formal o programa de computadora que se puede diseñar para conceder primacía a los cálculos. Esa lógica comenzó con escrituras de s de Frege 'el 1879 del de s Begriffsschrift de y Peirce Charles 'del en lógica en los 1880s. El Frege pensó su " script" del concepto; para ser un ratiocinator del cálculo del así como un characteristica de la lengua. Esa parte de lógica formal relevante al cálculo viene bajo título de la teoría de la prueba. De esta perspectiva el ratiocinator del cálculo del es solamente una parte (o un subconjunto) del universal característico del, y un universal completo característico del incluye un " calculus" lógico;.

de

The view

Un punto de vista contrasting proviene la filosofía y campos sintéticos tales como cibernética, ingeniería electrónica y teoría de sistemas general . Se aprecia poco en la filosofía analítica. La visión sintética entiende el ratiocinator del cálculo del como referir a un " cálculo de machine." La salchicha de Francfort cibernética de Norberto consideraba el ratiocinator del cálculo del de Leibniz un precursor a la calculadora numérica del día moderno:

La historia de la máquina de computación moderna vuelve a Leibniz y a Pascal. De hecho, la idea general de una máquina de computación no es nada sino una mecanización del ratiocinator del cálculo del de Leibniz. (1948:214 de la salchicha de Francfort)

… como su precursor Pascal, estaba interesado en la construcción de las máquinas de computación en el metal. … apenas pues el cálculo del aritmético se presta a una mecanización que progresa en el ábaco y la máquina de computación del escritorio a las máquinas de computación utra-rápidas del hoy, así que el ratiocinator del cálculo del de Leibniz contiene los gérmenes del ratiocinatrix, la máquina del razonamiento (el 1965:12 de Machina de la salchicha de Francfort) el

Leibniz del construyó apenas tal máquina (cuadro picture2) para los cálculos matemáticos que también fue llamada un caminó el Reckoner . Como máquina de computación, el ratiocinator ideal del cálculo del realizaría el cálculo integral y diferenciado de Leibniz. De esta manera el significado de la palabra, " ratiocinator" se aclara y puede ser entendido como instrumento mecánico que combine y compare cocientes.

Implicaciones

Por otra parte cualquier filosofía natural unificada (es decir ciencia unificada ) debe poder explicar la diferencia entre las dos opiniónes arriba.Hartley vio un acoplamiento entre los dos, definiendo el ratiocinator del cálculo del como " un algoritmo que, cuando estaba aplicado a los símbolos de cualquier fórmula de los universalis del characteristica, determinaría independientemente de si esa fórmula era verdad como declaración del science" (Hartley Rogers, Jr. Una cierta clarificación se pudo encontrar en el hecho de que los componentes electrónicos necesitan tener grados eléctricos de la impedancia muy alto para realizar lógica boleana . Esto da lugar mismo a pequeñas cantidades de flujo de energía de la corriente eléctrica . No obstante las ciencias ecológicas, el dirigir y de sistemas generales macroscópicas que emplean el razonamiento sintético, característico se refieren a flujos de energía más grandes.

Una discusión clásica del ratiocinator del cálculo del es Couturat (1901: chpts.4), que mantuvieron que los universalis del characteristica del --y así el ratiocinator del cálculo del --eran inseparable del proyecto enciclopédico de Leibniz (chpt. Por lo tanto el, el ratiocinator del cálculo del, y los pilares característicos de la forma tres de la enciclopedia de la aclaración de Leibniz proyecta .

Si uno entiende el ratiocinator del cálculo del como lógica formal o como máquina calculadora, por lo tanto tiene ambas implicaciones y affectos metafísicos cómo uno ve su relación a los universalis del characteristica del de Leibniz, a la enciclopedia, y al proyecto inacabado de la aclaración. Si uno entiende el ratiocinator del cálculo del como un precursor de la calculadora numérica, después el acoplador de la calculadora numérica y de la enciclopedia, es decir Wikipedia o similares, es un resultado necesario de la aclaración.