Revista Interamericana de Psicologa/Interamerican Journal of Psychology - 2006, Vol. 40, Num. 3 pp.

257-266

A Teoria da Lgica Mental e as Teorias Competitivas

Ana Augusta de Andrade Cordeiro1 Maria das Graas Bompastor Borges Dias Antonio Roazzi
Universidade Federal do Pernambuco, Recife, Brasil

257 ARTICULOS

David P. OBrien
The City University of New York, USA

Resumo O objetivo deste estudo foi confrontar a teoria da lgica mental com as teorias que postulam contra ela. Nos ltimos anos, a afirmao de que o raciocnio humano inclui uma Lgica Mental tem encontrado considerveis resistncias e a morte dessa teoria tem sido proclamada com certa freqncia. No entanto, para estudiosos da lgica, anunciar esta morte prematuro. Eles acreditam que teorias da lgica mental esto vivas, mas que o problema reside no fato delas usualmente serem mal compreendidas. A maioria das crticas existentes contra elas fruto de uma m interpretao do que vem a ser esta abordagem. Os defensores destas teorias afirmam que elas no so exatamente iguais e o que pode ser considerado como evidncia contra uma teoria da lgica mental, necessariamente no conta como evidncia contra todas as teorias. Este estudo traz uma viso geral sobre cada uma das teorias competitivas, detalhando com profundidade os princpios que norteiam a Teoria da Lgica Mental. Palavras-chave: Filosofia da mente; raciocnio; lgica e psicologia. The Mental Logic Theory and Competitive Theories Abstract The purpose of the present study is to confront the theory of mental logic with others which oppose themselves to its ideas. In the last years it has been recurrent a resistance to the statement that human reasoning contains a mental logic, in fact, many have announced frequently the death of such theory. Even though, researchers from this field of study feel it is premature to announce this death. They believe that mental logic theories are still alive, and that the problem lies on the fact that it has been misunderstood. Those who propose these theories say that most of the criticisms are due to an inadequate interpretation to this methodological approach. He believes that mental logic theories are not exactly alike, and that what can be considered evidence against a particular theory cant be necessarily used against all mental logic theories. The present study brings a wide view over each one of the competing theories, detailing with depth the main beliefs of the mental logic theory. Keywords: Philosophy of mind; reasoning; logic and psychology.

Ao longo das ltimas dcadas, cientistas e filsofos da mente tm debatido energicamente a questo se existe ou no uma lgica mental similar lgica formal da filosofia. Proponentes da lgica mental e seus opositores tm se engajado em profundas discusses presentes em conferncias internacionais e revistas cientficas tais como: Psychological Review, Behavioral and Brien Sciences, Cognition, e Journal of Experimental Psychology: General. A idia de que existe uma lgica em nossa mente remonta h milnios, mas segundo alguns estudiosos nenhuma teoria foi elaborada e efetivamente comprovada.. Por outro lado, pode-se dizer que poucos cientistas cognitivos realmente sabem o que vem a ser a teoria da lgica mental e, por esta razo, interpretaes pouco cuidadosas sobre as mesmas no so raras, levando-os, inclusive, afirmao de que no existe uma lgica mental. Este
1

artigo traz a possibilidade de se conhecer em maior profundidade a teoria da lgica mental, bem como aquelas teorias que advogam contra ela, contribuindo para o esclarecimento de pontos conflitivos at o presente momento. As Teorias Competitivas Vrios cientistas tm se dedicado ao estudo do raciocnio dedutivo e elaborado diferentes teorias as quais tentam explicar este tipo de raciocnio. Estas teorias dividem os pesquisadores em dois grandes grupos: um que defende a existncia de uma Lgica Mental (Braine, 1998; Braine, Reiser, & Rumain, 1984; OBrien, Braine, & Yang, 1994; Rips, 1994) e outro que advoga contra a existncia deste tipo de lgica. Neste ltimo grupo, encontram-se aqueles que defendem as teorias dos Contedos Dependentes (Cheng & Holyoak, 1985; Cosmides, 1989) e os que concebem o raciocnio a partir da formao de Modelos Mentais (Johnson-Laird & Byrne, 1991). A seguir, ser apresentada uma reviso sobre as teorias dos Contedos Dependentes, tendo como base
R. interam. Psicol. 40(3), 2006

Endereo: Avenida Governador Agamenon Magalhes, 129/101, Torreo, Recife, PE, Brasil. E-mail: augusta@hotlink.com.br.

ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN

258 ARTICULOS

evidncias empricas utilizadas para dar sustentao s mesmas a partir de diferentes verses da tarefa de seleo de Wason. Teorias dos Contedos Dependentes: Teoria dos Esquemas Pragmticos e Teoria do Contrato Social Estudiosos como Cheng e Holyoak (1985) propuseram que as pessoas no raciocinam utilizando esquemas de inferncias, mas utilizando regras aprendidas indutivamente com o objetivo de tomar decises e prever eventos futuros. Dentro desta perspectiva, as pessoas so capazes de raciocinar corretamente a respeito de assuntos concretos, realsticos ou temticos (Gouveia, 2001, p. 12). A Teoria dos Esquemas Pragmticos descreveu regras para permisso/obrigao que sustentam que se uma deciso est para ser tomada, ento os pr-requisitos devem ser preenchidos. Cosmides (1989) desenvolveu a Teoria do Contrato Social com base no argumento de que as pessoas raramente raciocinam de acordo com a lgica cannica. Props ento, que os potenciais biolgicos incluem habilidades especiais para raciocinar baseadas em contratos sociais. Para isto, consideram seus custos e benefcios, pelo fato de 99% da histria bioevolucionria do ser humano consistir de atividade de caa e pesca. Os contratos sociais tm uma forma condicional: se algum tiver um benefcio dever pagar os custos. As regras de contrato sociais parecem ser um subconjunto de regras de permisso/obrigao (pagar um custo uma forma de se preencher um pr-requisito e ter um benefcio uma forma de se tomar uma deciso). Portanto, o suporte para a evidncia da Teoria do Contrato Social tambm uma forma de suporte Teoria dos Esquemas Pragmticos. Ainda segundo Cosmides (1989), tentou-se provar que apenas problemas que apresentassem regras de contrato social seriam resolvidos, mas a maioria destes problemas no solucionvel. Pollard e Holyoak (1989, citados por OBrien, 1998a), por outro lado, demonstraram que os sujeitos no so influenciados pelo grau de custos e benefcios, sendo os sujeitos capazes de resolver algumas verses da tarefa de permisso que no implicavam em custo ou benefcio. As evidncias empricas a favor da teoria do contrato social e das teorias dos esquemas de raciocnio pragmtico tm, at o momento, se limitadas a verses da tarefa de seleo de Wason (1968) que consiste na apresentao de quatro cartas. Cada carta contm uma letra (vogal ou consoante) em uma das faces e um nmero (par ou mpar) na outra face. Por exemplo: E, B, 9 e 2. O objetivo da tarefa identificar aquelas cartas, e somente aquelas, que so necessrias virar para verificar a veracidade da regra condicional subjacente: Se existir um nmero mpar em uma das faces, ento haver uma vogal na outra face. A regra apresentada corresponde relao lgica Se p, ento q Para solucionar o problema seria, pois, necessrio virar a carta com o nmero mpar - p - para verificar se tem uma consoante de um lado e, simultaneamente, virar a carta com a consoante - no p -

para verificar se tem um nmero mpar na outra face, no sendo, desta forma, necessrio virar as outras duas cartas, a 2 - no q - e a E - q - porque nenhuma delas seria capaz de invalidar a regra. Uma das verses empregadas da tarefa de Wason (1968) foi do drinking-age problem. Nesta tarefa, era dito ao sujeito que ele era um policial e que ele tinha que fazer cumprir a seguinte regra: se uma pessoa estivesse ingerindo bebida alcolica ela teria que ter pelo menos 21 anos. Quatro cartas eram apresentadas, onde uma das faces continha a figura de uma pessoa aparentando uma certa idade e a outra face continha a figura de um determinado tipo de bebida (alcolica e no alcolica). Os participantes eram instrudos a virar aquelas cartas, e somente aquelas, as quais os levariam a descobrir as regras de violao. Diferentemente da tarefa de seleo de Wason, a maioria das pessoas era capaz de selecionar as cartas logicamente apropriadas (a carta que possua a figura de uma pessoa de menor e a carta que possua a figura de uma bebida alcolica). No entanto, segundo OBrien (1998a), essa verso da tarefa contedo-dependente estruturalmente distinta da tarefa de seleo de Wason (1968). No problema de esquemas pragmticos, a regra assumida como verdadeira e pode ser usada diretamente para se chegar a uma concluso. Esta no uma diferena trivial visto que a tarefa original de seleo de Wason muito mais um problema de raciocnio metalgico, o que significa que o sujeito raciocina sobre a regra, do que um problema de lgica em que o sujeito raciocina a partir da regra. Nesta verso, necessrio virar a carta correspondente vogal E da tarefa original de seleo de Wason, seguindo o raciocnio de maneira direta atravs da inferncia do tipo Modus Ponens. Este um tipo de inferncia que pode ser encontrada no silogismo condicional (se x, ento y), em que a verdade de um termo est relacionada com a verdade do outro (Ex.: Se for homem, ento mortal. Scrates homem, ento mortal), o que torna o problema apresentado pelos tericos defensores da abordagem contedo-dependente inerentemente mais fcil. A evidncia mais impressionante para a teoria dos Esquemas Pragmticos o problema de permisso abstrata proposto por Cheng e Holyoak (1985). Neste problema, dito aos sujeitos para eles imaginarem que eles esto trabalhando em uma empresa que tinha a seguinte regra: se uma pessoa realiza uma ao A, ento ela tem que preencher o pr-requisito P. As quatro cartas tinham em suas faces: ter realizado a ao A, no ter realizado a ao A, ter preenchido o pr-requisito P e no ter preenchido o prrequisito P. De acordo com OBrien (1998a), esta tarefa difere da tarefa de seleo original de Wason (1968) em trs aspectos cruciais: Primeiro: requer a busca de uma regra de violao mais do que testar o status da veracidade da regra. Segundo: os sujeitos so solicitados a assumir o papel de algum que deve fazer cumprir a lei. Terceiro: as cartas apresentavam explicitamente, e no implicitamente, as negativas (no ter realizado a ao A e no ter preenchido o
R. interam. Psicol. 40(3), 2006

A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS

pr-requisito P), em vez de conter em sua face a letra B, por exemplo. Em seus estudos, o autor verificou que quando qualquer desses aspectos modificado, introduzindo-se algo semelhante tarefa original de seleo de Wason, os participantes falham em resolver problemas de permisso abstrata. Em um outro estudo desenvolvido por OBrien et al. (1990) foram solicitados aos participantes que resolvessem problemas na verso pragmtica da lgebra sem incluir qualquer desses trs aspectos e, assim mesmo, os participantes foram capazes de resolv-los. Os autores, ento, sugerem que a soluo para o problema de permisso abstrata no tem nada a ver com a natureza permissionria das regras, mas advm de outras caractersticas alheias tarefa. Como Cosmides (1989), OBrien tambm afirma que as habilidades de raciocnio so resultado de nossa histria bioevolucionria, mas esta histria tem nos provido de algumas intuies lgicas bsicas as quais tornam nossa linguagem proposicional e o raciocnio possvel. OBrien no v razes para que a evoluo proveja processos especficos e no gerais. Espcies sujeitas a formas de comportamento especficas estariam em desvantagem, do ponto de vista evolucionrio, quando as situaes ambientais mudassem. Um conjunto de procedimentos de inferncias livres de contedo poderia ser de benefcio evolucionrio, provendo uma base para as partculas lgicas as quais permitem a comunicao em uma variedade de situaes. Teoria dos Modelos Mentais Johnson-Laird (1983) e Johnson-Laird e Byrne (1991) propuseram que as pessoas, ao processarem um discurso, constroem representaes internas chamadas modelos mentais. Elas no utilizam os esquemas de inferncias, isto , as inferncias so realizadas a partir de modelos metais em que as informaes encontram-se explicitamente representadas neles. O raciocnio consiste na busca de modelos alternativos que possam falsificar uma tentativa de concluso. Diferentemente da Teoria da Lgica Mental, que acredita que o ser humano pode fazer uso da imagem mental em algumas situaes-problema, a Teoria do Modelo Mental afirma que este tipo de raciocnio acontece em todas as situaes e que as pessoas nunca fazem uso dos esquemas inferenciais. Segundo OBrien (1998a), JohnsonLaird e seus seguidores no proveram uma clara descrio do que vem a ser o Modelo Mental. O Modelo Mental pode ser imagens, mas claramente pode ir alm. Imagens no so proposies e os Modelos Mentais no incluem variveis. Esta ausncia de variveis nos modelos mentais leva a uma confuso representacional. Johnson-Laird e Byrne (1991) propem uma soluo para este problema (ausncia de variveis), incluindo rtulos representativos e instncias especficas para cada caso individualmente. Esta tentativa de resolver o problema da ausncia de variveis no tem tido sucesso, uma vez que ficaria difcil, se no impossvel, representar, por exemplo, todos os nmeros naturais so
R. interam. Psicol. 40(3), 2006

inteiros. Qual seria sua representao? No poderia ser: um nmero natural que termina em zero, uma vez que este expressa uma varivel e nos Modelos Mentais tm que se referir aos casos individuais. Como, ento, algum poderia saber que todos os nmeros naturais terminados em zero so divisveis por cinco? Para sab-lo necessrio mais que uma simples leitura do modelo, necessrio efetuar clculos. Uma prova rigorosa de que todos os nmeros naturais possuem esta propriedade requer uma linha complexa de raciocnio proposicional que utiliza variveis. Portanto, fica evidente a necessidade de alguns processos representacionais e inferenciais, alm daqueles oferecidos pelos Modelos Mentais. Ao que parece, as inferncias provindas dos Modelos Mentais podem coabitar com inferncias provindas de outras fontes, incluindo aquelas da Lgica Mental. OBrien (1998a) resume as duas posies, afirmando que ambas as teorias, Contedo Dependente e dos Modelos Mentais, tm sustentado um debate em torno de uma exclusividade, ou seja, ou as pessoas usam regras de contrato social ou apenas usam a lgica cannica; ou elas usam regras mentais ou usam modelos mentais. Desta forma, quando os tericos encontram suporte para as suas suposies, eles concluem que as pessoas no utilizam esquemas inferenciais. Tais argumentos contra a Teoria da Lgica Mental, que se sustentam apenas nas regras inferenciais formais livres de contedo, so sem valor. Mesmo Piaget postulou que as habilidades das operaes formais so delineadas pelo conhecimento do mundo real. A Teoria da Lgica Mental no afirma que todo o raciocnio humano descrito por regras formais livres de contedos. Ao contrrio, a Teoria da Lgica Mental postula a existncia de um raciocnio proposicional e proposies referem-se a estados iniciais de conhecimento. Portanto, os esquemas inferenciais da Teoria da Lgica Mental coabitam facilmente com os processos de raciocnio pragmtico que tem relao com as conseqncias prticas das proposies. Evidncias da existncia de processos extralgicos no so inconsistentes com as afirmaes da Teoria da Lgica Mental. Na abordagem por nveis de processamento, desenvolvida por Craik e Lockart (1972), os autores demonstraram que a informao tratada cognitivamente em dois nveis: superficial (shallow levels) e profundo (deep levels). No primeiro nvel o estmulo tratado de acordo com suas caractersticas fsicas, enquanto que no segundo o estmulo tratado de acordo suas caractersticas semnticas, ou seja, com o seu significado. Eles, ento, concluem que a capacidade de armazenamento na memria depende do significado atribudo informao. Ao que parece, o raciocnio humano, de fato, no est livre do significado das informaes, o que vem a corroborar com a perspectiva dos tericos da lgica mental. O fato de algumas vezes as pessoas cometerem erros em algumas tarefas de raciocnio, no razo suficiente para se proclamar ausncia de uma Lgica Mental. A Lgica Mental prov experincia para dedues seguras que, geralmente, acompanham uma inferncia lgica e levam s pessoas a

259 ARTICULOS

ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN

260 ARTICULOS

buscarem consistncia entre as proposies por elas assumidas. Quando as pessoas so irracionais no pelo fato delas serem destitudas de uma Lgica Mental, mas pelo fato das demandas de uma situao excederem suas habilidades lgicas ou pelo fato delas realizarem inferncias de fontes no lgicas ou ainda porque elas esto raciocinando a partir de assuntos no racionais. Segundo OBrien (1998b), falhas sistemticas ao se utilizar inferncias bsicas, tais como Modus Ponens, podem tornar uma pessoa irracional. Sem tais inferncias, as pessoas no podem manter a coerncia de uma linha de raciocnio. No entanto, admitir a existncia da referida inferncia no suficiente para tornar algum racional. Quando algum aplica um procedimento de inferncia coerente para um conjunto de afirmaes irracionais esta pessoa est apta a fazer concluses irracionais. O raciocnio lgico pode ser realizado com habilidade ou com inabilidade. A Lgica Mental fornece a base para um raciocnio coerente, mas no garante a habilidade. A Teoria Segundo OBrien (1998a), a questo sobre a existncia ou no de uma Lgica Mental diferente do que vem a ser a Lgica Mental. No entanto, este ltimo aspecto parece ter se perdido ao longo de tantas discusses. Para o autor, uma teoria adequada do raciocnio lgico humano precisa ser capaz de explicar ambos os tipos de julgamentos: os logicamente corretos e os incorretos. Por um lado, possvel assumir que o repertrio do raciocnio humano inclui uma Lgica Mental e, neste caso, haveria uma explicao para aqueles julgamentos logicamente corretos que as pessoas so capazes de fazer. No entanto, ainda seria necessrio uma explicao para aqueles julgamentos que resulta em solues diferentes daquelas determinadas pela lgica formal, ou seja, os logicamente errados. Por outro lado, possvel assumir que no h Lgica Mental, o que fornece uma explicao para os erros do raciocnio. Contudo, esta perspectiva deixa os julgamentos corretos sem explicaes. OBrien considera que aqueles que argumentam a favor da no existncia de uma Lgica Mental partem de uma m compreenso sobre a natureza da Lgica e a adoo do primeiro ponto de vista, de que existe uma Lgica Mental, parece ser a escolha mais racional. Esta m compreenso sobre a natureza da lgica levou OBrien (1998a) a retornar a Kant (1966, citado por OBrien, 1998b) o qual props que a compreenso humana possvel, em parte, pela existncia de uma Lgica Mental; indo em direo a Aristteles, o qual considerava a Lgica como sendo completa e perfeita, permanecendo essa concepo por vrios sculos. Tal estrutura conceptual, segundo Macnamara (1986) reflete uma herana platnica, encorajando um tipo de Lgica o qual se resume manipulao de formas simblicas. Esta lgica das formas o tipo da lgica que tem sido descrita, segundo OBrien (1998a), pelos oponentes da abordagem da Lgica Mental. Desde Gottlob Frege (1879, 1882), at o final do Sc. XIX, a lgica tem passado por uma

grande revoluo, a partir dos estudos de George Boole (1854), em que o mesmo fez, pela primeira vez, a distino entre a Lgica Predicativa e a Lgica Proposicional, o que levou os lgicos a conceberem a Lgica como proposicional e intencional. De fato Gottlob Frege o principal autor de inovaes na lgica, matemtica e filosofia da linguagem, que marcaram todo o sculo XX, mesmo sendo necessrio ter que esperar por Russel, e em seguida Carnap e Wittgenstein, para se puder melhor compreender suas importantes implicaes. As intenes de Frege encontram-se j claramente marcada em seu primeiro importante trabalho (Frege, 1879), que marca uma ruptura com Boole e Peirce, mas com uma sensibilidade semitica prxima deste ltimo, inventa uma nova linguagem, a linguagem dos conceitos, a Begriffsschrift. Este empreendimento motivado por, pelo menos, trs objetivos: (1) elaborar um formalismo que possibilite expressar os contedos conceituais dos enunciados da linguagem natural; (2) dotar a lgica de uma notao prpria, a mais idnea e intuitiva possvel; (3) disponibilizar uma instrumentao adequada para fundamentar a matemtica em bases puramente lgica. Dentro desta nova perspectiva, as proposies lidam com valores verdades, isto , uma proposio pode ser verdadeira ou falsa. Segundo OBrien (1998a, p. 25), as sentenas por si mesma no constituem proposies. Por exemplo, a sentena Eu estou viajando com um passaporte brasileiro no nem verdadeira nem falsa. Porm, a mesma torna-se verdadeira quando um brasileiro afirma, estando fora do Brasil, e falsa quando algum estrangeiro a afirma. Quando a lgica est relacionada apenas a sentenas, ento, est resumida mera manipulao de smbolos. No entanto, as concluses dos argumentos lgicos so proposies. OBrien (1998a) argumenta que o raciocnio lgico consiste de atividades proposicionais. Para ele, as proposies podem ser presumidas, assumidas, duvidadas, acreditadas, consideradas, afirmadas, desacreditadas, negadas, inferidas, e assim por diante. Todas estas atividades referem-se a julgamentos sobre a veracidade ou sobre a falsidade. As proposies podem ser atmicas ou compostas, isto , proposies atmicas podem ser negadas ou interligadas por conjunes, disjunes, condicionais, entre outros. No exemplo, Se eu estou viajando com um passaporte americano, ento eu devo ser um cidado americano, a proposio descrita anteriormente est relacionada concluso realizada a partir daquela suposio, juntamente com outra informao proposicional assumida. Para OBrien (1998a), preciso levar em considerao como ns raciocinamos a partir das proposies compostas, isto , como as pessoas as formam e as usam. Formar uma proposio composta requer uma inferncia. Tais conexes so inferidas, de diferentes maneiras na compreenso. Devido ao fato das proposies serem uma verdade funcional, se um conjunto de proposies for assumido como verdade, as proposies seguintes, realizadas a partir
R. interam. Psicol. 40(3), 2006

A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS

delas, por procedimentos lgicos, tambm sero verdades. Os lgicos referem-se a esta propriedade como coerncia lgica. Um conjunto de procedimentos de inferncia coerente apenas se, dado um conjunto de proposies verdadeiras, os procedimentos de inferncia proverem apenas concluses verdadeiras. Algo que coerentemente lgico diferente de validade. Na Lgica Clssica, todo argumento, mesmo com falsas premissas, vlido. Esta propriedade no faz parte dos princpios da Teoria da Lgica Mental, visto que no incomum pessoas rejeitarem um argumento porque elas no aceitam as premissas. Portanto, o raciocnio comum procede no das premissas, mas dos contedos que elas tratam. Diferentemente dos tericos da Lgica Clssica, os da Lgica Mental postulam que as pessoas no tiram concluses a partir de premissas contraditrias, uma vez que elas as concebem como absurdas. Em suma, o raciocnio lgico proposicional e atividades proposicionais tais como afirmar, negar, acreditar, duvidar, entre outras, requer estados de conhecimento prvios sobre o assunto. Os procedimentos de inferncia lgica coabitam com procedimentos de inferncia pragmtica que levam em conta as conseqncias prticas das proposies. Podemos, ento, afirmar que o raciocnio lgico no so sentenas estanques em forma de smbolos, e que a Lgica Mental refere-se maneira como combinamos proposies, raciocinamos sobre elas e a partir delas. Em outras palavras, a Lgica Mental trata da realizao de inferncias proposicionais, desempenhando um papel fundamental na integrao de informaes. O ser humano, por estar em contato freqente com as mais diversas informaes advindas de seu meio ambiente, a partir de variadas fontes e em intervalos de tempo diferentes, utiliza-se de uma Lgica Mental para integrar essas informaes, conect-las a experincias anteriores e realizar inferncias que vo alm das informaes que esto explicitadas. possvel, portanto, concluir que a Lgica Mental est diretamente voltada aos objetivos pragmticos, servindo aos propsitos prticos. Braine e OBrien (1998, p. 46) exemplificam este fato em uma pequena histria em forma de vinheta que descrevia a seguinte situao: John foi almoar num restaurante. No cardpio tinha escrito que uma salada especial era acompanhada de uma Coca-Cola ou de um caf. Tambm tinha escrito que um fil de carne dava direito a uma taa de vinho. John escolheu a salada especial e caf, alm de algo mais para beber. Em seguida, havia duas questes, a primeira se John ganhou a Coca-Cola e a segunda se ele ganhou a taa de vinho. Para as duas perguntas eram dadas trs opes: sim, no, no possvel afirmar. Os autores analisam a primeira questo, a qual a resposta era evidentemente no, pois no do cardpio do restaurante estava escrito: ou Coca ou caf grtis, o que poderia ser traduzido como apenas um deles e no ambos. A partir do conhecimento prvio do cardpio, foi
R. interam. Psicol. 40(3), 2006

possvel se concluir que, para se pedir algo a mais seria necessrio pagar pelo mesmo. Mais adiante na histria, dito que John escolheu caf. Dada a premissa que no poderia ser ambos, caf e Coca-Cola grtis, pode-se concluir por um processo de inferncia que a Coca-Cola no foi grtis. Portanto, a resposta primeira questo foi dada baseada por uma inferncia pragmtica. No que se refere segunda questo, a resposta tambm no. Tambm baseado no conhecimento pragmtico, sabe-se que comida e bebida no so itens gratuitos em um restaurante, a no ser que explicitamente oferecidos no cardpio ou pelo garom, como o caso em que uma taa de vinho estava condicionada ao fil de carne. Pelo fato de John ter escolhido a salada, o que pragmaticamente implica em no ter escolhido o fil, possvel se concluir por uma lgica inferencial que ele no ganhou a taa de vinho. Portanto, mais uma vez a resposta advm de uma inter-relao da lgica inferencial e do conhecimento pragmtico. Isto quer dizer que se algum aprende P ou Q de uma fonte e no Q de outra, faz-se necessrio algum tipo de mecanismo mental para integrar as diferentes informaes oferecidas que o possibilitar chegar inferncia P. Este mecanismo chamado de Lgica Mental. O raciocnio cotidiano utiliza procedimentos de inferncia, atravs dos quais se partindo de proposies tomadas como verdadeiras, inferem-se proposies que tambm possuiro um valor verdade (OBrien, 1998b). A Teoria da Lgica Mental prope explicar as inferncias que so realizadas rotineiramente e que envolvem o uso de partculas lgicas. Toda vez que as premissas (proposies) esto presentes na memria de trabalho e que existe uma motivao para se compreender as informaes que esto sendo processadas, observa-se uma Lgica Mental envolvida na resoluo daquele determinado problema. Em virtude de servir a propsitos prticos, a Lgica Mental est profundamente embebida dentro de uma arquitetura pragmtica, isto , as inferncias so realizadas a partir de informaes que incluem um conhecimento retroativo da memria de longo termo, alm de crenas, opinies, experincias, julgamentos, pensamentos e vrios outros tipos de implicadores. As inferncias lgicas parecem estar envolvidas com um tipo de raciocnio analgico, causal, pragmtico e probabilstico. Um aspecto a se considerar no conceito de Lgica Mental a estreita relao que esta mantm com o conceito de linguagem do pensamento, pois para se representar esquemas de inferncias necessrio representao. Podese assumir que o ser humano, ao raciocinar, transforma seu pensamento de proposies de uma linguagem natural em um sistema representacional e, ento, na sintaxe da linguagem do pensamento. Autores como Fodor (1975) e Macnamara (1972) acreditam em uma linguagem inata do pensamento presente em todas as lnguas, constituindo parte de um sistema universal de inferncias. A existncia deste formato inato de estruturas lgicas seria um dos argumentos mais

261 ARTICULOS

ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN

262 ARTICULOS

fortes para a existncia de uma Lgica Mental. OBrien (1998b) no partilha por completo desta idia, pois para ele a linguagem do pensamento seria parcialmente inata e parcialmente adquirida. A sintaxe poderia ser inata, porm o contedo predicativo seria adquirido. A Teoria da Lgica Mental proposta por Braine e OBrien (1991, 1998) consiste de dois modelos paralelos: a Lgica Mental proposicional e sua extenso, a Lgica Mental predicativa. A Lgica Mental proposicional refere-se a inferncias que podem ser realizadas com base nas partculas lgicas, tais como aquelas expressas nas palavras se, e, ou e no. A Lgica Mental predicativa prov instrumentos para a anlise da composio interna das proposies (a partir da estrutura predicado/ argumento) e para a quantificao, utilizando uma estrutura pronominal do tipo encontrado nas linguagens naturais expressa atravs de quantificadores tais como, todo, cada, algum, nenhum, a maioria, poucos, entre outros (Dias, Sobral, & Carvalho, 2001). A Teoria da Lgica Mental divide-se em trs partes: um conjunto de esquemas de inferncia; um programa de raciocnio que implementa os esquemas numa linha de raciocnio; um conjunto de princpios pragmticos que influenciam a interpretao das proposies e pode sugerir ou inibir certas inferncias e estratgias de raciocnio. Os esquemas de inferncia constituem a Lgica Mental per si, so regras que determinam que tipo de inferncia pode ser realizada a partir de tipos particulares de premissas. Eles especificam como as partculas lgicas e, ou, se e a negao no podem ser usadas no raciocnio. Ao se considerar, por exemplo, como verdade as proposies na forma de p ou q e no p, pode-se concluir q. Nota-se que a partcula ou utilizada como base para o raciocnio e ela que define o repertrio de etapas dedutivas elementares no raciocnio proposicional (OBrien, Dias, Roazzi, & Braine, 1998). A segunda parte da teoria, o Programa de Raciocnio, um programa de deduo natural e explica como os esquemas so escolhidos e usados na linha de raciocnio. Brainer et al. (1984) sugeriram que h dois tipos de programas de raciocnio: ARotina de Raciocnio Direto (DRR - Direct Reasoning Routine) e a Rotina de Raciocnio Indireto (IRR - Indirect Reasoning Routine). A teoria prediz que a primeira linha (DRR) seria universal e aplicvel com um mnimo de esforo, tanto na compreenso de textos e de discursos (Lea, 1995; Rodrigues, Dias, & Roazzi, 2002) quanto nas tarefas de raciocnio. A DRR um programa simples que, diante das premissas, identifica que esquemas podem ser aplicados e os utiliza. O resultado desta aplicao avaliado e, se necessrio, adicionado ao conjunto de premissas para nova aplicao dos esquemas. O raciocnio direto aplicado corretamente por crianas pr-escolares (Dias & Roazzi, 2003; OBrien et al., 1998), estando disponvel desde cedo em decorrncia do uso de suposio no contexto de faz-de-conta e tambm devido ao uso espontneo do se (Dias & Harris, 1988, 1990; Dias, Roazzi, & Harris, 2005;

Dias, Roazzi, O`Brien, & Braine, 2002; Dias, Roazzi, OBrien, & Brooks, 2003; Dias, Roazzi, OBrien, & Harris, 2005). O raciocnio direto de rotina (DRR) considerado o primeiro facilitador a ser utilizado no raciocnio lgico e consiste de trs procedimentos: o Preliminar, o Inferencial e o deAvaliao. O procedimento preliminar determina se existe uma concluso a ser avaliada. Se existe uma possibilidade de concluso na forma se-ento, soma-se o antecedente da premissa ao conjunto e trata seu conseqente como uma concluso a ser testada. A partir de ento, utilizado o procedimento inferencial, que conecta as informaes contidas na premissa, permitindo a realizao da concluso. Por fim, lana-se mo do procedimento de avaliao para testar a referida concluso. Se a concluso for indeterminada, continua-se, utilizando-se o procedimento inferencial. o procedimento de avaliao que leva concluso ou de uma resposta falsa ou de uma resposta verdadeira. Uma resposta verdadeira resulta de uma concluso contida na premissa, sendo inferida a partir da aplicao de um esquema ou da combinao de vrios esquemas. A resposta falsa resulta quando a proposio alcanada incompatvel com uma das premissas, a partir da aplicao de esquemas incompatveis. De maneira diferente da Rotina de Raciocnio Direto, o Raciocnio Indireto no considerado universal e sua aplicao requer certo esforo, apesar de Braine et al. (1984) reportarem estudos nos quais alguns estudantes universitrios terem disponveis algumas destas estratgias. Por serem mais sofisticadas, o uso dessas estratgias exigem alguma reflexo e tambm escolarizao (conhecimento formal), sendo adquiridas mais tardiamente e diferindo de indivduo para indivduo. So essas as estratgias requeridas, por exemplo, para a resoluo da tarefa de seleo de Wason, mencionada anteriormente. No entanto, elas s entram em operao quando a DRR falha, no conseguindo determinar a resposta. Conseqentemente, a Teoria da Lgica Mental prediz que inferncias que requerem qualquer estratgia de Raciocnio Indireto sero realizadas com menor freqncia do que aquelas que envolvem um raciocnio do tipo Direto. A terceira parte da teoria consiste nos Princpios Pragmticos, segundo o qual o significado bsico de cada partcula lgica (se, ou, e, no) est nas inferncias que so realizadas, tendo como base os diversos esquemas de inferncias. Os princpios pragmticos so tambm uma fonte de inferncias. O significado das palavras pode ser decisivo na escolha de uma concluso lgica. Segundo OBrien (1998b), os conectivos lgicos utilizados na Lgica Mental, no so idnticos s partculas naturais de linguagem, embora tenham uma estreita correspondncia, de modo que certas palavras da linguagem natural provem formas de expressar certos tipos de conectivos proposicionais, tais como palavras usadas em algumas lnguas (inglesa, portuguesa, etc.) como conjuno: e; disjuno: ou; negao: no e condio: se. Partculas da lgica natural possuem significados que permitem as pessoas a resolver problemas e realizar inferncias. Por exemplo, para o problema Se p OU q,
R. interam. Psicol. 40(3), 2006

A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS

ento r. P, ento r. possvel, portanto, se concluir r. No entanto, para o problema Se p E q, ento r. P, ento nada se pode concluir. A nica diferena entre os dois problemas o uso do OU em um problema e do E em outro. Portanto, a diferena na resposta est baseada apenas no significado destas palavras. Braine e OBrien (1998) propem que o significado bsico de uma partcula lgica dado pelo esquema de inferncia. Assim, por exemplo, o significado bsico do SE fornecido pelo Modus Ponens e pelos Esquemas Condicionais. Na Lgica Mental Predicativa, alguns quantificadores merecem ser destacados, dentre eles, todo e cada, os quais oferecem uma base para um conjunto especialmente rico em inferncias lgicas. De fato, presume-se que a sintaxe natural da linguagem, bem como os esquemas de inferncias da lgica natural estejam disponveis desde cedo na criana, sendo estes universais (Dias & Brooks, 1997). Muitas so as lnguas que possuem quantificadores universais com funes semnticas anlogas ao quantificadores ingleses all e each (Ioup, 1975, citado por Dias & Brooks, 1997). Ioup verificou que as lnguas tendem a ter um quantificador universal com um vis para a interpretao coletiva, que seria o todo, e um vis para a interpretao distributiva, que seria o cada. Em seus estudos, Dias e Brooks (1997) encontraram os mesmos resultados em crianas brasileiras, concluindo que os quantificadores universais todo e cada so meios naturais de referncia a eventos coletivos e distributivos tambm no portugus. A Teoria da Lgica Mental prope que o significado das partculas lgicas seja fornecido pelos seus esquemas de inferncia bsicos. No entanto, os referidos esquemas agem sobre representaes semnticas que so produto dos processos de compreenso. Braine e OBrien (1991) destacaram vrios fatores os quais poderiam afetar a forma de compreenso de uma tarefa e o modo de construo das proposies, dentre eles, o conhecimento de mundo, as crenas pessoais, o contedo apresentado e as instrues. Desta forma, as informaes que servem de base para a realizao das inferncias so afetadas por todos os processos pragmticos de compreenso. Os autores propuseram trs princpios gerais que influenciariam a compreenso: - O contedo: estudos demonstram que as pessoas fazem uso de seu conhecimento de mundo para interpretar o sentido das proposies. Isto significa que as pessoas podem estar tendo como base para o seu raciocnio premissas diferentes daquelas propostas pelo experimentador. - A cooperao (Grice, 1975, citado por Braine & OBrien, 1998): a conversao seria regida pela cooperao e pelas mximas conversacionais. Tendo como base estes dois aportes, postula-se que o ouvinte acredita que o interlocutor est sendo o mais verdadeiro e claro possvel, oferecendo as informaes que julga relevantes. Desta forma, diante de tarefas lgicas, as pessoas podem assumir as informaes disponibilizadas no problema como sendo verdadeiras e relevantes para a resoluo das tarefas, partindo de premissas incorretas por no verificar sua veracidade (Gouveia, 2001).
R. interam. Psicol. 40(3), 2006

- As Inferncias Convidadas: estas podem ser encorajadas pelo conhecimento de um contedo promissor, tal como explicitado no exemplo que segue: se voc respeitar a lei eu lhe darei vinte reais. Esta proposio convida o ouvinte a inferir que se eu no respeitar a lei eu no receberei vinte reais. As inferncias convidadas podem levar a respostas apropriadas ou a respostas logicamente inapropriadas e falcias dos silogismos do tipo condicional. Uma inferncia convidada que no logicamente coerente, no necessariamente irracional. A inferncia de que a pessoa no ir receber cinco dlares, se a lei no for obedecida, no sancionada pela lgica, mas sim pelo conhecimento prvio do assunto. Este tipo de inferncia inerentemente pragmtico porque diz respeito s conseqncias prticas. Por fim, para ser aceita como uma teoria do raciocnio dedutivo, a Lgica Mental tem que ser capaz de explicar, tambm, os erros de raciocnio. Braine, Reiser e Rumain (1998) propuseram trs possveis fontes de erros de raciocnio: erro de compreenso, erro de heurstica e o erro de processamento. O erro de compreenso refere-se a um erro na construo da premissa ou da concluso. As informaes utilizadas inicialmente pelo sujeito diferem daquelas contidas no problema. O erro de heurstica ocorre quando o programa de raciocnio falha em encontrar uma linha de raciocnio que resolva o problema, isto , o problema difcil demais para o sujeito. O erro de processamento compreende os lapsos de ateno, falha em manter a informao na memria de trabalho e falha na execuo e aplicao dos esquemas. Os autores acreditam que o aumento neste ltimo tipo de erro est diretamente relacionado ao grau de complexidade do problema, com uma tendncia a no aparecerem em problemas simples onde o processamento exigido mnimo. Evidncias Teoria Vrios tipos de evidncias tm sido reportadas por pesquisadores da lgica com o objetivo de dar suporte Teoria da Lgica Mental. Estudos predizem com sucesso quais os problemas de raciocnio pessoas so capazes de resolver, quais os que mantm um relativo nvel de dificuldade para sua resoluo, que tipo de inferncias lgicas so feitas rotineiramente e sem demandar esforo e, por fim, tm estabelecido quais as inferncias realizadas no momento em que a informao entra na memria de trabalho. Em uma srie de experimentos, OBrien et al. (1998) investigaram o desempenho de crianas pr-escolares e escolares. O primeiro estudo teve como objetivo investigar se crianas entre 6 e 11 anos seguiam o procedimento semntico da lgica mental e julgariam como verdadeiro um condicional cujo antecedente, tomado junto com outras premissas, vincula seu conseqente (problemas verdadeiros). Outro ponto explorado foi se as crianas julgariam como falso um condicional cujo antecedente, tomado junto com outras premissas, vincula a negao de seu conseqente (problemas falsos). Os participantes brasileiros e

263 ARTICULOS

ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN

264 ARTICULOS

norte-americanos freqentavam escolas que atendiam ao nvel socioeconmico mdio e responderam individualmente a 16 problemas. Os problemas foram construdos de modo que formaram oito pares de problemas. Em cada par, um problema continha na concluso um conseqente afirmativo e, o outro, um conseqente negativo. Um problema de cada par era verdadeiro e o outro, falso. Houve balanceamento na ocorrncia de negativas e afirmativas nas premissas. Este recurso foi tomado a fim de controlar possveis vis de respostas que envolvem negaes, preferncias para o oferecimento de respostas certas ou erradas e tambm qualquer vis nos quais estes tipos de respostas so contingentes na ocorrncia ou ausncia de negativas em problemas. Cada problema referia-se aos contedos de uma pequena caixa de papelo, cuja tampa tinha um carto mostrando uma ou duas premissas com informaes sobre o contedo da caixa (animais e frutas de brinquedo). O carto tambm mostrava uma afirmao como a criana deveria avaliar (certo ou errado), a partir das premissas. A mdia de acerto das crianas norte-americanas mais novas (6-7 anos) para problemas verdadeiros foi de 0,73 e igual mdia para falsos. As mais velhas (10-11 anos) alcanaram 0,85 e 0,87 de mdia respectivamente. As crianas brasileiras mais novas obtiveram mdia de 0,77 nos problemas verdadeiros e 0,83 nos falsos.As mais velhas 0,83 e 0,84, respectivamente. Os resultados denotaram a ausncia de efeitos significativos para nvel de escolarizao, tipo de problema e nacionalidade. As crianas trataram os problemas verdadeiros e falsos similarmente, indicando que no se baseavam nas preferncias de respostas, como tambm no foram influenciadas pela falta ou pelo nmero de negaes contidas em um problema. Para os autores, as crianas demonstraram ser capazes de oferecer respostas de acordo com o que prediz a Teoria da Lgica Mental. No segundo experimento, OBrien et al. (1998) acrescentaram a opo de resposta no posso dizer. Esta incluso foi justificada por dois motivos: uma criana pode optar pela resposta falsa por no ter tido outra opo intermediria; as predies da lgica mental para os problemas falsos diferem das predies da lgica padro, na qual uma resposta no posso dizer seria apresentada. Neste, foram examinadas crianas de 6 a 11 anos e estudantes universitrios brasileiros e norteamericanos. Foram utilizados quatro problemas cujos contedos eram similares aos do primeiro estudo, frutas e animais de brinquedos dentro da caixa. Os problemas continham as seguintes premissas: Nesta caixa h um cachorrinho ou um cavalo, mas no os dois. H tambm uma fruta. Quatro premissas deveriam ser avaliadas: 1) Se h um cachorrinho, ento no h um cavalo (verdadeira); 2) Se h um cachorro, ento h uma laranja (no posso dizer); 3) Se h um cavalo, ento h um cachorrinho (falsa); e, 4) Se h um cavalo, ento no h uma ma (no posso dizer). A ordem da apresentao das concluses foi a descrita para metade da amostra e a ordem inversa para a outra metade. Antes da apresentao dos problemas, foram apresentados 12

problemas de treinamento cujas concluses, para serem avaliadas, no continham condicionais. Os resultados mostram que nenhum grupo utilizou a opo no posso dizer em problemas falsos, fato este previsto na lgica mental. A percentagem de respostas corretas oferecidas pelas crianas mais novas de ambas as nacionalidades foi de 78%.As crianas mais velhas e os adultos brasileiros ofereceram 80% e 85%, respectivamente. No grupo norte-americano as percentagens obtidas foram de 92% e 93%, respectivamente. Os autores concluram que crianas em idade escolar, como tambm adultos, oferecem respostas a problemas com concluses condicionais que correspondem s predies da Teoria da Lgica Mental, baseadas no esquema para prova condicional, juntamente com o raciocnio de rotina direto. OBrien, Roazzi, Dias e Soskova (no prelo) realizaram um experimento cujos problemas apresentados eram embutidos em pequenas histrias. Os participantes deveriam ler uma histria e, ao final, relatar se a sua concluso era verdadeira ou falsa. Os resultados demonstraram que as inferncias so realizadas com tanta facilidade que as pessoas nem se do contam que esto fazendo uso dos esquemas inferenciais. Recentemente, OBrien et al. (2003) conduziram um experimento com ndios residentes no Alto do Rio Negro, Distrito do Estado do Amazonas, falantes nativos da lngua Tukano. A motivao para realizao deste experimento foi verificar a hiptese de que os quantificadores e as partculas lgicas esto presentes em todas as lnguas e que os ndios Tukanos so capazes de realizar inferncias lgicas, confirmando a predio da Teoria da Lgica Mental no que se refere universalidade. Neste estudo, foram comparados dois grupos de doze participantes cada, um cujos participantes no tinham experincia escolar e outro cujos participantes tinham experincia escolar. O material utilizado referia-se a braceletes contidos em trs cestas. Os problemas eram estruturados de modo que, para cada um dos problemas que requeria como resposta correta sim, havia um correspondente que requeria como resposta correta no e um terceiro correspondente que requeria como resposta correta no posso afirmar. O experimentador colocava o bracelete em uma das trs cestas, na presena do participante, e mostrava que o bracelete estava apenas em uma delas. Em seguida, ele cobria as cestas com um pano e dizia que no sabia mais onde se encontrava o bracelete. O experimentador informava que o bracelete ou estava na primeira cesta ou na segunda ou na terceira. Ele olhava dentro da primeira (sem que o participante pudesse ver) e dizia que no havia bracelete dentro dela e fazia o mesmo para a segunda. Apontando para a ltima cesta, ele perguntava se o bracelete estava dentro dela, se no estava ou se ele no poderia dizer nada a este respeito (a resposta apropriada deveria ser sim). O problema correspondente era idntico, com a diferena que o experimentador s olhava dentro da primeira cesta (a resposta apropriada deveria ser no posso afirmar). Um experimento similar foi realizado pelos autores, com a diferena que este envolvia os quantificadores. Eram utilizadas trs cestas, porm, de cores diferentes. O experimentador dizia
R. interam. Psicol. 40(3), 2006

A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS

que um colega tinha lhe pedido para guardar os braceletes. Como tal colega era preguioso, ele colocou todos os braceletes na cesta vermelha. E, mostrando um bracelete perguntava ao participante se este estava dentro da cesta vermelha (a resposta apropriada deveria ser sim). O problema correspondente referiase pergunta se o bracelete estava dentro da cesta azul (a resposta apropriada deveria ser no). O outro problema correspondente referia-se seguinte situao: o experimentador dizia que um colega tinha colocado alguns braceletes na cesta vermelha e alguns na cesta amarela e com alguns braceletes na mo perguntava se eles provinham da cesta vermelha, no provinham da cesta vermelha ou se nada podia afirmar a este respeito (a resposta apropriada deveria ser no posso afirmar). No total, foram construdos doze pares de problemas referentes ao contedo das cestas. Para todos os pares de problemas, a mdia de acerto foi de 82% a 100% tanto para o grupo de no escolarizados como para o de escolarizados. Os autores, ento, concluem que os ndios Tukanos realizam julgamentos apropriados sobre conjuno, disjuno, negao e suposio, sendo os esquemas utilizados rotineiramente, o que corrobora a hiptese da universalidade. Cordeiro (2003) realizou dois experimentos a fim de investigar a habilidade de Surdos usurios da Lngua de Sinais Brasileira (LIBRAS) de raciocinar logicamente, a partir de problemas da Lgica Mental, comparando seu desempenho com o de ouvintes. O experimento 1 foi composto por 24 problemas na forma de silogismo e o experimento 2 por 32 problemas na forma de narrativa. A faixa etria dos participantes foi de 12 a 20 anos, com nvel de escolarizao entre o Ensino Fundamental I e II das Escolas Pblicas e Centros Especiais brasileiras da cidade do Recife-PE. Importante destacar que os ouvintes foram emparelhados um a um com os surdos no que se refere faixa etria e nvel de escolarizao. Os resultados demonstraram que na tarefa de silogismo os surdos apresentaram um desempenho similar ao dos ouvintes (0,84 e 0,79, respectivamente). J na tarefa de narrativa, os ouvintes apresentaram uma mdia superior a dos surdos (1,59 e 1,31, respectivamente). A autora concluiu que apesar das diferenas de desempenho existentes entre os grupos na tarefa de narrativa, tanto os surdos quanto os ouvintes foram capazes de realizar inferncias lgicas. Ela argumenta que, possivelmente, esta diferena de desempenho decorreu de uma privao lingstica vivenciada pelos surdos nos primeiros anos de vida, uma vez que todos os participantes da pesquisa aprenderam LIBRAS com mais de cinco anos de idade, no permitindo as mesmas oportunidades de contato com narrativas que os ouvintes. A partir destas consideraes, podemos especular que o uso da narrativa enquanto instrumento metodolgico do experimento 2 foi um dos fatores, seno o nico, determinante para o desempenho pouco satisfatrio dos surdos. Segundo Cordeiro (2003), esta investigao confirma a predio da Teoria da Lgica Mental de que as pessoas so capazes de raciocinar logicamente em sua rotina, constituindo, portanto, um sistema natural de deduo (e no formal). Estes dados corroboram claramente o princpio mais bsico da Teoria da
R. interam. Psicol. 40(3), 2006

Lgica Mental, isto , as inferncias so realizadas a partir de esquemas e da aplicao do raciocnio de rotina direta (DRR) sobre estes esquemas, fazendo com que as pessoas cometam poucos erros ao resolverem problemas lgicos. Eles tambm oferecem suporte ao Modelo Predicativo da Teoria que tem como princpio que o raciocnio baseado na estrutura predicado/ argumento e nos quantificadores. Por fim, a autora afirma que os resultados evidenciam a presena dos quantificadores (cada, todo, algum e nenhum) e das partculas lgicas (e, ou, e no) na Lngua de Sinais Brasileira, possibilitando aos surdos utilizar os esquemas lgicos bsicos necessrios resoluo de problemas da Lgica Mental. Consideraes Finais As evidncias empricas utilizadas para dar suporte Teoria do Contrato Social e Teoria dos Esquemas Pragmticos tm, at o momento, se limitado a verses da tarefa de seleo de Wason. No entanto, segundo OBrien (1998a), tais verses so estruturalmente distintas da tarefa original de Seleo de Wason. Desta forma, para o autor, um equvoco fazer uso destas evidncias, uma vez que esta ltima trata muito mais de um problema de raciocnio metalgico do que de um problema de lgica, ou seja, tais verses so de natureza distinta da tarefa original. Por outro lado, a Teoria dos Modelos Mentais, segundo OBrien (1998a), no inclui variveis, o que pode levar a uma confuso representacional. Mesmo os autores propondo uma soluo para este problema, no o resolvem, pois uma prova rigorosa para comprovao de um problema requer uma linha complexa de raciocnio proposicional que utiliza variveis. Portanto, fica evidente a necessidade de alguns processos representacionais e inferenciais, alm daqueles oferecidos pelos Modelos Mentais. Neste sentido, a Teoria da Lgica mental prediz a existncia de esquemas utilizados automaticamente (imediatamente quando as premissas esto presentes simultaneamente na memria de trabalho), sem erros, sem esforo e universalmente (independentemente da cultura, escolaridade e desde o incio do desenvolvimento da infncia), sendo estes evidenciados nos vrios experimentos relatados. Referncias
Boole, G. (1854). An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. London, UK: Walton & Maberley Braine, M. D. S. (1998). Steps toward a mental logic predicate. In M. D. S. Braine & D. P. OBrien (Eds.), Mental logic (pp. 273331). New Jersey, USA: Mahwah. Braine, M. D. S., & OBrien, D. P. (1991). A theory of if: A lexical entry, reasoning program, and pragmatic principles. Psychology Review, 98, 182-203. Braine, M. D. S., & OBrien, D. P. (1998). A theory of if: A lexical entry, reasoning program, and pragmatic principles. In M. D. S. Braine, & D. P. OBrien (Eds.), Mental logic (pp. 199-244). New Jersey, USA: Mahwah.

265 ARTICULOS

ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN

266 ARTICULOS

Braine, M. D. S., Reiser, B. J., & Rumain, B. (1984). Some empirical justification for a theory of natural propositional logic. In G. H. Bower (Ed.), The psychology of learning and motivation: Advance in research and theory (Vol. 18, pp. 313-371). New York, USA: Academic Press. Braine, M. D. S., Reiser, B. J., & Rumain, B. (1998). Evidence for the theory: Predicting the difficult of propositional logical inference problems. In M. D. S. Braine & D. P. OBrien (Eds.), Mental logic (pp. 91-144). New Jersey, USA: Mahwah. Craik, F. I. M., & Lockart, R. S. (1972). Levels of processing: A framework for memory research. Journal of Verbal Learning and Verbal Behavior, 11, 671-684. Cheng, P. W., & Holyoak, K. J. (1985). Pragmatic and reasoning schemas. Cognitive Psychology, 17, 391-416. Cordeiro, A. A. A. (2003). Resoluo de problemas da lgica predicativa por surdos usurios da Lngua de Sinais Brasileira: um enfoque da Teoria da Lgica Mental. Tese de Doutorado no-publicada, Curso de Ps-Graduao em Psicologia Cognitiva, Universidade Federal de Pernambuco, Recife, Brasil. Cosmides, L. (1989). The logic of social exchange: Has natural selection shaped how human reasons? Studies with the Wason selection task. Cognition, 31, 187-276. Dias, M. G. B. B., & Brooks, P. J. (1997). A quantificao universal das crianas. Psicologia: Teoria e Pesquisa, 13, 103-111. Dias, M. G., & Harris, P. L. (1988). The effect of make-believe play on deductive reasoning. British Journal of Developmental Psychology, 6, 207-221. Dias, M. G., & Harris, P. L. (1990). The influence of the imagination on reasoning by young children. British Journal of Developmental Psychology, 8, 305-318. Dias, M. G. B. B., Sobral, A. B. C., & Carvalho, L. M. (2001). O desenvolvimento da Lgica Mental Predicativa entre crianas de diferentes nveis socioeconmicos. Estudos de Psicologia, 6, 167-175. Dias, M. G. B. B., & Roazzi, A. (2003). A teoria da lgica mental: e os estudos empricos em crianas e adultos. Psicologia em Estudo, 8, 45-55. Dias, M. G. B. B., Roazzi, A., OBrien, D. P., & Braine, M. D. (2002). A lgica da suposio e a compreenso do faz-de-conta por parte das crianas. Psicologia: Reflexo e Crtica, 15, 2734. Dias, M. G. B. B., Roazzi, A., OBrien, D. P., & Brooks, P. J. (2003). Se na perspectiva da Teoria da Lgica Mental: estudos empricos em crianas e em adultos. Psychologica, 32, 285299. Dias, M. G. B. B., Roazzi, A., OBrien, D. P., & Harris, P. L. (2005). Logical reasoning and fantasy contexts: Eliminating differences between children with and without experience in school. Interamerican Journal of Psychology, 39, 13-22. Dias, M., Roazzi, A., & Harris, P. L. (2005). Reasoning from unfamiliar premises: A study with unschooled adults. Psychological Science, 16, 50-55. Fodor, J. A. (1975). The language of thought. Cambridge, USA: Harvard University Press. Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Concept Script, a formal language of pure thought modelled upon that of arithmetic). Halle a. S.: Louis Nebert. Reprinted in Angelelli, I. (1964) Begriffsschrift und andere Aufstze. Hildesheim: Olms. (pp. ix-xvi, 1-88),7-106), Deutschland.

Frege, G. (1882). Uber den Zweck der Begriffsschrift, Vortrag, gehalten in der Sitzung vom 27, Januar 1882 der Jenaischen Gesellschaft fr Medizin und Naturwissenschaft, Jenaische Zeitschrift fr Naturwissenschaft, (On the Purpose of Concept Script (Lecture at the January 27, 1882 meeting of Jenas Society for Medicine and Natural Science), 16/Supplement (1882/1883) (= Sitzungsberichte der Jenaischen Gesellschaft fr Medizin und Naturwissenschaft fr das Jahr 1882), pp. 1-10. Reprinted in Angelelli, I. (1964) Begriffsschrift und andere Aufstze. Hildesheim: Olms. (pp. 97-106), Deutschland. Gouveia, E. L. (2001). Compreenso das noes de condicionalidade e temporalidade por adultos. Dissertao de Mestrado no publicada, Programa de Ps-graduao em Psicologia Cognitiva. Universidade Federal de Pernambuco, Recife, Brasil. Johnson-Laird, P. N. (1983). Mental models. Cambridge, USA: Harvard University Press. Johnson-Laird, P. N., & Byrne, R. M. J. (1991). Mental models or formal rules? Behavioral and Brain Sciences, 16, 368-380. Lea, R. B. (1995). Online evidence for elaborative logical inference in text. Journal of Experimental Psychology: Learning, Memory, and Cognition, 21, 1469-1482. Macnamara, J. (1972). The cognitive basis for language learning in infants. Psychological Review, 79, 1-3. Macnamara, J. (1986). A border dispute: The place of logic in psychology. Cambridge, USA: MIT Press. OBrien D. P. (1998a). Introduction: Some background to the mentallogical theory and the book. In M. D. S. Braine & D. P. OBrien (Eds.), Mental logic (pp. 1-6). New Jersey, USA: Mahwah. OBrien D. P. (1998b). Mental Logic and irrationality: We can put man on the moon so why cant we solve those logical reasoning problems? In M. D. S. Braine & D. P. OBrien (Eds.), Mental logic (pp. 23-44). New Jersey, USA: Mahwah. OBrien D. P., Braine, M. D. S., & Yang, Y. (1994). Propositional reasoning by mental models? Simple to refute in principle and in practice. Psychological Review, 101, 711-724. OBrien D. P., Dias, M. G., Roazzi A., & Braine, M. D. S. (1998). Conditional reasoning: The logic of supposition and childrens understanding of pretense. In M. D. S. Braine & D. P. OBrien (Eds.), Mental logic (pp. 447-457). New Jersey, USA: Mahwah. OBrien D. P., Noveck, I. A., Davidson, G. M., Fisch, S. M., Lea, R. B., & Freitag, J. (1990). Sources of difficulty in deductive reasoning: the THOG task. Quarterly Journal of Experimental Psychology, 42A, 329-351. OBrien, D. P., Roazzi, A., Altheas, R., Dias, M. G., Brenda, M. C., & Brooks, P. J. (2003). The language of thought and the existence of mental logic: Experimental investigation in the laboratory and the field. Psychologica, 32, 263-284. OBrien, D. P., Roazzi, A., Dias, M. G., & Soskova, J. (no prelo). Evidence for the online use of predicative logic inferences in reasoning and reading. Interamerican Journal of Psychology. Rips, L. J. (1994). The psychology of proof: Deductive reasoning in human thinking. Cambridge, USA: MIT Press. Rodrigues, A. A., Dias, M. G. B. B., & Roazzi, A. (2002). Raciocnio lgico na compreenso de texto. Estudos de Psicologia, 7, 117132. Wason, P. C. (1968). Reasoning about a rule. Quarterly Journal of Experimental Psychology, 20, 273-281. Received 26/1/2005 Accepted 20/09/2006

Ana Augusta de Andrade Cordeiro. Doutora, Prof do Departamento de Cirurgia, Brasil. rea de interesse: Linguagem e Raciocnio. Maria das Graas Bompastor Borges Dias. Doutora, Prof da Ps-Graduao em Psicologia Cognitiva da UFPE, Brasil. rea de interesse: Psicologia do Desenvolvimento Scio-cognitivo. Antonio Roazzi. Doutor, Professor da Ps-Graduao em Psicologia Cognitiva da UFPE, Brasil. rea de interesse: Psicologia do Desenvolvimento Scio-cognitivo. David P. OBrien. Doutor, Professor do Graduate Center (CUNY), USA. rea de interesse: Psicologia Cognitiva.
R. interam. Psicol. 40(3), 2006