Você está na página 1de 15

Objees Hiptese da Linguagem do Pensamento : O Experimento de Chalmers

Vincius Moraes de Mattos


Graduando em Filosofia do Instituto de Filosofia e Cincias Sociais (IFCS) da UFRJ vinciusmoraes@ufrj.br

RESUMO

A linguagem do pensamento proposta por Jerry Fodor uma hiptese que postula a existncia de uma linguagem inata baseada em um sistema de representaes simblicas que realiza os processos cognitivos. Segundo Fodor, o pensamento consiste em uma relao entre atitudes proposicionais e representaes dotadas de estruturas sinttico-semnticas causalmente sensveis s propriedades formais do sistema. Esta tese est intimamente relacionada tradicional Teoria Representacional da Mente e consiste em uma abordagem naturalista compatvel com os ltimos resultados das cincias cognitivas. Comparativamente s diversas objees de carter local, o Conexionismo se destaca como a crtica mais poderosa Hiptese da Linguagem do Pensamento. Os modelos conexionistas propem um novo paradigma para a compreenso de como a informao representada no crebro, na medida em que rejeitam a concepo clssica e sugerem um processamento atravs de redes neurais. Como resposta ofensiva, Fodor & Pylyshyn apresentaram um argumento que ps os adversrios diante de um dilema: ou a proposta conexionista fracassa em tentar explicar a produtividade, sistematicidade e coerncia do pensamento ao recusar a linguagem do pensamento, ou se reduz uma mera implementao dela. Chalmers nega a premissa de Fodor de que modelos conexionistas no podem ter uma estrutura composicional alternativa clssica e realiza um experimento com representaes distribudas recursivas, utilizando o modelo RAAM desenvolvido por Pollack. PALAVRAS CHAVE: Filosofia da Mente, Conexionismo, Redes Neurais Artificiais

A Teoria Representacional da Mente (RTM)1 tem longa tradio na histria da filosofia. Seus fundamentos podem ser encontrados em uma forma embrionria na investigao de Aristteles acerca da natureza do pensamento.2 Em Aristteles o intelecto abordado atravs de uma anlise hilemrfica que se d em termos da recepo das formas dos objetos. Esta concepo da relao entre o intelecto e o inteligvel implica em uma apreenso das propriedades estruturais do objeto por parte do sujeito. Portanto, se o intelecto apreende um objeto ao receber e espelhar sua forma inteligvel, o pensamento possui um contedo representacional. Empiristas britnicos como Locke e Hume chamavam esse contedo representacional de ideias, imagens mentais que se relacionam atravs de alguns princpios de associao. Na viso desses filsofos essas ideias so matria de operaes mentais como combinao e abstrao, que do origem a outras ideias, formando uma estrutura cognitiva na qual ideias complexas so formadas a partir de ideias mais simples. Apesar da inegvel influncia da doutrina empirista britnica, as verses modernas da Teoria Representacional da Mente no assumem que os componentes do pensamento sejam imagens mentais. Em vez disso, o tratamento clssico contemporneo considera que o sistema interno de representaes possui uma sintaxe semelhante a uma linguagem discursiva e uma semntica composicional. Nesta perspectiva, a maioria das representaes mentais so signos dotados de significado.
3

Atitudes proposicionais como crenas e desejos so smbolos presentes nos processos cognitivos e desempenham um papel central nas operaes entre representaes. Por exemplo, se Juliana acredita que Marcos filho de Paulo e tambm acredita que Paulo filho de Joo, juntas, essas atitudes proposicionais podem fazer com que Juliana acredite que Marcos neto de Joo. Essas atitudes so constitudas por representaes sobre Juliana, Marcos, Paulo, Joo e representaes a respeito das relaes didicas

A Teoria Representacional da Mente, conhecida como Representational Theory of Mind na literatura anglo-americana, comumente abreviada por RTM. Doravante utilizarei essa sigla nos casos em que for conveniente. O mesmo se aplicar a outros termos significativos que viro adiante. 2 Aristteles De Anima 3 Isto no significa que no h mais lugar para a noo de imagens mentais nas teorias cognitivas modernas. Uma srie de experimentos psicolgicos da dcada de 70 mostrou que o tempo de resposta dos sujeitos em tarefas de manipulao mental de imagens variava proporcionalmente s dimenses espaciais das figuras apresentadas, sugerindo que h algum tipo relevante de representao figurativa que conserva as propriedades espaciais do objeto percebido. ver Kosslyn (1980)

x filho de y e x neto de y, de modo que o contedo desta estrutura de representaes determinado pelos contedos das representaes constituintes. Como tais representaes so sobre algo, dizemos que elas possuem intencionalidade. A estrutura das crenas de Juliana apresentadas acima pode ser vista como um processo mental no qual as atitudes proposicionais sobre Marcos, Paulo e Joo caracterizam uma inferncia ou um raciocnio. Sob a tica da RTM, processos cognitivos como o raciocnio e a deduo so sequncias de estados mentais intensionais, ou seja, deduzir uma proposio q das proposies p e se p ento q significa conceber uma sequncia de representaes da forma <p, se p ento q, q>. Uma concepo comum na filosofia da mente contempornea a de que a mente pode ser naturalizada i., todos os fatos mentais podem ser explicados sob a luz das cincias naturais. De certo modo existe um comprometimento geral com a ideia de que estados e processos cognitivos devem ser explicados em termos de representaes mentais e esta perspectiva, de um modo geral, a adotada pela comunidade cientfica e est de acordo com as descobertas recentes das cincias cognitivas. Os adeptos argumentam que representaes mentais estruturadas cumprem um papel essencial na explicao de fenmenos como a sistematicidade e produtividade do pensamento. Quando a Teoria Representacional da Mente combinada com a viso de que a mente funciona de modo anlogo um computador e que processos cognitivos so relaes computacionais entre representaes mentais, temos a Teoria Computacional da Mente (CTM)4. Mas a analogia da mente com um computador no deve ser entendida como a metfora ingnua de que a mente o mesmo que um computador. O que ela significa realmente que os mesmos princpios encontrados na computao digital so aqueles encontrados na realizao fsica dos processos cognitivos no crebro. Ademais, o termo computador no se refere ao computador que estamos acostumados a utilizar diariamente, mas sim a um manipulador de smbolos que segue instrues sequencialmente para realizar funes que computam dados de entrada (input) e imprimem dados de sada (output). Esta noo de computador a mesma descrita por Alan Turing quando concebeu as Turing Machines, dispositivos tericos que manipulam smbolos em uma fita unidimensional de acordo com regras especficas.

Computational Theory of Mind.

As cincias cognitivas esto comprometidas com a ideia de que processos mentais so computaes, que computaes so sequncias de objetos semnticos baseadas em regras e que tais regras se aplicam aos smbolos em virtude de seus contedos. Mas isso justamente a definio do que a Teoria Computacional da Mente. Portanto, ao afirmar que a RTM a teoria mais aceita nas cincias cognitivas, o que se quer dizer realmente que a CTM a teoria mais aceita, pois CTM nada mais que uma verso, um desenvolvimento moderno da Teoria Representacional da Mente. neste contexto que foi introduzida a Hiptese da Linguagem do Pensamento (LOTH)5, por Jerry Fodor no livro The Language of Thought (Fodor, 1975). Como vimos acima, em RTM a realidade mental concebida como um sistema interno de representaes que possui uma sintaxe semelhante a uma linguagem e uma semntica composicional. De acordo com essa viso, a maior parte do pensamento fundado em representaes semelhantes a palavras, pois so smbolos dotados de significado. Logo, a hiptese da existncia de uma Linguagem do Pensamento (LOT)6 implicada pela simples admisso das teses da CTM7. Entretanto, tal implicao ocorre somente se a noo de computao envolvida for entendida no modo clssico. Os classicistas (p.ex., Turing 1950, Fodor 1975, Newell & Simon 1976) defendem que representaes mentais so estruturas simblicas formadas por constituintes avaliveis semanticamente, que processos mentais so manipulaes simblicas baseadas em regras e que tais processos so sensveis s formas estruturais dos smbolos que fazem parte da estrutura. Em parte, eles so motivados pelas propriedades que o pensamento parece compartilhar com as lnguas naturais. A hiptese da linguagem do pensamento fornece uma verso sofisticada das concepes da psicologia do senso comum a respeito do modo como pensamos. De acordo com a LOTH, a potencial infinidade de estados mentais representacionais complexos gerada a partir de um estoque finito de estados representacionais, de acordo com regras de formao recursivas. Como observou Pinker, o truque que multiplica os pensamentos humanos at nmeros verdadeiramente astronmicos no a distino de conceitos em trs ou quatro funes, mas um tipo de fecundidade mental chamada recurso.8
5 6

Language of Thought Hypothesis; abreviao comumente utilizada na literatura sobre o assunto. Language of Thought. 7 Acredito que a admisso apenas das teses da RTM no produziria este resultado, pois a noo de computao desempenha um papel essencial, de modo que dificilmente se poderia descrever o funcionamento de tal linguagem sem os recursos tericos fornecidos pela CTM. 8 Pinker (1997) p.124

A estrutura combinatria envolvida nas teses de LOTH explica as propriedades de produtividade e sistematicidade do sistema de representaes mentais. Como no caso de linguagens simblicas, incluindo lnguas naturais, essas propriedades do pensamento so explicadas pelo apelo ao contedo das unidades representacionais e sua combinabilidade em complexos. Isto , a semntica da linguagem e do pensamento composicional: o contedo de uma representao complexa determinado pelos contedos das partes constituintes e suas configuraes estruturais. As relaes causais entre representaes so outro aspecto essencial da LOTH, que significam a existncia de uma sensitividade estrutural no sistema de representaes, de modo que as operaes feitas sobre as representaes simblicas so causalmente sensveis estrutura sinttica/formal das representaes definidas pela sintaxe combinatria. Estas propriedades so essenciais na medida em que definem o que um modelo cognitivo clssico. Pelo menos na viso de Fodor e Pylyshyn (1988). Como ser mostrado adiante, uma noo alternativa de computao possibilita o surgimento do conexionismo e as condies de satisfao dessas propriedades sero matria de acirrada disputa entre adeptos de modelos no-clssicos e proponentes classicistas da LOTH. Na verdade, o erro de Fodor e Pylyshyn (e de outros defensores da LOTH) foi insistirem na suposio de que modelos clssicos so a nica opo possvel. O mrito de Smolensky (1988), Pollack (1990) e Chalmers (1990, 1993) foi terem mostrado que no era impossvel encontrar um modelo no-clssico que possusse todas as propriedades necessrias para satisfazer as condies mnimas de um modelo adequado da mente. A arquitetura conexionista busca fornecer um novo paradigma para a compreenso de como a informao poderia ser representada no crebro. Como a ideia de informao est essencialmente envolvida na proposta, o conexionismo um movimento dentro da Teoria Computacional da Mente, mas oposto arquitetura clssica. Os conexionistas afirmam que as representaes mentais so realizadas atravs de padres de ativao em uma rede de processadores simples, e que os processos mentais consistem na ativao disseminada por tais padres. Assim, a informao armazenada no-simbolicamente nos pesos, ou foras de conexo, entre as unidades de uma rede neural. Nos modelos clssicos, a situao diferente: a informao armazenada simbolicamente em tomos do sistema de representaes, como unidades

semnticas (palavras) de uma linguagem. Apesar de haver conexionistas que propem uma representao local das informaes (p.ex., Ballard 1986, Ballard & Hayes 1984), esta concepo viola algumas ideias fundamentais do conexionismo, no sendo considerada representativa pela maioria dos adeptos. Portanto, o modo de representao caracterstico do conexionismo no local, mas distribudo. As representaes distribudas so sub-simblicas, no sentido de que uma anlise dos padres de ativao revela que componentes atmicos do nvel simblico no esto presentes. Se modelarmos a atividade de cada neurnio com um nmero, ento a atividade de todo o crebro pode ser dada como um vetor gigante de nmeros, um para cada neurnio. Ento o crebro se assemelha a um processador de vetores e o problema da psicologia transformado em questes sobre quais operaes vetoriais so apropriadas para cada aspecto da cognio humana. A primeira reao de Fodor foi afirmar que o conexionismo deveria ser rejeitado pois no passava de um retorno ao Associativismo de empiritas britnicos como Locke, e Hume. Ironicamente, a resposta de Fodor se trata da falcia conhecida como Culpa por Associao, um tipo de Ad Hominem. verdade que o associativismo era uma teoria insatisfatria para uma explicao adequada dos fenmenos mentais era muito vaga mas os modelos de redes neurais possibilitaram o aperfeioamento e o teste emprico da teoria atravs da simulao em computadores digitais, com excelentes resultados prticos. A controvrsia entre classicistas e conexionistas versa sobre inmeros tpicos sobre a cognio humana, como por exemplo, questes relacionadas a adequao dos modelos realidade neurobiolgica, individuao de representaes mentais, degradao de funes, avaliao de contextos, flexibilidade e eficincia cognitiva, percepo, representao de imagens, generalizao espontnea, aprendizado, representao holstica de dados, etc. O tpico que nos interessa analisar neste artigo, diz respeito questo da sistematicidade e coerncia inferencial do pensamento. Fodor e Pylyshyn9 (1988) identificaram uma caracterstica essencial do pensamento que supostamente no poderia ser realizada por modelos conexionistas: a sistematicidade. Essa propriedade se refere ao fato de que a habilidade de produzir, entender, pensar em algumas sentenas est intrinsecamente conectada com a habilidade de produzir, entender, pensar em outras sentenas de estrutura semelhante. Por exemplo,
9

Doravante, F&P.

qualquer falante competente do portugus que compreende a sentena Joo ama Maria tambm capaz de compreender a sentena Maria ama Joo, devido capacidade sistemtica de permutao e substituio dos argumentos de uma relao. Do ponto de vista clssico, essa habilidade explicada pela assuno de que um falante competente da linguagem representa mentalmente os constituintes Joo, ama, Maria da sentena Joo ama Maria e computa seu significado a partir dos significados das partes constituintes. Assim, a compreenso de uma sentena que possui a mesma forma, como Maria ama Joo, se deve ao fato de que a interpretao desta sentena uma instncia do mesmo processamento simblico. A outra propriedade relevante a coerncia inferencial, que se refere habilidade de concluir p de (p q) e tambm concluir q de p (q r), onde p, q, r so proposies de uma linguagem. O que F&P argumentam que essas propriedades so intrnsecas aos modelos clssicos, sendo impossvel os modelos conexionistas satisfazem essas propriedades de modo independente, e se porventura conseguirem satisfaz-las, ento os modelos conexionistas se reduzem uma implementao da arquitetura clssica. Este o dilema posto por Fodor e Pylyshyn. Esse efeito foi obtido devido estratgia de estabelecer uma relao de equivalncia entre uma das teses da definio de LOTH e o prprio conceito de arquitetura clssica. A Hiptese da Linguagem do Pensamento se estabelece a partir da conjuno de trs elementos: (A) Teoria Representacional da Mente, (B) uma descrio especfica relativa a um sistema representacional, (C) um materialismo funcionalista. A descrio referida no elemento (B) qualquer descrio que satisfaa as seguintes propriedades:

P. As representaes mentais pertencem a um sistema simblico tal que possui: 1. Estrutura composicional As representaes do sistema possuem sintaxe e semntica combinatria, de modo que representaes estruturalmente complexas so construdas a partir de constituintes estruturalmente mais simples e o contedo semntico de uma estrutura complexa uma funo dos contedos semnticos dos componentes mais simples. 2. Sensibilidade estrutural As operaes sobre representaes so causalmente sensveis estrutura sinttica das representaes definidas pela sintaxe combinatria.

A descrio P tomada como a prpria definio de uma estrutura clssica, assim, na viso de F&P, essa descrio define o sentido no qual sistemas cognitivos clssicos sistemas de manipulao simblica, ento qualquer modelo que satisfaa essas condies um modelo clssico. De fato, LOTH uma hiptese emprica de que h um sistema de representaes mentais realizado fisicamente no crebro e que P verdadeira nesse sistema. O argumento de F&P como se segue. A cognio essencialmente envolve estados representacionais e qualquer doutrina cientfica adequada deve reconhecer a existncia de tais representaes. Concebida desta forma, a cognio superior, isto , o pensamento e raciocnio por meio de atitudes proposicionais, apresenta propriedades nomologicamente necessrias como a sistematicidade, produtividade e coerncia inferencial. Sendo assim, qualquer modelo cognitivo proposto cientificamente adequado somente se garante essas capacidades cognitivas e exige-se desses modelos uma explicao de como essas propriedades so obtidas pelas leis fsicas. A nica forma de uma arquitetura cognitiva garantir essas propriedades a satisfao da descrio P (as arquiteturas clssicas necessariamente satisfazem P). Ora, mas ou a arquitetura conexionista satisfaz P, ou no satisfaz P. Se satisfaz, ento os modelos conexionistas so meras implementaes da arquitetura LOT clssica, de modo que falham em se apresentar como uma verdadeira alternativa aos modelos clssicos como inicialmente propunham e no oferecem nada radicalmente novo. Se no satifaz, ento o conexionismo no capaz de garantir a sistematicidade, produtivide e coerncia do pensamento, de modo que deve-se concluir que o conexionismo empiricamente falso enquanto teoria de uma arquitetura cognitiva. Logo, ou o conexionismo empiricamente falso, ou se reduz a uma mera implementao da LOTH. A reao ao argumento de F&P foi variada. Alguns conexionistas desprezaram o argumento, negando a premissa de que representaes mentais so essenciais cognio10, outros aceitaram a concluso do argumento, os chamados

implementacionistas.

10

Eliminativistas como Churchland(1986).

Conexionistas como Smolensky (1990), Chalmers (1990, 1993), Pollack (1990) e outros, negaram o monoplio da arquitetura clssica sobre a descrio P e buscaram modelos no-clssicos que satisfizessem as condies necessrias para garantir a sistematicidade, produtividade e coerncia do pensamento. O desenvolvimento de uma arquitetura no-clssica que satisfaz P possvel se for planejado um sistema representacional que depende de uma relizao no-concatenativa da complexidade estrutural das representaes. Deste modo pode-se satisfazer P, isto , construir uma estrutura composicional causalmente sensvel aos processos sobre as propriedades formais dos elementos constituintes, sem se reduzir arquitetura LOT. A necessidade da concatenao na realizao das estruturas para corresponder arquitetura clssica foi confirmada por Fodor e McLaughlin (1990) e definiram a noo de concatenao como a situao em que dados um par de tipos de expresses E1, E2, o primeiro um constituinte clssico do segundo somente se o primeiro instanciado sempre que o segundo instanciado. Assim, uma estrutura concatenativa est comprometida com uma representao explcita dos componentes sempre que a estrutura complexa for representada. Parece que Fodor e McLaughlin deram um tiro no prprio p ao aceitarem a alegao dos conexionistas de que pode ser elaborada uma realizao no-concatenativa que no se reduza arquitetura clssica, pois essa possibilidade abre caminho para a elaborao de modelos conexionistas no-implementacionistas, destruindo, ento, o argumento mais forte de Fodor e Pylyshyn contra o conexionismo. Mas a tranquilidade de Fodor se explica pelo fato de que ele aceita a possibilidade, mas nega que possa existir um modelo no-concatenativo que realmente que satisfaa P. A razo disto que a sensibilidade estrutural causal (a condio P.2) apenas pode ser satisfeita atravs de uma realizao concatenativa, pois se as representaes distribudas no possuem uma estrutura formal identificvel explicitamente, no poderia haver qualquer sensibilidade estrutural. Ou seja, Fodor afirma que a concatenao necessria para satisfazer P.2, logo, modelos no-concatenativos no poderiam satisfazer P. Nos pargrafos seguintes argumentarei que o experimento de Chalmers com representaes distribudas recusivas nos modelos RAAM refuta a ideia de que modelos no-concatenativos no podem possuir sensibilidade estrutural.

Chalmers conduziu um experimento que mostra de um modo compacto como modelos conexionistas poderiam ser capazes de lidar com transformaes sintticas ao operar holisticamente em representaes conexionistas complexas. Ele observou que as nicas operaes disponveis para uma representao composicional clssica so as operaes de extrao e composio. Mais especificamente, para fazer qualquer coisa com tal representao - i., para explorar a informao contida na representao necessrio passar por um processo de extrao dos elementos constituintes originais. Por outro lado, em modelos conexionistas essa restrio no existe, pois a arquitetura conexionista oferece a oportunidade de operar em representaes composicionais holisticamente, sem precisar passar pelo processo de extrao. A razo pela qual os modelos conexionistas possuem essa habilidade o fato de que as representaes conexionistas so muito mais ricas do que as representaes simblicas da arquitetura clssica. Tudo o que h em uma representao simblica a sua estrutura composicional, alm disso h somente componentes primitivos, atmicos. A representao conexionista pode conter uma estrutura composicional, mas ela no esgota as propriedades da representao. A microestrutura distribuda, complexa, das representaes contm muito mais informaes e quando uma representao conexionista operada holisticamente, a sua microestrutura que est sendo explorada. A existncia de tal microestrutura se deve natureza sub-simblica das representaes distribudas. Quando Fodor e Pylyshyn (1988, p. 15-28) tentaram refutar a proposta conexionista afirmando que seus modelos no seriam capazes nem de construir uma estrutura composicional, eles na verdade estavam atacando um espantalho11: eles apresentam uma rede conexionista localista (isto , uma rede com cada n representando um conceito). F&P mostram que essa rede no capaz de conter uma estrutura composicional e do argumento concluem que impossvel um modelo conexionista possuir uma estrutura composicional e isto se aplica tanto a representaes locais quanto a representaes distribudas. O problema deste argumento que representaes localistas no so reconhecidas como verdadeiramente conexionistas elas so uma forma de representao simblica, logo, so implementaes da arquitetura clssica. Ento F&P atiraram no alvo errado.

11

A Falcia do Espantalho (do ingls Strawman Fallacy) ocorre quando aquele que argumenta tenta refutar a posio do oponente, mas em vez disso, ataca uma posio que no era exatamente aquela defendida pelo seu oponente. Em geral, consiste em atacar uma verso diferente, distorcida ou enfraquecida da posio original.

As operaes holsticas referidas acima servem para modelar processos estruturalmente sensveis. Se o experimento for bem sucedido, ter sido fornecido um modelo no-clssico que possui estrutura composicional (satisfaz P.1) e, por operar holisticamente, causalmente sensvel s propriedades estruturais das representaes componentes (satisfaz P.2), sendo, portanto, uma sada para o dilema de Fodor. As operaes se encontram no interior do contexto da Memria Recursiva AutoAssociativa (RAAM)12 um modelo conexionista de estrutura composicional planejado por Pollack (1990). Essa arquitetura apropriada para um conjunto de redes que podem codificar recursivamente estruturas em rvore com uma valncia fixa em uma profundidade quase arbitrria.

Figura 1. A base da arquitetura RAAM Fonte: Chalmers, 1990. p. 3.

A base da estrutura mostrada na figura 1. Esta uma rede feed-foward, com 3N unidades nas camadas de entrada e sada e N unidades na camada oculta, onde N um inteiro positivo. Ento Chalmers codificou 125 sentenas em ingls na forma ativa que so permutaes sobre 5 nomes prprios e 5 verbos transitivos, e suas formas passivas, totalizando 250 sentenas. A seguir, para modelar o processo de transformao sinttica, foi feito o treinamento de uma rede neural transformacional feed-foward de
12

Recursive Auto-Associative Memory, no original.

trs camadas para associar 70 sentenas da forma ativa com suas formas passivas,operando diretamente sobre as representaes comprimidas na primeira fase do experimento. (ver figura 2).

Figura 2. Rede de Transformao

Ento, quando ele forneceu as 55 sentenas ativas restantes rede, uma de cada vez, a rede produziu suas formas passivas. Desde que elas estavam em uma forma comprimida como as sentenas ativas usadas como entrada, ele ento introduziu as sadas na rede de decomposio. Todas foram corretamente decompostas de volta em seus constituintes na ordem correta. O sucesso da generalizao da rede foi de 100%. Ele experimentou tambm inserir primeiro as sentenas passivas comprimidas na rede de transformao para receber suas formas ativas. Os resultados foram igualmente positivos. Chalmers afirma, com razo, que esses resultados refutam empiricamente os argumentos dados por Fodor, Pylyshyn e Mclaughlin. H muitos aspectos do processamento holstico que funcionam muito bem no experimento de Chalmers. Talvez o mais importante seja a impressionante taxa de sucesso na generalizao da rede neural. Neste ponto, necessrio explicar a situao que na qual nos encontramos.

Ns temos um monte de vetores comprimidos que so as representaes distribudas. Essas representaes so no-concatenativamente complexas. Elas possuem estrutura sinttica em um sentido preciso. A rede de transformao treinada para process-las de um modo que determinado por um sistema formal interpretado. Quando o treinamento concludo, a rede adquire a capacidade de transformar representaes similarmente estruturadas de modo adequado. O sucesso da generalizao deixa claro que processamento estruturalmente sensvel obtido de maneira no acidental para todas as estruturas de representaes distribudas complexas. Podemos ver claramente que a rede aprende a detectar a forma das representaes complexas introduzidas e a process-las de acordo com a forma que possuem. O que isto seno sensibilidade estrutural em estruturas composicionais de representaes distribudas? Isso significa que representaes complexas no-concatenativas podem satisfazer P.2, logo, possivel modelar estruturas no-clssicas que garantem a sistematicidade, produtividade e coerncia do pensamento. Fodor e McLaughlin argumentaram contra representaes composicionais conexionistas afirmando que para suportar processamento estruturalmente sensvel, as representaes dotadas de estrutura composicional devem conter instncias explcitas das partes constituintes originais. Quer dizer, se uma representao de Joo ama Maria no uma concatenao dos signos Joo, ama e Maria, eles sustentam, ento o processamento subsequente no pode ser causalmente sensvel estrutura composicional que representada. Os resultados do experimento de Chalmers mostram que essa concluso falsa, pois nas representaes distribudas formadas pela RAAM no h nenhuma instanciao explcita das palavras originais. Com o experimento de Chalmers foi demonstrada a possibilidade de tais operaes holsticas que apresentam sensibilidade estrutural, mas esse no ainda todo o potencial desses modelos. A informao armazenada nos padres de ativao entre unidades neurais pode ser usada no apenas para operaes de extrao e composio, mas tambm para outras operaes semnticas significativas. Esses resultados sugerem que modelos conexionistas baseados em representaes holsticas tem um futuro promissor no processamento de linguagem natural e provam que, ao contrrio do que Fodor, Pylyshyn e McLaughlin haviam suposto, o conexionismo pode ser independente das arquiteturas simblicas tradicionais e capaz de oferecer novas e importantes ideias para as cincias cognitivas.

REFERNCIAS

Aydede, M. (1995). Connectionism and Language of Thought, CSLI Technical Report, Stanford, CSLI, 95195. . (1997). Language of Thought: The Connectionist Contribution, Minds and Machines, Vol. 7, No. 1, pp. 57101. Ballard, D. H. (1986), "Cortical Connections and Parallel Processing: Structure and Function," The Behavioral and Brain Sciences 9: 67-120. Ballard, D. H. & Hayes, P.J. (1984), "Parallel Logical Inference," Proceedings of the Sixth Annual Conference of the Cognitive Science Society, Rochester, NY. Chalmers, D. J. (1990). Syntactic Transformations on Distributed Representations, Connection Science, Vol. 2 . (1993). Connectionism and Compositionality: Why Fodor and Pylyshyn Were Wrong in Philosophical Psychology 6: 305319. Churchland, P. S. (1986). Neurophilosophy: Toward a Unified Science of MindBrain, Cambridge, Massachusetts: MIT Press. Fodor, J. A. (1975). The Language of Thought, Cambridge, Massachusetts: Harvard University Press. Fodor, J. A. & McLaughlin, B. (1990). Connectionism and the Problem of Systematicity: Why Smolensky's Solution Doesn't Work, Cognition 35: 183204. Fodor, J. A. & Pylyshyn Z. W. (1988). Connectionism and Cognitive Architecture: A Critical Analysis in S. Pinker and J. Mehler, eds., Connections and Symbols, Cambridge, Massachusetts: MIT Press Kosslyn, S. M. (1980). Image and Mind. Cambridge, Massachusetts: Harvard University Press. Newell, A. & Simon, H.A. (1976), "Computer Science as Empirical Inquiry: Symbols and Search," Communications of the Association for Computing Machinery 19: 113-126.

Pinker, S. (1997). How the Mind Works. New York: Norton Pollack, J. B. (1990). Recursive Distributed Representations, Artificial Intelligence, Vol.46, Nos.12 Smolensky, P. (1988). On the Proper Treatment of Connectionism, Behavioral and Brain Sciences 11: 123. . (1990). Connectionism, Constituency, and the Language of Thought in Meaning in Mind: Fodor and His Critics, B. Loewer and G. Rey (eds.), Oxford, UK: Basil Blackwell, 1991. Turing, A.M. (1950). Computing machinery and intelligence. Mind, 59, 433460.