¿Hay teorías / artículos / investigadores que emplean el enfoque axiomático de los fundamentos de las matemáticas para entender la cognición humana?

Aquí hay algunos documentos y un libro que vienen a la mente que pueden ser de su interés:

  1. “Mentes, máquinas y Gödel” por JR Lucas
  2. “Dios, el diablo y Gödel” por Paul Benacerraf
  3. La nueva mente del emperador por Roger Penrose
  4. “Reflexiones reflexivas” por Hilary Putnam

Estos documentos (menos el libro de Penrose) son lo que leímos en mi clase de lógica la primavera pasada sobre el trabajo de Gödel en relación con la ciencia cognitiva / filosofía de la mente.


El debate principal en todos estos artículos se refiere a la afirmación de Lucas de que el primer teorema de incompleto de Gödel demostró que la mente no es una máquina de Turing. Por supuesto, ha habido muchas objeciones al argumento de Lucas, muchas de las cuales tratan sobre si nuestras mentes son consistentes. Putnam y otros han argumentado que uno puede disipar las afirmaciones de Lucas argumentando que nuestras mentes son sistemas formales, y por lo tanto no podemos establecer nuestra propia consistencia (según el Segundo Teorema de Incompletitud de Gödel). En opinión de Putnam, el argumento de la coherencia anula la afirmación de Lucas de que la mente no es una máquina de Turing, pero ciertamente no es la única objeción que han planteado los filósofos, los matemáticos y los informáticos.

Los documentos anteriores son un buen punto de partida para comprender el impacto que tuvo el trabajo de Gödel en la filosofía de la mente, pero la lista anterior no es de ninguna manera exhaustiva. Personalmente, realmente disfruto el artículo de Benacerraf, en el que habla sobre si nuestras mentes tienen la capacidad de construir una oración de Gödel. Él, como Putnam, es muy crítico con el argumento central de Lucas. Para una defensa algo modificada de Lucas, puede consultar el libro de Penrose que se menciona arriba. Solo he leído parte del libro de Penrose, pero muchos han argumentado que él simplemente no entiende adecuadamente las consecuencias de los teoremas de incompleto de Gödel.

Si desea obtener una buena descripción de lo que está pasando en el debate que inició Lucas, puede visitar este sitio web. ¡También tiene una lista de lectura adicional en la parte inferior de la página!