Mi pregunta es si hay alguna lógica simbólica concreta en la base del razonamiento humano, algo muy rudimentario, pero aún formal . La pregunta se puede ver en el contexto del artículo que figura a continuación.
Consulte el siguiente artículo de Wilfried Sieg: Godel on Computbility En la página 12 de 19, párrafo 2, el autor escribe:"En un sentido profundo, ni Church ni Gödel reconocieron el carácter genuinamente distintivo del análisis de Turing, es decir, el paso de los cálculos motivados por la aritmética a los procesos simbólicos generales que los subyacen. Lo que es más importante en el contexto intelectual dado, estos procesos tienen que llevarse a cabo programáticamente. por seres humanos: el Entscheidungsproblem debía ser resuelto por nosotros de una manera mecánica; fue la exigencia normativa de intersubjetividad radical entre humanos lo que motivó el paso de los sistemas axiomáticos a los formales. computadoras de manera crucial y explota las limitaciones de sus capacidades de procesamiento, al proceder mecánicamente".
Además, ¿alguien puede explicar la afirmación de Sieg de que el paso fue de cálculos motivados aritméticamente a procesos simbólicos generales que los subyacen ? Está claro que Sieg es consciente de las funciones μ-recursivas y su equivalencia con las máquinas de Turing, entonces, ¿qué son exactamente estos procesos simbólicos ? ¿Y qué está tratando de decir al escribir: "el Entscheidungsproblem tuvo que ser resuelto por nosotros de una manera mecánica" ?
Parece que a lo que te refieres es a lo que normalmente se conoce como la teoría computacional de la mente, que es el marco ontológico detrás de la ciencia cognitiva y su juguete más preciado, la inteligencia artificial. La respuesta a tu pregunta podría estar en este artículo:
https://plato.stanford.edu/entries/computational-mind/
La teoría computacional de la mente a menudo ha sido fuertemente criticada debido a suposiciones problemáticas sobre la naturaleza de la mente. El crítico más conocido de los sistemas de IA basados en lógica simbólica es Hubert Dreyfus en su libro What Computers Can't Do (1972). Los límites de la lógica formal y la desaparición del Programa de Hilbert y el proyecto logicista de reducir la totalidad de las matemáticas a la lógica también pueden ser un tema de su interés:
https://plato.stanford.edu/entries/goedel-incompleteness/ https://plato.stanford.edu/entries/hilbert-program/
hipnótico