Calculemos: una escritura de los pensamientos para zanjar las disputas
¡Calculemus! (la característica universal)
Así, cuando surja una controversia, no habrá más necesidad de disputa entre dos filósofos que entre dos contables: bastará con decir «calculemos».
Si los pensamientos se escriben mediante signos, razonar se convierte en calcular, y un razonamiento erróneo no es más que un error de cálculo.
«Calculemos: una escritura de los pensamientos para zanjar las disputas» es un argumento de Gottfried Wilhelm Leibniz (Scientia generalis, Characteristica (Gerhardt VII, pp. 200, 204-205), 1666) sobre la pregunta «¿Puede pensar una máquina?» (respuesta: pensar es calcular). Su tesis: Así, cuando surja una controversia, no habrá más necesidad de disputa entre dos filósofos que entre dos contables: bastará con decir «calculemos». Según la verificación lógica de AskPhilosophy (solucionador Z3), el argumento es válido solo si se admite una premisa que el autor no formula (P4, P5). AskPhilosophy presenta 2 objeciones, 1 de ellas con una réplica documentada, y el texto original de cada premisa, verificado palabra por palabra.
Leibniz sueña con una escritura en la que cada idea estaría marcada por un carácter, como los números en la aritmética. Entonces una disputa entre dos filósofos se resolvería como una cuenta: uno se sienta, calcula, comprueba. Este proyecto es el antepasado de la lógica formal y de la idea de que una máquina podría manejar el pensamiento como un cálculo. El propio Leibniz construyó una máquina de calcular, pero no dice que una máquina piense.
haz clic en una premisa para rechazarla
Sin la premisa implícita: Sin P4 y P5, el ordenador encuentra un caso en el que la escritura existe y todo razonamiento falso es un error de cálculo, pero en el que el desacuerdo versa sobre otra cosa (valores, definiciones de partida): el cálculo es correcto en ambos lados y la disputa permanece intacta.
Objeciones
2Cada objeción es una conversación: haz clic para ver quién responde y en qué punto está el debate.
Kurt Gödel 1931 · ataca la conclusiónGödel demuestra que, en todo sistema formal coherente lo bastante rico como para contener la aritmética, existen enunciados que el sistema no puede ni demostrar ni refutar. Por tanto, ningún cálculo universal puede resolver todas las cuestiones, ni siquiera las matemáticas.
un defensor responde
Gödel demuestra que, en todo sistema formal coherente lo bastante rico como para contener la aritmética, existen enunciados que el sistema no puede ni demostrar ni refutar. Por tanto, ningún cálculo universal puede resolver todas las cuestiones, ni siquiera las matemáticas.
El propio Leibniz (el molino, 1714) 1714 · ataca la conclusiónHay una tensión en la propia obra de Leibniz. Si razonar es solo calcular con caracteres, unas piezas podrían hacerlo. Sin embargo, en la Monadología escribe que, al entrar en una máquina agrandada como en un molino, solo se verían piezas que se empujan unas a otras, nunca algo que explique una percepción.
sin respuesta
Hay una tensión en la propia obra de Leibniz. Si razonar es solo calcular con caracteres, unas piezas podrían hacerlo. Sin embargo, en la Monadología escribe que, al entrar en una máquina agrandada como en un molino, solo se verían piezas que se empujan unas a otras, nunca algo que explique una percepción.