La mente extendida y la metaestabilidad del funcionalismo

 Resumen

El funcionalismo nació huyendo de dos posiciones: el conductismo y el materialismo de identidad tipo-tipo. Este artículo sostiene que, dentro del materialismo estricto, no puede quedarse en ninguna. La tesis es condicional —si uno permanece en el materialismo, el funcionalismo es metaestable— y su carga no es refutar el funcionalismo sino mostrar que su inestabilidad es interna y necesaria, no accidental. La demostración es a priori y parsimoniosa: de sus dos definiciones —la neutralidad de sustrato (N) y la especificabilidad estructural (E)— se derivan dos teoremas de coherencia interna (la paridad: la mente extendida es corolario, no conjetura empírica; la promiscuidad: la implementación no ancla la atribución mental sin fetichismo del sustrato) y un corolario (no hay término no arbitrario de la extensión), sin apoyarse en los teoremas formales de Putnam ni en la literatura canónica. (E) excluye lo fenomenológico por construcción; ante lo excluido, el materialista solo puede negarlo —eliminativismo: el conductismo reinstaurado— o anclarlo —materialismo reductivo: la identidad reinstaurada—, y §6 muestra que ambas reacciones están ocupadas. El artículo cierra con el diagnóstico de por qué la metaestabilidad era inevitable y con su consecuencia historiográfica: el funcionalismo no es una teoría de la mente sino el camino entre sus dos funerales fundacionales.

Palabras clave: funcionalismo; metaestabilidad; mente extendida; materialismo; especificabilidad estructural; neutralidad de sustrato.

§1. Introducción: dos enemigos fundacionales

1.1

El funcionalismo en filosofía de la mente nació de una doble deserción. A finales de los años sesenta, Hilary Putnam argumentó que los estados mentales no podían identificarse con estados físicos de los nervios, pues un mismo tipo mental —un dolor, una creencia— puede ser realizado por organizaciones materiales radicalmente distintas: un sistema nervioso de carbono, uno de silicio, la maquinaria hidráulica que la ficción especulaba entonces y que la ciencia ficción especula todavía (Putnam 1967). La consecuencia fue una teoría de la mente definida por su independencia de la materia: lo mental es el rol causal que un estado juega en el sistema, no la sustancia que lo ejecuta. Contra el materialismo de identidad tipo-tipo (Smart 1959; Place 1956), el funcionalismo alegaba que la mente es múltiplemente realizable.

Pero el funcionalismo nació también contra otro enemigo, más viejo y más humilde: el conductismo. Si los estados mentales eran disposiciones conductuales, la psicología quedaba reducida a relaciones entrada-salida, sin estados internos legítimos. La máquina de Turing ofrecía la vía de escape: una organización interna de estados, definida funcionalmente, que no era ni conducta desnuda ni neuroquímica encarnada. El funcionalismo prometía, así, ocupar un territorio intermedio y estable: ni la disposición vacía del conductista, ni la carne específica del fisicalista reductor. Heredaba de ambos lo peor —la especificabilidad estructural del primero, la ontología material del segundo— y creía haberlos superado a ambos.

Y hay un dato de la prehistoria que se precisa tener presente desde el principio: la observación de que ninguna cadena de operaciones, por extensa que sea, identifica la regla que la gobierna, aparece en 1838, en la Ninth Bridgewater Treatise de Charles Babbage — en la máquina calculadora misma que el funcionalismo tomaría siglo y medio después por modelo de la mente. El problema que este artículo atribuye a la metaestabilidad del funcionalismo es, por tanto, anterior a la teoría que lo padece: la máquina refutó su propia filosofía por adelantado.

1.2

Este artículo examina esa pretensión de estabilidad, y su conclusión es que el funcionalismo no es una posición estable sino metaestable: un estado que solo se mantiene mientras nada lo perturba, porque su dinámica interna empuja hacia los dos extremos que existía para evitar. Antes de argumentar, corresponde delimitar el espacio del que se hablará. La tesis es condicional: si uno se mantiene dentro del materialismo estricto, el funcionalismo no ofrece reposo, vale decir, sus únicas salidas internas son dos, y ambas reinstauran precisamente una de las posiciones fundacionales que reemplazó. No se examinan aquí las salidas no materialistas —el dualismo, el panpsiquismo, las ontologías ideales—, no por decisión dogmática, sino porque una tesis condicional con espacio bien delimitado es más fuerte que un trilema disperso: mostrar que una casa no tiene cimientos no exige especular sobre qué se construye fuera de ella.

1.3

La noción de metaestabilidad requiere precisión, pues la tesis no es que el funcionalismo esté refutado. Decir que una posición es metaestable es decir dos cosas: primero, que admite formulaciones coherentes y sofisticadas —el funcionalismo ha sido, durante medio siglo, una de las posiciones mejor construidas de la filosofía analítica—; segundo, que su coherencia interna la compromete con abandonar uno de sus propios compromisos fundacionales en cuanto se le pide responder a la pregunta que su definición deja sin respuesta. La metaestabilidad no es un defecto lógico sino una ausencia de reposo: el valle entre dos atractores, donde cualquier paso en firme hacia un lado de la pregunta fenomenológica precipita hacia uno de los dos funerales fundacionales. Un paradigma puede ser falso y estable, o verdadero y estable; lo que aquí se sostiene es que el funcionalismo, dentro del materialismo, no puede ser estable a secas.

1.4

La carga del artículo, por tanto, no es demostrar la inestabilidad —eso es la parte fácil, y la literatura la ha registrado durante décadas—, sino demostrar que la inestabilidad es interna y necesaria, no accidental. Para ello se procederá en dos movimientos. El primero (§2–§5) es puramente a priori: se definirán los dos compromisos que constituyen el funcionalismo —la neutralidad de sustrato y la especificabilidad estructural— y se derivarán de ellos dos teoremas de coherencia interna, la paridad y la promiscuidad, sin apoyarse en ningún resultado empírico ni en ningún argumento de la literatura existente. La cadena deductiva tocará tierra únicamente en las definiciones. El segundo movimiento (§6) constata que los dos atractores están ocupados. El artículo cierra (§7) con un diagnóstico de por qué la metaestabilidad no podía ser de otro modo: la respuesta, tomada de Bergson, es que el concepto de "función" es un producto de la operación espacializadora del intelecto, y que su materia prima conceptual excluye de principio lo fenomenológico. El diagnóstico es posterior y no estructural al argumento: si un lector rechaza §7, §2–§6 permanecen en pie.

1.5

El mapa, en suma: §2 , fija las dos definiciones. §3 deriva el primer teorema: la mente extendida no es una tesis empírica sobre artefactos sino una consecuencia inevitable de la neutralidad de sustrato. §4 deriva el segundo: la implementación de una función no puede anclar la atribución mental sin fetichizar el sustrato, lo que niega la neutralidad que la hacía posible. §5 formaliza el argumento completo y presenta la tabla de la clausura: dentro del materialismo, exactamente dos atractores, cada uno traicionando un compromiso fundacional. §6 constata que ambos atractores están ocupados. §7 diagnostica la enfermedad del concepto. §8 responde objeciones, y §9 concluye que el funcionalismo no es una teoría de la mente sino el camino por el que la filosofía de la mente materialista viaja de su nacimiento conductista a uno de sus dos funerales fundacionales — habiendo creído, durante sesenta años, que viajaba hacia una casa.

§2. El programa funcionalista: dos definiciones

2.1

El funcionalismo, en su forma canónica, es la conjunción de dos compromisos. El primero es la neutralidad de sustrato —en lo que sigue, (N)—: los estados mentales se individúan por el rol causal que ocupan en la organización de un sistema, no por la materia que los ejecuta. Un estado doloroso, según (N), es el estado que ocupa el rol R: el que es típicamente causado por daños tisulares, que interactúa con creencias y deseos de determinada manera, y que produce, entre otras salidas, gemidos, retiradas y memorias del episodio. Lo que hace al estado doloroso no es su química, por lo tanto, sino su posición en el entramado. De aquí se siguen las consecuencias familiares y deliberadas: la mente es múltiplamente realizable, es decir, un sistema de silicio que ocupe R está en el mismo estado mental que uno de carbono: la neurociencia estudia un realizador, no la esencia. Nótese que (N) no niega que todo realizador sea material —el funcionalismo aquí examinado es un materialismo, y la tesis del artículo es condicional a ese materialismo—; lo que niega es que la materia importe. El sustrato es, en el mejor de los casos, el portador indiferente de la estructura que lo trasciende.

Hay que fijar la fuerza exacta de (N), porque sobre ella gira el Teorema I. (N) es la indiferencia constitutiva del sustrato: el realizador no contribuye nada a la identidad del estado mental; el rol causal es la totalidad de su contenido, y dos realizadores que coinciden en el patrón de relaciones causales coinciden en todo lo mentalmente relevante, con independencia de dónde estén, de qué estén hechos y de cómo estén distribuidos en el espacio. Es importante registrar que esta indiferencia es lo que distingue al funcionalismo de los demás materialismos porque el materialista reductivo niega que el reemplazo conserve nada —solo las neuronas realizan los estados mentales, y lo demás los simula o los disfraza—, y el eliminativista niega siquiera que haya estados que reemplazar. La posibilidad del reemplazo conservador, lejos de ser una consecuencia tranquila del materialismo, es la tesis que el funcionalismo le costó aceptar a toda su tradición. De (N) se sigue, como corolario y no como hipótesis empírica, que el proceso mental puede extenderse más allá del portador biológico: si la ubicación del realizador es ontológicamente inerte, la frontera del cráneo es una frontera transitable, no una ontología.

2.2

El segundo compromiso es la especificabilidad estructural —(E)—: el rol causal que define al estado mental debe ser especificable sin residuo en términos estructurales de tercera persona. Una tabla de estados, un diagrama de flujo, una descripción de transiciones entre estados internos mediadas por entradas y salidas: el rol debe poder escribirse en un vocabulario que mencione únicamente relaciones causales entre eventos físicamente descritos, con exclusión de cualquier predicado que haga referencia a cómo se siente el estado. (E) es lo que distingue al funcionalismo de una mera metáfora de la máquina: es la condición que hace del programa una teoría científica, en principio completable, con vocabulario público y verificable.

Aquí daremos en formular con precisión el punto sobre el que descansa medio artículo. (E) no niega que exista la experiencia; sería absurdo negarlo y ningún funcionalista serio lo ha hecho. (E) es una condición sobre el vocabulario permitido de la teoría: lo que cuenta como especificación legítima de un estado mental es una estructura descrita desde fuera, sin predicados fenomenológicos. De aquí se sigue una consecuencia que el funcionalista aceptó sin registrarla del todo: la condición de especificabilidad es la condición de ceguera fenomenológica. Si lo mental es, por definición, lo especificable estructuralmente, entonces todo aquello que no admite especificación estructural queda, pero por definición, fuera de la teoría — no negado, simplemente no capturado, igual que una fotografía no niega el sonido: simplemente no lo registra. La exclusión no opera como tesis ontológica, entonces, sino como regla de admisión del lenguaje teórico, lo cual explica, por cierto, cómo fue posible sostenerla sinceramente durante décadas sin sentirse eliminativista. La trinchera fue excavada en la gramática de la teoría, no en sus doctrinas.

2.3

Presentados por separado, (N) y (E) parecen compatibles e incluso armoniosos. El problema aparece cuando se observa dónde aplica cada uno sin fricción y dónde no. Sobre los estados intencionales —creencias, deseos, intenciones— el programa funciona con suavidad: su individuación parece efectivamente relacional, inferencial, especificable en la red de sus vínculos causales y su rol en la conducta. Sobre los estados fenomenológicos —el dolor doloroso, el rojo tal como se ve su rojez— la fricción es inmediata: especificar el rol causal del dolor parece capturar todo menos aquello por lo que el dolor es un problema filosófico, su carácter sentido, precisamente lo que la regla de admisión de (E) prohíbe mencionar.

El programa funcionalista, por tanto, ha operado siempre con una escisión táctica (y tácita): funcionalismo pleno sobre lo intencional, mientras que sobre lo fenomenológico una nota promisoria —la confianza de que la especificación estructural, completada algún día, absorberá también el carácter cualitativo sin residuo. La tesis de este artículo es que esa escisión no es un remanente temporal sino la manifestación temprana de la metaestabilidad: el punto exacto donde (N) y (E), trabajando juntas, producen la pregunta que ninguna de las dos puede responder dentro del materialismo. Los dos teoremas que siguen —la paridad (§3) y la promiscuidad (§4)— se derivarán íntegramente de (N) y (E) así definidas, sin apelar a la literatura empírica ni a los argumentos canónicos sobre lo que es ser un murciélago o sobre una nación poblada de operadores de radio. Esos argumentos son síntomas ilustres; los teoremas son deducciones.

§3. Teorema I — Paridad: la mente extendida como consecuencia interna

3.1

Teorema I. Sea (N) la indiferencia constitutiva del sustrato. Entonces, si un proceso extracorpóreo P juega, en la organización de un agente, el mismo rol causal R que juega un proceso neural Q, la contribución de P a los estados mentales del agente es idéntica a la contribución de Q. En particular: si Q es constitutivo de la memoria de X, P es constitutivo de la memoria de X; y si el rol R es mental, su ejecución es mental allí donde se ejecute.

Prueba. Por (N), lo que constituye la contribución mental de un proceso es exclusivamente su rol causal: el patrón de relaciones que el proceso sostiene con entradas, estados internos y salidas del sistema. P y Q coinciden en ese patrón por hipótesis; por (N), nada más es relevante; luego coinciden en su contribución mental. La ubicación espacial de P —dentro del cráneo, en la mano, en la nube— es una propiedad del realizador, no del rol, y (N) declara precisamente que las propiedades del realizador no contribuyen a la identidad del estado. 

La prueba es deliberadamente escueta, porque su fuerza está en lo que no necesita. No necesita ciencia empírica: nada de neuroimagen, nada de estudios de andamiaje cognitivo, nada de robótica. No necesita la literatura sobre mente extendida, que acreditó esta consecuencia con experimentos de pensamiento y casos empíricos: un agente que confía en un cuaderno de direcciones exactamente como otro confía en su memoria biológica es el caso paradigmático, y la formulación del principio de paridad con su defensa sistemática es de la década siguiente. No necesita siquiera la noción de "sistema": la conclusión se sigue de que el rol es la totalidad del contenido mental, y que los roles no tienen dirección postal. Lo único que la prueba toca es la definición de §2.1.

Hay, sin embargo, un punto donde la derivación exige cuidado, y corresponde ocuparlo aquí antes de que lo ocupe un lector escéptico. El Teorema I no dice que todo proceso externo que se parezca a un proceso mental sea mental. Dice algo más preciso y más incómodo: si un proceso externo juega efectivamente el rol, entonces su contribución es constitutiva, con independencia de que el rol se juegue dentro o fuera del cráneo. La diferencia no está en la frontera anatómica —(N) la ha abolido— sino en si el proceso juega o no el rol. Quien quiera excluir a los procesos externos deberá, pues, mostrar que el cuaderno, el teléfono o los tatuajes no juegan el rol de la memoria en el caso pertinente. Y aquí el funcionalista enfrenta una disyunción sin salida elegante: o los procesos externos juegan el rol —y el Teorema I los incorpora—, o no lo juegan, pero entonces la razón de que no lo jueguen no puede ser su ubicación sin violar (N), y deberá buscarse en alguna propiedad del ejecutor que lo haga ineligible. Esa búsqueda es exactamente el objeto del Teorema II: todo criterio de ineligibilidad es, por construcción, un fetichismo del sustrato.

Por tanto, la consecuencia de §3 es más fuerte que la tesis corriente de la mente extendida. La literatura presentó la extensión como una conjetura empírica sobre cómo están organizados, de hecho, algunos procesos cognitivos humanos —una tesis que cabe negar sin tocar el funcionalismo, y que muchos negaron precisamente así. 

El Teorema I muestra que la extensión es un corolario ontológico de (N): negarla mientras se acepta (N) es aceptar que la ubicación del realizador es constitutivamente relevante, lo cual es la negación de (N) sin la confesión. El debate empírico sobre si tales procesos externos existen y juegan los roles que se les atribuyen queda intacto, pero cambia de estatus: ya no se trata de descubrir si la mente se extiende, sino de aceptar que si juega el rol, ya estaba extendida —y de preguntarse, entonces, qué se hará con los casos en que el rol se juega fuera.

3.2

Observación genealógica. Que esta consecuencia fue registrada y defendida como tesis empírica, con ejemplos celebres y debate propio, es un hecho de la historia reciente de la disciplina que aquí no se necesita pero es conveniente reconocer: la formulación canónica del principio de paridad apareció a fines de los noventa, y su defensa más elaborada, una década después, junto con la distinción —importante para §6— entre la extensión de la cognición discursiva y la resistencia de lo fenomenológico. El movimiento relevante para este artículo es otro: la paridad deja de ser una propuesta sobre dónde ocurren ciertos procesos y pasa a ser un teorema sobre qué significa sostener que solo el rol importa. Quienes negaron la extensión desde el materialismo ofrecieron, sin proponérselo, la primera evidencia del argumento completo: sus propias restricciones —integración, acoplamiento, confiabilidad— son candidatas a criterios de ineligibilidad, y como tales serán examinadas en §4. Los críticos de la extensión fueron, estructuralmente, los primeros testigos de la metaestabilidad: para salvar el funcionalismo de los cuadernos, tuvieron que empezar a fetichizar el cráneo.

§4. Teorema II — Promiscuidad: la implementación no ancla

4.1

El Teorema I dejó al funcionalista ante una disyunción: o los procesos externos juegan el rol —y son constitutivos—, o no lo juegan, pero entonces la razón de su exclusión no puede ser la ubicación. Debe buscarse un criterio de ineligibilidad: una propiedad de los ejecutores que distinga, entre todos los procesos candidatos, los que cuentan de los que no. El Teorema II establecerá que ningún criterio de este tipo está disponible para el funcionalista sin que contradiga (N). 

Llamaremos fetichismo del sustrato a toda atribución de relevancia constitutiva a una propiedad del ejecutor que no sea el patrón relacional del rol.

Teorema II. Sea (N) la indiferencia constitutiva del sustrato, y sea F una función especificable estructuralmente. Entonces, toda distinción entre sistemas que implementan F y sistemas que no la implementan descansa en una descripción privilegiada de los estados del sistema; y privilegiar una descripción sobre otra exige un criterio que invoca propiedades del ejecutor. Por tanto, bajo (N), toda atribución de F a un sistema concreto es arbitraria a menos que se fetichice el sustrato.

Prueba. Por (E), F es una estructura de relaciones entre estados, entradas y salidas. Los estados de un sistema físico dado admiten múltiples descripciones; bajo descripciones distintas, el mismo sistema exhibe estructuras relacionales distintas, y un sistema físicamente arbitrario exhibe, bajo alguna descripción, la estructura que especifica F. Luego, si la pregunta "¿implementa este sistema F?" ha de tener respuesta determinada, debe existir un criterio que privilegie una descripción —la descripción "correcta"— entre las disponibles. Pero el criterio no puede ser relacional, o sea, las relaciones ya están todas ahí, una por cada descripción, y (N) no ofrece recurso para preferir unas a otras. Todo criterio efectivo invocará, pues, propiedades del ejecutor que no son el rol, vale decir, su arquitectura, su historia, sus contrafácticos, su contigüidad espacial con el organismo. Cada una de estas propiedades es, por definición, un fetichismo del sustrato. 

La conclusión debe enunciarse con la franqueza que el resultado exige. Bajo (N), "ejecutar la función" no es una propiedad que ancle la atribución mental, porque no es una propiedad que ancle nada: es una propiedad relativa a una descripción, y las descripciones, sin criterio de privilegio, son gratuidad estructural. Por eso el pancomputacionalismo no es una herejía ajena al funcionalismo sino su cumplimiento literal: aceptar todas las descripciones es aceptar todas las implementaciones, y aceptar todas las implementaciones es aceptar que "implementar" no discrimina. 

El funcionalista construyó su teoría sobre la idea de que la estructura es lo sólido y el sustrato es lo fluido; el Teorema II invierte la geología: la estructura, sin un sustrato que la ancle a una descripción, es lo fluido, y la solidez que el funcionalista necesitaba solo puede comprarse con la moneda que (N) le prohíbe.

4.2

De aquí se sigue el tenedor que estructura el resto del artículo. Frente a la promiscuidad de las descripciones, el funcionalista dispone de exactamente dos reacciones:

1. Primera reacción: aceptarla. Todo sistema implementa toda función especificable; o, más precisamente, la implementación se vuelve una propiedad sin poder discriminativo: decir que algo "ejecuta la función del dolor" no distingue ese sistema de ningún otro suficientemente complejo. Pero una teoría de la mente cuya noción central no distingue los sistemas mentales de los no mentales ha renunciado a ser una teoría de la mente: es, en el mejor caso, una ontología pancomputacional donde "mente" nombra lo que nombra "sistema". La consecuencia extrema —que la pared, la nación o el sistema solar piensan— no es una paradoja que el funcionalista deba resolver con condiciones: es el espejo en que su principio se muestra sin maquillaje. Esta reacción no refuta (N); la cumple con una coherencia tan literal que destruye el proyecto para el que (N) servía.
2. Segunda reacción: restringirla. Añadir condiciones a la implementación: que los estados del ejecutor sostengan los contrafácticos adecuados, que la organización sea de arquitectura genuina, que el proceso esté acoplado de manera continua al organismo, que la trayectoria evolutiva haya tallado el mecanismo. Cada condición es, por el Teorema II, un fetichismo del sustrato: una propiedad del ejecutor elevada a relevancia constitutiva. Y nótese lo que esta reacción compra y a qué precio: compra que el cuaderno quede fuera de la mente —el objetivo del crítico de la extensión—, pero el precio es que el funcionalista ha dejado de ser funcionalista. Ha reconocido que qué ejecuta importa, no solo qué rol se juega; ha vuelto, aunque no lo confiese, a la ontología del portador.

Estas dos reacciones no son una casualidad del debate actual. Son los dos únicos movimientos disponibles dentro del espacio que (N) delimita, y cada uno conduce a uno de los dos atractores que §5 formalizará: la primera, a la negación de lo que la teoría no captura; la segunda, al anclaje en el sustrato. §6 mostrará que ambas reacciones están ocupadas. El teorema de esta sección no es un aguijón retórico: es la bisagra.

4.3

Que la segunda reacción no puede cerrar la regresión se ve mejor con un ejemplo que con un teorema. Sea el proceso que el moderado quiere conceder a la mente: escribir en el cuaderno. Escribir invoca sostener el boli contra el papel; esto invoca la fuerza normal entre superficies; ésta, el campo gravitatorio de la Tierra; éste, la métrica del espacio-tiempo, cuya fuente es la distribución total de energía del cosmos. La función "memorizar" de Otto tiene, pues, será una subrutina anidada cuyo argumento es el universo observable. La física lo dice con más crudeza que la parodia: el soporte matemático de la función de onda de cualquier sistema material es, en rigor, no acotado —más allá de Urano, por fijar un límite modesto—, y sin embargo una patada duele aquí y no por allá, por más que nos haga ver estrellas. Las dependencias no cierran; lo fenomenológico se presenta cerrado en un aquí. La frontera funcional no se puede leer de la física en ninguna de las dos direcciones: ni siguiendo la extensión de la dependencia, que es arbitrariamente grande, ni siguiendo la localización de la vivencia, que es puntual.

El ejemplo vehicula un argumento, y nos apremia hacerlo explícito. El hombre flotante de Avicenna (De anima I,1) se preguntaba qué queda del yo cuando se le retira el cuerpo; el hombre flotante al revés preguntaría qué hay que añadir a la estructura lógica para que se materialice la cognición. El cuerpo no basta —el funcionalismo lo concede: la neutralidad del sustrato es su premisa—, pero tampoco basta la estructura pura, por dos razones que no son premisas sino constataciones. La primera: nuestra conciencia ya se da en una materialidad circundante que se inmiscuye con el entorno —el boli, el bloc de notas y cada herramienta dan extensión a nuestros procesos cognitivos—, de modo que la pregunta no es si el proceso está materializado, sino dónde termina su materialización. La segunda: si la funcionalidad existiera con independencia de yoidades materialmente circunspectas —del ser-yo de un sujeto concreto, encarnado, situado—, se daría el caso de Hume (Tratado I.IV.6): emociones sin ego. Y entonces no estaríamos explicando la yoidad de la conciencia, que es a lo que se viene como materialistas funcionalistas; su negación solo le está permitida, dentro del materialismo, al eliminativista. Resta, sí, la salida de que las funciones mismas tengan fenomenología, pero es exactamente la que la segunda constatación cierra: fenomenología sin yoidad no explica la yoidad, la niega; y la negación es el atractor I, no una salida del valle. Por último, la cadena de implementación no cierra: todo sustrato invoca otro. El moderado quiere detener la traza en "la herramienta confiable"; pero entre el cuaderno y el cosmos hay exactamente tantos eslabones arbitrarios como entre el cuaderno y el cráneo: uno, el que se eligió mirar.

4.4

Observación genealógica. La cizalla que este teorema aplica al funcionalismo tiene una prehistoria más larga que su propia historia. Su primera hoja es de 1838: Babbage observó en su Ninth Bridgewater Treatise que su máquina calculadora podía producir la serie de los números naturales hasta el término 100.000.000 y seguir, sin interferencia alguna, con 100.010.002, 100.030.003, 100.060.004 — de modo que ninguna cadena de operaciones, por extensa que sea, identifica la ley que la gobierna (Babbage 1838, cap. II). Chambers (1844) desarrolló la constatación para las eras geológicas; Goodman (1955) la transfirió a los predicados de proyección; y la tradición de Wittgenstein (1953, §§185–201) y su lectura por Kripke (1982) le dieron su forma normativa: ningún hecho descriptivo, ni siquiera con la normatividad agregada como cláusula suplementaria, constituye el hecho bautismal del significado. Medio siglo después, el fundador mismo del funcionalismo demostró con maquinaria de autómatas que la implementación es promiscua (Putnam 1988, cap. V y apéndice; reconstrucción canónica en Lewis 1994), y Searle (1990; 1992, cap. IX) defendió la intuición hermana de que la ejecución de un programa, sin criterio de anclaje, no distingue nada. La literatura respondió con las restricciones de contrafáctico y la teoría de la computación física (Chalmers 1996a, 1996b): exactamente la segunda reacción del tenedor, formalizada con ingenio. 

Conviene precisar la relación de dependencia, porque el punto es de método y no de historia: ni el Teorema II ni el tenedor de §4.2 requieren el teorema formal de Putnam ni la reconstrucción de Lewis. El argumento de la regresión de §4.3 —el hombre flotante al revés— establece la promiscuidad desde (N) sola, sin maquinaria de autómatas ni resultados de teoría de la computación: es, en el sentido estricto, menos axioma-dependiente. Putnam y Lewis conservan su lugar, pero como testigos genealógicos —fueron quienes registraron el corte en su dominio—, no como lemas. 

La diferencia importa porque nada de esto se necesita aquí: aquellos argumentos probaron que la implementación es técnicamente promiscua —un resultado sobre autómatas y descripciones de estados—; por el otro lado, el Teorema II prueba que el funcionalista carece de derecho a restringir las descripciones, porque todo criterio de privilegio es fetichismo del sustrato y el fetichismo del sustrato es la negación de su propio principio fundador. Los predecesores registraron el corte en sus dominios propios —la máquina, el predicado, la regla, el autómata—; el Teorema II lo registra donde duele: en la constitución de lo mental. El primero deja al funcionalista herido, cierto, el segundo le cierra la herida con la única sutura disponible: su propia negación.

Corolario. De este resultado se sigue un corolario que cierra la discusión sobre el alcance de la extensión. Supóngase que el funcionalista acepta la paridad pero propone un término moderado de la extensión: el proceso mental se extiende a la herramienta confiable e integrada, pero no más allá. Todo término de este tipo requiere un criterio que distinga los componentes elegibles de los que no lo son, y todo criterio de esa forma privilegia una descripción del sistema sobre las demás —la que traza la frontera por la piel, por el cráneo o por el perímetro del aparato habitual. Por el Teorema II, tal privilegio solo puede comprarse con propiedades del ejecutor: es fetichismo del sustrato, y por tanto la segunda reacción del tenedor. La consecuencia es que no existe posición intermedia estable sobre la extensión: o la extensión no tiene término —el proceso mental es, funcionalmente, la totalidad del entorno que sostiene la externalidad del contenido—, o su término es arbitrario y su defensa es ya el abandono de (N). La mente extendida moderada no es una tercera vía; es la segunda reacción del tenedor en etapa temprana, antes de confesar su precio.

§5. El argumento de la metaestabilidad, formalizado

5.1

Los resultados de §3 y §4 admiten una compactación deductiva. Sea (N) la indiferencia constitutiva del sustrato y (E) la especificabilidad estructural, definidos en §2.

1. (N ⇒ Paridad). Si un proceso juega el rol causal R, su contribución mental es constitutiva allí donde se ejecute (Teorema I, §3.1). La frontera anatómica es una geografía, no una ontología.
2. (Paridad ⇒ ineligibilidad por ubicación imposible). Si un proceso candidato no se incorpora, la razón no puede ser su ubicación, pues eso sería la negación de (N) sin confesión. Debe buscarse un criterio de ineligibilidad: una propiedad del ejecutor que lo descalifique (§3.1).
3. (N ⇒ Promiscuidad). Todo criterio de ineligibilidad privilegia una descripción del sistema sobre las demás; privilegiar una descripción exige apelar a propiedades del ejecutor que no son el patrón relacional; y toda propiedad así invocada es fetichismo del sustrato, esto es, la negación de (N) (Teorema II, §4.1).
4. (Corolario: no hay término). Por la misma razón, no hay término no arbitrario de la extensión: todo cierre propuesto —la piel, el cráneo, el aparato habitual— es fetichismo en etapa temprana (§4.4).
5. (E ⇒ exclusión del fenomenológico). Lo fenomenológico —el carácter sentido— no admite especificación en vocabulario estructural de tercera persona; (E) lo excluye por regla de admisión, no por tesis (§2.2–§2.3). La teoría funcional de la mente es, por construcción, una teoría de lo que puede escribirse en su vocabulario.
6. (El punto de fricción). Pero lo excluido es precisamente lo que la tradición del problema de la consciencia identifica como el fenómeno a explicar: no la conducta ni la organización, sino que algo se sienta así. (N) y (E), trabajando juntas, producen la pregunta que ninguna de las dos puede formular.
7. (La dicotomía dentro del materialismo). Dentro del materialismo estricto, ante la pregunta producida en el punto de fricción, solo hay dos reacciones posibles. Primera: negar que haya un residuo —declarar que lo que (E) no captura no existe o es artefacto introspectivo—: esto es el eliminativismo, que es el conductismo reinstaurado con vocabulario de procesamiento. Segunda: reivindicar el residuo anclándolo en un ejecutor privilegiado —el cerebro— mediante condiciones de arquitectura, contrafáctico o historia causal: esto es el materialismo reductivo, que es la teoría de la identidad reinstaurada, y que compra el anclaje con la moneda de (N).
8. (Conclusión). Cada una de las dos reacciones abandona exactamente uno de los dos compromisos fundacionales: la primera, lo que el materialismo se había comprometido a explicar; la segunda, la neutralidad de sustrato que hacía del funcionalismo una alternativa al reductivismo. Ninguna tercera reacción está disponible dentro del materialismo, porque toda tercera reacción sería una agregación normativa a la descripción estructural —un criterio de privilegio—, y los pasos anteriores han cerrado ese camino.

5.2

De la cadena se sigue, pues, la tesis condicional del artículo. Sea (N) la neutralidad de sustrato y (E) la especificabilidad estructural. Si el funcionalista permanece dentro del materialismo, dispone de exactamente tres destinos: aceptar la promiscuidad, y con ella la imposibilidad de distinguir lo mental de lo no mental —lo que, llevado a su término, extiende el operar funcional a la totalidad de lo real—; o restringirla mediante condiciones sobre el ejecutor, con lo que abandona (N) y retorna al materialismo reductivo que existía para reemplazar; o, por último, negar que haya algo que la especificación estructural no capta, con lo que retorna al eliminativismo, que es el conductismo con vocabulario de procesamiento. 

El primero de estos destinos destruye la teoría desde dentro del materialismo; los dos últimos la rescatan devorando una de sus fundaciones. Ninguno es un reposo. Esto es lo que significa que el funcionalismo sea metaestable: no una posición refutada, sino una posición que no puede quedarse donde está, porque su dinámica interna la empuja hacia los dos extremos que existía para evitar.

La clausura puede enunciarse en dos movimientos, uno por atractor. Atractor I, el eliminativismo. Ante lo que (E) excluye, niega el residuo: declara que no hay nada que la especificación estructural no capte, o que lo que parece escaparle es un artefacto de la introspección. Con ello, el hilo de Ariadna de la consciencia queda reducido a la conducta —relaciones entrada-salida sin estados internos cualitativos—, y la posición fundacional reinstaurada es el conductismo, exactamente la teoría que la máquina de Turing se prometía superar. Lo que el materialismo se había comprometido a explicar es abandonado; la mente extendida se vuelve irrelevante, porque ya no hay procesos mentales que extender. Atractor II, el materialismo reductivo. Ante lo mismo, reivindica el residuo y lo ancla en un ejecutor privilegiado —el cerebro— mediante condiciones de arquitectura, contrafáctico o historia causal. Con ello, la posición fundacional reinstaurada es la teoría de la identidad tipo-tipo —el estado mental es el estado neural—, y el precio del anclaje es (N) misma: la neutralidad de sustrato que hacía del funcionalismo una alternativa al reductivismo. La mente extendida queda refutada, pero por razones materialistas, no funcionalistas, lo cual es la señal inequívoca de que el funcionalismo era el decorado y no el fundamento. En cuanto al término de la extensión: para el eliminativismo no aplica, porque no hay mente que extender; para el reductivo es arbitrario, un fetiche del ejecutor trazado donde la intuición manda y la teoría calla.

Lo que falta en esta enumeración es tan importante como lo que contiene. No hay tercer destino dentro del materialismo, porque todo tercer destino requeriría un criterio de privilegio que la cadena 1–8 ha cerrado; y no hay columna para el funcionalismo puro, porque el funcionalismo puro no es un punto de reposo sino el valle entre los dos funerales.

La tabla 1 resume la clausura.

Tabla 1. La clausura del espacio materialista.

Atractor I: eliminativismo

Atractor II: materialismo reductivo

Reacción ante lo excluido por (E)	Negar el residuo fenomenológico	Anclarlo en un ejecutor privilegiado
Posición fundacional reinstaurada	El conductismo (relaciones entrada-salida sin estados internos cualitativos)	La teoría de la identidad tipo-tipo (el estado mental es el estado neural)
Compromiso funcionalista abandonado	Lo que el materialismo se comprometió a explicar	(N), la neutralidad de sustrato
Término de la extensión	No aplica (no hay mente que extender)	Arbitrario: fetiche del ejecutor (cráneo, arquitectura, historia)
Estatus de la mente extendida	Irrelevante (no hay procesos mentales)	Refutada por razones materialistas, no funcionalistas
Nombre del movimiento	La solución escéptica con vocabulario de laboratorio	El paso fronteriza: el "todavía ahí" clavado en la carne

5.3.

Urge situar este resultado respecto de un precedente directo. Kim (1992) argumentó que el materialismo no reductivo es inestable: la conjunción de realización múltiple con el principio de exclusión causal obliga a reducir el mental al realizer o a aceptar su epifenomenalidad, y Kim (1998) desarrolló la primera opción como programa de reducción funcional.  La conclusión es la misma que la de la cadena 1–8; los medios, distintos, y la diferencia importa. El argumento de Kim depende de dos principios metafísicos: el cierre causal de lo físico y la exclusión de la sobre-determinación sistemática. Ambos son contestables sin inconsistencia —por el emergentismo, por la causalidad descendente, por las dudas sobre el carácter nomológico del cierre—, y con ellos cae la metaestabilidad que Kim derivó. El argumento de este artículo no depende de ninguna tesis sobre la causalidad. Sus únicos supuestos son las definiciones de §2: quien acepte (N) y (E) queda comprometido con la cadena completa, con independencia de cuál sea la arquitectura última de las relaciones causales. La inestabilidad aquí derivada es, por tanto, de un orden más robusto que la de Kim: sobrevive a la negación del principio que sostiene a la suya. La convergencia de dos argumentos con presupuestos tan distintos confirma, eso sí, un patrón general: en el espacio materialista, la inestabilidad no es la excepción sino la regla, y el funcionalismo es su caso más sofisticado.

§6. Los atractores están ocupados

§5 derivó los dos atractores y mostró el precio de cada uno. Falta constatar que el precio se ha pagado: que la dinámica del valle no es una posibilidad lógica sino la trayectoria real del paradigma. La constatación cabe en dos movimientos y un balance.

El atractor I está ocupado. La primera reacción del tenedor —negar el residuo que la especificación estructural no capta— recorre, en el registro histórico, una línea continua y de largo aliento. Su primera estación es la heterofenomenología (Dennett 1991): el método que traduce los informes introspectivos a un registro teórico neutro, registrando que el sujeto dice que ve un rojo intenso, sin registrar que haya algo que sea ver así. Su segunda estación es el eliminativismo clásico (Churchland 1981): la tesis de que el vocabulario del sentir común es una teoría empírica fallida, destinada a ser reemplazada por la taxonomía de la neurociencia. Su tercera estación, contemporánea, es el ilusionismo (Frankish 2016), la versión más precisa del programa: lo que existe no es la experiencia sino una representación introspectiva que engaña al sistema que la produce. Las tres estaciones ejecutan el mismo movimiento con creciente sofisticación: lo que (E) no captura se declara inexistente o se reubica en la conducta que lo informa. El hilo de Ariadna de la consciencia queda reducido a la conducta —exactamente la situación del conductismo lógico que la máquina de Turing se prometía superar, sesenta años después, con mejor vocabulario y peores recuerdos. Es adecuado registrar la asimetría que §5 anunció: esta línea cumple (N) y (E) con coherencia ejemplar; lo que abandona es otro compromiso, el fundacional del materialismo con la explicación del fenómeno mental en su totalidad. Salva al funcionalismo eliminando lo que el materialismo se había comprometido a explicar. Y una observación técnica, en tres líneas y sin desarrollo, por si alguien confunde la descripción con una refutación: el eliminativista no puede enunciar su tesis sin que le parezca verdadera, y la persuasión es un estado que se presenta, no un ruido que se produce. Esto no demuestra que el programa sea falso; demuestra que el artículo no debe comprometerse con su refutación. Le basta con su posición en el mapa.

El atractor II está ocupado. La segunda reacción —restringir la promiscuidad anclando lo excluido en un ejecutor privilegiado— tiene asimismo su ejecutor histórico. Kim (1992) demostró que el materialismo no reductivo es inestable: la realización múltiple combinada con la exclusión causal obliga a elegir entre reducir el mental a su realizador o declararlo epifenomenal; y Kim (1998) hizo de la primera opción un programa: la reducción funcional, que primero funcionaliza el fenómeno —concede todo lo que el funcionalismo pedía— y luego lo identifica con el estado del sustrato neural que lo realiza. Es la segunda reacción del tenedor instituida como método: se acepta la tabla de transiciones, y se compra con ella el derecho a decir que el dolor es c-fibra. La posición que se reinstaura por esta vía es la teoría de la identidad tipo-tipo de Smart (1959) y Place (1956), exactamente la ontología que Putnam fundó el funcionalismo para reemplazar. Y el precio es el anunciado en §5: la neutralidad de sustrato. La mente extendida queda refutada en este marco, pero por razones materialistas, no funcionalistas —y esa es la señal inequívoca de que el funcionalismo era el decorado y no el fundamento. El gesto completo es el que §5 llamó el paso fronteriza: ante lo que la especificación no capta, el materialista reductivo clava la bandera en la carne —un todavía ahí— y reniega del mapa que lo trajo hasta la frontera.

El balance. Los dos funerales, pues, no son hipotéticos: están celebrados. Cada atractor es la resurrección de un enemigo fundacional —el conductismo, la identidad—, y cada resurrección se pagó con el compromiso que el funcionalismo creía haber rescatado para siempre: el primero, con el fenómeno; el segundo, con el principio. La trayectoria del paradigma es cerrada: nacimiento huyendo de dos posiciones, dinámica interna empujando hacia ellas, ocupación efectiva de ambas por las dos ramas del materialismo que quedaban. Que esto sea exactamente lo que la cadena de §5 predice no es una verificación empírica de la que el argumento a priori dependa; es algo más incómodo para el funcionalista: la confirmación de que su inestabilidad no era un riesgo sino un destino, y de que el medio siglo de especificaciones estructurales fue, visto desde sus dos orillas, el camino de ida y vuelta entre las dos únicas casas que el materialismo sabe construir sobre lo mental.

§7. Diagnóstico: la espacialización del concepto de función

7.1

§1.4 dejó contraída una deuda: la carga del artículo no era demostrar la inestabilidad del funcionalismo —eso lo hizo la cadena 1–8—, sino demostrar que la inestabilidad es interna y necesaria, y no accidental. Esta sección pagará la deuda. La tesis es deliberadamente modesta en estatuto: nada de lo que sigue añade premisa alguna a la cadena, y nada de ella es necesario para la validez de §2–§6. Es un diagnóstico de la materia prima del concepto de función, y su conclusión es que la metaestabilidad era predecible: no le sucede al funcionalismo, está escrita en su definición.

7.2

El diagnóstico requiere una distinción que puede fijarse sin aparato metafísico, en términos estrictamente formales (Bergson 1889; 1907). Distinguimos dos multiplicidades:

• Multiplicidad yuxtapuesta: la de los elementos homogéneos, contables y medibles, que admiten división sin alteración de lo dividido. La yuxtaposición es la forma de lo medible: para medir hay que poner unidades lado a lado, y para ponerlas lado a lado hay que homogeneizarlas. Todo lo que admite especificación rigurosa de tercera persona —toda tabla, todo diagrama de flujo, toda secuencia de estados— es, por construcción, una multiplicidad yuxtapuesta.
• Multiplicidad de penetración: la de los estados que se interpenetran, cuya alteración no consiste en recombinar unidades sino en modificar un todo cualitativo sin partes externas. No es medible, no es contable, y dividirla en partes es ya transformarla.

La tesis bergsoniana relevante, traducida al registro de este artículo: la especificación rigurosa de un proceso es siempre una yuxtaposición construida porque la medida opera exclusivamente sobre multiplicidades yuxtapuestas.

7.3

El paso decisivo es corto. (E) exige que el rol funcional sea especificable en transiciones discretas entre estados: un conjunto de índices, una tabla, una medida. Toda especificación conforme a (E) es, por construcción, una multiplicidad yuxtapuesta. Pero lo fenomenológico —lo que §5 llamó el residuo— se presenta, precisamente en su presentación, como multiplicidad de penetración: no tiene unidades externas que recombinar; homogeneizarlo es destruirlo. La conclusión no es que lo fenomenológico sea inaccesible o de otro mundo; es más precisa, más incómoda, es que admite división, pero con resto. Y la historia de la psicofísica ilustra el error exacto: Fechner no se equivocó midiendo; se equivocó creyendo que su resto era cero. El funcionalismo hereda el error en forma metódica porque no se equivoca exhibiendo estructuras pero sí se equivoca creyendo que el resto fenomenológico es cero. De aquí se sigue que la exclusión de §2.2 no es un límite contingente de la neurociencia actual ni de los modelos disponibles. Es la marca de la material, o sea, lo que (E) admite es, por construcción, lo yuxtapuesto; y lo que la teoría debía explicar es, por construcción de su presentación, lo penetrante. La ceguera fenomenológica no es un descuido sino la marca de fábrica del material conceptual.

Que la exclusión así derivada no sea una originalidad de este artículo es una confirmación, no una objeción. La distinción entre lo funcionalmente especificable y lo fenomenológicamente dado es el presupuesto compartido del planteamiento canónico del problema de la consciencia: los problemas "fáciles" son todos funcionales, y el problema "difícil" es precisamente aquello que ninguna exhibición de estructuras y funciones alcanza (Chalmers 1995; 2003). Lo que este artículo añade a ese presupuesto no es la exclusión —ya registrada— sino su estatuto: aquí se sigue de las definiciones de §2, y 7.4 mostrará por qué ninguna reforma futura la levanta.

7.4

Aquí está el lema que paga la promesa de §1.4 en su versión fuerte. Todo ajuste propuesto para estabilizar el funcionalismo —integración, acoplamiento, condiciones de contrafáctico, sistemas dinámicos— añade más estructura del mismo tipo: más índices, más transiciones, más yuxtaposición. Un problema de material insuficiente no se resuelve añadiendo más del mismo material. 

Pero hay un segundo motivo, más técnico. Toda especificación (E)-conforme exige que lo especificado sea extensionalmente estable: que la atribución de una estructura no altere el estado de cosas al que se atribuye. El dominio afectivo, paradigma de lo fenomenológico, no lo es: medir la emoción la modifica. Si v es el valor asignado a un estado afectivo y r la revaloración que produce conocer esa asignación, la medición exigiría un punto fijo tal que v = r(v); y en ese dominio toda asignación se auto-invalida al ser conocida —la determinación de un miembro del todo en términos del todo, que la tradición lógica de Poincaré a Feferman denomina impredicatividad. Un formalismo puede traducir solo lo extensionalmente estable; lo computable es, en el límite, lo especificable sintácticamente. El Teorema II mostró que el funcionalista no puede anclar la implementación sin fetichizar el sustrato; el lema muestra por qué tampoco puede anclar el fenómeno sin perderlo: lo que (E) puede capturar es constitutivamente ciego a lo impredicativo, y lo fenomenológico es impredicativo en su presentación. La inestabilidad es necesaria en el sentido que §1.4 exigía: no es que el paradigma no haya encontrado todavía la formulación estable; es que su única materia admisible es constitutivamente ciega, primero a lo que debía captar (7.3) y después a las condiciones de su propia captura (Teoremas I y II).

7.5

El diagnóstico predice algo verificable: si la cizalla es propia del concepto y no del capricho histórico, debe haber aparecido antes, en otros dominios, siempre que la medida o la sintaxis intentaron anclar lo que no se deja anclar. Y así ocurrió. Babbage (1838) en la máquina: ninguna cadena de operaciones identifica la ley que la gobierna. Goodman (1955) en el predicado: ninguna muestra de instancias fija la proyección. Wittgenstein (1953) y Kripke (1982) en la regla: ningún hecho descriptivo, ni siquiera con la normatividad agregada como cláusula suplementaria, constituye el hecho bautismal del significado. Benacerraf (1965) en el objeto matemático: ninguna estructura fija la ontología. Putnam (1988) en la implementación: ninguna descripción privilegia la función. La lista admite una sexta entrada, cronológicamente la más tardía y la más cercana a este artículo: el problema difícil de la consciencia (Chalmers 1995; 2003) es la reaparición del corte en el dominio que examina §7.3 —la estructura exhibida no alcanza lo vivido— redescubierto por la tradición analítica un siglo después de su formulación (Bergson 1889; 1907), en un autor no precisamente anónimo, al contrario, con premio Nobel y con descendencia filosófica considerable, por ejemplo, el Heidegger de Ser y Tiempo. El retraso no es una anomalía historiográfica: es lo que 7.4 predice. Las necesidades conceptuales no caducan; se reencarnan. En cada dominio, las mismas dos reacciones: aceptar la promiscuidad o fetichizar un ancla. La diferencia es el precio: en matemáticas, la primera reacción fundó una disciplina respetable, el estructuralismo; en filosofía de la mente materialista, ambas reacciones destruyen la teoría que las provoca, la primera negando su objeto y la segunda negando su principio. Que el paradigma haya tardado sesenta años en encontrar el problema que su propio modelo llevaba incorporado desde 1838 no es mala suerte: es la firma de una necesidad conceptual.

7.6

Propongo fijar el estatuto de todo lo anterior en una frase: esta sección es diagnóstico posterior, no premisa. La cadena §2–§6 se sostiene sin Bergson, sin Chalmers y sin el lema de impredicatividad; quien rechace la distinción de multiplicidades pierde la explicación de la necesidad, no la tesis. Lo que el diagnóstico añade es triple: por qué la clausura de §5 era inevitable; por qué ninguna reforma futura la abrirá (7.4); y por qué la historia del paradigma fue la que fue (7.5). Lo que no añade —y esto preserva el punto focal— es ni una premisa ni una promesa nueva: la metaestabilidad del materialismo funcional está demostrada donde debía estarlo, en §5; y §7 solo explica por qué estaba escrita de antemano en el material.

§8. Objeciones y réplicas

Objeción 1 (alcance). "Su argumento es un trilema disfrazado: el dualismo de Chalmers, el panpsiquismo, el idealismo escapan de la clausura." — Réplica: fuera del espacio delimitado en §1.2, por diseño. La tesis es condicional, y su fuerza es la condicionalidad: muestra que una casa no tiene cimientos sin especular sobre lo que se construye fuera de ella. Nótese además (§7.3, §7.5) que el artículo comparte la premisa de la que parte el dualista —la exclusión de lo fenomenológico de lo estructural— y solo declina la salida. La objeción, bien mirada, confirma la tesis: todo el que toma la fenomenología en serio acaba saliendo del materialismo.

Objeción 2 (prueba demasiado). "Si (E) excluye lo fenomenológico, su argumento vuelve imposible toda ciencia de lo cognitivo." — Réplica: No. La distinción de la que depende todo el artículo —correlación, dependencia, identidad— protege la ciencia cognitiva en su totalidad: la correlación y la dependencia quedan intactas; lo que el argumento bloquea es el paso a la identidad, la tesis de que la estructura exhibida agota lo vivido. El artículo es, en este sentido, aliado de la neurociencia: le devuelve su objeto exacto —las funciones— y le devuelve a la filosofía el residuo que la neurociencia, por construcción, no puede capturar (Chalmers 1995; 2003). Que la estructura no agote lo vivido no impide medir la estructura; impide creer que medirla es todo.

Objeción 3 (arquitectura). "La promiscuidad tiene respuesta técnica conocida: condiciones de contrafáctico y de robustez, la computación física mecanicista. Su tenedor está viejo." — Réplica: esas respuestas son la segunda reacción formalizada (§4.4), no una refutación del Teorema II. Cada condición es una propiedad del ejecutor elevada a relevancia constitutiva: fetichismo del sustrato. Y hay ahora dos dificultades acumulativas que la literatura técnica no ha tocado: toda condición añade yuxtaposición a un dominio impredicativo (§7.4), y toda condición exige un sistema con frontera, siendo la frontera precisamente lo que está en disputa (§4.3). Que la literatura exista confirma el mapa: es la ocupación del atractor II, no su disolución.

Objeción 4 (el eliminativista tranquilo). "Si no hay residuo fenomenológico —que es mi posición—, su punto de fricción desaparece y el funcionalismo puede quedarse donde está. La metaestabilidad se disuelve." — Réplica: véase §6. Quien niega el residuo no se queda en el valle: ha llegado al atractor I. La tesis no es que todo materialista sea metaestable; es que la posición llamada funcionalismo no puede sostenerse, y quien responde "no hay nada que (E) no capture" responde desde el eliminativismo con otro nombre en la tarjeta. La objeción es una confirmación con cambio de etiqueta — y el eliminativista, por añadidura, hereda las deudas registradas en §6.

Objeción 5 (metaestable ≠ defectivo). "Todo paradigma puede ser un tránsito; quizá la mente es teóricamente inestable. No veo el daño." — Réplica: el daño es de autocomprensión. Si el funcionalismo es tránsito, no es una teoría de la mente sino el camino entre dos teorías, y medio siglo de investigación ha vivido en el camino creyendo habitar la casa. La tesis se reformula sin pérdida: entonces el funcionalismo no es estable, y eso es todo lo que el artículo sostiene. Pero nótese la asimetría: una teoría falsa y estable puede ser reemplazada; una posición metaestable se reemplaza sola — y la historia del campo (§6, §7.5) muestra que ya lo ha hecho dos veces.

Objeción 6 (autorreferencia). "Su Teorema I presupone atribuciones de rol determinadas —'P juega R'— mientras su Teorema II disuelve la determinación de los roles. El argumento se socava a sí mismo." — Réplica: esa es la estructura, no el defecto. El Teorema I es condicional: si P juega R, su contribución es constitutiva allí donde se ejecute. El Teorema II muestra que (N) no puede respaldar el antecedente: no ofrece recurso alguno para privilegiar la descripción bajo la cual P juega R. La conjunción de ambos es la metaestabilidad: la paridad promete lo que la promiscuidad no puede garantizar, y el funcionalista habita esa tensión. Un argumento autodestructivo probaría que nada se sigue de él; este prueba que demasiado se sigue — exactamente lo que la posición no puede pagar.

§9. Conclusión: el funcionalismo como teoría de tránsito

El recorrido puede resumirse en una sola frase: 

El funcionalismo no es una teoría de la mente sino el camino por el que la filosofía de la mente materialista viaja de su nacimiento conductista a uno de sus dos funerales fundacionales. 

Fundado para escapar del conductismo y de la identidad tipo-tipo, se definió por dos compromisos —la neutralidad de sustrato (N) y la especificabilidad estructural (E)— cuya conjunción, lejos de fundar un territorio intermedio estable, genera la pregunta que ninguno de los dos puede responder dentro del materialismo. De (N) se siguen la paridad y la promiscuidad (Teoremas I y II): la mente no puede excluir lo que ejecuta su rol, ni puede anclar lo que ejecuta sin fetichizar el ejecutor; y no hay término no arbitrario de la extensión (Corolario). De (E) se sigue la exclusión constitutiva de lo fenomenológico. Ante lo excluido, el materialista solo dispone de dos reacciones —negarlo o anclarlo—, y ambas están ocupadas (§6): la primera por la línea heterofenomenología–eliminativismo–ilusianismo, que reinstaura el conductismo con vocabulario de procesamiento; la segunda por el materialismo reductivo, que reinstaura la identidad y compra el anclaje con la moneda de (N). Cada atractor es la resurrección de un enemigo fundacional, pagada con el compromiso que el funcionalismo creía haber rescatado para siempre. Eso es la metaestabilidad: no una refutación, sino la demostración de que la posición no puede quedarse donde está.

Dos consideraciones cierran el mapa. La primera es de alcance: lo aquí demostrado es condicional al materialismo, y solo a él. Que una de las dos casas hacia las que empuja el valle tampoco sea habitable en sus propios términos —que el eliminativismo no pueda completar su programa mientras necesite el vocabulario que pretende eliminar, y que el reductivismo no pueda sostener su identidad sin derivar hacia el funcionalismo que existía para reemplazar— es argumento de otros trabajos, y el resultado compuesto, si esos argumentos se aceptan, excede este artículo en una dirección que aquí solo se anota, a saber: dentro del materialismo, ninguna posición sobre lo mental parece ser estable. Pero esa consecuencia pertenece a otro título; aquí basta con la clausura que §5 trazó y §6 confirmó.

La segunda consideración es historiográfica, y el artículo se cierra con ella. La mente extendida, leída desde la clausura, enseña algo más sobrio de lo que sus defensores y sus críticos creyeron: no descubrió que la mente sale del cráneo, sino que si la mente era eso, no había mente que extender. Y entonces la pregunta que queda no es filosófica sino disciplinar: si dentro del materialismo todo reposo sobre lo mental cuesta la fenomenología o cuesta la neutralidad de sustrato, ¿qué estuvo haciendo la filosofía de la mente durante sesenta años? El artículo no responde. Cierra la puerta del materialismo y deja la pregunta del otro lado, sin abrirla.

Bibliografía

• Avicenna (ibn Sīnā) (1959), Avicenna's De Anima, Being the Psychological Part of Kitāb al-Shifāʾ, ed. F. Rahman, Londres: Oxford University Press. [el hombre flotante está en De anima I,1]
• Babbage, C. (1838), The Ninth Bridgewater Treatise: A Fragment, 2.ª ed., Londres: John Murray.
• Benacerraf, P. (1965), "What Numbers Could Not Be", The Philosophical Review 74 (1): 47–73.
• Bergson, H. (1889), Essai sur les données immédiates de la conscience, París: Félix Alcan.
• Bergson, H. (1907), L'Évolution créatrice, París: Félix Alcan.
• Chambers, R. (1844), Vestiges of the Natural History of Creation, Londres: John Churchill.Clark, A. y Chalmers, D. (1998), "The Extended Mind", Analysis 58 (1): 7–19; y Clark, A. (2008), Supersizing the Mind, Oxford: Oxford University Press.
• Chalmers, D. J. (1995), "Facing Up to the Problem of Consciousness", Journal of Consciousness Studies 2 (3): 200–219.
• Chalmers, D. J. (1996a), "Does a Rock Implement Every Finite-State Automaton?", Synthese 108 (3): 309–333.
• Chalmers, D. J. (1996b), The Conscious Mind: In Search of a Fundamental Theory, Nueva York: Oxford University Press.
• Chalmers, D. J. (2003), "Consciousness and Its Place in Nature", en S. P. Stich y T. A. Warfield (eds.), The Blackwell Guide to Philosophy of Mind, Oxford: Blackwell, 102–142.
• Churchland, P. M. (1981), "Eliminative Materialism and the Propositional Attitudes", The Journal of Philosophy 78 (2): 67–90.
• Clark, A. y Chalmers, D. (1998), "The Extended Mind", Analysis 58 (1): 7–19; y Clark, A. (2008), Supersizing the Mind, Oxford: Oxford University Press.
• Dennett, D. C. (1991), Consciousness Explained, Boston: Little, Brown.
• Feferman, S. (1964), "Systems of Predicative Analysis", The Journal of Symbolic Logic 29 (1): 1–30.  
• Frankish, K. (2016), "Illusionism as a Theory of Consciousness", Journal of Consciousness Studies 23 (11–12): 11–39.
• Goodman, N. (1955), Fact, Fiction, and Forecast, Cambridge, MA: Harvard University Press.
• Heidegger, M. (1927), Sein und Zeit, Halle: Niemeyer. [citado en §7.5]
• Hume, D. (1739–1740/1978), A Treatise of Human Nature, ed. L. A. Selby-Bigge, 2.ª ed. rev. P. H. Nidditch, Oxford: Clarendon Press. [I.IV.6]
• Kim, J. (1992), "Multiple Realization and the Metaphysics of Reduction", Philosophy and Phenomenological Research 52 (1): 1–26.
• Kim, J. (1998), Mind in a Physical World: An Essay on the Mind-Body Problem and Mental Causation, Cambridge, MA: MIT Press.
• Kripke, S. A. (1982), Wittgenstein on Rules and Private Language, Cambridge, MA: Harvard University Press.
• Lewis, D. (1994), "Reduction of Mind", en S. Guttenplan (ed.), A Companion to the Philosophy of Mind, Oxford: Blackwell, 412–431.
• Poincaré, H. (1905–1906), "Les mathématiques et la logique", Revue de métaphysique et de morale 13: 815–835; 14: 17–34, 294–317.  
• Putnam, H. (1967), "Psychological Predicates" [= "The Nature of Mental States"], en W. H. Capitan y D. D. Merrill (eds.), Art, Mind, and Religion, Pittsburgh: University of Pittsburgh Press, 37–48.
• Putnam, H. (1988), Representation and Reality, Cambridge, MA: MIT Press.
• Searle, J. R. (1990), "Is the Brain a Digital Computer?", Proceedings and Addresses of the American Philosophical Association 64 (3): 21–37.
• Searle, J. R. (1992), The Rediscovery of the Mind, Cambridge, MA: MIT Press.
• Smart, J. J. C. (1959), "Sensations and Brain Processes", The Philosophical Review 68 (2): 141–156.
• Wittgenstein, L. (1953), Philosophical Investigations, Oxford: Blackwell.