1

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO.

FACULTAD DE PSICOLOGA

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.