TEORA COMPUTACIONAL DE LA MENTE

Teora computacional de la mente

La teora computacional de la mente (TCM) sostiene que la mente es un ordenador digital: un dispositivo de estados discretos que almacena representaciones simblicas y que las manipula mediante reglas sintcticas; asimismo, sostiene que los pensamientos son representaciones mentales ms especficamente, representaciones simblicas en un LENGUAJE DEL
PENSAMIENTO;

y que los procesos mentales son secuencias causales guiadas por las

propiedades sintcticas, y no las semnticas, de los smbolos. Putnam (1975) fue quizs el primero en articular la TCM, teora que ha encontrado muchos defensores, siendo los ms influyentes Fodor (1975, 1981, 1987, 1990, 1993) y Pylyshyn (1980, 1984). Los defensores de la TCM ven la teora como una prolongacin de la idea ms antigua de que el pensamiento es REPRESENTACIN MENTAL una prolongacin que nos muestra cmo un compromiso con los estados mentales puede ser compatible con un enfoque causal de los procesos mentales y con un compromiso con el materialismo y la generalidad de la fsica. Las variedades ms antiguas del representacionalismo eran incapaces de explicar cmo los procesos mentales podan ser semnticamente coherentes cmo los pensamientos se podan seguir el uno del otro de una manera apropiada a sus significados, siendo al mismo tiempo procesos causales genuinos que no dependieran de un homnculo interno que entendiera el significado de las representaciones. Sin embargo, usando la formalizacin y los ordenadores digitales podemos explicar cmo ocurre esto. La formalizacin nos muestra cmo conectar la semntica con la sintaxis. Para cualquier sistema de smbolos formalizable, es posible desarrollar un conjunto de reglas derivacionales formales, basadas enteramente en propiedades sintcticas, que d cabida a todas las inferencias permisibles basadas en aspectos semnticos y slo a ellas. Los ordenadores nos muestran cmo conectar la sintaxis con la

TEORA COMPUTACIONAL DE LA MENTE

causacin. Para cualquier sistema formal finito, es posible construir un ordenador digital que automatice las derivaciones de tal sistema. De este modo, la formalizacin y la computacin, tomadas conjuntamente, nos muestran cmo conectar la semntica con la causacin en un sistema material como es el ordenador digital: se disea un conjunto de reglas sintcticas que sigan la pista a las propiedades semnticas de los smbolos (esto es, se formaliza el sistema), y luego se implementan estas reglas en el ordenador. El que los ordenadores sean sistemas puramente fsicos nos muestra que un sistema puramente fsico puede llevar a cabo inferencias simblicas que respeten la semntica de los smbolos sin recurrir a un homnculo o a cualquier otro agente no fsico. Las propiedades sintcticas son los determinantes causales del razonamiento, la sintaxis sigue la pista a la semntica, y las propiedades sintcticas pueden ser implementadas en un sistema fsico. La TCM ha sido promocionada tanto por su relacin con el xito de la investigacin en ciencia cognitiva como por su promesa de dar solucin a los problemas filosficos. El principal argumento a favor de la hiptesis del lenguaje del pensamiento y de la TCM ha sido el argumento de que es el nico juego del lugar: las teoras cognitivas del lenguaje, el aprendizaje y otros fenmenos psicolgicos son las nicas teoras viables de las que disponemos, y estas teoras presuponen un sistema representacional interno. Por consiguiente, tenemos ya de entrada un compromiso prima facie con la existencia de un sistema representacional de ese tipo (Fodor, 1975). Algunos autores han afirmado que la TCM tambin explica la INTENCIONALIDAD de los estados mentales y que reconcilia el mentalismo con el materialismo. El significado y la intencionalidad de los estados mentales son heredados de los significados y la intencionalidad de los smbolos del mentals (Fodor, 1981). Y dado que los smbolos, portadores ltimos de las propiedades semnticas y de la intencionalidad, pueden a la vez poseer significado y ser objetos fsicos, no hay siquiera ni la menor sombra de conflicto entre el compromiso con la semntica y la intencionalidad y el

TEORA COMPUTACIONAL DE LA MENTE

compromiso con el materialismo. Por ltimo, la TCM ha servido para explicar el poder generativo y creativo del pensamiento que resulta de la COMPOSICIONALIDAD del lenguaje del pensamiento. La lingstica chomskiana nos muestra cmo se puede generar un nmero infinito de oraciones posibles a partir de un nmero finito de unidades lxicas atmicas, estructuras sintcticas y reglas transformacionales. Si la base del pensamiento es un lenguaje simblico, estos mismos recursos pueden ser directamente aplicados para explicar la composicionalidad del pensamiento. A pesar de que la TCM fue ganando aceptacin durante los aos setenta y ochenta, ha sido criticada desde entonces desde diferentes frentes. En primer lugar, se ha puesto en duda la premisa emprica de ser el nico juego del lugar, debido al redescubrimiento por parte de los filsofos, a finales de los aos ochenta, de enfoques alternativos de modelizacin psicolgica, representados por las REDES NEURONALES y los sistemas dinmicos adaptativos. La cuestin fundamental que ha impulsado el debate filosfico sobre las redes neuronales y el conexionismo ha sido la de si sus modelos de los fenmenos psicolgicos son alternativas viables a los modelos basados en reglas y representaciones. En segundo lugar, pensadores tales como Dreyfus (1972, 1992) y Winograd y Flores (1986) han afirmado que gran parte del pensamiento y la conducta humanos no puede ser reducida a reglas explcitas, y por lo tanto no puede ser formalizada o reducida a un programa de ordenador. Por consiguiente, aun cuando la TCM diga algo significativo acerca de las partes de la cognicin humana que pueden ser formalizadas, hay grandes porciones de la vida mental humana acerca de las cuales no puede decir nada. Dreyfus y otros han intentando argumentar que entre ellas se encuentra todo el conocimiento experto y habilidades tan simples como saber conducir un coche o hacer el pedido en un restaurante. Un tercer tipo de crtica se ha dirigido al uso que hace la TCM del significado de los smbolos para explicar la semntica del pensamiento, aduciendo que dicho significado se

TEORA COMPUTACIONAL DE LA MENTE

deriva de la intencionalidad del pensamiento, bien causalmente (Searle, 1980; Haugeland, 1978; Sayre, 1986) o bien conceptualmente (Horst, 1996). De este modo, el intento de explicar la intencionalidad apelando a smbolos es circular y regresivo. Searle (1990) y Horst (1996) han llevado esta lnea argumental un poco ms all, afirmando que las representaciones en los ordenadores no son ni siquiera simblicas ni sintcticas por derecho propio, sino que poseen tales propiedades en virtud de las intenciones y convenciones de las personas que usan los ordenadores: una mquina digital que no est conectada a nuestras prcticas interpretativas tiene una sintaxis slo en el sentido metafrico de esta palabra. La versin de Horst de esta crtica tambin da lugar a un argumento contra la reivindicacin de reconciliar el mentalismo con el materialismo: lo que los ordenadores digitales nos ensean es cmo conectar el significado simblico cargado de convenciones con la CAUSACIN mediante una sintaxis cargada de convenciones, y no cmo conectar el sentido de significado que se atribuye a los estados mentales con la causacin. Un cuarto tipo de crtica procede de los defensores de las teoras externistas del significado. Durante muchos aos, los defensores de la TCM tendieron tambin a ser defensores de un solipsismo metodolgico (Fodor, 1981) o INDIVIDUALISMO, que sostena que la caracterizacin de los estados mentales deba ser insensible a rasgos externos al sujeto cognoscitivo, porque los procesos computacionales que determinan el pensamiento tienen acceso slo a representaciones mentales. Al mismo tiempo, la TCM requera que la caracterizacin de los estados mentales reflejara sus propiedades semnticas. Estos dos compromisos considerados conjuntamente parecan ser incompatibles con las teoras externistas del contenido, que sostienen que los significados de muchos trminos estn por lo menos parcialmente determinados por factores que se encuentran fuera del sujeto cognoscitivo, tales como su entorno fsico (Putnam, 1975) y lingstico (Burge, 1979, 1986). Esto fue usado por algunos externistas (p. ej., Baker, 1987) como argumento contra el

TEORA COMPUTACIONAL DE LA MENTE

computacionalismo, y fue usado por lo menos una vez por Fodor (1980) como razn para rechazar el externismo. Sin embargo, algunos computacionalistas, incluyendo a Fodor (1993), han abrazado recientemente estrategias para reconciliar las teoras computacionales de los procesos mentales con las teoras externistas del significado de mentales. Vanse tambin
COMPUTACIN Y CEREBRO; CONEXIONISMO, CUESTIONES

las representaciones

FILOSFICAS; CONTENIDO ESTRECHO; FUNCIONALISMO; HABITACIN CHINA, ARGUMENTO DE LA; REGLAS Y REPRESENTACIONES

Steven Horst

Referencias bibliogrficas

Baker, L. R. (1987). Saving Belief: A Critique of Physicalism. Princeton: Princeton University Press. Burge, T. (1979). Individualism and the mental. En P. French, T. Euhling, y H. Wettstein, Eds., Studies in Epistemology, Midwest Studies in Philosophy, vol. 4. Minneapolis: University of Minnesota Press. Burge, T. (1986). Individualism and psychology. Philosophical Review 95(1): 345. Dreyfus, H. (1972). What Computers Cant Do. Nueva York: Harper and Row. Dreyfus, H. (1992). What Computers Still Cant Do. Cambridge, MA: MIT Press. Fodor, J. (1975). The Language of Thought. Nueva York: Crowell. [El lenguaje del pensamiento, Madrid, Alianza, 1985.] Fodor, J. (1980). Methodological solipsism considered as a research strategy in cognitive science. Behavioral and Brain Sciences 3: 6373. Fodor, J. (1981). Representations. Cambridge, MA: MIT Press. Fodor, J. (1987). Psychosemantics. Cambridge, MA: MIT Press. [Psicosemntica, Madrid, Tecnos, 1994.] Fodor, J. (1990). A Theory of Content and Other Essays. Cambridge, MA: MIT Press. Fodor, J. (1993). The Elm and the Expert. Cambridge, MA: MIT Press. [El olmo y el experto, Barcelona, Paids, 1997.]

TEORA COMPUTACIONAL DE LA MENTE Haugeland, J. (1978). The nature and plausibility of cognitivism. Behavioral and Brain Sciences 2: 215226. Haugeland, J., Ed. (1981). Mind Design. Cambridge, MA: MIT Press.

Horst, S. (1996). Symbols, Computation and Intentionality: A Critique of the Computational Theory of Mind. Berkeley y Los ngeles: University of California Press. Putnam, H. (1975). The Meaning of Meaning. En K. Gunderson, Ed., Language, Mind and Knowledge. Minnesota Studies in the Philosophy of Science, vol. 7. Minneapolis: University of Minnesota Press. Pylyshyn, Z. (1980). Computation and cognition: Issues in the foundation of cognitive science. Behavioral and Brain Sciences 3: 111132. Pylyshyn, Z. (1984). Computation and Cognition: Toward a Foundation for Cognitive Science. Cambridge, MA: MIT Press. [Computacin y conocimiento: hacia una fundamentacin de la ciencia cognitiva, Madrid, Debate, 1988.] Sayre, K. (1986). Intentionality and information processing: An alternative model for cognitive science. Behavioral and Brain Sciences 9(1): 121138. Searle, J. (1980). Minds, brains and programs. Behavioral and Brain Sciences 3: 417424. Searle, J. (1984). Minds, brains and science. Cambridge, MA: Harvard University Press. Searle, J. (1990). Presidential address. Proceedings of the American Philosophical Association. Searle, J. (1992). The Rediscovery of the Mind. Cambridge, MA: MIT Press. [El redescubrimiento de la mente, Barcelona, Crtica, 1996.] Winograd, T., y F. Flores. (1986). Understanding Computers and Cognition. Norwood, NJ: Ablex.

Lecturas complementarias

Cummins, R. (1989). Meaning and Mental Representation. Cambridge, MA: MIT Press. Garfield, J. (1988). Belief in Psychology: A Study in the Ontology of Mind. Cambridge, MA: MIT Press. Newell, A., y H. Simon. (1975). Computer science as empirical inquiry. (1975 Turing Lecture.) Reimpreso en J. Haugeland, Ed., Mind Design. Cambridge, MA: MIT Press, 1981, pp. 3566. Putnam, H. (1960). Minds and machines. En S. Hook, Ed., Dimensions of Mind. Nueva York: New York University Press, pp. 138164. Putnam, H. (1961). Brains and behavior. Reimpreso en Ned Block, Ed., Readings in Philosophy of Psychology.

TEORA COMPUTACIONAL DE LA MENTE Cambridge, MA: Harvard University Press, 1980, pp. 2436.

Putnam, H. (1967). The nature of mental states. En W. H. Capitan y D. D. Merrill, Eds., Art, Mind and Religion. Pittsburgh: University of Pittsburgh Press. Reimpreso en Ned Block, Ed., Readings in Philosophy of Psychology. Cambridge, MA: Harvard University Press, 1980, pp. 223231. Rumelhart, D. E., J. McClelland, y the PDP Research Group. (1986). Parallel Distributed Processing: Explorations in the Microstructure of Cognition. Cambridge, MA: MIT Press. [Introduccin al Procesamiento Distribuido en Paralelo, Alianza, Madrid, 1992.] Sayre, K. (1987). Cognitive science and the problem of semantic content. Synthse 70: 247269. Smolensky, P. (1988). The proper treatment of Connectionism. Behavioral and Brain Sciences 11(1): 174.