0 évaluation0% ont trouvé ce document utile (0 vote)
98 vues66 pages
Este documento presenta una introducción a la teoría computacional de la mente como una perspectiva teórica dentro del campo de la psicología cognitiva. Explica que la teoría computacional de la mente se interesa en entender procesos mentales como la percepción, la memoria, el razonamiento y el lenguaje. También describe las relaciones interdisciplinarias con la filosofía, la inteligencia artificial y las neurociencias, las cuales contribuyen a la comprensión de los procesos cognitivos humanos.
Este documento presenta una introducción a la teoría computacional de la mente como una perspectiva teórica dentro del campo de la psicología cognitiva. Explica que la teoría computacional de la mente se interesa en entender procesos mentales como la percepción, la memoria, el razonamiento y el lenguaje. También describe las relaciones interdisciplinarias con la filosofía, la inteligencia artificial y las neurociencias, las cuales contribuyen a la comprensión de los procesos cognitivos humanos.
Este documento presenta una introducción a la teoría computacional de la mente como una perspectiva teórica dentro del campo de la psicología cognitiva. Explica que la teoría computacional de la mente se interesa en entender procesos mentales como la percepción, la memoria, el razonamiento y el lenguaje. También describe las relaciones interdisciplinarias con la filosofía, la inteligencia artificial y las neurociencias, las cuales contribuyen a la comprensión de los procesos cognitivos humanos.
TEORIA COMPUTACIONAL DE LA MENTE. Mtra. Mara Elena Ramos Aceves.
TEMA 1. INTRODUCCIN. 1.1 Qu es la psicologa cognoscitiva?. La Psicologa Cognoscitiva es un rea de la Psicologa que se ocupa del estudio del conocimiento humano y sus procesos.
1.2 La teora computacional de la mente como una perspectiva terica dentro del campo de la psicologa cognitiva.
1.3 Relaciones Interdisciplinarias de la Psicologa Cognitiva de Corte Computacional. Hemos visto que la Teora Computacional de la Mente (de aqu en adelante TCM) es una teora que se ubica dentro del campo de la llamada psicologa cognoscitiva, consecuentemente est interesada en dilucidar la naturaleza del conocimiento humano y sus procesos. Siendo un poco ms especficos, TCM est interesada en dilucidar cuestiones como las siguientes: cmo funciona nuestro sistema perceptual? cmo seleccionamos la informacin relevante de nuestro medio y cmo sta se almacena en nuestra memoria? en qu tipo de cdigo o formato se almacena esta informacin (cuasi-lingstico, imgenes, etc.)? cmo hacemos para recuperar la informacin de nuestra memoria cuando la necesitamos? cules son las capacidades de almacenamiento de nuestra memoria? por qu olvidamos? cules son los principios subyacentes a nuestras capacidades para el razonamiento, y cmo ellos nos confieren la habilidad de solucionar los problemas que enfrentamos en la vida cotidiana? cmo evaluamos las distintas opciones cuando tenemos que tomar decisiones, de manera que podamos elegir las vas de accin apropiadas, en aras de alcanzar los objetivos que deseamos? cmo somos capaces de planear y producir las secuencias de 2 oraciones que conforman nuestro discurso cuando hablamos un lenguaje y cmo hacemos para decodificar el discurso cuando comprendemos las emisiones de los otros? cmo se relacionan la emocin y el pensamiento? cmo la cultura y el grupo social al que pertenecemos pueden modelar nuestro pensamiento?, etc, etc. Por supuesto, llegar a entender cmo nuestra mente-cerebro hace todas estas cosas no es una tarea fcil. Requiere, por ende, de la colaboracin de distintas disciplinas, las cuales, al aportar elementos provenientes de diferentes perspectivas, contribuyen a la construccin de un panorama ms certero y completo de los procesos cognitivos humanos.
Segn el psiclogo Howard Gardner, la psicologa cognitiva de corte computacional mantiene relaciones interdisciplinarias con las siguientes reas de estudio:
Tomado de Gardner, 1985, p. 53 3 Veamos cada una de estas disciplinas por vez.
FILOSOFIA. Se sabe que la filosofa es la madre de todas las ciencias. Bueno, pues la psicologa cognoscitiva en general y TCM en particular no son una excepcin. Podemos decir que TCM mantiene vnculos con la filosofa, en primer lugar, porque los problemas de los que TCM se ocupa le fueron heredados por la filosofa. Si, como ya se ha dicho, el objeto bsico de estudio de TCM es el conocimiento humano y sus procesos, este inters es un legado de la preocupacin de los filsofos (especficamente de los epistemlogos) por el conocimiento. Las primeras indagaciones sobre la naturaleza del conocimiento datan de la antigedad griega y han sido el objeto de discusin filosfica por siglos hasta la actualidad. Cul es el inters que los filsofos, especficamente los llamados epistemlogos, tienen en el conocimiento? La epistemologa es un rea de la filosofa cuyo objeto de estudio es justamente el conocimiento y sus condiciones de validez. Expliquemos esto. El filsofo Ren Descartes (1596-1650) consider un da lo siguiente: me he dado cuenta de que muchas de mis creencias, las cuales yo tena por verdaderas, estaban equivocadas, eso lo llev a cuestionarse cuntas de sus creencias eran en realidad ciertas qu tal si haba vivido tanto tiempo engaado creyendo puras falsedades? cmo poda l estar seguro de la verdad de sus creencias? Estos cuestionamientos le llevaron a preocuparse por los fundamentos ltimos de todo conocimiento, entendiendo l por conocimiento, todo aquello que podemos dar por cierto, por verdadero, infalible, incorregible, de tal manera que no pueda ser refutado por ninguna evidencia posterior. Descartes, en su deseo de determinar cules eran los fundamentos del conocimiento propuso, como una estrategia metodolgica, lo que l llam la duda metdica la cual consista en dudar de todo aquella creencia para la que existiese la mnima sospecha de falsedad. Siguiendo este mtodo Descartes lleg a poner 4 en duda toda aquella creencia que se apoyara en los sentidos, para l del que alguna vez nos ha engaado no debemos fiarnos y es claro que los sentidos nos engaan. Si no podemos confiar en que el mundo sea cmo nos es dado a los sentidos de qu otra manera podramos fundamentar el conocimiento? Descartes, despus de una larga serie de consideraciones, llega a la conclusin de que el fundamento de todo conocimiento se encuentra en la facultad de la razn. La facultad de la razn es la que nos permitir corregir los errores a que pueden conducirnos nuestros sentidos. Esta posicin cartesiana, la cual ha sido clasificada como una forma de racionalismo, no fue aceptada por otro grupo de filsofos llamados empiristas. Para estos ltimos, la fuente y fundamento de todo conocimiento deba hallarse en la experiencia sensorial. Surge as un debate entre los partidarios de la razn por un lado, y los partidarios de la experiencia sensorial, por el otro. Mientras que los primeros ponan nfasis en la capacidad de razonamiento humano y en el carcter innato de algunas de nuestra ideas, como la de Dios o ciertos principios lgicos y geomtricos; los segundos rechazaban tajantemente la existencia de ideas innatas y postulaban que nada puede haber en el pensamiento que no haya pasado antes por los sentidos. Immanuel Kant (1724-1804) fue un filsofo muy famoso que intento poner fin a esta polmica adoptando una posicin mediadora. El sostena que en el proceso de conocimiento tanto el sujeto, como el objeto de conocimiento, tienen una aportacin que hacer. De tal manera que el conocimiento es el producto, tanto de lo que es puesto en nuestra mente tras la percepcin del objeto, como de lo que es puesto por el sujeto en el objeto, dadas sus propias facultades cognoscitivas, pues la mente del sujeto no es una tabula rasa. Estas discusiones ocuparon por mucho tiempo a los filsofos, el problema es que ellas estaban basadas en la especulacin. Los psiclogos han retomado estas cuestiones pero intentando darles una respuesta emprica, valindose de la observacin y de la investigacin experimental de los hechos.
5 Otra razn por la que el quehacer filosfico es relevante para la psicologa cognitiva se deriva del hecho de que la reflexin filosfica nos ayuda a aclarar y comprender los conceptos complejos de los que se vale TCM. Tarea que no podra realizarse echando mano de ningn tipo de observacin o de investigacin de laboratorio. Para ilustrar el punto, consideremos como ejemplo las investigaciones realizadas en el mbito de la psicologa del razonamiento. Estas investigaciones consisten en aplicar a los sujetos todo tipo de tareas de razonamiento, para despus, tras un anlisis de sus respuestas, tratar de descubrir los principios o reglas subyacentes que conforman la competencia humana para el razonamiento. Un remarcable resultado de estas investigaciones es que los seres humanos razonamos de maneras que se desvan de ciertos principios o reglas de buen razonamiento establecidos por la Lgica, que es la disciplina que nos dice cuando un razonamiento es correcto o incorrecto. Este resultado ha llevado a algunos autores a concluir que la irracionalidad humana ha quedado experimentalmente demostrada. Otros, en cambio, han defendido la idea de que, a pesar de los resultados de los experimentos, los seres humanos somos racionales. La estrategia de estos autores ha sido apelar a nociones de racionalidad distintas de la nocin tradicional que se deriva de la Lgica. Ellos han tenido que buscar una respuesta alternativa a la pregunta acerca de qu significa ser racional. Como podemos darnos cuenta, una cuestin de este tipo no puede ser respondida haciendo algn tipo de observacin o realizando algn experimento en el laboratorio. Una cuestin como esta requiere, ms bien, de un anlisis reflexivo acerca de la forma en que nosotros hemos decidido usar nuestros conceptos. Y es en este momento en el que la filosofa puede sernos de gran ayuda.
INTELIGENCIA ARTIFICIAL. Qu puede aportar la Inteligencia Artificial (IA) a la comprensin del conocimiento humano y sus procesos? Sabemos que TCM presupone que la computadora digital es un buen modelo del pensamiento. La aparicin de las computadoras a mediados de los 50s fue un 6 factor clave para el surgimiento del enfoque cognitivo en la psicologa. La sorprendente capacidad exhibida por estas mquinas en la solucin de problemas que hasta entonces eran slo de competencia humana, dio sustento a la concepcin de que toda inteligencia implicaba el uso y manipulacin de smbolos de acuerdo a reglas susceptibles de representacin lgica o matemtica. Esta concepcin nos lleva entonces a establecer una analoga entre las computadoras y las mentes en el sentido de que ambas son procesadores de informacin. Consecuentemente la computadora se convierte en un instrumento fundamental para modelar (simular) los procesos cognitivos del ser humano. Es aqu en donde entra la participacin de la IA. Ella nos da las herramientas para construir programas cada vez ms complejos que nos permitan modelar procesos psicolgicos y someter as a prueba hiptesis psicolgicas. Pero no slo eso, los programas desarrollados dentro de la IA que pueden incluso ser creados con fines muy diferentes del de simular procesos cognitivos humanos-- pueden llegar a sernos tiles como una fuente de inspiracin para la generacin de hiptesis sobre la cognicin humana.
NEUROFISIOLOGA. TCM asume que hay un nivel de investigacin de lo mental que puede ser estudiado con total independencia del nivel neurofisiolgico y que es el que propiamente compete a los psiclogos cognitivos. Una forma simple de explicar cul es ese nivel es apelar a la distincin entre hardware y software en una computadora. El hardware es la estructura fsica de la mquina, los cables, los circuitos integrados, los microprocesadores, etc. El software es el conjunto de instrucciones que sigue la mquina para realizar una cierta funcin. Este conjunto de instrucciones no es otra cosa que el programa que corre la computadora. Extrapolando esta terminologa computacional al mbito de lo mental podra entenderse a la mente misma como el software del cerebro, el cual vendra a ser el hardware o estructura fsica en que se realiza el programa. Es entonces el nivel de software el que le compete investigar al psiclogo cognitivo, para quien el objetivo fundamental sera dilucidar cul es el programa que corre el cerebro. Y 7 claramente, parece ser que esta tarea puede ser realizada sin consideraciones sobre la estructura fsica que da soporte a este programa. No obstante, el aceptar esto no implica que los psiclogos cognitivos consideren que la neurofisiologa es totalmente irrelevante a su quehacer. Si bien es cierto que la psicologa cognitiva y la neurofisiologa se mueven en niveles muy diferentes de anlisis los cuales son irreductibles, tambin es cierto que el conocimiento de muchas de las caractersticas de un nivel de anlisis puede resultar til para obtener conocimiento acerca del otro. Permtaseme aqu retomar un ejemplo muy ilustrativo que dan Smith y Kosslyn en su libro Procesos Cognitivos: Puede reemplazarse una descripcin de la funcin de unas tijeras por una descripcin de la disposicin de los tomos de sus hojas? Est claro que no. Qu decir de la mano humana? podra reemplazar una descripcin de huesos, tendones y msculos las descripciones de asir, acariciar y remover? No. El ordenador y el cerebro no son diferentes de estos ejemplos. Para entenderlo del todo se ha de distinguir entre un nivel funcional de anlisis (las acciones que unas tijeras y una mano realizan) y un nivel fsico de anlisis (en el que se describen las propiedades fsicas de las partes que componen estos objetos)...............Aunque no se puede reemplazar un nivel de anlisis por otro, se pueden obtener conocimientos de las caractersticas de un nivel a partir de los otros. Probablemente no se podran fabricar unas tijeras que funcionaran con cartn mojado: es importante conocer las caractersticas fsicas de los materiales para comprender cmo una hoja puede tener un borde cortante (y porqu algunos materiales son ms apropiados que otros). Del mismo modo, la estructura fsica de la mano es lo que le permite todas esas cosas maravillosas: sin palma, ni dedos, ni pulgar no hay prensin caricia o movimiento..........para entender completamente la actividad mental es necesario considerar los mecanismos neurales que la originan lo que en ltima instancia requiere comprender cmo el cerebro da lugar a la actividad mental. 8 Concretando, puede decirse que la psicologa cognoscitiva y la neurofisiologa se vinculan en el sentido de que esta ltima impone restricciones a la clase de teoras cognoscitivas que pueden ser construidas, lo cual quiere decir que las teoras cognoscitivas construidas deben ser neurofisiolgicamente plausibles. Pero la direccin de la influencia entre estas dos disciplinas tambin se da en el sentido inverso: las teoras sobre procesos cognoscitivos tambin pueden llegar a orientar y restringir a las teoras neurofisiolgicas.
LINGSTICA. La capacidad para el lenguaje es una de las capacidades superiores del ser humano. Adems, el lenguaje es el medio mismo en el que se expresa y comunica todo conocimiento posible. Y puesto que la lingstica es una disciplina que se ocupa de estudiar el lenguaje, es obvio que tiene mucho que aportar al estudio de la capacidad humana para el lenguaje. Es importante destacar que en algn tiempo las relaciones interdisciplinarias de la lingstica y la psicologa no fueron muy estrechas. La lingstica se ocupaba, ante todo, de estudiar las distintas lenguas, haciendo estudios comparativos y tratando de encontrar universales lingsticos. Especficamente, la lingstica buscaba identificar y clasificar los elementos componentes de la distintas lenguas: sujeto, verbo, pronombres, artculos, etc. as como dilucidar sus respectivas gramticas, esto es, el conjunto de reglas que regulaban la concatenacin de smbolos (palabras) para la construccin de oraciones bien formadas. En realidad los psiclogos y los lingistas no tenan mucha comunicacin. Fue a partir de Noam Chomsky que este panorama cambi. Chomsky es un lingista que se preocup por dar cuenta de la productividad del lenguaje natural. l se preguntaba cmo era posible que un individuo fuera capaz, en principio, de comprender y producir un nmero infinito de oraciones, a partir de un vocabulario finito. En oposicin al conductismo, consideraba que la productividad no poda ser explicada en trminos de la exposicin a un conjunto limitado de contingencias de reforzamiento. Propuso entonces que la nica manera de explicar la productividad era apelar a un conjunto de reglas 9 representadas en nuestra mente. De este modo, al considerar que las habilidades lingsticas humanas pueden ser explicadas por referencia a un sistema complejo de reglas y principios representados en la mente de los hablantes, Chomsky asume una posicin mentalista, ubicando a la teora lingstica dentro del mbito objetual de la psicologa. Fue as que la psicologa y la lingstica empezaron a estrechar sus lazos.
ANTROPOLOGA. Asumiendo que la cultura es el principal objeto de estudio de la antropologa y considerando la siguiente definicin de cultura: La cultura es la totalidad compleja que incluye los conocimientos, creencias, artes, moral, leyes, costumbres y cualesquiera otras capacidades y hbitos adquiridos por el hombre como miembro de la sociedad (Tylor), es claro que la antropologa tambin se ocupa del conocimiento humano. Podemos mencionar varios temas o tpicos que interesan tanto al psiclogo cognitivo como al antroplogo y en el que la cooperacin de ambos resulta provechosa.
- Unidad psicolgica de la especie humana. En algn tiempo los antroplogos (por ejemplo Lvy-Bruhl) consideraron que la mente de la gente primitiva era muy diferente de la del europeo civilizado y que se encontraba algunos niveles atrs en la escala evolutiva. Se crea que los hombres primitivos tenan una mentalidad pre-lgica, consecuentemente eran insensibles a la contradiccin y eran incapaces de pensamiento abstracto. Fue tras largas discusiones y estudios empricos que los antroplogos (como Tylor y Boas) se dieron cuenta de que las diferencias entre los primitivos y los civilizados eran una cuestin de grado y que no haba diferencias fundamentales....la estructura fundamental de la mente humana es la misma en todas partes. Llegar a una conclusin como esta fue fundamental para la psicologa cognoscitiva, en tanto que sta, como ciencia, busca descubrir principios universales que den cuenta del funcionamiento mental de la especie humana. 10
- Lo universal y lo particular. Los estudios transculturales de ndole psicolgica realizados por los antroplogos, han aportado elementos valiossimos para determinar hasta qu punto ciertos procesos mentales son universales o idiosincrsicos.
- Conocimiento Innato vs. Adquirido. El antroplogo Edward Taylor declaraba que las capacidades humanas no formaban parte de lo que cada individuo traa al nacer, sino que ms bien derivaban de su pertenencia a un grupo, y presumiblemente podan modificarse si el individuo era criado en un grupo distinto, o si el grupo mismo modificaba sus prcticas o sus valores. Este nfasis en el aprendizaje asest un rudo golpe a la nocin de que los seres humanos se conducen como lo hacen debido a rasgos heredados o al lugar que ocupan en la escala evolutiva. Por supuesto, esto que acaba de mencionarse enfatiza la perspectiva de Tylor y de la mayora de los antroplogos. Y es justo sealar que esta no es una posicin generalizada que acepten todos los psiclogos cognitivos. Sin embargo, es innegable que estos discernimientos de los antroplogos, han contribuido a abrir el debate sobre la importancia de la cultura en el moldeamiento de nuestras capacidades cognoscitivas y han aportado elementos fundamentales para intentar clarificar qu aspectos de nuestra cognicin pueden ser atribuidos a nuestra herencia biolgica y cules deben ser atribuidos, ms bien, a nuestra herencia cultural.
- La relacin entre pensamiento y lenguaje. Los estudios antropolgicos tambin han aportado elementos imprescindibles para dirimir la cuestin, que todava sigue siendo polmica, de si nuestro pensamiento determina nuestro lenguaje --de modo tal que ste ltimo no es ms que un mero reflejo del primero-- o si, por el contrario, el lenguaje que hablamos determina nuestro pensamiento de modo tal que los conceptos que aprendemos al aprender un lenguaje condicionan nuestra manera de percibir y de pensar sobre el 11 mundo. En relacin a este punto son interesantes los estudios antropolgicos sobre las maneras en que los seres humanos de distintas culturas categorizan la realidad (por ejemplo, los colores, las plantas, los animales, etc.)
BIBLIOGRAFA
Smith, E. & Kosslyn, S. (2007): Procesos Cognitivos: Modelos y Bases Neurales. Espaa, Pearson Prentice Hall, 2008. Clasificacin: BF311 / S57518
Gardner, Howard; (1985): La nueva ciencia de la mente. Historia de la revolucin cognitiva. Barcelona, Paids, 1987. Clasificacin: BF311 / G373
12 TEMA 2. CONTEXTUALIZACIN HISTRICA: FACTORES QUE CONTRIBUYERON AL SURGIMIENTO DE LA VISIN COMPUTACIONAL DE LA MENTE. La psicologa cognitiva de corte computacional surgi a mediados del siglo pasado (dcada de los 50s) como resultado de la confluencia de tres factores fundamentales: - La inviabilidad del Conductismo. - La Revolucin de Noam Chomsky en el mbito de la Lingstica. - Desarrollos en Lgica y Computacin.
2.1 Inviabilidad del Conductismo. La teora conductista, que hasta entonces haba dominado el campo de la investigacin psicolgica, empieza a mostrarse como una teora inviable. Aqu nos ocuparemos bsicamente de tres argumentos que tuvieron fuerte influencia en la desacreditacin del conductismo. Pero antes de adentrarnos en ellos es conveniente dar una breve perspectiva sobre cules son los principales postulados con los que se compromete el conductismo. El periodo de auge de la Teora Conductista comprende las dcadas de 1920, 1930 y 1940. Principales exponentes: -John B. Watson (1878-1958). Sus principales obras son: La Conducta. Introduccin a la Psicologa Comparada de 1914; La Psicologa desde el punto de vista Conductista de 1919; y Conductismo de 1925. -Burrhus F. Skinner (1904-1990). Sus principales obras son: La Conducta de los Organismos (1939); Walden Dos (1948); Ciencia y Conducta Humana (1957); Conducta Verbal (1957); Ms all de la libertad y la dignidad (1971).
Postulados Bsicos del Conductismo: - Rechazo de la Introspeccin. - Rechazo de conceptos mentalistas tales como: mente, imaginacin, plan, deseo, propsito, representacin mental..etc 13 - Considera a los fenmenos mentales como epifenmenos. - Mtodos pblicos de observacin. - Se centra exclusivamente en la conducta. - Creencia en la supremaca y poder determinante del medio ambiente. - Intento de imponer un rigor comparable al de la Fsica, la Qumica o la Biologa, en el estudio de la conducta humana (este intento se da como un resultado directo de la influencia del empirismo lgico o positivismo lgico en el mbito de la filosofa de la ciencia). - Rechazo total a la Teora Psicoanaltica.
Crticas a la Introspeccin. (Manuel de Vega, p. 42) - El observador debe concentrarse al mximo en la observacin y seguimiento del fenmeno; esto no es posible en la introspeccin pues el individuo debe dividir sus recursos mentales entre el fenmeno psquico de inters y su observacin. - Es preciso que cada observacin se pueda repetir varias veces (replicabilidad), y esto no es posible en las observaciones introspectivas. - La introspeccin es siempre retrospeccin ya que ocurre cierto tiempo despus de la experiencia mental; es posible que esta demora produzca olvidos o distorsiones de dicha experiencia. - Muchos datos de inters psicolgico simplemente no son accesibles a la conciencia del sujeto y por tanto no son susceptibles de auto-observacin.
Pasemos ahora s a los argumentos en contra del conductismo:
A. El Argumento de Karl Lashley. El problema del orden serial en la conducta. En septiembre de 1948, en el simposio de Hixon (en el Instituto de Tecnologa de California, en Pasadena), el psiclogo Karl Lashley pronunci un discurso titulado El problema del orden serial en la conducta. En dicho discurso Lashley se opone al conductismo y expresa su conviccin de que cualquier teora acerca de la actividad humana deba dar cuenta de conductas organizadas complejas, como 14 las de jugar al tenis, tocar un instrumento musical y, sobre todo, expresarse en un lenguaje cualquiera. Para l, el conductismo no era capaz de dar cuenta de ninguna de las conductas anteriores y en general de ninguna conducta ordenada en forma secuencial. La razn es que estas secuencias de acciones se desenvuelven con tanta rapidez que ningn eslabn de la cadena puede basarse en el precedente; por ejemplo, cuando un pianista toca un arpegio, simplemente no hay tiempo para la retroalimentacin, para que un tono dependa del anterior o refleje de algn modo su efecto, Anlogamente, los errores que cometen los individuos (por ejemplo, los deslices en el habla) suelen incluir anticipaciones de palabras que se profieren slo mucho despus en la secuencia. Y tambin estos fenmenos desafan toda explicacin en trminos de cadenas lineales del tipo A produce B..Segn Lashley, estas secuencias de conductas deben estar planeadas y organizadas de antemano. La organizacin ms verosmil es de tipo jerrquico (Gardner, 1985, p. 28,29)
B. La revisin de Noam Chomsky del libro de B. F. Skinner Conducta Verbal. En Conducta Verbal, Skinner defiende la idea de que la conducta verbal puede predecirse y controlarse tras la observacin y manipulacin del ambiente fsico del hablante. Skinner considera que factores externos tales como la estimulacin presente y la historia de reforzamiento son de fundamental importancia. Considera, adems, que los principios generales revelados en los estudios de la conducta animal en el laboratorio proveen las bases para entender las complejidades de la conducta verbal. De manera confiada, Skinner sostiene haber demostrado que la contribucin del hablante es completamente trivial, y que la prediccin precisa de la conducta verbal involucra solamente la especificacin de los pocos factores externos que l ha aislado experimentalmente en organismos inferiores. Sin embargo, un cuidadoso anlisis de este libro revela que estas asombrosas declaraciones distan mucho de estar justificadas. Tras un anlisis de los conceptos bsicos de la teora conductual, tales como: estmulo, respuesta, reforzador y condicionamiento, puede concluirse lo siguiente: si nosotros tomamos esos trminos en un sentido literal (es decir, como teniendo 15 los significados tcnicos dados en las definiciones de Skinner), entonces la descripcin que hace Skinner no abarca casi ningn aspecto de la conducta verbal. Por otro lado, si nosotros tomamos esos trminos en un sentido metafrico, la descripcin no ofrece ninguna ventaja (no es ni ms cientfica ni ms clara) en relacin con otras formulaciones tradicionales, toda vez que dichos trminos pierden su significado objetivo y caen en la vaguedad e imprecisin del lenguaje ordinario. Expliquemos esto. Si bien parece cierto que las nociones de estmulo, respuesta, reforzamiento, etc, estn relativamente bien definidas con respecto a los experimentos de presionar barras y a otros similarmente restringidos, tambin ocurre que la extrapolacin de estas nociones a la explicacin de la conducta verbal genera dificultades que deben encararse. Primero que todo, debe establecerse si algn evento fsico al cual el organismo es capaz de reaccionar en una ocasin dada debe ser llamado un estmulo, o solamente aquel al cual el organismo de hecho reacciona. Del mismo modo, debe establecerse si cualquier parte de la conducta debe ser llamada una respuesta o solamente aquella que est conectada con el estmulo de manera legal. En La conducta de los organismos Skinner se compromete con las definiciones estrechas de estos trminos. Una parte del ambiente y una parte de la conducta son llamados estmulo (elicitador, discriminativo, o reforzador) y respuesta respectivamente, pero solamente si ellos estn legalmente relacionados, esto es, si la leyes dinmicas que los relacionan muestran curvas llanas y reproducibles. Sin embargo, el problema es que no se ha mostrado que estmulos y respuestas, as definidos, figuren muy ampliamente en la conducta humana ordinaria. De cualquier modo, siempre podemos tratar de mantener la legalidad de la relacin entre estmulo y respuesta, pero solamente al precio de privarlos a ellos de su carcter objetivo. Veamos cmo ocurre esto en el caso del concepto de estmulo: Skinner asume que las respuestas verbales de un individuo estn bajo el control de propiedades extremadamente sutiles de un objeto fsico o de un evento. Imaginemos, por ejemplo, las respuestas que pueden ser dadas ante la presentacin de una 16 pintura: da Vinci, yo pens que a ti te gustaba el arte abstracto, nunca haba visto esto antes, hermoso, desentona con el tapiz, est inclinado, recuerdas nuestro campamento del verano pasado?, o cualesquiera otra cosa que pueda venir a nuestra mente al mirar la pintura. Skinner solo podra decir que cada una de estas respuestas est bajo el control de alguna propiedad diferente del estmulo o del objeto fsico. Si nosotros miramos una silla roja y decimos rojo, la respuesta est bajo el control del estmulo rojez; si nosotros decimos silla la respuesta est bajo el control del conjunto de propiedades sillez y similarmente para cualquier otra respuesta. Este recurso es simple, pero vaco, pues aunque nosotros podemos dar cuenta de una amplia variedad de respuestas tras la identificacin del estmulo que controla la respuesta, la palabra estmulo pierde toda objetividad en este uso. El estmulo no es ms una parte del mundo fsico, sino que ste es ubicado dentro del organismo, pues nosotros podemos identificar el estmulo hasta que escuchamos la respuesta. Sobre la base de este ejemplo queda claro que el trmino estmulo controlador simplemente disfraza una completa retirada hacia una psicologa mentalista. Nosotros no podemos predecir la conducta verbal en trminos del estmulo en el ambiente del hablante, ya que no conocemos cual es el estmulo controlador hasta que el individuo responde. Adems, ya que nosotros no podemos controlar la propiedad de un objeto fsico a la cual un individuo responder (excepto en casos sumamente artificiales), la afirmacin de Skinner de que su sistema (en tanto opuesto al tradicional) permitir el control prctico de la conducta verbal es completamente falso. Otros ejemplos de estmulo controlador nos muestran esta prdida de objetividad del concepto y nos muestran cmo ste deja de usarse en su sentido literal para usarse en un sentido ms bien metafrico. As, se sostiene que un sustantivo propio es una respuesta bajo el control de una persona o cosa especfica (como estmulos controladores). Frecuentemente yo he usado las palabras Eisenhower y Mosc, las cuales yo presumo son sustantivos propios si es que algo lo es, pero yo nunca he sido estimulado por los objetos correspondientes. Cmo puede hacerse a este hecho compatible con esta definicin? Supngase que yo uso el nombre de un amigo que no est presente es ste una instancia de un sustantivo 17 propio bajo el control de mi amigo como estmulo? En algn otro lado se ha afirmado que un estmulo controla una respuesta en el sentido de que la presencia del estmulo incrementa la probabilidad de la respuesta. Pero obviamente no es verdad que la probabilidad de que un hablante mencione un nombre se incremente cuando el portador de ese nombre encara al hablante. Adems cmo puede el propio nombre de uno ser un sustantivo propio en este sentido? Una multitud de cuestiones similares surgen inmediatamente. Parece que la palabra control aqu es meramente una parfrasis equvoca del tradicional denotar o referir. La afirmacin de que en lo que concierne al hablante, la relacin de referencia es simplemente la probabilidad de que el hablante emita una respuesta de una forma dada en la presencia de un estmulo con propiedades especificadas es seguramente incorrecta si nosotros tomamos las palabras presencia, estmulo, y probabilidad en su sentido literal. Y parece que en realidad no se intenta que dichas palabras sean tomadas literalmente, lo cual se hace evidente en muchos ejemplos: Cuando un enviado observa los eventos en un pas extrao y los reporta a su regreso, su reporte est bajo un estmulo controlador remoto; la oracin Esto es la guerra puede ser una respuesta a una situacin internacional confusa; el sufijo ed es controlado por esa sutil propiedad del estmulo de la cual nosotros hablamos como accin-en-el- pasado al igual que s en The boy runs [El muchacho corre] est bajo el control de caractersticas especficas de la situacin tales como su actualidad. Ninguna caracterizacin de la nocin de estmulo controlador que est remotamente relacionada con el experimento de presionar la barra (o que preserve la mnima objetividad) puede hacerse para cubrir ejemplos como estos......
C) Noam Chomsky: el argumento de pobreza de estmulo. Chomsky nos hace ver que la capacidad humana para entender y emitir nuevas expresiones del lenguaje es infinita (productividad), an cuando, durante el proceso de aprendizaje, la exposicin efectiva a contingencias lingsticas es limitada. Este hecho lleva a Chomsky a proponer que una explicacin completa de la capacidad humana para el uso del lenguaje debe ir ms all de los datos (o inputs) a los que ha estado expuesto el individuo y ms all de su conducta 18 efectiva. Para l, una explicacin completa de la capacidad humana para el uso del lenguaje debe adems, indagar cuales son las reglas, representadas en nuestra mente, que subyacen a la produccin del lenguaje, pues slo apelando a estas reglas puede explicarse la productividad del lenguaje sobre la base de un vocabulario finito.
2.2 La Revolucin de Noam Chomsky en el mbito de la Lingstica. Otro hecho importante que sent las bases para el surgimiento del cognoscitivismo y en particular de la visin computacional, fue la revolucin que la teora gramatical de Noam Chomsky impuls en el mbito de la Lingstica tras la publicacin de Estructuras Sintcticas en 1957. Se considera que las razones por las que la teora de Chomsky pudo trascender el mbito de la lingstica y llegar a tener tan marcada repercusin en disciplinas como la psicologa y la filosofa, son bsicamente las siguientes: Al considerar que las habilidades lingsticas humanas pueden ser explicadas por referencia a un sistema complejo de reglas y principios representados en la mente de los hablantes, Chomsky asume una posicin mentalista, ubicando a la teora lingstica dentro del mbito objetual de la psicologa. Esto fue muy importante en una poca en que el mentalismo apenas empezaba a ganar espacio como una empresa viable. Chomsky mostr la posibilidad de hacer una caracterizacin lgico-formal del lenguaje. El hecho de que una facultad cognoscitiva humana tan compleja como lo es el lenguaje, fuera susceptible de descripcin lgico-formal fortaleci la conviccin en la posibilidad de una descripcin lgico-formal de todas las facultades cognoscitivas e intelectuales humanas.
2.3 Desarrollos en Lgica y en Computacin.
QUE ES LA LOGICA? Estudio del razonamiento desde el punto de vista de si este es correcto o incorrecto.
19 Durante casi dos milenios haba imperado la lgica del razonamiento silogstico desarrollada por Aristteles. Fueron lgicos y matemticos como Frege, Whitehead y Russell (entre otros), quienes buscando los fundamentos de las matemticas, llegaron a desarrollar una nueva lgica. Esta nueva lgica implicaba la manipulacin de smbolos abstractos, lo que la convirti en una herramienta ms rigurosa, ms precisa y de mayor alcance para modelar las operaciones del pensamiento. Poco despus, cuando empezaron a disearse las primeras computadoras, la lgica jug un rol de fundamental relevancia, pues lleg a constituirse en el lenguaje bsico de operacin (y lo sigue siendo en la actualidad) de estas mquinas. La aparicin de las computadoras a mediados de los 50s fue un factor clave para el surgimiento del enfoque cognitivo en la psicologa. La sorprendente capacidad exhibida por estas mquinas en la solucin de problemas que hasta entonces eran slo de competencia humana, dio sustento a la concepcin de que toda inteligencia implicaba el uso y manipulacin de smbolos de acuerdo a reglas susceptibles de representacin lgica o matemtica.
Desarrollos en Computacin.
Norbert Wiener & Julian Bigelow Llegaron a la conclusin de que existan importantes analogas entre las caractersticas de retroalimentacin de los dispositivos de la ingeniera y los procesos homeostticos mediante los cuales el sistema nervioso de los seres humanos sustenta una actividad intencional. Al trabajar en servomecanismos (sistema electromecnico que se regula por s mismo al detectar el error o la diferencia entre su propia actuacin real y la deseada (Diccionario de la lengua espaola)), Wiener reflexion sobre la naturaleza de la retroalimentacin y de los sistemas de autocorreccin y de autorregulacin, ya fueran mecnicos o humanos En un artculo de 1943, Conducta, propsito y teleologa; Wiener, Bigelow y Rosenblueth expusieron la idea de que los problemas de la ingeniera de control y de la ingeniera de las comunicaciones son inseparables; adems, de que su eje no son las tcnicas de la ingeniera elctrica, sino algo mucho ms trascendental: el mensaje, ya sea transmitido por medios elctricos, mecnicos o nerviosos. Los autores incorporaron una nocin entonces revolucionaria: si una mquina posee retroalimentacin, es legtimo decir que persigue metas, y si 20 es capaz de calcular la diferencia entre esas metas y su desempeo efectivo, puede luego reducir tales diferencias. As pues, para ellos las mquinas estaban dotadas de propsitos. En 1948 Wiener publica Cybernetics, all presentaba su ciencia en estos trminos: Hemos resuelto denominar ciberntica a todo el campo de la teora del control y la comunicacin, ya se trate de la mquina o del animal
Alan Turing (1912-1954). Matemtico britnico.
En 1936, Turing propuso la idea de una mquina simple capaz de realizar, en principio, cualquier clculo concebible. Las nociones en que se fundaba esta mquina terica eran muy elementales. Todo lo que se necesitaba era una cinta de longitud infinita que pudiera pasar por la mquina, donde un dispositivo de escrutinio (scanner) leera lo que haba sobre la cinta. Esta se divida en cuadros idnticos, cada uno de los cuales contena o bien un espacio en blanco, o alguna especie de marca. La mquina poda desarrollar cuatro clases de movimiento con la cinta: desplazarla a la derecha, desplazarla a la izquierda, borrar la marca o imprimirla. Con slo estas operaciones sencillas, era capaz de ejecutar cualquier clase de programa o de plan que se expresara en un cdigo binario (por ejemplo, un cdigo de espacios en blanco y de marcas). En trminos ms generales, cualquier tarea, en la medida en que uno pudiera explicitar con claridad los pasos necesarios para llevarla a cabo, podra programarse y ejecutarse en la mquina de Turing. Turing sugiri que era posible programar de tal modo una mquina de esta ndole, que nadie diferenciara sus respuestas a un interlocutor, de las que brindara un ser humano; esta idea qued inmortalizada como la prueba de la mquina de Turing, que se utiliza para refutar a cualquiera que dude de que una computadora puede realmente pensar: se dice que una mquina programada ha pasado la prueba de Turing si un observador es incapaz de distinguir sus respuestas de las de un ser humano.
John Von Neumann
Se empe en crear un programa para instruir a la mquina de Turing de modo tal que se reprodujera a s misma. Estaba aqu contenida la potente idea de un programa almacenado, as, la computadora podra controlarse mediante un programa almacenado en su memoria interna, de modo que no tuviera que ser laboriosamente reprogramada para cada nueva tarea. En 1958 publica La Computadora y el Cerebro. En dicha obra 21 von Neumann desarrolla temas como: el examen de diversos tipos de computadoras, la idea de programa, la operacin de la memoria en las computadoras y la posibilidad de fabricar mquinas que se reprodujeran a s mismas.
Warren McCulloch & Walter Pitts
En 1943 McCulloch y Pitts demostraron que las operaciones de una clula nerviosa y sus conexiones con otras (la llamada red neural) podan ser representadas mediante un modelo lgico. Los nervios eran equiparables a enunciados lgicos, y su propiedad de ser activados o no activados (todo o nada) era comparable a las operaciones del clculo proposicional, donde un enunciado es o bien verdadero o bien falso. Segn este modelo, la neurona era activada, y a su vez activaba a otra neurona, del mismo modo que un elemento o proposicin de una secuencia lgica puede implicar alguna otra proposicin. As, ya se tratase de enunciados lgicos o de neuronas, la entidad A ms la entidad B puede implicar la entidad C. Adems, era verosmil establecer una analoga entre las neuronas y la lgica en trminos de electricidad, vale decir, con referencia a seales que pueden pasar o no a travs de un circuito. El resultado final de la demostracin de McCulloch y Pitts se resume en esta frase: Todo lo que pueda describirse de manera exhaustiva e inequvocaes materializable mediante una red neural finita adecuada.
Merced a la demostracin de McCulloch y Pitts se abran ahora dos caminos para la mquina de Turing: uno que apuntaba hacia el sistema nervioso, compuesto de innumerables neuronas que se atuvieran al principio de todo o nada; y otro que apuntaba hacia una computadora capaz de materializar cualquier proceso que pudiera ser descrito de manera inequvoca. Algunos crticos de McCulloch y Pitts sealaban que, en lugar de tratar de construir mquinas que imitaran al cerebro en un plano fisiolgico, deban postularse y examinarse analogas en un nivel muy superior por ejemplo, entre el pensar que tiene lugar en la actividad humana de resolucin de problemas y las estrategias encarnadas en un programa de computadora.
Claude Shannon Ingeniero electricista.
Se le acredita la creacin de la teora de la informacin. El observ que podan utilizarse los principios de la lgica (en lo que respecta a la verdad y a la falsedad de las proposiciones) para describir los dos estados (abierto y cerrado, o encendido y apagado) de las llaves rels electromecnicas. En su tesis de 22 maestra Anlisis simblico de los circuitos de rel y conmutacin Shannon sostuvo que los circuitos elctricos (del tipo de los que existen en una computadora) podan abarcar operaciones fundamentales de pensamiento.
En la dcada siguiente, en colaboracin con Warren Weaver, Shannon lleg a establecer la nocin clave de la teora de la informacin: que puede concebirse a esta ltima en forma totalmente independiente del contenido o la materia especfica de que trate. Esto ltimo dio pie para considerar a los procesos cognoscitivos con independencia de toda materializacin particular de los mismos. La unidad bsica de informacin, el bit (dgito binario), es la cantidad de informacin requerida para seleccionar un mensaje entre dos alternativas equiprobables.
Allen Newell & Herbert Simon
Ambos inventaron un programa (el terico lgico. TL) para probar teoremas lgicos tomados de los Principia de Whitehead y Russell y, en 1956 hicieron la primera demostracin completa de un teorema en una computadora (la Johnniac). Posteriormente, TL mostr 38 de los primeros 52 teoremas del captulo dos de los Principia. Gardner cuenta que incluso una de las demostraciones de TL result ms elegante que la ofrecida por Whitehead y Russell medio siglo antes.
Newell y Simon afirmaban que sus demostraciones no se referan meramente a un pensamiento de tipo genrico sino a la clase de pensamiento que practican los seres humanos. Para ellos TL operaba mediante procedimientos que eran anlogos a los utilizados por los seres humanos. Simon, en su libro Las ciencias de lo artificial sostiene que tanto la computadora como la mente humana deban concebirse como sistemas simblicos, entidades materiales capaces de procesar, transformar, elaborar y manipular de diversas maneras, smbolos de diversas especies.
En 1972 ambos publican su magna obra La solucin del problema humano donde describen los programas del resolvedor general de problemas (RGP). El programa RGP era capaz de efectuar tareas de ndole diversa como: demostrar teoremas, jugar ajedrez, o resolver acertijos como el de la Torre de Hanoi, el de misioneros y canbales y los de la criptoaritmtica (en los que las letras 23 representan nmeros, y su suma o producto da otras palabras). RGP puede considerarse como el primer programa que simul toda una gama de comportamientos simblicos humanos.
John McCarthy
En 1957 es el fundador y primer director de los laboratorios de IA en el Instituto de Tecnologa de Massachussets, y en la Universidad de Stanford en 1963. Segn testimonios, l fue el que acu el trmino inteligencia artificial Uno de sus mayores logros fue la creacin de LISP (list processing), el lenguaje de computadora ms difundido en el campo de la inteligencia artificial. Crea que el camino para volver inteligentes a las mquinas pasaba por un enfoque formal riguroso, en el cual los actos que componen la inteligencia son reducidos a una serie de relaciones o de axiomas lgicos que pueden expresarse en forma precisa en trminos matemticos.
BIBLIOGRAFA
- Gardner, Howard; (1985): La nueva ciencia de la mente. Historia de la revolucin cognitiva. Barcelona, Paids, 1987.
- Chomsky, N. (1959): A Review of B. F. Skinners Verbal Behavior. In: Readings in Philosophy of Psychology. Block, Ned (editor). Cambridge, Mass., Harvard University Press.
24 TEMA 3. LOS PRESUPUESTOS BSICOS DE LA TEORA COMPUTACIONAL DE LA MENTE.
Mara Elena Ramos Aceves.
La teora computacional de la mente (TCM) es una concepcin que emergi a mediados del siglo XX, en gran medida, gracias al desarrollo de las computadoras. Segn esta concepcin terica, la computadora digital resulta un buen modelo de la mente, toda vez que, concebir a la mente como una computadora ha abierto una va que parece promisoria para entender cul es la naturaleza de los estados mentales.
Podemos decir que la teora computacional de la mente se compromete con tres presupuestos bsicos: 1) Una solucin funcionalista al problema mente-cuerpo. 2) La existencia de un cdigo de representacin interno o lenguaje del pensamiento. 3) La tesis de que los procesos mentales son computacionales. Veamos cada uno por vez.
1. EL FUNCIONALISMO. Se ha dicho que TCM se compromete con una solucin funcionalista al problema mente-cuerpo, por tanto, antes de entrar de lleno en la explicacin de lo qu es el funcionalismo, aclaremos cul es el problema mente-cuerpo. El problema mente cuerpo es bsicamente el problema de explicar la naturaleza de eso que llamamos mente: qu es la mente? existe realmente algo que podamos llamar la mente? se trata de una sustancia material o es inmaterial? cul es su lugar en el mundo material? puede o no ser explicada en los mismos trminos en que se explican las propiedades de los objetos materiales?, etctera. Este tipo de preguntas han ocupado y preocupado a los seres humanos desde hace bastantes siglos, pero es claro que estas no son preguntas fciles. Por lo 25 tanto, no debe sorprendernos que las tentativas de solucin, aportadas fundamentalmente por filsofos, disten mucho de constituir soluciones satisfactorias capaces de generar acuerdos amplios entre los estudiosos de la mente. En el presente apartado revisaremos las principales soluciones al problema mente cuerpo. Esto nos dar el contexto apropiado para comprender en qu consiste la solucin funcionalista, que es la que principalmente nos interesa.
1.1 DUALISMO SUSTANCIAL. Podra asegurarse que la solucin al problema mente cuerpo ms ampliamente difundida y aceptada por el sentido comn, y especialmente por las personas con fuertes convicciones religiosas, es la que se conoce como dualismo sustancial o cartesiano. El dualismo cartesiano que como su nombre nos indica, fue propuesto por el filsofo Ren Descartes (siglo XVII) sostiene que la mente es una sustancia inmaterial, y por lo tanto, no espacial, que est temporalmente unida al cuerpo. El cuerpo, en tanto que sustancia fsica o material tendr que perecer; en cambio, la mente, en tanto que sustancia inmaterial, tiene una existencia independiente del cuerpo y podr sobrevivir a la muerte de ste. La mente puede entonces vivir sin el cuerpo, pero no al revs. La mente, que es la sustancia propiamente pensante, es la que controla al cuerpo, lo cual implica que la primera interacta con el segundo de una manera causal y sistemtica. Descartes pensaba que esta interaccin se daba a travs de la glndula pineal en el cerebro. De cualquier manera, Descartes no nos explica en realidad cmo es que algo no fsico (la sustancia pensante) puede ser causa de algo fsico (el movimiento del cuerpo) y, a la inversa, cmo las estimulaciones de nuestros rganos sensoriales (que son algo fsico) pueden causar pensamientos (que son no fsicos). En la actualidad el dualismo cartesiano sigue siendo una visin ampliamente aceptada en el mbito religioso, no obstante, en el mbito de la psicologa es una postura que no se puede tomar seriamente. Por qu? Hay varios argumentos:
26 A) Impotencia explicativa del dualismo. El dualismo sustancial no va ms all de decirnos que la mente es una sustancia inmaterial que no puede ser explicada en los mismos trminos en los que se explica la dinmica de la materia. Qu nos queda entonces por hacer? Debemos renunciar a cualquier tipo de explicacin de lo mental? O si una explicacin de lo mental es posible sobre la base de qu trminos debe darse dicha explicacin? tendra sentido, por ejemplo, preguntarnos sobre los componentes no materiales que constituyen a la mente, o sobre la naturaleza de los principios que regulan su comportamiento y su interaccin con el cuerpo? puede el dualismo sustancial dar cuenta de las capacidades cognoscitivas humanas y explicar las patologas mentales? En realidad, el dualismo sustancial nos deja con las manos vacas, pues de hecho no aporta explicacin alguna.
B) Argumento de la dependencia nerviosa de todos los fenmenos mentales conocidos. Si en verdad nuestras capacidades cognoscitivas tales como la capacidad para el lenguaje, para el razonamiento, la conciencia, nuestra vida emocional y afectiva, etc. dependen de la existencia de una sustancia inmaterial independiente del cuerpo, entonces tales capacidades tendran que ser relativamente invulnerables a los daos cerebrales, o a la accin de ciertos tipos de estimulacin del cerebro como es el caso cuando se estimula a ste con electrodos o mediante cierto tipo de sustancias. Sin embargo, est ms que mostrado que tales funciones cognoscitivas s son vulnerables al dao o a la manipulacin cerebral. Parece ser un hecho, hasta donde ahora conocemos, que todos los fenmenos mentales dependen de funciones cerebrales.
C) Argumento de la historia evolutiva. Si los seres humanos somos un producto de la evolucin por seleccin natural, entonces nuestra mente debe ser el producto de modificaciones graduales y sutiles que fueron ocurriendo en criaturas infinitamente ms simples (bacterias, protozoarios, reptiles, etc.) que fueron evolucionando hasta llegar a nosotros. Este 27 proceso evolutivo es un proceso puramente fsico que no implica otra cosa que la combinacin y recombinacin de molculas. Somos entonces, como dice Paul Churchland, criaturas hechas de materia y no hay necesidad de postular la existencia de sustancias inmateriales para explicarnos a nosotros mismos. El dualista sustancial no parece tener una manera satisfactoria de responder a las objeciones anteriores, las cuales parecen ser contundentes en contra del dualismo sustancial. Debemos entonces buscar otras respuestas a nuestros cuestionamientos sobre la naturaleza de lo mental.
1.2 CONDUCTISMO FILOSOFICO. Cotidianamente nosotros explicamos la conducta de otras personas atribuyndoles creencias, intenciones, motivos, y muchos otros tipos de estados mentales. Lo que el conductismo filosfico sostiene es que sta es una manera de hablar equvoca en el sentido de que nos lleva a postular la existencia de entidades mentales fantasmales. Sin embargo no hay necesidad de postular estas entidades, basta con que sustituyamos nuestro lenguaje mentalista por un lenguaje objetivo que refiera exclusivamente a las disposiciones que una persona tiene para comportarse en situaciones observables especficas. Pensemos, por ejemplo, en la propiedad del azcar de ser soluble en agua. Cuando nosotros hablamos de la solubilidad del azcar, nosotros no pretendemos que exista dentro del azcar la solubilidad como una entidad fantasmal; ms bien, lo que queremos decir es simplemente que el azcar tiene la disposicin a disolverse cuando sta es puesta en agua. Para el conductismo filosfico, lo mismo debe ser cierto de nuestro lenguaje mentalista, cuando nosotros hablamos sobre creencias, deseos, etc. no debemos pretender que ellos son entidades internas realmente existentes, debemos de reconocer que lo que nosotros queremos hacer realmente cuando nos valemos de esa clase de trminos, es simplemente decir que si una cierta persona se encontrara en una determinada circunstancia, ella actuara de cierta manera. Veamos un ejemplo aportado por Churchland (1984): 28 Segn el conductismo filosfico, cuando se dice que Ana desea pasar sus vacaciones en el Caribe, en realidad se quiere decir algo como: 1. Si se le pregunta a Ana si ella desea pasar sus vacaciones en el Caribe, ella dira que s. 2. Si se le entregaran folletos tursticos sobre China y Jamaica, ella leera primero los de Jamaica. 3. Si se le diera un boleto de avin para viajar el sbado a Jamaica, ella lo aceptara.
As pues, para el conductismo filosfico la mente no es algo que cada uno de nosotros posee, sino que se trata simplemente de un conjunto de disposiciones para la conducta. Por lo tanto, el problema mente-cuerpo es en realidad un falso problema. Veamos ahora la objeciones al conductismo filosfico. Pueden sealarse bsicamente tres razones para rechazar la viabilidad de esta postura: 1) El conductismo filosfico niega el aspecto cualitativo de nuestros estados mentales internos, pero innegablemente ellos tienen un aspecto cualitativo, ellos se sienten de una determinada manera. Estar triste, por ejemplo, no se reduce a comportarse de manera pasiva y a que rueden lgrimas desde nuestros ojos. Estar triste tiene una cualidad intrnseca, es un estado desagradable que buscamos evitar. Una teora apropiada de la mente no puede negar este hecho. 2) Retomando el ejemplo de Ana, es claro que las disposiciones 1, 2 y 3 arriba sealadas no agotan todas las disposiciones para actuar que Ana puede tener dado que ella desea pasar sus vacaciones en el Caribe. A 1, 2 y 3 podran agregarse un sin fin de disposiciones ms. Por ejemplo, que si ella va a comprar ropa, ella comprar ropa ligera y no ropa de invierno; o que si ella recibe una invitacin para viajar a Canad, ella no la aceptar; o que si ella tiene viejos amigos en Jamaica, ella buscar contactarlos nuevamente; y muchas disposiciones ms podran ocurrrsenos. El punto es que esta lista podra ser demasiado larga e incluso infinita. Y si en realidad no podemos contar con una 29 lista finita y claramente especificable de disposiciones que agoten el significado de Ana desea pasar sus vacaciones en el Caribe, entonces no es cierto que lo expresado en nuestro lenguaje mentalista pueda traducirse completamente a un lenguaje disposicional. 3) Siguiendo con el mismo ejemplo de Ana, si consideramos las disposiciones 1, 2 y 3 nos damos cuenta de que ellas no son necesariamente verdaderas. Para que cada una de ellas pueda ser verdadera necesita ser complementada con requisitos adicionales. Por ejemplo,1 arriba, es verdadera si Ana no mantiene en secreto sus fantasas sobre las vacaciones; 2 es verdadera si Ana no est aburrida de los folletos sobre Jamaica; 3 es verdadera si Ana no cree que el vuelo del sbado ser secuestrado. Pero recomponer de esta manera las oraciones disposicionales implica reintroducir una serie de elementos mentales, de modo que ya no estaramos definiendo lo mental exclusivamente en trminos de circunstancias y conductas observables.
1.3 MATERIALISMO. El materialismo es la alternativa general al dualismo. La postura materialista es en esencia una postura monista, esto es, una postura que rechaza la idea de la existencia de dos sustancias: por un lado el cuerpo (cerebro) y por otro lado la mente. El materialismo considera a la mente como el producto resultante de la existencia de una nica sustancia material que es el cerebro. En otras palabras, el materialismo postula que los estados mentales no son otra cosa que estados cerebrales. Dentro de la concepcin materialista es posible distinguir tres posiciones principales: 1) la teora de la identidad psicofsica, 2) el materialismo eliminativo y, 3) el funcionalismo.
1.3.1 LA TEORIA DE LA IDENTIDAD PSICOFSICA. La tesis fundamental de la teora de la identidad psicofsica es la siguiente: a) Cada tipo de estado mental es idntico a un tipo de estado cerebral. 30 A fin de entender cabalmente esta tesis debemos aclarar el significado del trmino tipo en contraste con el significado de caso particular (en ingls token). Antes de que hablemos de lo que se quiere decir cuando se habla, ya sea de un tipo de estado mental o ya sea de un tipo de estado cerebral, permtaseme explicar el trmino en un contexto diferente y ms simple. En la vida corriente, cuando nosotros hablamos de un tipo de objeto, estamos haciendo alusin a una clase general, es decir, a un conjunto de objetos que por sus caractersticas semejantes han sido agrupados juntos. Por ejemplo, imaginemos que Gansito es el nombre de mi mascota e imaginemos que Gansito es un perro dlmata. En este caso es sumamente claro que Gansito es un trmino que refiere a un individuo particular, mientras que dlmata es un trmino que refiere a un tipo de perro, es decir, a una clase de perros que dadas ciertas caractersticas en comn (y dadas tambin sus diferencias con respecto a otros perros), han sido clasificados dentro de una misma categora a la que llamamos dlmata; y puesto que Gansito posee las caractersticas apropiadas puedo decir que l pertenece al tipo de los dlmatas. Bueno, justamente de esta misma manera es posible hablar de casos particulares de estados mentales y de tipos de estados mentales (al igual que de casos particulares de estados cerebrales y de tipos de estados cerebrales). Un caso particular de un estado mental es un estado mental especfico ocurriendo en la mente de una persona en particular y en un tiempo en particular. Por ejemplo, si usted activa por un momento su creencia de que la Luna es el satlite natural de la Tierra (espero que efectivamente esa sea una creencia que el lector tiene) entonces usted se encontrar en este momento particular en el estado mental de creer que la Luna es el satlite natural de la Tierra, y este estado mental suyo ser un caso particular de un estado mental. No obstante, este estado mental particular puede ser considerado como un tipo de estado mental, lo cual quiere decir que, dadas ciertas caractersticas 1 se le puede
1 Especficamente, la caracterstica relevante, en este caso, sera el contenido del estado mental y la actitud del sujeto hacia ese contenido. De este modo, se considera que dos estados mentales son del mismo tipo si instancian proposiciones con el mismo contenido (o significado) y si adems, la actitud del sujeto (o de los sujetos) hacia la proposicin en cuestin es idntica. Por actitud hemos de entender cosas como las siguientes: creer que P (donde P es una proposicin cualquiera), desear que P, esperar que P, temer que P, etc. 31 considerar como perteneciendo a una clase general de estados mentales. Si en un saln de clase el maestro pregunta por el satlite natural de la Tierra, posiblemente varios estudiantes evocarn la creencia de que la Luna es el satlite natural de la Tierra. En una situacin as podra decirse que, no obstante que cada estudiante se encuentra en un estado mental que le es propio, todos esos estudiantes se encuentran en el mismo tipo de estado mental; a saber, en el de creer que la Luna es el satlite natural de la Tierra. Una vez aclarada la distincin entre caso particular y tipo estamos en condiciones de comprender qu es lo que la teora de la identidad afirma. Lo que la teora de la identidad afirma es que una clase general de estados mentales (un tipo) es idntica a una clase general de estados cerebrales (un tipo). Por ejemplo, que creer que llueve es idntico a disparo de las fibras C en cierta regin X del cerebro. Podramos representarlo as: b) S cree que llueve disparo de las fibras C en la regin X del cerebro de S. Esto significa que, para cualquier sujeto (S), si l cree que llueve entonces sus fibras C en la regin X de su cerebro estn disparando, y a la inversa, si las fibras C en la regin X del cerebro de S estn disparando, entonces l cree que llueve. Analizando (b), es importante notar que la oracin en el lado izquierdo del smbolo bicondicional () est expresada en el lenguaje de la psicologa popular 2 , mientras que la oracin en el lado derecho del bicondicional est expresada en el lenguaje de la neurofisiologa. Lo que (b) establece entonces es lo que se conoce como una reduccin interterica. Una reduccin interterica busca explicar un hecho, ya explicado por una teora, en los trminos de una teora nueva, presuponiendo que:
2 La psicologa popular es la psicologa intuitiva o de sentido comn que todos los seres humanos poseemos. Se trata de un conjunto de conocimientos y principios explicativos, legados por nuestro grupo social, de los cuales nos valemos para explicar las acciones de los dems en nuestras interacciones cotidianas. Las explicaciones propias de la psicologa popular apelan fundamentalmente a la atribucin de creencias, deseos, esperanzas, temores, emociones, etc. como las principales fuentes causales de nuestro comportamiento. 32 La estructura de la nueva teora refleja casi perfectamente la estructura de la vieja teora en el sentido de que para cada principio explicativo de la vieja teora, hay un principio explicativo correspondiente en la nueva teora. Los principios explicativos correspondientes a ambas teoras se aplican exactamente en los mismos casos. Los trminos de la vieja teora y los trminos de la nueva se aplican a los mismos objetos y/o propiedades. Tanto la teora vieja como la nueva nos permiten dar cuenta de la misma realidad, no obstante, la nueva teora nos permitir una descripcin mucho ms clara, completa y precisa de esa realidad. Por lo tanto, la nueva teora ser preferible a la vieja teora. En la ciencia las reducciones intertericas son frecuentes y algunas de ellas nos son ms o menos familiares: por ejemplo: la luz son ondas electromagnticas, la temperatura es promedio de energa cintica molecular, el sonido es un tren de ondas de presin que se propagan por el aire son casos de reducciones intertericas (ver Churchland, 1984. pp. 51-52). Retomando nuestro punto, puede decirse que a lo que la teora de la identidad aspira es a una reduccin interterica, donde la teora que se pretende reducir es la psicologa popular, mientras que la teora reductora es la neurofisiologa. De este modo, siendo congruente con su tesis de que los estados mentales (tipo) son estados cerebrales (tipo), el terico de la identidad pretende descubrir en la medida en que los avances en la neurofisiologa hagan esto posible-- cules son las identidades entre tipos de estados mentales y tipos de estados cerebrales, lo cual implicara descubrir un sin fin de identidades anlogas a la identidad hipottica expresada en (b). La teora de la identidad psicofsica es sin duda una postura mucho ms plausible que el dualismo sustancial, en tanto que es una posicin materialista (lo cual significa que no presupone en ningn momento la existencia de sustancias espirituales o fantasmales); en tanto que es congruente con la tesis de la dependencia nerviosa de los fenmenos mentales; y en tanto que no desafa al argumento evolutivo. No obstante, la teora de la identidad enfrenta una dificultad 33 que nos llevar finalmente a rechazarla. Dicha dificultad se pone de manifiesto en el siguiente argumento:
D) Argumento de la realizabilidad mltiple de los estados mentales. Es un hecho que los estados mentales se realizan en estructuras fsicas, pero un mismo tipo de estado mental puede ser realizado en diferentes estructuras fsicas; por lo tanto, un tipo de estado mental no tiene necesariamente que ser idntico a un tipo de estado fsico (o en su caso cerebral).
Expliquemos esto. La mayora de nosotros acepta que los chimpancs, los gorilas, los perros y otras criaturas no humanas tienen estados mentales, algunos de los cuales pueden ser del mismo tipo que los nuestros. Por ejemplo, imagine el lector que hay un pltano frente a usted y que, de igual modo, hay un pltano frente a un chimpanc que se encuentra sentado a un lado suyo. El estmulo visual del pltano puede causar en usted una creencia como ah hay un pltano y no es implausible pensar que lo mismo ocurrir en el caso del chimpanc de modo que l crea, al igual que usted, que ah hay un pltano. 3 En este caso podemos afirmar que usted y el chimpanc se encuentran en el mismo tipo de estado mental, no obstante que su cerebro y el del chimpanc son algo diferentes. Si en realidad los chimpancs, los perros y los gatos pueden tener creencias, entonces sus estados de creencia deben realizarse fsicamente en estructuras diferentes de las nuestras, toda vez que hay diferencias estructurales entre sus cerebros y los nuestros. Si esto ltimo es correcto, entonces puede ocurrir que dos criaturas se encuentren en el mismo tipo de estado mental, pero en un diferente tipo de estado cerebral. Contrario a lo que postula la teora de la identidad. Otra manera de plantear la objecin en contra de la teora de la identidad versa as: si nosotros aceptamos que cada tipo de estado mental es idntico a un tipo de estado cerebral, entonces debemos aceptar la inaceptable consecuencia de que
3 Por supuesto que nadie pretende que la creencia del chimpanc se encuentre codificada en un cdigo lingstico como el espaol. Como veremos ms delante, cuando veamos la tesis de Fodor sobre el lenguaje del pensamiento, se tratara de un tipo de cdigo diferente y seguramente mucho ms bsico--. 34 slo criaturas con estructuras fsicas idnticas (o muy similares) a las de nuestro cerebro, pueden tener estados mentales. Esto excluira, como criaturas con pensamiento, a muchos animales e incluso a criaturas extraterrestres en las que la qumica de la vida podra no estar basada en el carbono, el hidrgeno y el oxgeno, como lo est en la Tierra; sino, pongamos por caso, en el silicio. A la luz de las consideraciones precedentes, podemos adems darnos cuenta de que la posibilidad de construir las identidades intertericas a las que aspira el terico de la identidad es realmente poco probable. En realidad es muy poco probable, dado lo ya dicho, que el terico de la identidad pueda establecer correspondencias uno a uno entre las descripciones mentalistas de la psicologa popular y las descripciones fsicas y estructurales de una teora universal que abarcara a todos los sistemas fsicos posibles (cerebros humanos y no humanos, e incluso hay quienes consideran mquinas).
1.3.2 MATERIALISMO ELIMINATIVO. En el caso de la teora de la identidad vimos que ella intenta hacer una reduccin interterica, de la psicologa popular a la neurofisiologa. El materialista eliminativo rechaza rotundamente que esto sea posible. El terico de la identidad nunca podr construir los enunciados de identidad a que aspira, simplemente porque los principios y postulados de la psicologa popular constituyen una falsa teora. De ah que la psicologa popular no pueda nunca ser reducida a ninguna otra teora y deba, ms bien, ser eliminada. Por lo tanto, la nicas explicaciones de nuestra vida mental que debemos esperar, sern aportadas cabalmente por la neurofisiologa. No abundar ms en esta posicin, baste decir que la eliminacin de la psicologa popular me parece del todo implausible. 4
1.3.3 FUNCIONALISMO. El funcionalismo es una postura fuertemente comprometida con la tesis de la realizabilidad mltiple de los estados mentales, consecuentemente rechaza la
4 Una interesante defensa de la psicologa popular puede verse en Bruner, 1990. 35 identidad tipo-tipo entre estados mentales y estados cerebrales. En su lugar, el funcionalista se compromete con una identidad entre estados mentales y estados cerebrales mucho ms modesta y por ende ms plausible: la identidad caso particular-caso particular, la cual podemos enunciar as: c) Cada caso particular de un estado mental es idntico a un caso particular de un estado cerebral. lo cual significa que, por ejemplo, creer que llueve puede ser idntico a disparo de las fibras C en la regin X del cerebro de Pedro, pero no as en el cerebro de Mara. Creer que llueve en el caso de Mara es idntico a, digamos, disparo de las fibras B en la regin Z de su cerebro. Adems de (c) el funcionalismo sostiene la siguiente tesis central: d) Cada tipo de estado mental es idntico a un tipo de estado funcional. Tenemos ahora una nocin nueva que aclarar, esa de estado funcional. Un buen punto de partida ser nuevamente dilucidar la nocin en un contexto ms simple, para despus comprender cmo se aplica en el terreno de lo mental. Pensemos, por ejemplo, en un rgano como el corazn de una persona sana, en comparacin con un corazn artificial y en comparacin con el corazn de un pollo. An cuando estos tres rganos son estructuras fsicas diferentes (o no del todo idnticas), nosotros los identificamos a todos ellos como corazones, porqu? bueno, pues bsicamente porque todos ellos cumplen con la misma funcin dentro del organismo, que es bombear la sangre. Un ejemplo anlogo se obtiene si consideramos las diferencias fsicas que puede haber entre un motor de combustin interna, un motor elctrico y un motor de vapor. No obstante, a pesar de estas diferencias fsicas, todos estos objetos son identificados como motores en tanto que cumplen una misma funcin dentro del mecanismo al que sirven. Otro ejemplo puede ser el siguiente: pensemos en tres tipos de ratoneras: 1) aquella consistente en una pequea jaula en la que el ratn entra motivado por la presencia de un pedazo de comida suspendido en un mecanismo, que al ser movido, cerrar la puerta; 2) aquella consistente en una placa con pegamento en la que las patas del ratn quedan adheridas, y; 3) aquella en la que el ratn, al tratar de tomar un pedazo de comida, activa un mecanismo que liberar una barra 36 que lo aplasta por la mitad. Otra vez, al igual que en los dos ejemplos previos, tenemos tres estructuras fsicas diferentes (diferentes incluso en su grado de crueldad); sin embargo todas ellas son identificadas como un mismo tipo de objeto. Todas ellas son ratoneras en la medida en que cumplen una misma funcin que es la de atrapar ratones. Lo que se intenta mostrar con estos ejemplos es que un objeto puede ser individuado como el tipo de objeto que es, ms que por su estructura fsica, por su funcin; y que a un cierto nivel de descripcin, nosotros podemos dar cuenta de la funcin sin apelar a la estructura fsica. Ahora, llevemos esto al terreno de lo mental para aclarar qu es lo que se quiere decir cuando se habla de un estado mental como un tipo de estado funcional. Bsicamente, esto significa que un caso particular de un estado mental puede ser individuado como siendo el tipo de estado mental que es, y no otro, sobre la base de consideraciones meramente funcionales. Esto es, sobre la base de consideraciones sobre el rol funcional -o rol causal- 5 que ese estado mental particular juega en el sistema total de creencias, deseos y dems, del individuo. En trminos ms precisos, el funcionalismo propone que un caso particular de un estado mental se define como un tipo de estado mental, dadas las relaciones causales que este estado mantiene con: 1) otros estados mentales 2) entradas al sistema, es decir, estimulacin externa actuando sobre el organismo. 3) salidas del sistema, es decir, acciones del organismo. Ilustremos el punto con un ejemplo: Supongamos que una persona se encuentra en el estado mental de creer que va a llover (ver esquema en la siguiente pgina). Lo que el funcionalismo nos dice es que esta creencia particular cuenta como la creencia de que va a llover (y no como ninguna otra) dadas las relaciones causales que ella mantiene, por un lado, con
5 El funcionalismo identifica las nociones de rol funcional y de rol causal, ya que la funcin de un estado mental especfico en el sistema total de estados mentales de un organismo, consiste justamente en el cumplimiento de un cierto rol causal. 37 otros estados mentales y; por otro lado, con estmulos ambientales y con la conducta. De este modo, podemos concebir a los estados mentales como estados insertos en una red causal sumamente compleja que toca en ciertos puntos con el mundo externo. Dada esta red causal, la identidad de cada estado mental queda determinada por sus relaciones causales con entradas, con salidas y con otros estados mentales. Retomando el ejemplo del estado mental de creer que va a llover (B). ste es el estado mental de creer que va a llover y no el estado mental de creer que la Luna.es el satlite natural de la Tierra-- justamente porque ste mantiene las relaciones causales apropiadas para contar como un estado mental del primer tipo; mientras que no mantiene las relaciones causales apropiadas para contar como un estado mental del segundo tipo. Concluyendo, para el funcionalismo, un estado mental se individua sobre la base de su funcin en el sistema, y no sobre la base de su realizacin fsica especfica. De aqu que, si los estados mentales de dos o ms individuos cumplen con el mismo rol causal o funcional, podamos decir que esos individuos se encuentran en el mismo tipo de estado mental, independientemente de cmo estos estados se implementen fsicamente en sus cerebros.
Ejemplificacin esquemtica de una red causal que incluye entradas (inputs), salidas (outputs) y otros estados mentales. Las relaciones causales se representan mediante .
ESTIMULO EXTERNO:
Cielo nublado ORGANISMO
CREENCIA (A)
CREENCIA (B) DESEO (C) CREENCIA (D)
El cielo est nublado
Va a llover
No deseo mojarme
Debo llevar paraguas
RESPUESTA: Buscar paraguas. 38 Esta es pues la concepcin funcionalista sobre la naturaleza de los estados mentales y la razn de nuestro inters en ella en el presente texto, estriba, como ya se dijo, en el hecho de que sta es la posicin con la que se compromete la teora computacional de la mente. Dicha teora concibe a los estados mentales como estados funcionales del cerebro; estados funcionales que, en principio, podran realizarse en otras estructuras fsicas, tales como seres extraterrestres o incluso mquinas. Llegados a este punto podemos ver cmo la concepcin funcionalista y por supuesto la visin de TCM-- son congruentes con cmo las computadoras digitales de hecho funcionan. En las computadoras es posible distinguir entre el programa que la mquina est ejecutando y la realizacin fsica de ese programa, es decir, entre el conjunto de instrucciones que guan las operaciones de la computadora y el conjunto de acontecimientos fsicos ocurriendo en la red de circuitos que constituyen su estructura fsica. En el vocabulario de la computacin se utiliza el termino software para hacer alusin a lo primero, y el termino hardware para hacer alusin a lo segundo. Pues bien, extrapolando esta terminologa (y la distincin que ella conlleva) al mbito de lo mental, podemos decir que, tanto el funcionalismo como TCM, consideran que la mente puede ser entendida como el software del cerebro (el cual constituira el hardware). Por otra parte, la tesis de la realizabilidad mltiple es ms que evidente en las computadoras. No es ninguna novedad para nosotros que dos computadoras fsicamente diferentes pueden ejecutar un mismo programa; justamente de la misma manera en que diferentes cerebros (por ejemplo, el cerebro humano y el de un perro, o el de cualquier otra criatura capaz de tener estados mentales) podran instanciar un mismo tipo de estado mental.
1.4 LAS VIRTUDES DEL FUNCIONALISMO. Concluir este apartado sealando dos virtudes del funcionalismo 6 , mismas que han hecho de l la postura ms atractiva dentro de la psicologa cognoscitiva.
6 Por supuesto que el funcionalismo tambin tiene sus limitaciones. El lector interesado en explorarlas puede leer Las Dificultades del Funcionalismo de Ned Block (1978). 39 En primer lugar, el funcionalismo tiene la virtud de ser una postura que defiende el realismo de lo mental. El realismo de lo mental es una posicin que acepta a lo estados mentales, tales como creencias, deseos, esperanzas, temores, etc. como fenmenos genuinamente existentes, al mismo tiempo que les concede verdaderos poderes causales, de tal modo que ellos deben jugar un papel central en la explicacin de la conducta. Por lo tanto, el funcionalismo es una posicin consistente con la psicologa popular, por lo cual se contrapone con posiciones como el conductismo filosfico o el materialismo eliminativo, las cuales son en esencia posiciones antirrealistas (el antirrealismo es justamente la negacin del realismo de lo mental). En segundo lugar, el funcionalismo tiene la virtud de especificar un nivel de explicacin de lo mental que es el nivel de explicacin que propiamente compete a la psicologa. Consideremos los siguientes niveles de explicacin de lo mental: 1. explicaciones propias de la psicologa popular. 2. explicaciones funcionales (nivel de explicacin propio de la psicologa). 3. explicaciones de la neurofisiologa. Estos tres niveles de explicacin se mueven en un sentido de mayor a menor abstraccin. Por un lado, desde la perspectiva de la teora de la identidad slo hay dos niveles de explicacin, el primero y el tercero, por lo tanto no hay un nivel de estudio de lo mental que sea propiamente psicolgico. Por otro lado, desde la perspectiva del materialismo eliminativo, el panorama es todava peor, pues el nico nivel de explicacin posible es el neurofisiolgico. Por lo tanto, no hay nada que propiamente le competa hacer a la psicologa. En contraste con las dos posturas anteriores, el funcionalismo presupone que, adems de las explicaciones de la psicologa popular (que son propias del sentido comn) y de las explicaciones de la neurofisiologa, existe un tercer nivel de anlisis y explicacin de lo mental que es el nivel funcional, el cual es el nivel de explicacin propiamente psicolgico.
40 2. LA TESIS DEL LENGUAJE DEL PENSAMIENTO. El segundo presupuesto bsico de TCM es que existe un cdigo de representacin mental que constituye el medio mismo en que se realiza el pensamiento. Aunque esta idea ya estaba presupuesta en algunas teoras psicolgicas destacadas, nunca haba sido claramente especificada. Debemos al filsofo de la mente, Jerry Fodor, el haberla hecho explcita y el haber delineado sus consecuencias. En El lenguaje del pensamiento (1975), Fodor nos da razones a favor de la tesis de la existencia de un cdigo de representacin interna al que l llama el lenguaje del pensamiento (LP). Una de las estrategias de Fodor para apoyar su tesis es mostrarnos, en primer lugar, que hay algunas teoras psicolgicas (ampliamente aceptadas y plausibles) en las que los procesos cognoscitivos se conciben como procesos computacionales; pero puesto que la computacin presupone un medio en que realizarse, estas teoras estn presuponiendo tambin que los estados mentales son representacionales. Una de las teoras a las que hace alusin Fodor es la teora de la decisin. Segn tal teora, la conducta de un sujeto enfrentado ante mltiples alternativas de accin, se ajusta ms o menos al siguiente esquema: 1) El agente reconoce que se encuentra en una determinada situacin. 2) El agente reconoce un conjunto de opciones conductuales apropiadas a esa situacin. 3) El agente prev las consecuencias probables que se seguiran de realizar cada una de las opciones posibles. 4) El agente atribuye un orden de preferencia a las consecuencias. 5) La eleccin de conducta est determinada en funcin de las preferencias y probabilidades asignadas. Obviamente, para que un modelo como ste funcione es necesario presuponer que el agente debe de alguna manera representar la situacin en que se encuentra, las opciones conductuales posibles dada esa situacin, las consecuencias de actuar conforme a esas opciones, una determinada jerarqua de preferencias y por supuesto su propia conducta. Finalmente debe ser capaz de 41 realizar ciertas computaciones sobre estas representaciones que le permitan decidir una va de accin. Adems de la teora de la decisin, Fodor cita otra teora psicolgica: la alusiva al aprendizaje de conceptos. Aqu l destaca el hecho de que el proceso de aprender un concepto se define esencialmente como un proceso de formacin y de confirmacin de hiptesis; hacindonos ver, nuevamente, la necesidad de postular un sistema representacional en el que las posibles hiptesis puedan ser codificadas y en el que se lleven a cabo las inducciones e inferencias pertinentes. Lo que Fodor pretende con el anlisis de estas teoras es mostrar que, como una cuestin de hecho, la tesis de la existencia de LP ya est presupuesta por teoras prestigiadas dentro de la psicologa. Por otro lado, Fodor busca dilucidar la naturaleza de este lenguaje del pensamiento. Muchos han pensado que este lenguaje puede, muy bien, ser el mismo que nuestro lenguaje natural, pero Fodor se opone enrgicamente a esta idea y nos da dos razones principales para refutarla: 1) En primer lugar l considera que tanto los nios pre-verbales como los animales son claramente capaces en muchas actividades cognoscitivas a pesar de no poseer ningn lenguaje. As, una prueba obvia de que el lenguaje natural no puede ser el cdigo interno, es que hay organismos no verbales que piensan. (Fodor, 1975. p. 74). 2) Otro argumento que Fodor construye para refutar la afirmacin de que nuestro lenguaje natural es el medio del pensamiento es el siguiente: El aprendizaje de la lengua nativa es una cuestin de formacin y de confirmacin de hiptesis (recurdese lo dicho arriba sobre el aprendizaje de conceptos). La visin general de cmo se da dicho aprendizaje es la siguiente: 1) El nio se plantea hiptesis acerca del significado de las expresiones. 2) Tales hiptesis son sometidas a prueba, o dicho en otros trminos, a contrastacin contra la evidencia. 3) El nio acepta o rechaza las hiptesis en cuestin en funcin de su concordancia con la evidencia de que dispone. 42 4) En la concepcin de Fodor, puede decirse que el nio ha aprendido el significado de una expresin, pongamos por caso x es un perro una vez que l ha aprendido cual es la regla o criterio de aplicacin de esa expresin. Esto es, una vez que el nio ha aprendido a identificar claramente cules son los casos o situaciones en los que dicha expresin se aplica con verdad. Pero, argumenta Fodor, el nio no podra seguir ninguno de los pasos anteriores si l no dispusiera de un lenguaje previo en el que se puedan representar las expresiones que se estn aprendiendo, las distintas hiptesis acerca de cul es su criterio de aplicacin, adems de la evidencia disponible y los resultados de las contrastaciones. Esto significa que no se puede aprender un lenguaje a menos que ya se posea uno previamente y, por hiptesis, ese lenguaje previo no puede ser el lenguaje natural, pues ste es justamente el que se est aprendiendo. (Fodor, 1975; p. 77). El supuesto fodoriano de que aprender un lenguaje requiere necesariamente un conocimiento previo de un lenguaje anterior, ha sido criticado bsicamente porque implica un retroceso al infinito. Si pensamos en este lenguaje anterior, podramos postular que aprenderlo ha requerido, a su vez, del conocimiento de otro lenguaje, y as sucesivamente hasta el infinito. La respuesta de Fodor a esta objecin es que saber el lenguaje del pensamiento no requiere de postular un lenguaje anterior, sencillamente porque el lenguaje del pensamiento no se aprende, y no necesita aprenderse porque es innato. Fodor muestra cmo es esto posible partiendo de una analoga con las computadoras: Las computdoras suelen utilizar al menos dos lenguajes diferentes: un lenguaje de input-output en el que se comunican con su entorno y un lenguaje de mquina en el que hablan consigo mismas (es decir, en el que realizan sus computaciones). Los compiladores median entre los dos lenguajes, especificando bicondicionales cuya parte de la izquierda es una frmula en el cdigo de input- output y cuya parte de la derecha es una frmula en el cdigo de mquina [...]. Lo que quiero dejar claro es que, aunque la mquina deba tener un compilador para 43 utilizar el lenguaje de input-output, no necesita tener tambin un compilador para el lenguaje de la mquina. Lo que evita que se produzca un retroceso hasta el infinito en el caso de los compiladores, es el hecho de que la mquina est construida para utilizar el lenguaje de mquina. Ms o menos, el lenguaje de la mquina se distingue del lenguaje de input/output en que sus frmulas corresponden directamente a estados y operaciones de la mquina de carcter fsico y computacionalmente pertinente [....]. (Fodor, 1975; p. 83-84)
Aclaremos un poco esta cita. En cuanto a la terminologa slo quiero sealar que Fodor utiliza la expresin lenguaje de input/output para referirse al lenguaje de programacin. El lenguaje de programacin es aquel en el que el usuario humano da directamente instrucciones a la computadora (o el lenguaje en el que se codifica el programa que se pretende que la computadora ejecute). Los lenguajes de programacin se han inventado para mediar entre los usuarios de la computadora y la computadora misma. Esto es necesario porque, para el programador humano, dar instrucciones a una computadora en el lenguaje de mquina --que es el lenguaje que la computadora puede directamente entender-- , sera un tarea sumamente compleja. Es entonces el objetivo de simplificar el trabajo de los programadores lo que lleva a la construccin de lenguajes de programacin. El problema ahora es que la computadora no entiende el lenguaje de programacin, pues ste no es el lenguaje (o cdigo) en que ella realiza sus computaciones. Por lo tanto, ha sido necesaria la construccin de traductores (llamados, en la jerga computacional, compiladores) que le permitan a la computadora traducir las instrucciones dadas en el lenguaje de programacin a un lenguaje que ella entiende, esto es, al lenguaje de mquina. La computadora manipula entonces dos lenguajes: 1) un lenguaje de programacin, que es el lenguaje con el que se comunica con el mundo exterior y, 2) el lenguaje de mquina, que es en el que realiza todas sus operaciones. Entre los dos lenguajes media un compilador, que no es otra cosa que un traductor. La computadora entonces puede entender el lenguaje de programacin en la medida en que sta ya posee un lenguaje previo (el lenguaje de mquina), pero la computadora no 44 requiere de un lenguaje previo para entender el lenguaje de mquina porqu? Bueno, pues porque las frmulas o expresiones en este lenguaje se corresponden directamente con operaciones de carcter fsico en la mquina y, dada la forma en que sta ha sido construida, ese es el lenguaje que ella puede usar. Esta es pues la forma en la que las computadoras trabajan y que Fodor toma como modelo para dar cuenta de las relaciones existentes entre el lenguaje natural y el lenguaje del pensamiento, asumiendo plenamente la analoga mente- computadora. Segn Fodor, lo que las personas hacemos cuando, por ejemplo, entendemos una frase de nuestro idioma es primero traducirla al lenguaje del pensamiento. No obstante, el lenguaje del pensamiento, que es el lenguaje en el que computa el cerebro no precisa de traduccin, ya que, el cerebro dada su estructura y los procesos fsicos que realiza-- est intrnsecamente preparado para utilizar este lenguaje (justamente de la misma manera en que una computadora est preparada para utilizar su lenguaje de mquina). Una vez comprendida la frase, nosotros podemos realizar una serie de operaciones para procesar la respuesta. Por supuesto, estas operaciones se realizan en el lenguaje del pensamiento y cuando la respuesta es alcanzada, sta debe de ser traducida al lenguaje natural para posteriormente ser emitida.
Quiero concluir este apartado sealando dos puntos: 1) Para TCM la mejor manera de entender el pensamiento es concebirlo como un lenguaje. De este modo, TCM da una solucin sencilla y elegante al problema de dilucidar la relacin entre pensamiento y lenguaje. Dicha relacin sera bsicamente anloga a la relacin de intertraduccin que se da entre dos lenguajes naturales. 2) Para TCM, una tarea importante para la psicologa cognoscitiva debe ser la descripcin del lenguaje del pensamiento, dando cuenta, entre otras cosas, de sus propiedades sintcticas y semnticas.
45
3. LOS PROCESOS MENTALES SON PROCESOS COMPUTACIONALES. El tercer presupuesto bsico de TCM es el de que los procesos mentales son procesos computacionales. Decir que los procesos mentales 7 son computacionales es afirmar bsicamente dos cosas: 1) Que los procesos mentales son descriptibles mediante una secuencia finita y especificable de pasos (operaciones), mecnicos en su aplicacin, los cuales implican la transformacin de representaciones mentales. 2) Que las operaciones realizadas sobre representaciones o smbolos mentales son sensitivas nicamente a las propiedades sintcticas o formales de estos smbolos, sin consideracin de sus propiedades semnticas. De cualquier manera estas operaciones son tales que respetan y preservan el valor semntico de los smbolos mentales. Expliquemos este segundo punto con algo ms de amplitud. La manera ms simple de explicar qu es lo que se quiere decir cuando se afirma que los procesos mentales son procesos meramente formales (o guiados nicamente por la estructura sintctica), es apelar a la clase de operaciones sobre smbolos que se ejecutan en las demostraciones de validez lgica de un argumento. Para hacer esto ser necesario que conozcamos un poquito de Lgica. Primero que todo, establezcamos algunos conceptos fundamentales: La lgica es una disciplina que estudia el razonamiento desde el punto de vista de si ste es correcto o incorrecto. Un razonamiento es el proceso mediante el cual, un individuo llega a afirmar una proposicin partiendo de la base de otras proposiciones ya aceptadas. Los razonamientos se expresan mediante argumentos. Los siguientes son ejemplos de argumentos:
7 Los procesos mentales han de entenderse como operaciones realizadas sobre representaciones mentales. Estas operaciones se conciben como estando guiadas por reglas. 46 a) Juan es ms alto que Pedro Pedro es ms alto que Mara . Juan es ms alto que Mara b) Todos los gorilas son primates Todos los primates son mamferos . Todos los gorilas son mamferos
c) O bien Luis estudia o bien Luis trabaja Luis no estudia . Luis trabaja d) O vamos al cine o vamos al teatro No vamos al cine . Vamos al teatro
Un argumento puede definirse como un conjunto de oraciones algunas de las cuales son premisas, mientras que otra es la conclusin. Las premisas son las oraciones que son afirmadas como razones en apoyo de la conclusin, mientras que la conclusin es la oracin que establece el punto que se quiere sustentar. La tarea de la lgica es establecer criterios (reglas) para determinar cuando un argumento es correcto y cuando es incorrecto, es decir, cuando la conclusin se sigue efectivamente de las premisas y cuando no. Para alcanzar mayor rigor en su tarea, la lgica se vale de un lenguaje simblico. Esto implica traducir las oraciones del espaol en que el argumento est expresado a oraciones del lenguaje lgico de la siguiente manera: a cada oracin simple (aquella unidad mnima que declara un hecho en el mundo y que es susceptible de ser verdadera o falsa) del espaol se le asignar una letra estableciendo as un vocabulario. Por ejemplo, si queremos simbolizar el argumento c arriba, podemos utilizar el siguiente vocabulario: p: Luis estudia q: Luis trabaja lo cual significa que siempre que encontremos la oracin simple Luis estudia la reemplazaremos por p y siempre que encontremos la oracin simple Luis trabaja la reemplazaremos por q. Adems de letras oracionales, el lenguaje lgico utiliza smbolos de conectivos, los cuales sirven para conectar o vincular oraciones para construir oraciones ms complejas. Estos smbolos son los siguientes: (conjuncin)... y : (disyuncin)... o : (negacin)... no, no es cierto que, no ocurre que : 47 (condicional)... si... entonces : (bicondicional)... si y slo si : Valindonos, especficamente de los smbolos de disyuncin y de negacin, podemos simbolizar el argumento c en el lenguaje lgico de la siguiente manera: c*) p q p . q La lgica nos dice que este es un argumento correcto dado que la conclusin se sigue efectivamente de las premisas o, dicho en otros trminos, dado que las premisas sustentan efectivamente la conclusin. Esta relacin de sustentacin entre premisas y conclusin, en el caso de este argumento que estamos considerando, est avalada por una regla lgica particular, la regla conocida como silogismo disyuntivo. La regla de silogismo disyuntivo puede expresarse as: siempre que tengamos una disyuncin (oracin compleja cuyo conectivo principal es o) y la negacin de uno de sus disyuntos (se llama disyunto a cada una de las oraciones componentes en una disyuncin), entonces, de esas oraciones se sigue la afirmacin del disyunto no negado. La regla de silogismo disyuntivo es una regla que se aplica a cualesquiera premisas que tengan la misma estructura o forma de las premisas del argumento simblico arriba presentado (c*), independientemente del vocabulario empleado, es decir, independientemente de cul sea la oracin simbolizada por p y de cul sea la oracin simbolizada por q. Por ejemplo, si ahora nosotros deseamos simbolizar el argumento d, puesto que el vocabulario es arbitrario, puedo ahora utilizar un vocabulario diferente: p: vamos al cine q: vamos al teatro lo cual significa que he decidido que p ahora representar a la oracin vamos al cine, mientras que q representar a la oracin vamos al teatro. La simbolizacin lgica del argumento d sera entonces la siguiente: d*) p q p . q 48 justamente la misma simbolizacin del argumento c. Esto se debe a que las premisas en c y d, tienen la misma estructura lgica. Por lo tanto, la regla de silogismo disyuntivo es igualmente aplicable en ambos casos. Vemos pues que, para cualesquiera par de premisas, si ellas tienen la misma estructura o forma lgica que la de las premisas en c* (y en d*), entonces ellas implicarn siempre una misma conclusin, a saber: la afirmacin del disyunto no negado. Esto ocurrir sin importar a qu refieran o cul es el asunto del que hablan las oraciones involucradas; no importar si p est por Luis estudia o por vamos al cine o por 2 + 3 = 5, de igual modo no ser importante por cul oracin est q. La regla de silogismo disyuntivo (as como cualquier regla lgica) es un ejemplo muy claro de lo que es una regla formal, lo cual quiere decir, una regla que se aplica a oraciones simblicas nicamente sobre la base de su forma lgica (o estructura) y con total independencia de su contenido (o significado). Una vez entendido esto, estamos en condiciones de aclarar cul es exactamente el sentido de la afirmacin de que los procesos mentales son procesos formales o sintcticos. Bsicamente, esto significa que las reglas que guan las operaciones sobre representaciones mentales (estas ltimas, dada la tesis de que el pensamiento es en s mismo un lenguaje, pueden ser entendidas como una especie de oraciones mentales) son sensibles nicamente a la forma o estructura sintctica de esas representaciones. Tales reglas se aplican a las representaciones mentales en funcin de la forma de estas representaciones, con total independencia de cul sea su contenido semntico (su significado). Para concluir sealar que, en la medida en que TCM sostiene que los procesos mentales son procesos computacionales, una tarea central para el proponente de TCM es la identificacin y la descripcin de las reglas que presuntamente regulan los procesos en nuestro sistema cognitivo.
49 BIBLIOGRAFA.
- Bruner, Jerome (1990): La psicologa popular como instrumento de la cultura. En Actos de Significado. Ms all de la Revolucin Cognitiva. Madrid, Alianza Editorial, 1991. - Churchland, Paul (1984): Materia y Conciencia. Introduccin Contempornea a la Filosofa de la Mente. Espaa, Gedisa Editorial, 1992 - Fodor, J.A. (1975): El lenguaje del pensamiento. Madrid, Alianza Editorial, 1984. - Block, N. (1978): Las dificultades del funcionalismo. En Rabossi, Eduardo (compilador), Filosofa de la Mente y Ciencia Cognitiva. Espaa, Ediciones Paids Ibrica, 1995.
50 TEMA 4. CONEXIONISMO.
ANTECEDENTES. Alrededor de 1960 se produjo una breve rfaga de entusiasmo en torno de un mecanismo inventado por Frank Rosenblatt en la Universidad de Cornell, denominado PERCEPTRON, cuyo propsito era reconocer letras (y otras figuras- patrn) situadas frente a sus ojos. El PERCEPTRON consista en una grilla de cuatrocientas clulas fotoelctricas, correspondientes a las neuronas de la retina; estas clulas estaban conectadas con elementos asociadores cuya funcin consista en reunir los impulsos elctricos producidos por ellas; ..Otra serie de componentes incluan unidades de respuesta: un asociador produca una seal nicamente en el caso de que el estmulo superar cierto umbral. (Gardner, pp. 190-191) En la dcada de los 60s el enfoque de procesamiento simblico y el enfoque conexionista parecan igual de promisorios. Sin embargo, hacia 1970 la investigacin en el mbito conexionista, que posea su paradigma en el Perceptrn, se redujo considerablemente. Una de la razones fundamentales fue la publicacin en 1968 del libro de Marvin Minsky y Seymour Papert Perceptrones: una introduccin a la geometra computacional en la que se atacaba la idea del Perceptrn, sosteniendo que estas investigaciones carecan de valor cientfico. Posteriormente, la aproximacin conexionista al estudio de la cognicin humana fue gradualmente revitalizada. En la actualidad constituye en enfoque prometedor y en pleno auge.
QUE ES EL CONEXIONISMO. El conexionismo es un movimiento en ciencia cognitiva el cual espera explicar las habilidades intelectuales humanas usando redes neuronales artificiales. Las redes neuronales son modelos simplificados del cerebro compuestas de un gran nmero de unidades (anlogas a las neuronas) junto con pesos que miden las fuerzas de las conexiones entre las unidades. Estos pesos modelan los efectos de las sinapsis que conectan a una neurona con otra. 51
Descripcin de una red neuronal.- una red neuronal consiste de un gran nmero de unidades colocadas juntas en un patrn de conexiones. Las unidades de la red son de tres clases: 1) unidades de input, las cuales reciben la informacin a ser procesada; 2) unidades de output en las cuales se encuentran los resultados del procesamiento y 3) unidades intermedias llamadas unidades ocultas. Si una red neuronal fuera a modelar al sistema nervioso humano, las unidades de input seran anlogas a las neuronas sensoriales, las unidades de output a las neuronas motoras, y las unidades ocultas a todas las otras neuronas. Cada unidad de input tiene un valor de activacin que representa a alguna caracterstica externa a la red. Una unidad de input enva su valor de activacin a cada una de las unidades ocultas a las cuales est conectada. Cada una de estas unidades ocultas calcula su propio valor de activacin dependiendo de los valores de activacin que sta recibe de las unidades de input. Esta seal es entonces transmitida a las unidades de output o a otra capa de unidades ocultas. Esas unidades ocultas computan sus valores de activacin en la misma forma y envan la seal a sus vecinas. Eventualmente, la seal de las unidades de input se propaga a travs de la red para determinar los valores de activacin de todas las unidades de output. El patrn de activacin propio de una red est determinado por los pesos, o fuerza de las conexiones entre unidades. Los pesos pueden ser ambos: positivos o negativos. Un peso negativo representa la inhibicin de la unidad receptora dada la actividad de la unidad que enva. Segn el conexionismo, los logros intelectuales humanos deben depender fundamentalmente de la distribucin de pesos entre las unidades.
Aprendizaje y propagacin hacia atrs en redes neuronales.- encontrar el conjunto correcto de pesos para lograr una cierta tarea es la meta central para la investigacin conexionista. Afortunadamente, se han descubierto algoritmos de aprendizaje que pueden calcular los pesos correctos para la realizacin de mltiples tareas. Uno de estos mtodos de entrenamiento es llamado propagacin hacia atrs. Para utilizar este mtodo se requiere de un conjunto de 52 entrenamiento (training set) consistente de muchos ejemplos de inputs y sus deseados outputs para una tarea dada. Si, por ejemplo, la tarea es distinguir rostros masculinos de rostros femeninos, el conjunto de entrenamiento puede contener retratos de caras junto con una indicacin del sexo de la persona. Una red que puede aprender esta tarea puede tener dos unidades de output (indicando las categoras hombre, mujer) y muchas unidades de input, una dedicada a la brillantez de cada pxel en el retrato. Los pesos de la red que va a ser entrenada son inicialmente establecidos al azar, y entonces los miembros del conjunto de entrenamiento son repetidamente expuestos a la red. Los valores para el input de un miembro son colocados sobre las unidades input y el output de la red es comparado con el output deseado para este miembro. Entonces todos los pesos en la red son ajustados ligeramente en la direccin que ms aproxima los valores output de la red a los valores output deseados. Por ejemplo, cuando la cara de un hombre es presentada a las unidades input los pesos son ajustados de modo tal que el valor de la unidad output hombre se incrementa y el valor de la unidad output mujer se decrementa. Despus de muchas repeticiones de este proceso la red puede aprender a producir el output deseado para cada input en el conjunto de entrenamiento. Si el entrenamiento va bien, la red ha aprendido tambin a generalizar y exhibir la conducta deseada an para inputs y outputs que no estaban en el conjunto de entrenamiento (otras fotografas diferentes). El xito en el entrenamiento de redes depende de ajustes sutiles del algoritmo y del conjunto de entrenamiento. Tpicamente, el entrenamiento implica cientos de miles de rondas de ajuste de los pesos. Dadas las limitaciones de las computadoras actualmente disponibles para la investigacin conexionista, entrenar una red para que ejecute una tarea interesante puede tomar das o an semanas. Algunas dificultades pueden resolverse cuando se utilizan circuitos en paralelo especficamente diseados para modelar redes neurales.
Lo que las redes neuronales pueden hacer.- mencionaremos tres experimentos bien conocidos que han impulsado a los conexionistas a creer que las redes neuronales son buenos modelos de la inteligencia humana: 53 1) NETtalk.- esta red, diseada por Sejnowski y Rosenberg en 1987, puede leer textos en ingls. El conjunto de entrenamiento para NETtalk fue una gran base de datos consistente de textos en ingls acoplados con su correspondiente salida fontica (la cual se daba mediante un sintetizador de habla). Las grabaciones de la ejecucin de NETtalk en diferentes estadios del entrenamiento son muy interesantes. En un principio el output es ruido aleatorio. Despus, la red suena como si estuviera balbuceando, despus los sonidos empiezan a asemejarse a palabras del ingls. Finalmente NETtalk hace un buen trabajo en pronunciar (leer) el texto que le es dado. Adems, esta habilidad se generaliz a textos que no fueron presentados en el conjunto de entrenamiento. 2) Otro modelo conexionista importante es una red entrenada por Rumelhart y McClelland (1986) para predecir el tiempo pasado de los verbos en ingls. El conjunto de entrenamiento consisti de un conjunto de verbos en presente y en pasado (tanto regulares como irregulares). La red aprendi el tiempo pasado de 460 verbos regulares en 200 rondas de entrenamiento y llego a generalizar correctamente a verbos que no estaban presentes en el conjunto de entrenamiento. La red tambin mostr una buena apreciacin de regularidades encontradas entre los verbos irregulares (send/sent, build/built, blow/blew). Durante el aprendizaje, en la medida en que la red fue expuesta a ms verbos regulares que irregulares, sta mostr una tendencia a sobre-regularizar, i.e. a combinar ambas formas: regulares e irregulares (break/broked, en lugar de break/broke) Esto fue corregido con ms entrenamiento. Es interesante notar que los nios exhiben la misma tendencia a sobre-regularizar durante el aprendizaje del lenguaje. Sin embargo, hay un acalorado debate acerca de si este modelo es de hecho un buen modelo de cmo los humanos aprenden las terminaciones de los verbos. 3) Elman (1991) entren a una red para predecir la prxima palabra en una oracin del ingls. El conjunto de entrenamiento consisti de un conjunto de oraciones del ingls las cuales fueron formadas desde un vocabulario 54 simple de 23 palabras y un subconjunto de la gramtica del ingls. Una de las caracterstica del modelo de Elman es el uso de conexiones recurrentes. Los valores de las unidades ocultas son guardados en un conjunto de las as llamadas unidades de contexto para ser enviadas hacia atrs al nivel del input para la prxima ronda de procesamiento. Este loop hacia atrs, desde las capas ocultas a las capas de entrada provee a la red con una forma rudimentaria de memoria de la secuencia de palabras en la oracin input. Aunque la red no predeca exactamente cul era la prxima palabra en una oracin (eso es una tarea imposible), la red tuvo xito al activar, dada la primera parte de una oracin, las unidades output que son continuaciones gramaticales de la oracin, y al no activar las unidades output que en ese punto no son continuaciones gramaticales de la oracin. Al final del entrenamiento, la red de Elman pudo generalizar a oraciones no incluidas en el conjunto de entrenamiento.
CONTRASTES ENTRE CONEXIONISMO Y EL ENFOQUE SIMBLICO.
ENFOQUE SIMBOLICO. ENFOQUE CONEXIONISTA.
La informacin se representa por cadenas de smbolos (lenguaje del pensamiento).
La informacin es almacenada de manera no simblica, en los pesos o fuerza de las conexiones entre las unidades de la red neuronal.
El procesamiento de la informacin es secuencial y acorde con las instrucciones de un programa.
El procesamiento de la informacin es paralelo y est en funcin de la evolucin dinmica y graduada de la actividad en una red neuronal.
Representacin local.- los smbolos se almacenan en lugares especficos de la memoria.
Las representaciones complejas tienen una estructura interna. De este modo, cuando una representacin compleja es instanciada, los
Representacin distribuida.- las representaciones estn codificadas en los patrones de actividad de una red neuronal completa (no en la actividad de unidades individuales).
Aqu no tiene caso hablar de representaciones simples y complejas (atmicas y moleculares). Las 55 constituyentes de esa representacin tambin se instancian. Por ejemplo, si se representa el smbolo complejo Juan ama a Mara tambin hay una representacin de los smbolos simples: Juan, ama y Mara. representaciones distribuidas para expresiones complejas como Juan ama a Mara no contienen, necesariamente, ninguna representacin explcita de sus partes.
FUERZAS Y DEBILIDADES DE LOS MODELOS DE REDES NEURONALES.
Fuerzas. 1) Los modelos conexionistas parecen particularmente bien adaptados a lo que se conoce en neurologa. El cerebro es en verdad una red neuronal formada de una cantidad masiva de unidades (neuronas) y sus conexiones (sinapsis). 2) Degradacin elegante de la funcin.- Ante el dao la respuesta de la red sigue siendo apropiada aunque menos precisa. Esto es congruente con la manera en que realmente se degradan las capacidades cognitivas en personas que sufren dao cerebral. En contraste con lo anterior, el dao estructural (ya sea a nivel de hardware o de software) en un sistema de procesamiento simblico resulta tpicamente en una falla catastrfica. 3) Las redes neuronales estn bien adaptadas para la resolucin de problemas que demandan un procesamiento complejo en paralelo. (ejemplo: escribir en mquina o computadora) 4) Las redes neuronales estn bien adaptadas para modelar capacidades que no pueden ser fcilmente explicitadas mediante reglas precisas o mediante principios libres de excepcin.
Debilidades. 1) La gran cantidad de repeticiones que son necesarias para el entrenamiento de una red parece poco realista. 2) Los modelos de redes neuronales no son particularmente buenos para la clase de procesamiento basado en reglas, que es el que se supone, 56 subyace a la capacidad para el lenguaje, razonamiento y formas superiores de pensamiento. 3) En tanto que el conocimiento en una red neuronal est meramente implcito en un conjunto de pesos especficos de la tarea, no es posible para la red comunicar ese conocimiento directamente a ninguna otra red implicada en la solucin de un problema relacionado. El conocimiento de la red no es transferible, de modo que no es posible explotar los resultados de un aprendizaje exitoso a fin de obviar la necesidad de un reentrenamiento de la nueva red en ese aspecto de la tarea. Ilustremos esto con un ejemplo: En el transcurso de los aos un banco ha acumulado una vasta base de datos acerca de quienes son buenos pagadores y quienes no, y acerca de con quienes vale la pena arriesgarse concedindoles un prstamo. Sin embargo, estos datos estn desorganizados y no se ven emerger patrones claros. Los datos son entonces usados para entrenar a una red conexionista la cual aprende a evaluar, mucho mejor que cualquier operador del banco, cules son los clientes a los que es conveniente conceder un prstamo (aqullos con los que vale la pena arriesgarse) y cules son los clientes a los que no conviene conceder un prstamo (aqullos con los que no deben arriesgarse). Intentemos analizar ahora lo que la red ha aprendido. Tras una cierta clase de anlisis estadstico es posible descubrir que la red ha aprendido a considerar el domicilio como un criterio til y ha particionado su dominio en buenas direcciones y no tan buenas direcciones. La red puede llegar tambin a considerar criterios como estabilidad en el empleo y nivel salarial. Imagnese ahora que esta red es una pequea parte de un sistema mucho mayor el cual si es capaz de comunicacin real. Llmese a este sistema el gerente de banco. Un banco australiano solicita a este gerente de banco informacin sobre cules son las condiciones favorables para conceder un prstamo. En otros trminos, el banco australiano desea conocer la teora subyacente en el sistema sobre prstamos bancarios. Como estn las cosas, el gerente de banco no tiene nada que decir, l no 57 posee una teora til que pueda transmitir. Considrese ahora la tarea relacionada de evaluar la conveniencia de los prstamos en una economa en depresin. Aqu la estabilidad del empleo puede ser un criterio mucho ms importante que el nivel salarial (lo opuesto de lo que ocurre en una economa en crecimiento). En el caso de las redes neuronales, el conocimiento ganado usando los datos de una economa en apogeo no acelerar el aprendizaje, ni reducir el tiempo de entrenamiento, de una red que debe funcionar en una economa en depresin. (Clark, A. & Karmiloff- Smith, A. 1993. Ver ejemplo en pp. 490-491) En resumen, puede decirse que el conocimiento que una red posee, una vez que ha sido entrenada, no puede ser transferido o comunicado a otras redes para que puedan llevar a cabo tareas relacionadas. De ah que haya problemas para la integracin de las redes con otros subsistemas para formar sistemas ms complejos. 4) Del carcter implcito del conocimiento de una red neuronal se derivan otras de sus limitaciones: a) Las redes neuronales no son capaces de depurar o eliminar sus errores sin apelar a un re-entrenamiento a gran escala. Si en el transcurso del entrenamiento una red va por una va sumamente equivocada no hay nada que se pueda hacer, excepto re-entrenarla con el conjunto de ejemplos de entrenamiento. No obstante, la manera en que los humanos eliminamos el error est mucho ms focalizada. Veamos un ejemplo, un jugador de golf cuyo nivel de juego se deteriora repentinamente puede aislar la causa del problema como un componente en el giro de su mueca. Esto le habilita para enfocar su accin en la correccin de ese error especfico en lugar de aprender a jugar golf nuevamente desde el principio. Tal focalizacin no es posible para una red conexionista (de primer orden) en la cual todo el conocimiento est inextricablemente entreverado de modo que no es posible desempaquetar las partes de dicho conocimiento a fin de hacer modificaciones puntuales mientras el conocimiento restante permanece intacto. 58 b) Dado lo anterior, una red no es capaz de contender con cambios sistemticos en la estructura de las reglas que gobiernan un dominio.
Los filsofos han llegado a interesarse en el conexionismo porque este provee una alternativa a la teora clsica de la mente: la visin ampliamente sostenida de que la mente es algo anlogo a una computadora digital que procesa un lenguaje simblico. Exactamente cmo y a qu extensin el paradigma conexionista constituye un desafo al enfoque clsico han sido cuestiones clidamente debatidas en aos recientes. Muchos conexionistas no visualizan su trabajo como un desafo al clasicismo y algunos aceptan abiertamente la postura clsica. Los llamados conexionistas implementacionales buscan una adecuacin de los dos paradigmas. Ellos sostienen que las redes del cerebro implementan un procesador simblico. En verdad, la mente es una red neuronal; pero sta es tambin un procesador simblico a un nivel superior y ms abstracto de descripcin. Por lo tanto, el papel de la investigacin conexionista de acuerdo a los implementacionalistas es descubrir cmo la maquinaria requerida para el procesamiento simblico puede ser forjada desde los materiales de una red neural, de modo tal que el procesamiento clsico pueda ser reducido a la descripcin de la red neural. Sin embargo, muchos conexionistas rechazan el punto de vista implementacional. Los conexionistas radicales se quejan de que la teora clsica hace un mal trabajo para explicar la degradacin graciosa (graceful) de la funcin, la representacin holstica de los datos, la generalizacin espontnea, la apreciacin del contexto, y muchas otras caractersticas de la inteligencia humana las cuales s son capturadas por sus modelos.
59 BIBLIOGRAFA.
- Clark, Andy; Karmiloff-Smith, Annette (1993): The Cognizers Innards: A Psychological and Philosophical Perspective on the Development of Thought. Mind and Language , Vol. 8, No. 4 - Garson, James; Connectionism; The Stanford Encyclopedia of Philosophy (Spring 2007 Edition), Edward N. Zalta (ed.), URL= http://plato.stanford.edu/archives/spr2007/entries/connectionism/
60 TEMA 5. LIMITACIONES DE LA VISIN COMPUTACIONAL DE LA MENTE. Experimento Mental.- La habitacin china. (ver texto pp. 37-38) Argumento de Searle: 1) La sintaxis no es suficiente para la semntica. 2) Los programas de computadora estn definidos enteramente por su estructura formal o sintctica. 3) Las mentes tienen contenidos semnticos. 4) Por lo tanto, ningn programa de computadora es suficiente por s mismo para dar a un sistema una mente.
La respuesta de Jaegwon Kim. La conclusin que se desprende del experimento mental de la habitacin china es que la mentalidad es mucho ms que manipulacin sintctica de smbolos de acuerdo a reglas, y que no hay forma de obtener la semntica o lo que los smbolos significan o representan desde su sintaxis. Esto quiere decir que el entendimiento y otros estados y actividades mentales inteligentes no pueden surgir de meros procesos sintcticos. Los procesos mentales estn guiados por contenidos representacionales o significados. La creencia de que llueve causa en m el deseo de llevar un paraguas y esta relacin causal se sostiene, en parte, porque la creencia y el deseo tienen los contenidos particulares que ellos tienen y no otros; as mi creencia de que llueve no causa el deseo de usar mi mejor traje para ir a trabajar, y la creencia de que el da est soleado no causa mi deseo de llevar paraguas. Por lo tanto, la mente es una mquina semntica, la computadora, en contraste, es slo una mquina sintctica. As pues, el experimento de la habitacin china destaca un problema legtimo relativo al significado y a la causacin mental. Sin embargo, este es un problema general que surge para cualquier concepcin materialista de la mente, independientemente de si sta se compromete con una visin computacional. Considere la posicin que Searle favorece: la mentalidad slo puede surgir en sistemas biolgicos complejos como el cerebro humano. No obstante, parece ser 61 que los procesos causales neurobiolgicos ocurrirn sin importar lo que los estados neuronales involucrados representen acerca del mundo o si es que ellos representan algo en lo absoluto. Los procesos neuronales no parecen ms sensitivos al significado y al contenido representacional de lo que lo son los procesos computacionales. Las condiciones fsico-biolgicas locales del cerebro, no los estados de cosas distales representadas por ellos, son las que guan los procesos neuronales. Si esto es as no est Searle en el mismo barco que Turing y otros computacionalistas? Aqu se hace necesario responder a una cuestin previa muy importante: cmo es que los estados neuronales pueden representar algo? cmo es que estos estados llegan a tener el contenido particular que ellos tienen?
BIBLIOGRAFIA.
- Kim, Jaegwon (2006): Philosophy of Mind. U.S.A., Westview Press.
- Searle, John; (1984): Pueden los computadores pensar? En: Mentes, Cerebros y Ciencia. Madrid, Ediciones Ctedra, 2001
62 TEMA 6. PROCESOS MENTALES.
El presente escrito tiene dos objetivos fundamentales: el primero es explicar el concepto mismo de proceso mental en la perspectiva de la teora computacional de la mente (TCM). El segundo es dar un panorama muy general de los procesos cognoscitivos que TCM ha buscado explicar. Vayamos pues al primer punto. Qu es un proceso mental? Iniciemos con esta definicin como punto de partida: un proceso se entiende como una operacin especfica realizada sobre representaciones mentales, la cual nos lleva a producir nuevas representaciones. Esta definicin establece dos cosas, primero la clase de objetos sobre los cuales actan los procesos; estos objetos no son otra cosa que representaciones mentales, las cuales pueden ser entendidas, dada la tesis del lenguaje del pensamiento, como oraciones mentales con propiedades sintcticas y semnticas. Los objetos del pensamiento son pues representaciones mentales. La definicin anterior tambin establece que un proceso no es otra cosa que una operacin especfica, es decir una transformacin de estas representaciones de acuerdo con alguna regla o principio que puede ser claramente establecido. De este modo, el pensamiento es el producto de una cadena de transformaciones y manipulaciones de smbolos de acuerdo a ciertas reglas. Otra caracterstica importante que hay que considerar respecto a los procesos mentales, segn los concibe la teora computacional, es que stos operan de manera conjunta para llevar a cabo procesos ms complejos. De este modo, las capacidades cognoscitivas complejas pueden ser explicadas en trminos de capacidades a las que subyacen un conjunto de procesos mucho ms simples, los cuales a su vez, pueden ser explicados en trminos de subprocesos ms simples, y as hasta llegar al nivel de los procesos primitivos, que son aquellos que ya no pueden descomponerse en otros procesos. Segn el enfoque computacional, la explicacin en el nivel de los procesos primitivos correspondera ya a explicaciones en el nivel neurofisiolgico (o de hardware) y no seran de competencia del psiclogo cognitivo. El psiclogo cognitivo debe ocuparse de 63 explicar los procesos en un nivel superior de abstraccin, que es el correspondiente al nivel de explicacin funcional (o de software). Para completar nuestra descripcin de lo que son los procesos mentales, en la perspectiva de TCM, resta mencionar un ltimo punto: para TCM los procesos mentales son procesos computacionales qu quiere esto decir? Bsicamente, esto significa que las operaciones realizadas sobre representaciones o smbolos mentales son sensitivas nicamente a las propiedades sintcticas o formales de estos smbolos, sin consideracin de sus propiedades semnticas.
Podemos concluir nuestra explicacin de lo que son los procesos mentales, retomando todas las consideraciones anteriores para ampliar nuestra primera definicin de proceso mental : Un proceso se entiende como una operacin especfica realizada sobre representaciones mentales, la cual nos lleva a producir nuevas representaciones. Dicha operacin se coordina con otras operaciones para dar lugar a operaciones ms complejas, las cuales se conciben como estando guiadas por reglas de carcter estrictamente formal.
Vayamos ahora a nuestro segundo objetivo Cules son los procesos mentales que han buscado entender los psiclogos dentro de esta perspectiva terica? A continuacin se expone, de una manera muy general, cul es el dominio de capacidades cognoscitivas (y procesos subyacentes) que los tericos de TCM han investigado y tratado de dilucidar.
PERCEPCIN. TCM ha tratado de explicar nuestras capacidades perceptuales. El objetivo es dar cuenta de cmo los seres humanos registramos e interpretamos la informacin proveniente de nuestros sentidos.
64 ATENCIN. Continuamente nuestros sentidos estn siendo bombardeados por un gran nmero de estmulos. No obstante, slo una parte de ellos son registrados por nosotros; aquellos que en el momento resultan relevantes. TCM se ha preocupado por indagar cules son los mecanismos que nos permiten seleccionar de manera automtica y tan eficiente la informacin importante, al mismo tiempo que desechamos la que no lo es.
REPRESENTACION MENTAL. Las teoras de la representacin mental se abocan a descifrar cul es la naturaleza del cdigo, o cdigos, en el que nuestro conocimiento del mundo se almacena en nuestras mentes. Se han estudiado fundamentalmente dos cdigos: el cdigo proposicional (que es un formato cuasi lingstico) y el cdigo de imgenes (que es un formato analgico).
MEMORIA. Si el conocimiento del mundo est almacenado en nuestras mentes, es importante entender cules son los mecanismos que hacen posible el registro de nueva informacin (codificacin), as como cules son los mecanismos que nos permiten recuperar la informacin necesaria y traerla a la consciencia cuando la necesitamos.
CATEGORIZACIN. Nuestro entorno est poblado de un sin fin de objetos particulares y fenmenos nicos. Si nosotros tuviramos que enfrentarnos a este mundo infinito de particularidades nos sera muy difcil, si no es que imposible el dominio de nuestro entorno. Afortunadamente estos objetos en nuestro entorno poseen propiedades en comn que nos permiten organizarlos juntos o agruparlos, de modo tal que el nmero de entidades que pueblan el mundo se vuelva manejable. Generamos de este modo conceptos, los cuales nos permiten organizar el mundo que nos rodea. 65 TCM busca descifrar cules son los procesos implicados en la formacin y adquisicin de conceptos.
RAZONAMIENTO Y SOLUCION DE PROBLEMAS. TCM ha buscado tambin descifrar cules son las reglas que subyacen a nuestra capacidad para el razonamiento, esto es, a nuestra capacidad para establecer que dado que ciertas oraciones son verdaderas, otras oraciones necesariamente (o muy probablemente) deben serlo tambin, determinando as cules son las implicaciones de lo que ya sabemos. La capacidad para el razonamiento est estrechamente vinculada a la capacidad humana para la solucin de problemas, la cual consiste en la habilidad para encontrar los medios adecuados que nos permitan alcanzar un objetivo deseado cuando ciertos obstculos se interponen. TCM tambin busca dilucidar cmo los seres humanos podemos hacer esto.
TOMA DE DECISIONES. Tomar decisiones implica hacer varias cosas al mismo tiempo, tales como: 1) identificar cul es la situacin especfica en que nos encontramos; 2) dada esa situacin especfica, determinar cules son las opciones conductuales (o vas de accin) posibles; 3) determinar cules son las consecuencias probables que se seguiran de la realizacin de cada va de accin posible; 4) determinar cul es el valor que nosotros asignamos a cada una de las consecuencias de realizar una u otra accin, y finalmente 5) sobre la base de los datos anteriores, calcular cul es la va de accin ms conveniente dados nuestros deseos. TCM se ha ocupado de investigar cmo los seres humanos realizamos cada uno de estos pasos. Del mismo modo ha tratado de indagar hasta qu punto la forma en que los seres humanos tomamos decisiones se apega a ciertos modelos de eleccin racional.
LENGUAJE. Por ltimo, TCM ha buscado explicar la capacidad humana para producir y comprender el nmero infinito de oraciones, tanto habladas como escritas, que 66 pueden ser generadas en una lengua. TCM tambin se interesa en explicar cules son las relaciones entre pensamiento y lenguaje.
Estas son pues las capacidades cognoscitivas que constituyen el dominio de investigacin y explicacin propios de la teora computacional de la mente, la cual pretende dar cuenta de estas capacidades en trminos de una serie de procesos mentales subyacentes.