A Semitica de Peirce e as Cincias Cognitivas Antnio Machuco Rosa A filosofia geral de C. S.

. Peirce (1839-1914) encontra-se atravessada por mltiplas tenses que o filsofo americano procurou durante toda a sua vida superar sem que jamais o tivesse conseguido completamente.1 Algumas dessas tenses ressaltam na forma como Peirce encarava as relaes entre a sua semitica e o que ele designava por aco mental, esta ltima uma regio do conhecimento que na poca se associava psicologia, mas que na realidade tinha um alcance mais vasto, pois engloba parte do que hoje se considera ser o mbito das cincias cognitivas, e que em Peirce tinha um alcance de tal modo vasto que, no quadro de um monismo integralmente assumido, chegava a englobar a cosmologia. Essas tenses acabam por gravitar essencialmente em torno de uma nica, a tenso entre lgica formal e geometria, tenso que decorre da oposio ancestral entre o discreto e o contnuo. No caso da estudo da aco mental, essa oposio consiste em se privilegiar as estruturas matemticas contnuas ou, pelo contrrio, considerar que so as estruturas semiticas que devem servir de quadro a apriori para o conhecimento da mente. Deve igualmente referir-se aqui que por semitica entendemos lgica, sendo inequvocas as mltiplas declaraes de Peirce acerca da ntima ligao entre essas duas disciplinas - apesar de ser verdade que o seu projecto semitico ultrapassava o domnio da lgica formal strictu senso2. Especialmente no quadro da tradio filosfica que vai da anlise lgica s cincias cognitivas, o termo simblico tambm por vezes utilizado no lugar de semitica, e essa equivalncia ser igualmente respeitada neste artigo. A tenso mencionada revestiu mltiplos aspectos durante a longa carreira filosfica de Peirce, mas tornou-se desde logo uma questo central nos artigos que o jovem Peirce publicou por volta de 1868. Nesses artigos, insiste-se fortemente que a cognio [cognition] um processo contnuo (e.g., C.P. 2.267; A. P. 30), sendo claro que a definio matemtica do conceito de continuidade neles apresentada resulta ser isomrfica ao corpo Q dos nmeros racionais - mais tarde Peirce vai fornecer uma definio mais moderna, visto ela ter o corpo topolgico totalmente ordenado R como modelo. Contudo, e por outro lado, o objectivo dos artigos de 1968 extramemente ambicioso, pois procura-se reduzir a totalidade da aco mental frmula do raciocnio vlido (C.P. 2.267; A., p. 30). Trata-se sem dvida de uma declarao bastante forte, pois ela afirma a reduo da totalidade da aco mental ao conjunto das inferncias logicamente correctas. Em Peirce, essa tese tornada ainda mais precisa quando ele afirma que a doutrina presente nas frmulas silogsticas que (na medida em que ela se aplica mente) se duas posies sucessivas, ocupadas pela mente no seu movimento, forem postas, verificar-se- que elas possuem certas relaes(C.P. 5.329).
1 tambm essa a opinio de um dos principais comentadores de Peirce, M. Murphey (Murphey, 1962). 2 A lgica ser aqui definida como semitica formal(...). dessa definio [de signo], em conjunto com uma definio de formal, que eu deduzo matematicamente os princpios da lgica. (N.E.4,20-21). E, a relao ilativa [relao de deduo] a relao semitica primria e fundamental. (C.P. 2.444, Nota) Os textos de Peirce, e respectivo sistema de citaes, so os seguintes: Collected Papers of Charles Sanders Peirce", Vol I-VI, C. Hartshorne et P.Weiss (eds.), Vol. VII-VIII, A. Burks (ed.), Cambridge, Harvard University Press, 1931-1958. Citado C.P. seguido do nmero do volume do nmero do pargrafo. The New Elements of Mathematics by Charles S. Peirce, 4 Vol., C. Eisele (ed.), The Hague, Mouton, 1976. Citado N.E. seguido do nmero do volume do nmero da pgina. The Charles Sanders Peirce Papers (Microfilm Edition), Cambridge, Harvard University Press Cambridge. Citado Ms. Antnio Machuco Rosa (ed.), Charles S. Peirce Antologia Filosfica, Imprensa Nacional Casa da Moeda, Lisboa, 1999. Citado A.F.

Esta ideia segundo a qual a lgica governa a aco mental, isto , possui realidade cognitiva, conheceu uma enorme fortuna no sculo XX. Desenvolvida e realaborada, ela encontra-se no centro da moderna revoluo cognitiva, em particular no centro das hipteses propostas nos anos sessenta e setenta acerca do funcionamento da mente, hipteses que formam o ncleo duro das cincias cognitivas clssicas, ncleo usualmente designado por paradigma simblico. Um dos seus principais teorizadores foi J. Fodor com a sua hiptese acerca da existncia de uma linguagem da mente. Fodor prope uma teoria representacional da mente, de acordo com a qual os estados intencionais (crenas, desejos, etc.) possuem uma relao com as proposies que formam a linguagem mental interna. Essa linguagem mental possuir propriedades anlogas s das linguagens lgicas: existiro estados mentais que so as instncias (os tokens) dos tipos (types) invariantes dessa linguagem - analogamente relao instncia/tipo presente na dualidade sintaxe/semntica existente em lgica formal. Quanto aos processos mentais, eles so sequncias causais de estados mentais assim como relaes entre as instncias das representaes mentais, relaes essas que so ainda uma instanciao das relaes sintcticas que ligam os diferentes tipos da linguagem formal interna. Nas palavras de Fodor, um fluxo de pensamento uma sequncia causal de tokens de representaes mentais que exprimem as proposies que so objecto dos pensamentos (Fodor, 1987, p. 17), ou ainda, os processos mentais so instanciaes actuais de Ideias (i.e., representaes mentais) (Fodor, 1983 p. 290). Deve sublinhar-se que Fodor se apoia explicitamente no facto de, em lgica formal, a sintaxe mimar a semntica e assim preservar a verdade das relaes semnticas. Essa mimesis mesmo total no sentido de um teorema fundamental em lgica formal, o chamado teorema de completude (demonstrado por K. Gdel em 1929), o qual estabelece uma equivalncia entre uma representao semntica e uma exposio sintctica de certos sistemas de lgica. Mais exactamente, o chamado teorema da completude semntica diz que se uma certa frmula uma consequncia semntica de um certo conjunto de proposies prvias, ento ela igualmente uma consequncia sintctica dessas mesmas proposies. Essa propriedade uma propriedade dos sistemas lgicos de primeira ordem: nesses sistemas, qualquer proposio verdadeira igualmente uma proposio formalmente demonstrvel (pode consultar-se qualquer manual de lgica para a demonstrao desse teorema; cf. em particular o clssico Kleene, 1987). Os resultados que a lgica matemtica obteve nos anos vinte e trinta deste sculo so um elemento absolutamente essencial para a teoria de Fodor. Ele vai mesmo ao ponto de afirmar que a teoria da prova (que Fodor geralmente atribui a A.Turing) o nico aspecto em que a cincia cognitiva contempornea representa um avano significativo por relao s verses da teoria representacional da Mente propostas nos sculos dezoito e dezanove. (Fodor, 1985, p. 288).A teoria da prova estabelece, para uma certa classe de sistemas simblicos, uma equivalncia entre transformaes mecnicas e relaes semnticas3. Assim sendo, Fodor complementa a sua teoria representacional com uma teoria computacional. Segundo esta ltima teoria, as relaes sintcticas que estabelecem as ligaes entre os estados mentais so relaes computacionais. Essas ligaes so apenas determinadas pela estrutura sintctica da linguagem, e no pelo seu contedo semntico ou pela natureza dos processos fsicos em que suposto elas implementarem-se. (cf. um resumo em Lower & Rey, 1991 e Fodor, 1987). Alguns das ideias enunciadas por Fodor j se encontram, de modo relativamente explcito, presentes nos textos de Peirce de 1868: por um lado, a lgica governa a aco mental, e por outro existem relaes sintcticas entre as posies (os processos de Fodor) da mente. Quais as diferenas? No estamos aqui a sustentar que Peirce antecipou a integralidade das hipteses de base das cincias cognitivas clssicas, e na realidade veremos at que ponto a ligao das suas ideias s diversas correntes das cincias cognitivas complexa. Mas devemos sublinhar que os aspectos mencionados por Fodor, e que no surgem nos textos do jovem Peirce, so essencialmente tcnicos, prendendo-se com a evoluo dessa disciplina especfica que a lgica formal. Ora, se, em 1868, Peirce ainda estava demasiado ligado a uma perspectiva silogstica, um facto histrico universalmente reconhecido que foi ele quem introduziu vrios dos aspectos tcnicos implcitos nas
3 Essas transformaes mecnicas so as chamadas as funes recursivas de Turing. A conjectura de Turing consistiu em dizer que essas funes so as recursivas gerais, isto , as funes do tipo a+b, a.b, a funo sucessor, etc.

ideias de Fodor. De facto, foi Peirce (ao mesmo tempo que Frege) que na dcada de oitenta criou a moderna lgica formal, isto , a lgica proposicional mais o clculo de predicados, partes da lgica que ele teve o cuidado de separar da lgica de segunda ordem (a teoria dos conjuntos). F-lo em diversos artigos, em especial num artigo publicado em 1885 e que foi fundamental para o nascimento da lgica moderna. (cf. A.F., pp. 75-103). No podemos aqui analisar esse artigo, mas conhecido que nele se distingue entre sintaxe e semntica e que exactamente a que, provavelmente pela primeira vez, surge tematizada explicitamente a distino fundamental type/token, e qual voltaremos mais abaixo. Um outro aspecto importante da teoria de Fodor, a sua teoria computacional, naturalmente que no to desenvolvido por Peirce, mas no se deve negligenciar o facto de ele ter sido um dos primeiros a conceber e implementar uma mquina calculadora (cf. N.E., 3/2, pp. 625-632), e de se ter apercebido que a sua arquitectura especfica irrelevante do ponto de vista da deduo que ela permite realizar (da funo computada, em termos modernos). O que nos leva a mostrar at que ponto Peirce estava consciente do ltimo ponto mencionado no resumo que acima fizemos das ideias de Fodor: a irrelevncia da natureza especfica dos processos fsicos que implementam as ligaes formais sintcticas. Na realidade, as modernas cincias cognitivas partiram da hiptese segundo a qual a mente um sistema fsico-simblico e deve ser caracterizada em termos funcionais (cf. Simon, 1980). Esse funcionalismo utiliza o conceito de funo em sentido teleolgico e no sentido em que uma funo matemtica pode ser implementada por dispositivos fsicos de natureza e arquitectura bastante dspares. por isso que uma estrutura simblica ou semitica universal: ela pode ser implemantada em dispositivos fsicos diferentes mas que so todos equivalentes do ponto de vista da funo computada (cf. detalhes acerca do sentido do conceito de universalidade em Machuco Rosa, 1999) A tese acerca da existncia de um nvel fsico-simblico da realidade normalmente associada com a implementao de estruturas simblicas em mquinas (computadores). No entanto, a verdade que ela bastante mais geral. De facto, o estatuto das linguagens simblicas , no quadro do funcionalismo, o mesmo que elas possuem numa teoria matemtica axiomatizada. Numa perspectiva axiomtica acerca da validade de uma teoria matemtica, pode afirmar-se que a validade universal est assegurada na medida em que os smbolos e as regras que transformam as proposies da teoria so introduzidos por ns e definem a priori os objectos e propriedades dessa mesma teoria; os smbolos e regras so universais por sermos ns a introduzir essa universalidade (Machuco Rosa, 1993). Noutros termos, o controlo sobre a teoria elevado por se determinar partida quais as propriedades face s quais a teoria indeterminada, isto , as propriedades sobre as quais os smbolos e regras nada dizem - por exemplo, de entre um nmero potencialmente infinito de propriedades, as regras nada dizem acerca da cor do giz utilizada para realizar uma demonstrao. Ora, Peirce acentuou muito fortemente esse ltimo ponto na sua teoria da demonstrao matemtica. Ele insistiu realmente no facto de as determinaes especficas que, por exemplo, uma figura geomtrica possui, serem completamente irrelevantes, pois apenas as suas propriedades genricas, (cf., e.g., N.E. 3/2,.968). Ora, tal como referimos, esse ponto de vista acerca da validade da proposio matemtica, esse funcionalismo simblico, pode ser prolongado num funcionalismo fsico-simblico. Esse prolongamento do funcionalismo explicitamente mencionado por Peirce numa discusso acerca das mquinas lgicas. Uma mquina lgica difere de uma outra mquina apenas na medida em que se baseia num princpio extremamente simples (...) O resultado que uma mquina lgica fornece exprime uma relao com os dados que lhe foram introduzidos, relao que pode ser considerada do ponto de vista de saber se o resultado pode ser falso quando os dados so verdadeiros (...). De modo semelhante, um homem pode ser considerado como uma mquina que produz, digamos, uma frase exprimindo uma concluso, o homem-mquina tendo sido instrudo [fed] com uma frase escrita exprimindo um facto, a qual a premissa. (C.P. 2.59) Trata-se de uma declarao bem precisa acerca da existncia de uma estrutura simblica cuja caracterstica fundamental ser invariante por relao s suas mltiplas realizaes fsicas (mente

humana ou mquina). E, tal como em Fodor, essa hiptese acerca de um nvel fsico-simblico apoia-se numa teoria representacional, pois a proposio que constitui o input de uma mquina ou de um homem-mquina exprime um facto, pelo que possui um contedo representativo e intencional. Esta semelhana com a hiptese que tem orientado muito do trabalho em cincias cognitivas e em inteligncia artificial no significa evidentemente que um projecto cognitivo assentado num quadro semitico como o de Peirce tenha sido desenvolvido com a sistematicidade comparvel ao trabalho de Fodor, por exemplo. Na realidade, no caso de Peirce, essa sistematicidade nem poderia existir, pois ele props aproximaes alternativas a fim de estudar a cognio, parecendo que nem sempre se apercebeu claramente das tenses que isso colocava na sua obra. para esse outro tipo de aproximaes que devemos agora orientar a nossa ateno. Apesar de os artigos publicados por Peirce em 1868 insistirem fortemente no conceito de continuidade, no deixa de ser igualmente verdade que os actos e os processos mentais eram ento considerados como redutveis s formas lgicas. Como j se referiu, a nfase simultnea na continuidade e na lgica nunca desapareceu dos escritos de Peirce, mas tambm um facto que o conceito de continuidade foi adquirindo cada vez maior importncia. assim que, no incio dos anos 90, ele se torna definitivamente a base de uma filosofia geral, bem como de uma metafsica e de uma cosmologia. Acontece ento uma inverso da perspectiva de 1868, surgindo a tentativa em fundar a aco mental na continuidade. Graas grande influncia que a mecnica estatstica e a topologia passaram a exercer sobre o seu pensamento4, Peirce desenvolveu indissociavelmente uma topologia e uma termodinmica da mente, pelo que a lgica, no que ao estudo da mente diz respeito, passou para segundo plano. Essa termodinmica da mente exposta no artigo de 1892, The Law of Mind (C.P. 6. 102 163; A. F., pp. 243-266). L-se a que: A anlise lgica aplicada aos fenmenos mentais mostra que no existe seno uma lei da mente, a saber, que as ideias tendem a difundir-se continuamente e a afectar certas outras que se encontram em relao a elas numa peculiar relao de afectibilidade. Nessa difuso elas perdem intensidade, e especialmente o poder de afectar outras, mas adquirem generalidade e ficam fundidas com outras ideias.(C.P. 6.104; A.F., p. 244) Nesse e em outros artigos encontram-se mltiplas declaraes similares, referindo-se sempre a tendncia de uma ideia trazer outras ideias consigo (C.P. 6. 135; A.F., p. 258), isto , a generalizar-se. O que est na base dessa tendncia, dessa fora das ideias? No so as inferncias lgicas mas sim a sua difuso [spread]. Uma anlise detalhada mostraria que difuso designa, simultaneamente, duas coisas. Por um lado, designa o processo termodinmico de preenchimento homogneo do espao de fases, isto , corresponde a um aumento da entropia do sistema.5 Por outro lado, spread envolve uma topologia da aco mental (veja-se C.P.3.124). A conciliao entre essas duas perspectivas ela prpria tambm problemtica, e na realidade encontra-se-lhe subjacente a tentativa de Peirce em resolver o problema, extremamente difcil, da gnese fsica do contnuo, com Peirce a propor a soluo (bastante especulativa) de o contnuo se fenomenalizar quando os sistemas fsicos atingem a mxima entropia (cf. Ms 144). O que quer que possa ser dito acerca desse problema, em todo o caso claro que Peirce prope uma topologia da aco mental: uma ideia geral forma-se a partir da fuso de inmeras ideias vizinhas, tal que qualquer uma delas
4 A importncia que a mecnica estatstica teve no pensamento de Peirce pode ser atestada consultando o seu artigo de 1892, The Doctrine of Necessity Examined (C.P. 6.35-6). A importncia da topologia encontra-se disseminada um pouco por muitos dos textos de Peirce posteriores a 1890. Na realidade, Peirce foi talvez o primeiro matemtico e filsofo (isto ainda no sculo XIX!) a no apenas reconhecer a importncia para a matemtica da topologia como a fazer dela um ncleo central de um projecto cientfico e filosfico. Veja-se o captulo XII de A.F. para uma sntese da aplicao que Peirce fazia da topologia. 5 De acordo com o segundo princpio da termodinmica enunciado definitivamente por L. Boltzmann, um autor que Peirce naturalmente conhecia, e segundo o qual a entropia de um sistema igual a uma constante vezes o logaritmo dos estados possveis do sistema.

pode ser transformada topologicamente numa outra; em termos um pouco mais tcnicos, trata-se de um conjunto aberto em que qualquer elemento homeomrfico a qualquer outro6. A ideia geral (vermelho, por exemplo) resultante ser ento aquilo que em teoria dos sistemas dinmicos se designa por um atractor, que um atractor para ideias vizinhas (cardinal, etc.), e que permite antecipar sobre qualquer das suas vizinhanas.7 Por outro lado, se cada ideia geral corresponde a um continuum de qualidades, ela encontra-se tambm separada atravs de bordos ou descontinuidades de outras ideias gerais. As qualidades ou ideias formam portanto aquilo que Peirce chama um contnuo fragmentado: conjuntos homeomrficos separados por descontinuidades qualitativas (cf. N.E. 4,137). Peirce foi ento levado a conjecturar qual a lei psicolgica e cognitiva especfica que corresponde processo de difuso das ideias. Devido sua posio nos continua topolgicos, uma ideia assemelha-se ou contrasta com outra. Noutros termos, Peirce est a tentar encontrar um fundamento topolgico para a velha lei da associao das ideias. Ele jamais deixou de sublinhar que a lei fundamental da mente a lei da associao de ideias (e.g., C.P. 1.383; C.P. 7.392; C.P. 7.515). S que, acabmos de o ver, no se trata apenas da velha associao de ideias tal como foi explicitada por D. Hume, mas uma lei de associao que tem subjacente um processo dinmico topolgico.8 Portanto, no perodo de 1890, Peirce encara de uma nova forma a teoria da cognio. As duas formas at agora encontradas - uma baseada na lgica e outra na geometria - no podem coexistir sem tenses e teremos de ver at que ponto elas podem ou no ser atenuadas. Mas antes devemos referir at que ponto ainda essa tenso entre geometria e lgica que orienta muitos dos modernos debates contemporneos em cincias cognitivas. Um conjunto variado de factores, que vo desde algumas dificuldades conceptuais de base at ao problema da ligao ao funcionamento real do crebro, passando por bem conhecidos falhanos no projecto da inteligncia artificial clssica, fez com que, a partir dos finais da dcada de oitenta, fossem propostos modelos da cognio alternativos aos modelos clssicos como o de Fodor. O principal desses modelos talvez o que se originou no conceito de rede neuronal artificial e que deu origem a um paradigma, dito paradigma conexionista, que teve em Paul Smolensky (Smolensky, 1988) um dos seus principais teorizadores. Vejamos em que consiste o conceito de rede neuronal artificial. Por analogia com o funcionamento real do crebro, os ns da rede representam os neurnios, enquanto as ligaes entre eles representam ligaes sinpticas. Existe um primeira camada de neurnios, dita camada de entrada (inputs), aps o que a rede evolui segundo uma dinmica que vai determinar um certo estado dos neurnios de sada (outputs). Em termos abstractos, uma rede neuronal formal uma funo que associa certos valores do output a certos valores do input. Os neurnios podem assumir certos estados internos s =

{0,1}

ou s = [0,1] , e encontram-se ligados entre si por pesos ou

6 Para uma intoduo elementar topologia, cf, por exemplo, ( Alexandroff, 1960). Em termos modernos, uma aplicao f de um espao topolgico X num espao topolgico Y chamada um homeomorfismo se ela bijectiva e se contnua assim como a sua inversa. 7 Intuitivamente, um atractor um estado final invariante que resulta da evoluo dos elementos de um sistema fsico. Um exemplo de atractor um ponto fixo, que definido por uma transformao T tal que T(x)=x. Ao conjunto das trajectrias que convergem para um atractor chama-se uma bacia de atraco. 8 Na realidade, esse ponto de vista ter sido sugerido a Peirce a partir do seu estudo das teorias continuistas (teoria das "formas seriais) acerca da mente propostas pelo psiclogo alemo J.F. Herbart (cf. C.P., 7.416 e sq). Foram essas teorias acerca da mente que estiveram na base da introduo, por B. Riemann, do conceito matemtico de varietas, que designa as modernas variedades diferenciais, e que foi fundamental para o surgimento da topologia moderna. Peirce no apenas conhecia Riemann como o considerava o maior matemtico do seu tempo, e muitas vezes sublinhou a grande influncia que sobre si exerceu o gemetra alemo. pois por via dessa tradio que Peirce ter sido levado a reinterpretar a lei da associao de ideias.

ligaes sinpticas W. A associao entre neurnios de entrada e neurnios de sada pode ser definida por: (1) si = sj Wij sj

Temos um neurnio i no estado si que recebe certos pesos ou conexes W provindo de outros neurnios, j. Um neurnio si muda o seu estado ao computar a soma dos pesos dos neurnios s1,...sn (por exemplo, passa a activo se a soma dos pesos suficientemente elevada). Representando os estados finais ou outputs (s1,s2,...sn) pelo vector h, os inputs (s1,s2,...sn) pelo vector y e os pesos W pela matriz w, a equao (1) tambm pode ser escrita de forma mais compactada como h=wy. Quanto transio dos estados dos neurnios, ela pode ser definida por uma funo do tipo: (2) si = f ( Ai) com Ai = sj Wij sj

onde, no caso em que s = [0,1] , f a funo no linear sigmoidal 1/(1+e -x). Representada uma certa forma atravs do vector dos neurnios de entrada, pretende-se que a rede restitua na sada uma forma correspondente forma dada em entrada.9 Noutros termos, uma rede deve poder aprender e classificar formas. O problema consiste ento em, dados os estados internos s, encontrar os pesos adequados W que permitam essa aprendizagem: trata-se de garantir que a rede converge efectivamente para a forma desejada. Um dos algoritmos mais conhecidos que permitem encontrar os W adequados a lei de Hebb, isto , se a activao de um neurnio j tende a seguir-se activao de um neurnio i, ento a ligao sinptica entre ambos tende a reforar-se: Wij = si sj ( uma constante de normalizao). Trata-se claramente de um algoritmo que evoca a lei de associao de ideias. Com base na dinmica dada por (2), acompanhada por um algoritmo de aprendizagem, demonstra-se que uma rede neuronal pode funcionar como uma memria associativa, em que cada forma memorizada um prottipo correspondendo a um atractor. Cada prottipo o atractor da sua bacia de atraco, sendo classificadas como semelhantes as formas que so capturadas pelo mesmo prottipo, isto , que pertencem mesma bacia de atraco. O espao de estados da rede fica assim dividido em diversas regies, e a posio - determinada pelos pesos W - de uma forma nesse espao de estados que classifica a semelhana ou dissemelhana de uma forma por relao a outra. Encontramos portanto um princpio de classificao diferente dos princpios lgicohierrquicos: a pertena a uma mesma regio de atraco do espao de fases do sistema que surge como princpio de classificao. Note-se que possvel recuperar, atravs das redes neuroanais, a distino token/type se se considerarem como instncias de um mesmo type ou prottipo todas as formas que coexistem na mesma bacia de atraco. (cf. Elman, 1995) Recorde-se ainda neste contexto o contnuo fragmentado de Peirce. O paradigma conexionista ope-se ao paradigma simblico, cujas caractersticas vimos com base no trabalho de Fodor. Trata-se de uma verdadeira de relao de oposio na medida em que o conexionismo privilegia o contnuo por contraposio aos esquemas discretos presentes na lgica formal, oposio que se prolonga noutras oposies como o seu privilgio das inferncias estatsticas por oposio s inferncias dedutivas, a representao distribuda das representaes por oposio a uma representao modular, etc. (cf. Machuco Rosa, 2000; Smolensky, 1995). Repetimos que no estamos a sustentar que Peirce tenha antecipado as aproximaes contemporneas cognio baseadas no conceito de rede neuronal. Nem necessrio insistir demasiado nesse ponto, visto o conceito de rede neuronal se basear em parte no aumento do conhecimento acerca da estrutura neuro-biolgica do crebro, conhecimento que evidentemente Peirce no possua. no entanto significativo que, pelos menos em traos gerais, existem ressonncias entre as duas tendncias conflituosas que Peirce usou para descrever a aco mental e as duas tendncias igualmente conflituosas que so o paradigma conexionista e o paradigma
9 Pode tratar-se de qualquer forma. Um exemplo pode ser uma letra do alfabeto.

simblico. Isso poder testemunhar a sua efectiva irredutibilidade epistemolgica, a qual se poder enraizar nos nveis cognitivos que servem como ponto de partida de anlise de cada um dos dois paradigmas. Ser possvel atenuar esse conflito precisando melhor a noo de nvel cognitivo? Parece que isso pode ser feito expondo um aspecto crucial do clebre debate entre Jerry Fodor e Paul Smolensky acerca da relao entre as linguagens semiticas ou simblicas e as estruturas subsimblicas ou conexionistas. A crtica fundamental de Smolensky ao funcionalismo simblico de Fodor consiste em ele sustentar que as regras simblicas so reais no sentido de governarem a semntica e a funo computada, mas no so reais no sentido de participarem na histria causal, capturvel por um algoritmo, do mecanismo interno que computa essas funes (Smolensky, 1995, p. 225, sub. orig.). Portanto, segundo Smolensky as estruturas ideais simblicas, que so sempre de natureza lgica-combinatria, seriam teorias da competncia (teorias descritivas) e no da performance. Elas seriam teorias acerca da capacidade simblica humana, mas no possuiriam poder causal por no estarem realmente implementadas no crebro. As performances cognitivas no seriam simblicas, mas sim conexionistas. Smolensky no recusa a realidade (no sentido de realidade ideal) das estruturas simblicas, mas afirma que a causalidade dos actos mentais subsimblica. Isto implica que a causalidade dos actos mentais deve ser descrita por instrumentos oriundos da rea da teoria matemtica dos sistemas dinmicos, com destaque para conceitos como os de atractor e de descontinuidade crtica, de que as redes neuronais mais no so que uma exemplificao particular (cf. Port & van Gelder, 1995, para uma aproximao cognio em termos de teoria dos sistemas dinmicos). A aco da mente no uma semitica tal como a fsica no -, e apenas utilizando para o seu estudo a linguagem que permite descrever a realidade fsica precisamente a teoria dos sistemas dinmicos possvel naturalizar a mente e desenvolver um verdadeiro monismo. Ora, desse ponto de vista, qual o estatuto da lgica? Como Smolensky faz notar, o seu estatuto o de uma teoria ideal. Na linguagem da filosofia da lgica isso implica afirmar que a lgica normativa. O que nos permite voltar de novo a Peirce. Com o decorrer dos anos, a questo do psicologismo em lgica foi-se tornando cada vez mais importante para Peirce. Em parte, isso ficou a dever-se ao facto histrico bem conhecido de essa questo se ter tornado central nos meios acadmicos alemes dos finais do sculo XIX, sendo no menos conhecida a importncia que o tema teve para a filosofia que E. Husserl elaborou a partir dessa altura. A crtica do psicologismo igualmente um tema recorrente nos textos de Peirce da mesma altura (cf., e.g., C.P: 2.151 e sq.). Ele passou a insistir cada vez mais que a lgica uma cincia normativa (e.g., C.P. 5. 126). Por exemplo, num texto em que so expostas as linhas essenciais da sua semitica, ele escreve: A lgica est to afastada da psicologia quanto o est a matemtica pura. A lgica o estudo da natureza essencial dos signos. Um signo algo que existe em rplicas. Saber se o signo "est a chover", tem uma rplica na escrita, ou no discurso oral, ou no pensamento interior, uma distino de muito reduzido interesse para a lgica, a qual no o estudo das rplicas, mas sim dos signos. Este no o nico, nem to pouco o maior, dos erros ao fazer dos "juzos", e no das proposies, o tema da lgica. Ele envolve confundir duas coisas que devem ser distinguidas se se quiser atingir uma verdadeira compreenso da lgica. Uma proposio, tal como acabei de dar a entender, no deve ser entendida como a expresso lingustica de um juzo. Ela , pelo contrrio, esse signo de que o juzo uma rplica e a expresso lingustica uma outra.(A.F., p. 193) Encontra-se aqui uma importante preciso acerca da natureza da lgica e suas relaes com a cognio, e que constitui um verdadeiro avano face s posies que vimos serem expressas por 7volta de 1868. Um juzo, isto , um contedo mental, apenas rplica - um termo que Peirce utiliza muitas vezes no lugar de token, e que tambm pode substituir instncia. Mas exactamente, utilizando a terminologia da semitica peirciana, um juzo um sinsigno, um token de um tipo (cf. e.g., C.P. 7. 341). Ora, enquanto tal, a lgica apenas respeita a tipos gerais, isto , a argumento formais validados por procedimentos gerais de inferncia. No assunto da lgica o argumento segundo o qual se todos os homens so mortais, e se Scrates homem, ento Scrates deve ser

pensado como mortal. O acto mental suposto nesse juzo completamente irrelevante do ponto de vista lgico. Mas o juzo, a ocorrncia cognitiva do tipo geral de inferncia, j pode ser uma rplica desse raciocnio. Ele encontra-se-lhe ento correlacionado; o juzo uma rplica de algo que, enquanto tal, apenas possui realidade ideal. A lgica pois uma cincia normativa que trata de objectos gerais e invariantes e que se pode aplicar aos actos mentais que se lhe encontram correlacionados enquanto suas instncias. Como vimos, esta posio semelhante exposta por Fodor, e o modo como Peirce foi capaz de a elaborar sistematicamente ainda o pode aproximar mais rigorosamente das cincias cognitivas contemporneas. Subsiste no entanto uma dificuldade. Se a lgica designa tipos invariantes que normativamente se aplicam s suas instncias, fica no entanto por solucionar a questo de saber de que modo se gera o acesso cognitivo a esses mesmos tipos invariantes. Vimos que Peirce procura explicar esse acesso em termos no simblicos. De facto, isso mostra que ele estava consciente da circularidade em que ficamos enredados quando se tenta explicar a emergncia e o acesso ao simblico em termos tambm eles simblicos. A questo naturalmente fundamental e concerne o problema geral da emergncia da semitica. Ela no facilmente resolvel, e aqui apenas nos limitamos a expor a soluo de Peirce e de que modo essa soluo permite eventualmente atenuar o recorrente conflito entre continuidade (Natureza) e lgica (Semitica). A soluo de Peirce parece passar pela ideia segundo a qual a mente opera realmente por diagramas, os quais so como que esqueletos [skeletons] das operaes mentais (cf. C.P. 7.426). So diagramas espaciais que possuem certas formas tpicas, mas que so as mesmo tempo instncias das formas lgicas. Ora: um conceito a influncia viva em ns de um diagrama ou cone, com cujas diversas partes esto conectados no pensamento um igual nmero de sentimentos ou ideias. A lei da mente consiste em que sentimentos e ideias se unem a si mesmas no pensamento de modo a formar sistemas. (C.P. 7.467) Vimos anteriormente que a lei da mente possui uma dinmica de natureza topolgica. De seguida, e este um novo ponto, ela geraria certos tipos de diagramas espaciais que possuem realidade cognitiva (esto instanciados), os quais, por sua vez, gerariam (incontroladamente, inconscientemente so termos a que Peirce recorre amide para descrever esse processo) os esquemas da lgica formal. De seguida, esta ltima pode autonomizar-se e tornar-se normativa ou ideal, designando ento um conjunto variado de invariantes formais (por exemplo, a equivalncia entre diversos tipos de notao ou entre sistemas com regras de inferncia diferentes). Alguns dos esquemas espaciais diagramticos so referidos no volume VII dos Collected Papers, e com eles visa-se simultaneamente explicitar a dinmica cognitiva (psicolgica) e fazer a sua ligao quer topologia quer lgica formal. Noutros termos, a fim de tentar conciliar continuidade e lgica e assim resolver a tenso em que temos vindo insistir desde o incio - Peirce foi levado a elaborar uma sintaxe lgica diagramtica baseada nas formas espaciais que suposto serem realmente seguidas pela mente. Elas tornar-se-iam ento verdadeiramente tokens correlacionados com os seus tipos gerais. Essa sintaxe diagramtica constituda pelo ltimo dos trs sistemas de lgica que Peirce elaborou, e que ele designou por mtodo dos grafos existenciais. No podemos entrar aqui nos detalhes tcnicos desse mtodo (cf. A.F. pp. 105-122 e C.P. 4.418-572), referindo-se apenas que o sistema possui apenas dois smbolos fundamentais, a folha em branco e a linha de identidade, isto , dois continua, que as regras de inferncia se resumem a operaes de insero e omisso, exactamente as operaes que Peirce julgava caracterizarem a dinmica cognitiva real (cf. C.P. 7.393 e sq.), e que o sistema se desenvolve integralmente realizando operaes topolgicas elementares.10 Com um mtodo como o dos grafos existenciais, Peirce julgaria ter atingido a conciliao entre topologia, cognio e normatividade lgica. Os diagramas tm uma estrutura topolgica subjacente,
O autor deste artigo (Machuco Rosa, 1993), bem como D. Roberts (Roberts, 1973,) e P. Thibaud (Thibaud, 1975), provaram que o sistema dos grafos existenciais consistente e completo (em sentido absoluto e relativo), e que portanto tem o mesmo poder expressivo que qualquer outro sistema de lgica usualmente utilizados.
10

na qual ele constantemente insiste (e.g., C.P. 4.368). Existe uma sintaxe topolgica, a qual, como qualquer sintaxe, enuncia tipos, pelo que o nvel cognitivo instanciaria essas relaes espaciais tpicas cujo processo dinmico se basearia em inseres e omisses. Por sua vez, a sintaxe topolgica corresponderia igualmente s formas tpicas lgicas, e a a lgica tornar-se-ia normativa mostrando, utilizando de novo o mesmo exemplo, que o objecto referenciado pelo mtodos dos grafos existenciais o mesmo que o de qualquer outro sistema de lgica. No entanto, a soluo est longe de ser completamente satisfatria, e isso fundamentalmente por trs ordens de razes. Desde logo, porque os esquemas topolgicos utilizados pelos grafos existenciais so demasiado elementares e nada permite supor que eles reproduzem a totalidade dos esquemas topolgicos da mente supondo ainda que estes existem. Esto seguramente longe de formar uma sintaxe fechada para a cognio. Nessa medida, o projecto de enraizar a lgica e a aco mental na topologia fica muito longe de ser concretizado. A isso liga-se o facto de esses esquemas topolgicos no apresentarem qualquer relao com a fsica e com a termodinmica, e assim em nada permitirem vindicar o monismo que Peirce sustentava. Em terceiro lugar, as regras de inferncia do sistema dos grafos se reduzem a inseres e omisses. Ora, basear os processos mentais em inseres e omisses mais no faz que reproduzir a caracterstica essencial dos processo discretos, e na realidade no por acaso que um outro sistema lgico, o mtodo de deduo natural introduzido por G. Gentzen nos anos trinta, tambm se baseia em inseres e omisses, tal como ainda essa a caracterstica de uma mquina de Turing, base dos modernos computadores digitais, e que serviu de inspirao ao paradigma simblico em cincias cognitivas. No fundo, dentro da tenso existente entre geometria e lgica, Peirce, mesmo sem se aperceber claramente disso, nunca deixou de privilegiar o segundo termo dessa alternativa. Assim sendo, o caminho apontado por Peirce com o mtodo dos grafos existenciais teria de ser alargado e complementado com desenvolvimentos recentes como os levados a cabo pelas chamadas gramticas cognitivas, as quais visam enraizar a linguagem natural nos esquemas espacio-temporais perceptivos e sensorio-motores (cf. Langacker, 1987; Talmy, 1983). Mas para ser um projecto cognitivo integral, o projecto das gramticas cognitivas ter de exibir as verdadeiras dinmicas cognitivas subjacentes linguagem natural, mostrando em particular como elas emergem a partir da dinmica neuronal. Essa a perspectiva da chamada teoria das catstrofes, elaborada por R. Thom nos anos sessenta (Thom, 1970) e desenvolvida por J. Petitot (Petitot, 1992, 1995), a qual visa mostrar que a forma (geomtrica) da linguagem se encontra enraizada nos fenmenos naturais e que essa forma corresponde precisamente forma das dinmicas cerebrais, dinmicas cerebrais elas prprias invariantes por relao micro-fsica subjacente. Trata-se de uma hiptese cuja sofisticao nos impede de detalhar aqui, mas que envolve um problema, precisamente mostrar com o que a lgica formal emerge, via dinmicas neuronais, a partir da fsica. Ora, se esse problema subsiste, reencontramos de novo a tenso at agora insupervel entre Natureza e Semitica. Se, no caso da teoria das catstrofes, partirmos da natureza visando obter por emergncia os nveis seguintes de realidade, a lgica formal (e a semitica em geral) cuja derivao permanece problemtica (cf. no entanto Petitot, 1992). Se, pelo contrrio, como muitas vezes o caso em Peirce, partirmos da semitica, a compatibilizao desta com o domnio da natureza que surge mais como uma aspirao do que como um objectivo verdadeiramente alcanado.

Referncias Bibliogrficas Alexandroff, P., 1960, Elementary Concepts of Topology, Dover, New York. Elman, J, 1995, "Language as a Dynamical Suystem", in R. Port & T. van Gelder, 1995, pp. 196225. Fodor, J., 1983, Representations: Philosophical Essays on the Foundations of Cognitive Science, MIT Press, Cambridge. Fodor, J., 1987, Psychosemantics: The Problem of Meaning in the Philosophy of Mind, :MIT Press, Cambridge. Kleene, S., 1987, Logique Mathmatique, J. Gabay, Paris. Langacker, R., 1987, Foundations of Cognitive Grammar, Standford University Press, Standford. Loewer, B., & Rey, G., (ed.), 1991, Meaning in Mind - Fodor and his Critics, Blackwell, Oxford. Machuco Rosa, A., 1993, Le Concept de Continuit chez C.S Peirce, E.H.E.S.S.,Paris. Machuco Rosa, A., 1999, "Universalidade e Cincias Cognitivas", Revista de Humanidades e Tecnologias 1 pp. 98-106. Machuco Rosa, 2000, Tdeoria das Estruturas - do Centrado ao Acentrado a publicar. Murphey, M., 1962, The Development of Peirce's Philosophy, Harvard University Press, Cambridge. Petitot, J., 1995, "Morphodynamics and Attractor Syntax" in R. Port & T. van Gelder, 1995, pp. 230-281. Petitot, J., 1992, Physique du Sens, C.N.R.S., Paris. Roberts, D., 1973, The Existencial Graphs of Charles S. Peirce, Mouton, The Hague. Simon, H., 1981, As Cincias do Artificial, Armnio Amado, Coimbra. Smolensky, P., 1988, "On the Proper Treatment of Connectionism" Behavioral and Brain Sciences, 11, 1-74. Smolensky, P., 1995, "Reply : Constituent Structure and Explanation in a Integrated Connectionist/Symbolic Cognitive Architecture" in MacDonald, C., & MacDonald, C. (ed.). Connectionism - Debates on Psychological Explanation, Blackwell, Oxford, 1995. Talmy, L., 1983, "How language structures space", in Spatial Orientation: Theory, Research, and Application, Pick, H., & Acredolo, L., (ed.) pp. 225-282. Plenum Press, New York Thibaud, P., 1975, La Logique de Charles Sanders Peirce - De l'Algbre aux Graphes, Editions de l'Universit de Provence, Aix-en-Provence. Thom, R., 1970, Stabilit structurelle et morphognse, Benjamin, New York. Port, R., & van Gelder, T., (ed.), 1995, Mind as Motion: Explorations in the Dynamics of Cognition, MIT Press, Cambridge.