18/08/2009
Desde hace décadas, la analogía entre la mente humana y una computadora ha capturado la imaginación de científicos y filósofos por igual. Sin embargo, lo que a menudo se percibe como una simple comparación, en realidad es el punto de partida para una de las teorías más influyentes y debatidas en la filosofía de la mente: la Teoría Computacional de la Mente (TCM). Esta teoría postula que la mente humana no solo es como un sistema de procesamiento de información, sino que es literalmente un sistema computacional, y que la cognición e incluso la conciencia son formas de computación. Acompáñanos en este profundo análisis para desentrañar los matices de esta poderosa idea, explorando sus fundamentos, sus implicaciones y las robustas críticas que ha enfrentado.
La TCM se inscribe dentro de un marco más amplio conocido como funcionalismo, una teoría que define los estados mentales no por su composición material (por ejemplo, neuronas o silicio), sino por su función o el rol que desempeñan. Si un sistema puede replicar las funciones de la mente humana, entonces, según el funcionalismo, posee estados mentales. La Teoría Computacional de la Mente lleva esta idea un paso más allá, proponiendo que esas funciones mentales son, en esencia, computaciones.
¿Qué es la Teoría Computacional de la Mente (TCM)?
En el corazón de la Teoría Computacional de la Mente (CTM, por sus siglas en inglés, Computational Theory of Mind) y también conocida como computacionalismo, reside la noción de que la mente humana opera como un sistema de procesamiento de información. Esto significa que procesos complejos como el pensamiento, la percepción, la memoria y la toma de decisiones pueden ser comprendidos como secuencias de operaciones computacionales. Es una visión que equipara la cognición y la conciencia con formas de computación.
Es crucial diferenciar la CTM de la Teoría Computacional de la Cognición (CTC). Mientras que la CTC, construida sobre la tradición de McCulloch y Pitts, sostiene que las computaciones neuronales explican la cognición, la CTM va más allá. La CTM afirma que no solo la cognición, sino también la conciencia fenoménica (es decir, la experiencia subjetiva o los qualia), son de naturaleza computacional. En otras palabras, si la CTM es cierta, entonces la CTC también lo es. Sin embargo, la CTC deja abierta la posibilidad de que ciertos aspectos de la mente, particularmente la conciencia fenoménica, puedan ser no computacionales. Esto convierte a la CTC en un marco explicativo valioso para comprender las redes neuronales, al mismo tiempo que elude algunas de las objeciones más contundentes centradas en la conciencia.
La Mente como Procesador de Información: Símbolos y Representaciones
Una implicación fundamental de las teorías computacionales de la mente es la necesidad de representaciones mentales. Para que una computadora realice una operación, necesita una entrada que no es el objeto en sí, sino una representación o símbolo de ese objeto. De manera similar, se postula que la mente humana procesa información a través de símbolos o representaciones de objetos, conceptos y experiencias del mundo. Un ordenador no puede computar un objeto físico directamente, sino que debe interpretarlo y representarlo de alguna forma para luego procesar esa representación.
Esta idea conecta estrechamente la CTM con la teoría representacional de la mente. Ambas teorías sugieren que los estados mentales son representaciones. Sin embargo, la teoría representacional de la mente pone un énfasis particular en la naturaleza de los símbolos manipulados, lo que permite explicar fenómenos como la sistematicidad (la capacidad de entender oraciones nuevas a partir de la comprensión de sus partes) y la productividad (la capacidad de generar un número infinito de pensamientos y oraciones). En las formulaciones originales de filósofos como Jerry Fodor, la CTM también se vincula con la idea de un 'lenguaje del pensamiento' (Language of Thought, LOT), un sistema innato de símbolos que permite a la mente procesar representaciones más complejas con una semántica rica.
La Realización Física de la Mente Computacional
La Teoría Computacional de la Mente sostiene que la mente humana es un sistema computacional que se implementa o realiza físicamente mediante la actividad neuronal en el cerebro. La versatilidad de esta teoría reside en cómo se entiende el término 'computación'. Comúnmente, la computación se comprende en términos de Máquinas de Turing, que manipulan símbolos según un conjunto de reglas, en combinación con el estado interno de la máquina. El aspecto crítico de este modelo computacional es la capacidad de abstraerse de los detalles físicos particulares de la máquina que implementa la computación.
Por ejemplo, una computación específica podría ser implementada tanto por chips de silicio como por redes neuronales biológicas, siempre que haya una serie de salidas basadas en manipulaciones de entradas y estados internos, realizadas según una regla. Esto implica que la CTM no sostiene que la mente es simplemente análoga a un programa de computadora, sino que es, literalmente, un sistema computacional. Es importante destacar que el término 'sistema computacional' no se refiere exclusivamente a las computadoras electrónicas modernas, sino a cualquier manipulador de símbolos que sigue funciones paso a paso para procesar una entrada y generar una salida, como las descritas por Alan Turing en su concepto de máquina universal.
Distinguir la Metáfora de la Teoría Computacional
Es fundamental diferenciar la Teoría Computacional de la Mente de lo que a menudo se denomina la 'metáfora de la mente-computadora'. La metáfora simplemente compara la mente con una computadora digital moderna, sugiriendo similitudes funcionales: el cerebro sería el hardware y la mente el software. Es una analogía útil para ilustrar ciertos aspectos, pero no es una afirmación sobre la naturaleza intrínseca de la mente.
Por el contrario, la CTM no es una simple analogía. Es una afirmación mucho más fuerte y literal: que la mente es un sistema computacional. Más específicamente, propone que una simulación computacional de una mente sería suficiente para la presencia real de una mente, y que una mente verdaderamente puede ser simulada computacionalmente. La CTM utiliza principios presentes en la computación digital, pero no se limita a la comparación superficial de una computadora moderna. Reconoce que la computación es un concepto más amplio que trasciende la arquitectura específica de un PC o un smartphone.
| Característica | Metáfora de la Mente-Computadora | Teoría Computacional de la Mente (TCM) |
|---|---|---|
| Naturaleza | Analogía, comparación funcional. | Afirmación literal sobre la naturaleza de la mente. |
| Relación Cerebro/Mente | Cerebro = Hardware, Mente = Software. | Mente = Sistema Computacional implementado en el cerebro (redes neuronales). |
| Implicación | Ayuda a entender ciertos procesos mentales. | La cognición y conciencia son computación. |
| Alcance | Comparación superficial o didáctica. | Marco filosófico y científico profundo. |
| Suficiencia | Una simulación no es una mente real. | Una simulación computacional es una mente real. |
Críticas y Desafíos a la TCM
A pesar de su influencia, la Teoría Computacional de la Mente ha sido objeto de numerosas y contundentes críticas, especialmente desde perspectivas que cuestionan las concepciones fisicalistas de la mente. Estas objeciones han impulsado el debate y han forzado a los defensores de la TCM a refinar sus argumentos.
El Argumento de la Habitación China de John Searle
Una de las críticas más tempranas y famosas, aunque indirecta, provino del filósofo John Searle a través de su experimento mental conocido como la Habitación China. Searle busca refutar la afirmación de que los agentes con inteligencia artificial pueden tener intencionalidad o comprensión, y que estos sistemas son suficientes para estudiar la mente humana. Searle nos pide imaginar a un hombre encerrado en una habitación, sin forma de comunicarse con el exterior excepto a través de una ranura por la que recibe papeles con símbolos. El hombre tiene una serie de libros de reglas que le indican cómo manipular esos símbolos y qué símbolos devolver. Lo que el hombre no sabe es que esos símbolos son caracteres chinos y que, al seguir las reglas, está generando una conversación coherente en chino que un hablante nativo fuera de la habitación puede entender.
Searle argumenta que el hombre dentro de la habitación, a pesar de poder procesar los símbolos y producir respuestas correctas, no entiende una palabra de chino. Simplemente está manipulando símbolos basándose en reglas sintácticas, sin ninguna comprensión semántica o intencionalidad. Originalmente, este experimento fue formulado como una refutación a la idea de que las computadoras funcionan como mentes, sugiriendo que la computación por sí sola no es suficiente para la comprensión o la conciencia.
Searle también ha planteado preguntas sobre qué constituye exactamente una computación, argumentando que si la computación se define de forma demasiado amplia, se trivializa. Por ejemplo, Searle afirma que “la pared detrás de mi espalda ahora mismo está implementando el programa WordStar, porque hay algún patrón de movimientos moleculares que es isomorfo con la estructura formal de WordStar. Pero si la pared está implementando WordStar, si es una pared lo suficientemente grande, está implementando cualquier programa, incluyendo cualquier programa implementado en el cerebro”. Esto subraya la preocupación de que, bajo ciertas definiciones, cualquier sistema físico podría ser considerado un sistema computacional, lo que vaciaría de contenido la afirmación de que la mente es computacional.
Objeciones de Insuficiencia y el Problema del Marco
Objeciones como las de Searle pueden clasificarse como objeciones de insuficiencia. Argumentan que las teorías computacionales de la mente fallan porque la computación es insuficiente para dar cuenta de ciertas capacidades o aspectos de la mente. Los argumentos basados en los qualia, como el "argumento del conocimiento" de Frank Jackson (el caso de Mary, la neurocientífica que aprende todo sobre el color pero nunca lo experimenta), también pueden entenderse en este sentido, aunque su objetivo principal es el fisicalismo en general, no solo las teorías computacionales.
Además de las críticas generales al fisicalismo, se han planteado objeciones específicas a la TCM. El propio Jerry Fodor, uno de los principales defensores originales de la TCM, argumentó que la mente está aún muy lejos de ser explicada por la teoría computacional. La razón principal de esta deficiencia es que la mayor parte de la cognición humana es abductiva y global, lo que significa que es sensible a todas las creencias de fondo posiblemente relevantes para (des)confirmar una creencia. Esto crea, entre otros problemas, el problema del marco para la teoría computacional, porque la relevancia de una creencia no es una de sus propiedades sintácticas locales, sino que depende del contexto. Las computadoras tradicionales, al operar con reglas locales, tienen dificultades para manejar la vastedad y la interconexión de las creencias contextuales en la cognición humana.
Hilary Putnam, otro influyente filósofo que inicialmente apoyó el funcionalismo, se convirtió en un prominente crítico del computacionalismo. Putnam planteó objeciones relacionadas con el argumento de la Habitación China de Searle, cuestiones sobre las relaciones de referencia entre el mundo y las palabras, y consideraciones sobre el problema mente-cuerpo. Respecto al funcionalismo en particular, Putnam afirmó que la cuestión de si la mente humana puede implementar estados computacionales no es relevante para la naturaleza de la mente, porque “todo sistema abierto ordinario realiza todo autómata finito abstracto”. Los computacionalistas han respondido a esto buscando desarrollar criterios más precisos para describir qué cuenta exactamente como una implementación válida.
Críticas de Roger Penrose y la Computación Inconmensurable
El físico matemático Roger Penrose ha propuesto la idea de que la mente humana no utiliza un procedimiento de cálculo que sea conocidamente sólido para comprender y descubrir complejidades matemáticas. Esto implicaría que una computadora normal, basada en el modelo de Turing, no sería capaz de discernir ciertas verdades matemáticas que las mentes humanas sí pueden. Penrose basó parte de su argumento en el Teorema de Gödel, sugiriendo que hay aspectos de la comprensión matemática humana que son no computables. Sin embargo, la aplicación del teorema de Gödel por Penrose ha sido ampliamente criticada y es considerada errónea por la mayoría de los expertos en lógica y computación.
Pancomputacionalismo: ¿Todo es una Computación?
La TCM plantea una pregunta persistente que sigue siendo objeto de debate: ¿qué se necesita para que un sistema físico (como una mente o una computadora artificial) realice computaciones? Una respuesta muy sencilla se basa en un mapeo simple entre computaciones matemáticas abstractas y sistemas físicos: un sistema realiza la computación C si y solo si existe un mapeo entre una secuencia de estados individualizados por C y una secuencia de estados individualizados por una descripción física del sistema.
Sin embargo, Putnam y Searle argumentan que esta 'cuenta de mapeo simple' (SMA, por sus siglas en inglés) trivializa la importancia empírica de las descripciones computacionales. Como Putnam lo expresó, “todo es un Autómata Probabilístico bajo alguna Descripción”. Esto implicaría que incluso rocas, paredes y cubos de agua, contrariamente a las apariencias, son sistemas computacionales. Esta visión, conocida como Pancomputacionalismo, es problemática porque si todo es computacional, la afirmación de que la mente es computacional pierde su poder explicativo.
En respuesta a la crítica de la trivialización y para restringir la SMA, los filósofos de la mente han ofrecido diferentes explicaciones de los sistemas computacionales. Estas típicamente incluyen una cuenta causal (donde las transiciones de estado son causalmente relevantes para la computación), una cuenta semántica (donde los símbolos tienen un significado intrínseco), una cuenta sintáctica (que impone una restricción sintáctica en lugar de semántica) y una cuenta mecanicista (introducida por Gualtiero Piccinini en 2007, que se centra en los mecanismos físicos que realizan la computación). Estas aproximaciones buscan establecer criterios más rigurosos para determinar cuándo un sistema está realizando una computación significativa, evitando así la trivialización del concepto.
Preguntas Frecuentes sobre la Mente Computacional
¿Qué es exactamente una Máquina de Turing?
Una Máquina de Turing es un modelo teórico de computación propuesto por Alan Turing en 1936. Consiste en una cinta infinita dividida en celdas, una cabeza que puede leer y escribir símbolos en la cinta, y un conjunto de reglas que dictan cómo la máquina se mueve, qué símbolos escribe y en qué estado interno se encuentra, basándose en el símbolo que lee y su estado actual. Es un modelo abstracto que puede simular cualquier algoritmo, y es la base de la comprensión moderna de la computación.
¿Qué son los qualia?
Los qualia (singular: quale) son las cualidades subjetivas y fenomenológicas de las experiencias conscientes. Son la 'sensación' o el 'cómo se siente' de tener una experiencia particular. Por ejemplo, el rojo específico del que somos conscientes cuando vemos un tomate maduro, o el dolor agudo que sentimos al quemarnos. Los críticos de la TCM a menudo argumentan que los qualia son aspectos no computacionales de la mente que una mera manipulación de símbolos no puede explicar.
¿Qué es el problema del marco?
El problema del marco (frame problem) es un desafío para la inteligencia artificial y la filosofía de la mente que surge de la dificultad de representar y actualizar el conocimiento de un agente inteligente en un mundo dinámico. Se refiere a cómo un sistema puede determinar qué información es relevante y cuál no lo es en un momento dado, sin tener que considerar explícitamente cada posible consecuencia o cada creencia de fondo. Para la TCM, es un problema porque la cognición humana parece manejar esta relevancia de forma global y contextual, algo que los modelos computacionales basados en reglas locales tienen dificultades para replicar eficientemente.
¿Es la Teoría Computacional de la Mente lo mismo que la Inteligencia Artificial?
No son lo mismo, pero están estrechamente relacionadas. La Teoría Computacional de la Mente es una hipótesis filosófica sobre la naturaleza de la mente humana, sugiriendo que es inherentemente computacional. La Inteligencia Artificial (IA), por otro lado, es un campo de la informática que se dedica a crear máquinas que pueden realizar tareas que normalmente requieren inteligencia humana. La CTM proporciona un marco teórico que podría justificar la posibilidad de la IA fuerte (máquinas con verdadera inteligencia y conciencia), mientras que la IA práctica a menudo se inspira en modelos cognitivos, algunos de los cuales tienen raíces computacionales.
Si la mente es computacional, ¿significa que no tenemos libre albedrío?
Esta es una pregunta compleja y muy debatida. Si la mente es un sistema computacional determinista, operando según algoritmos y estados definidos, podría implicar que nuestras decisiones están predeterminadas, lo que entraría en conflicto con la noción de libre albedrío. Sin embargo, algunos defensores de la CTM argumentan que la computación puede ser no determinista o que el concepto de libre albedrío puede ser compatible con un sistema computacional complejo, especialmente si se considera que la 'computación' puede incluir elementos de aleatoriedad o de procesos emergentistas. No hay un consenso claro sobre esta implicación.
Si quieres conocer otros artículos parecidos a La Mente Computacional: ¿Es Nuestro Cerebro un Algoritmo? puedes visitar la categoría Metáforas.