En filosofía de la mente , la teoría computacional de la mente ( CTM ), también conocida como computacionalismo , es una familia de puntos de vista que sostienen que la mente humana es un sistema de procesamiento de información y que la cognición y la conciencia juntas son una forma de computación . Warren McCulloch y Walter Pitts (1943) fueron los primeros en sugerir que la actividad neuronal es computacional. Sostuvieron que los cálculos neuronales explican la cognición . [1] La teoría fue propuesta en su forma moderna por Hilary Putnam en 1967 y desarrollada por su estudiante de doctorado, filósofo y científico cognitivo Jerry Fodor en las décadas de 1960, 1970 y 1980. [2] [3] Fue vigorosamente cuestionado en la filosofía analítica en la década de 1990 debido al trabajo del propio Putnam, John Searle y otros.
La teoría computacional de la mente sostiene que la mente es un sistema computacional que se realiza (es decir, se implementa físicamente) mediante la actividad neuronal en el cerebro. La teoría se puede elaborar de muchas maneras y varía en gran medida según cómo se entienda el término computación. La computación se entiende comúnmente en términos de máquinas de Turing que manipulan símbolos de acuerdo con una regla, en combinación con el estado interno de la máquina. El aspecto crítico de dicho modelo computacional es que podemos abstraernos de detalles físicos particulares de la máquina que implementa el cálculo. [3] Por ejemplo, el cálculo apropiado podría implementarse mediante chips de silicio o redes neuronales biológicas, siempre que haya una serie de resultados basados en manipulaciones de entradas y estados internos, realizados de acuerdo con una regla. Por lo tanto, CTM sostiene que la mente no es simplemente análoga a un programa de computadora, sino que es literalmente un sistema computacional. [3]
A menudo se dice que las teorías computacionales de la mente requieren representación mental porque la "entrada" en un cálculo viene en forma de símbolos o representaciones de otros objetos. Una computadora no puede calcular un objeto real, sino que debe interpretar y representar el objeto de alguna forma y luego calcular la representación. La teoría computacional de la mente está relacionada con la teoría representacional de la mente en el sentido de que ambas requieren que los estados mentales sean representaciones. Sin embargo, la teoría representacional de la mente cambia el enfoque hacia los símbolos que se manipulan. Este enfoque explica mejor la sistematicidad y la productividad. [3] En las opiniones originales de Fodor, la teoría computacional de la mente también está relacionada con el lenguaje del pensamiento . El lenguaje de la teoría del pensamiento permite a la mente procesar representaciones más complejas con la ayuda de la semántica. (Ver más abajo en semántica de estados mentales).
Trabajos recientes han sugerido que hagamos una distinción entre la mente y la cognición. Partiendo de la tradición de McCulloch y Pitts, la teoría computacional de la cognición (CTC) afirma que los cálculos neuronales explican la cognición. [1] La teoría computacional de la mente afirma que no sólo la cognición, sino también la conciencia fenoménica o qualia , son computacionales. Es decir, CTM implica CTC. Si bien la conciencia fenoménica podría cumplir alguna otra función funcional, la teoría computacional de la cognición deja abierta la posibilidad de que algunos aspectos de la mente puedan ser no computacionales. CTC, por lo tanto, proporciona un marco explicativo importante para comprender las redes neuronales, evitando al mismo tiempo contraargumentos que se centran en la conciencia fenoménica.
La teoría computacional de la mente no es lo mismo que la metáfora de la computadora, que compara la mente con una computadora digital moderna. [4] La teoría computacional simplemente utiliza algunos de los mismos principios que los que se encuentran en la computación digital. [4] Mientras que la metáfora de la computadora establece una analogía entre la mente como software y el cerebro como hardware, CTM es la afirmación de que la mente es un sistema computacional. Más específicamente, afirma que una simulación computacional de una mente es suficiente para la presencia real de una mente, y que una mente realmente puede simularse computacionalmente.
"Sistema computacional" no significa una computadora electrónica moderna. Más bien, un sistema computacional es un manipulador de símbolos que sigue funciones paso a paso para calcular la entrada y generar la salida. Alan Turing describe este tipo de computadora en su concepto de máquina de Turing .
Uno de los primeros defensores de la teoría computacional de la mente fue Thomas Hobbes , quien dijo: "por razonamiento entiendo la computación. Y calcular es reunir la suma de muchas cosas sumadas al mismo tiempo, o saber el resto cuando una "Una cosa ha sido tomada de otra. Razonar, por tanto, es lo mismo que sumar o restar." [5] Dado que Hobbes vivió antes de la identificación contemporánea de la computación con la instanciación de procedimientos efectivos, no se puede interpretar que respalde explícitamente la teoría computacional de la mente, en el sentido contemporáneo.
Se han propuesto una variedad de argumentos contra las concepciones fisicalistas utilizadas en las teorías computacionales de la mente.
Una crítica temprana, aunque indirecta, de la teoría computacional de la mente proviene del filósofo John Searle . En su experimento mental conocido como la habitación china , Searle intenta refutar las afirmaciones de que se puede decir que los agentes con inteligencia artificial tienen intencionalidad y comprensión y que estos sistemas, porque se puede decir que son mentes en sí mismas, son suficientes para el estudio de la mente humana. [6] Searle nos pide que imaginemos que hay un hombre en una habitación sin forma de comunicarse con nadie ni con nada fuera de la habitación excepto por un trozo de papel con símbolos escritos que se pasa por debajo de la puerta. Con el papel, el hombre debe utilizar una serie de libros de reglas proporcionados para devolver papel que contenga diferentes símbolos. Sin que el hombre en la sala lo sepa, estos símbolos son de un idioma chino, y este proceso genera una conversación que un hablante de chino fuera de la sala realmente puede entender. Searle sostiene que el hombre en la sala no entiende la conversación china. Esto es esencialmente lo que nos presenta la teoría computacional de la mente: un modelo en el que la mente simplemente decodifica símbolos y genera más símbolos. Searle sostiene que esto no es una comprensión o intencionalidad real. Esto fue escrito originalmente como un repudio a la idea de que las computadoras funcionan como mentes.
Searle ha planteado además preguntas sobre qué constituye exactamente un cálculo:
La pared detrás de mi espalda está implementando ahora el programa WordStar , porque hay algún patrón de movimientos moleculares que es isomórfico con la estructura formal de WordStar. Pero si el muro está implementando WordStar, si es un muro lo suficientemente grande, está implementando cualquier programa, incluido cualquier programa implementado en el cerebro. [7]
Objeciones como la de Searle podrían denominarse objeciones de insuficiencia. Afirman que las teorías computacionales de la mente fracasan porque la computación es insuficiente para explicar alguna capacidad de la mente. Los argumentos de los qualia, como el argumento del conocimiento de Frank Jackson , pueden entenderse como objeciones a las teorías computacionales de la mente, aunque apuntan a concepciones fisicalistas de la mente en general, y no a las teorías computacionales específicamente. [ cita necesaria ]
También hay objeciones que están directamente adaptadas a las teorías computacionales de la mente.
El propio Putnam (ver en particular Representación y Realidad y la primera parte de Renewing Philosophy ) se convirtió en un destacado crítico del computacionalismo por una variedad de razones, incluidas algunas relacionadas con los argumentos de la habitación china de Searle, cuestiones sobre las relaciones de referencia entre palabras y mundo y pensamientos sobre la problema mente-cuerpo . Con respecto al funcionalismo en particular, Putnam ha afirmado en líneas similares a los argumentos de Searle, pero más generales, que la cuestión de si la mente humana puede implementar estados computacionales no es relevante para la cuestión de la naturaleza de la mente, porque "todo sistema abierto ordinario realiza cada autómata finito abstracto." [8] Los computacionalistas han respondido con el objetivo de desarrollar criterios que describan qué cuenta exactamente como una implementación. [9] [10] [11]
Roger Penrose ha propuesto la idea de que la mente humana no utiliza un procedimiento de cálculo sólido y conocido para comprender y descubrir complejidades matemáticas. Esto significaría que una computadora normal completa de Turing no sería capaz de determinar ciertas verdades matemáticas que la mente humana puede determinar. [12]
CTM plantea una pregunta que sigue siendo tema de debate: ¿qué se necesita para que un sistema físico (como una mente o una computadora artificial) realice cálculos? Una explicación muy sencilla se basa en un mapeo simple entre cálculos matemáticos abstractos y sistemas físicos: un sistema realiza el cálculo C si y sólo si hay un mapeo entre una secuencia de estados individualizados por C y una secuencia de estados individualizados por una descripción física de el sistema. [13] [8]
Putnam (1988) y Searle (1992) sostienen que esta explicación de mapeo simple (SMA) trivializa la importancia empírica de las descripciones computacionales. [8] [14] Como dijo Putnam, “todo es un autómata probabilístico bajo alguna descripción”. [15] Incluso las rocas, las paredes y los cubos de agua, contrariamente a las apariencias, son sistemas informáticos. Gualtiero Piccinini identifica diferentes versiones del pancomputacionalismo. [dieciséis]
En respuesta a las críticas por la trivialización y para restringir la SMA, los filósofos de la mente han ofrecido diferentes explicaciones de los sistemas computacionales. Estos típicamente incluyen explicación causal, explicación semántica, explicación sintáctica y explicación mecanicista. [17] En lugar de una restricción semántica, la explicación sintáctica impone una restricción sintáctica. [17] La explicación mecanicista fue introducida por primera vez por Gualtiero Piccinini en 2007. [18]