Funcionalismo

FUNCIONALISMO

El funcionalismo es un tipo de fisicismo que, a diferencia de la teoría tipo-tipo, establece un isomorfismo entre lo mental y una dimensión física intangible como es la información, es decir entre lo mental y la organización de la materia prescindiendo de la estructura que ésta asuma; esta última característica lo hace una identidad entre instancias (tokens) más que entre tipos yevita, por lo tanto, la crítica de que el mismo estado mental lo podamos imaginar como dándose en diversas entidades físicas. El nivel de descripción del funcionalismo no es, por tanto, el sustrato físico (hardware) de los dispositivos procesadores de información, sino una descripción de nivel más abstracto, la dimensión sintáctica de ésta (software). "La teoría de la Identidad como Instanciaplantea la cuestión de cómo han de categorizarse los eventos mentales si esta categorización ha de ser diferente de la que se aplica a los eventos cerebrales. Los defensores de la Teoría de la Identidad como Instancia han propuesto que los eventos mentales se definan funcionalmente" (W.Bechtel, 1991 p.149). Los estados mentales juegan un rol causal entre las entradas sensoriales y las salida motorasy desempeñan un rol funcional en la economía cognoscitiva. Ha sido un logro teórico de magnitud el considerar la información como una dimensión física. (Que instrucciones de los programas (software) puedan dañar el dispositivo físico (hardware) es una realidad a la que se ve enfrentada nuestra tecnología de las computadoras y los viruses computacionales son un tema de preocupación cotidiana). Sehan planteado varias formas de funcionalismo de entre las cuales las más relevantes son el funcionalismo de la psicología popular, el funcionalismo de tabla de máquina, el funcionalismo de Inteligencia Artificial (IA) y el funcionalismo homuncular. Por el momento prescindiremos del análisis de gran parte de ellos y nos centraremos en el funcionalismo de IA por ser el modelo prototípico dentro de lapsicología.

El funcionalismo de IA o de "High Church" se concibe como el paradigma en sentido kuhniano, de la psicología norteamericana finisecular. Su tesis central, o de Church-Turing, establece que la mente puede interpretarse como un artificio formal que, mediante cómputos finitos, opera por un procedimiento recursivo (o efectivo o algorítmico o mecánico) y es capaz de simular todos loscomportamientos mentales. La mente es, en consecuencia, un dispositivo formal que puede describirse en téminos de la máquina de Turing. Esto se conoce como la interpretación fuerte de la IA y ha sido criticada desde varios flancos. La primera se debe a Lucas y hace referencia a los límites de los sistemas formales demostrado por Gödel. Éste enuncia en su teorema que todo sistema coherente losuficientemente poderoso para producir simple aritmética, producirá formulas bien formadas que son indecidibles dentro del sistema, pero que pueden aceptarse intuitivamente como ciertas. Aplicado a la máquina de Turing, ésta, procediendo recursivamente, seguiría funcionando ad aeternum tratando de decidir el carácter de esa fórmula: "El teorema de Gödel debe ser aplicable a las máquinas cibernéticas,porque es fundamental para la condición de máquina el ser un ejemplo concreto de un sistema formal. De ello se deduce que, dada una máquina que sea coherente y capaz de efectuar operaciones aritméticas simples, existe una fórmula cuya autenticidad es incapaz de demostrar (o sea la fórmula es-indemostrable-dentro-del-sistema), aunque nosotros veamos que es cierta. De ello se infiere que ningunamáquina puede ser un modelo exacto o adecuado de la mente, y que las mentes son fundamentalmente distintas a las máquinas (J.R.Lucas, 1985 p.77). A esta crítica contraargumenta Putnam diciendo que es una aplicación errónea del teorema de Gödel y que, si suponemos que T es una máquina que me representa, "lo único que puedo hacer es hallar una propuesta U con la que yo pueda demostrar: (i ) que si T es...