LGICA MENTAL

135

RACIOCNIO DEDUTIVO E LGICA MENTAL DEDUCTIVE REASONING AND MENTAL LOGIC

Edilaine Lins GOUVEIA1 Antonio ROAZZI2 David P. OBRIEN3 Karina MOUTINHO4 Maria da Graa B. B. DIAS5

RESUMO
Nos ltimos anos, tem havido muito debate acerca da existncia ou no de uma lgica mental. Essa idia tem sofrido inmeros ataques, tanto por estudiosos que acreditam que todo raciocnio decorre de modelos mentais (e.g., Johnson-Laird & Byrne, 1993), como por aqueles que defendem que o raciocnio humano dependente do contedo (Holyoak & Cheng, 1995). Essa controvrsia invadiu revistas internacionais como Psychological Review, Behavioral and Brain Sciences. No entanto, os proponentes da Teoria da Lgica Mental TLM crem que poucos cientistas cognitivos realmente compreendem esta teoria (OBrien, 1998a). Diante desse quadro, o presente artigo se prope a trazer essa discusso para o cenrio nacional. Sero apresentadas sumariamente algumas teorias sobre o raciocnio dedutivo. A seguir, as principais crticas existncia de uma lgica mental; e a defesa dos que proclamam a existncia desse tipo de lgica. Por fim, a TLM ser discutida mais detalhadamente. Palavras-chave: Raciocnio lgico, Teoria da Lgica Mental, Modelos Mentais, Teoria dos Esquemas Pragmticos.

ABSTRACT
Nowadays, it has been having a lot of debate concerning the existence of a mental logic. This idea has been suffering countless attacks, as much for
(1)

(2) (3) (4) (5)

Universidade Salgado de Oliveira Endereo para correspondncia: R: Dr. Gustavo Pinto, 535 Estncia Recife-Pernambuco Cep:50781-740 Recife/PE - E-mail: edilainegouveia@ig.com.br Universidade Federal de Pernambuco - E-mail: roazzi@ufpe.br City University of New York. E-mail: dobrien@newton.baruch.eunv.edu Universidade Salgado de Oliveira. Universidade Federal de Pernambuco. E-mail: mdias@ufpe.br

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

136

E.L. GOUVEIA et al.

specialists that believe that whole reasoning elapses of mental models (e.g., Johnson-Laird & Byrne, 1993), as for those who defends that the human reasoning is content dependent (Holyoak & Cheng, 1995). That controversy invaded international magazines like Psychological Review. However, the authors of the Theory of the Mental Logic - TLM - believe that few cognitive scientists really understand this theory (OBrien, 1998a). In this context, the present article intends to bring this discussion for the national scenery. Some theories about the deductive reasoning will be presented, as well as the main critics to the existence of a mental logic and the defense of those who advocates in favor of the existence of this logic. Finally, TLM will be discussed. Key words: Logical reasoning, Theory of the Mental Logic, Mental Models, Theory of Pragmatic Schemas.

RACIOCNIO DEDUTIVO: DIVERSIDADE DE ABORDAGENS TERICAS Vrios cientistas tm se dedicado ao estudo do raciocnio dedutivo e elaborado diferentes teorias que tentam explic-lo. De um lado, esto os que defendem a existncia de uma lgica mental inerente ao raciocnio humano (e.g., Braine, 1978; OBrien, 1995; OBrien, Braine & Yang, 1994; Braine & OBrien, 1998a; 1998b). Eles argumentam que a lgica mental desempenha papel fundamental na integrao de informaes e realizao de inferncias, pois as pessoas esto freqentemente em contato com informaes advindas de diferentes fontes e necessitam de uma lgica mental para integrar essas informaes, conect-las com informaes anteriormente obtidas e realizar inferncias que vo alm dessas informaes (Braine & OBrien, 1998a). Para esses autores, a lgica mental se refere a como as pessoas combinam as proposies e raciocinam a partir das proposies compostas. Pois, ao passo que cada proposio pode ser diretamente observada, formar uma composio de proposies requer uma inferncia. Assim, por exemplo, pode-se observar que o lpis caiu no cho e que a ponta do lpis quebrou. E, a partir disso, concluir que se o lpis cai no cho, ento sua ponta quebra. Entretanto, a relao condicional no pode ser diretamente observada. Essas conexes so inferidas. Os procedimentos de inferncia tm

que preservar os valores-verdade das proposies. Assim, a lgica mental trata da realizao de inferncias proposicionais. Para os proponentes da TLM, o raciocnio cotidiano utiliza procedimentos perfeitos de inferncias por meio dos quais, partindo-se de proposies supostamente verdadeiras, inferem-se proposies que herdam este valor-verdade. Ou seja, inerente ao raciocnio humano, existe um sistema de deduo natural. De outro lado, esto os que advogam contra a existncia desse tipo de lgica. JohnsonLaird, Byrne e Shaeken (1992), por exemplo, afirmam que as pessoas no usam esquemas de inferncia. Em vez disso, elas constroem representaes internas, denominadas modelos mentais, e realizam as inferncias a partir desses modelos. Para esses autores, o raciocnio dedutivo depende de trs processos principais: construir um conjunto de modelos mentais a partir da informao inicial para o raciocnio conjuntamente com qualquer conhecimento prvio relevante; tentar formular uma concluso provisria a partir de um modelo mental; e, por fim, verificar a validade da concluso, certificandose de que nenhum modelo alternativo, partindo das mesmas premissas, torna a concluso provisria falsa. Se no houver nenhum modelo mental que a falsifique, a concluso considerada vlida. O raciocnio consiste, assim, em buscar modelos mentais alternativos que poderiam falsificar a concluso que se est analisando. Ou seja, baseia-se em processos semnticos, e no sintticos.

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

LGICA MENTAL

137

Para Cheng e Holyoak (1985), os processos subjacentes ao raciocnio dedutivo no so sintticos, isto , baseados em regras formais, nem semnticos por meio da manipulao de modelos mentais. Eles argumentam que as pessoas so capazes de raciocinar corretamente a respeito de assuntos concretos, realsticos ou temticos por meio de estruturas de conhecimento abstratas aprendidas indutivamente, tais como permisso e obrigao. Essas estruturas, denominadas esquemas de raciocnio pragmticos, consistem em conjuntos de regras generalizadas e dependentes do contexto que, diferentemente de regras puramente sintticas, so definidas em termos de classes de objetivos (tais como realizar uma ao desejada) e relaes entre esses objetivos (cumprir um pr-requisito e poder realizar a ao desejada). Eles defendem que as pessoas, ao raciocinar, utilizam exclusivamente esquemas de raciocnio pragmticos. Percebe-se, assim, que os estudiosos que tentam compreender e explicar esse tipo de raciocnio no conseguem chegar a um consenso sobre seus processos subjacentes. Esta uma rea de estudo em que ainda h muito a ser desvendado. A controvrsia com relao existncia ou no de uma lgica mental tem, nos ltimos 10 anos, sido tema de considerveis debates entre esses cientistas, invadindo revistas como Psychological Review, Behavioral and Brain Sciences, Cognition e o Journal of Experimental Psychology: General. No entanto, os proponentes da Teoria da Lgica Mental TLM crem que poucos cientistas cognitivos realmente compreendem o que esta teoria e quais as suas afirmaes (OBrien, 1998a). As principais questes inseridas nesse debate sero apresentadas a seguir.

tentar resolver problemas lgicos. Dentre estes problemas, a tarefa de seleo de Wason (Wason, 1966; Wason & Johnson-Laird, 1972) tem sido a mais estudada. Nesta tarefa, apresenta-se ao sujeito quatro cartas. Cada carta possui um nmero (par ou mpar) em um lado e uma letra (vogal ou consonante) no outro. O objetivo identificar as cartas que (e apenas as que) precisam ser viradas para determinar a veracidade da seguinte regra ou hiptese: Se existir um nmero mpar em um lado de um carto, ento haver uma vogal do outro lado. Em uma das verses originais da tarefa, as cartas apresentadas ao sujeito so 1, 2, A e B. O sujeito pode testar sua hiptese virando somente as cartas necessrias para determinar, de forma conclusiva, se a hiptese verdadeira ou falsa para este conjunto de cartas. A regra apresentada uma das formulaes lingsticas que correspondem relao lgica Se p ento q (regra condicional ou de implicao). As quatros cartas so exemplos que representam p, no p, q e no q (respectivamente, 1, 2, A e B nesta forma de apresentao). Esta tarefa, na forma abstrata acima, de difcil resoluo: s 4% de estudantes universitrios selecionam a resposta correta (Wason & Johnson-Laird, 1972). A maioria dos estudantes escolhe virar s a carta 1 ou as cartas 1 e A. Provavelmente eles escolhem a carta 1 porque, encontrando uma letra A do outro lado, confirmaria a hiptese e escolhem a carta A com a idia de que encontrar o nmero 1 do outro lado tambm iria confirmar a hiptese. Neste sentido, estes sujeitos escolhem somente as cartas capazes de verificar a regra. A resposta correta, entretanto, virar s as cartas 1 e B, as nicas cartas capazes de demonstrar a regra como falsa. Pois, diante da hiptese: Se uma carta possui um nmero mpar de um lado, ento do outro lado tem uma vogal, uma carta com um nmero mpar e uma vogal , obviamente, consistente com a hiptese. Por outro lado, uma carta com um nmero par consistente com a hiptese independentemente de ter uma vogal ou uma consoante do outro lado, pois a hiptese

ARGUMENTOS CONTRRIOS EXISTNCIA DE UMA LGICA MENTAL Os tericos contrrios existncia de uma lgica mental fundamentam seus argumentos no fato de que a maioria das pessoas falha ao

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

138

E.L. GOUVEIA et al.

no faz nenhuma previso para esta eventualidade. Assim, s uma carta com um nmero mpar e uma consoante no consistente com a hiptese. Conseqentemente, preciso virar a carta com o nmero mpar (p) para ver se tem uma consoante do outro lado e, ao mesmo tempo, virar a carta com a consoante (no q) para verificar se tem um nmero mpar do outro lado. No necessrio se preocupar com as outras duas cartas 2 (no p) e A (q) - porque nenhuma delas capaz de demonstrar a regra como falsa conforme explicado anteriormente. Poder-se-ia pensar que, fornecendo essas explicaes sobre a resoluo correta da tarefa, o desempenho dos sujeitos melhoraria. Entretanto, Wason e Johnson-Laird (1972) constataram que a dificuldade em fornecer a resposta correta insensvel s explicaes, pois, aps entrevistas em que as cartas foram discutidas, os sujeitos permaneceram com as mesmas dificuldades. Em suma, a tarefa de seleo de Wason tem sido apresentada como evidncia emprica bastante conspcua contra a existncia de uma lgica mental visto que, alm de a maioria das pessoas no conseguir resolv-la corretamente, explicaes detalhadas acerca de sua resoluo praticamente no alteram o desempenho dos sujeitos. Outro forte argumento dos tericos contrrios existncia da lgica mental que, paralelamente ao fracasso na resoluo da tarefa abstrata de Wason, pesquisas tm demonstrado que as pessoas so capazes de responder de forma logicamente apropriada a verses desta tarefa que so apresentadas com contedos realsticos. Um exemplo a verso da tarefa introduzida por Griggs e Cox (1982) denominada Drinking-Age Problem. Nesta tarefa, diz-se ao participante para imaginar que um policial aplicando a seguinte lei: Se a pessoa est tomando bebida alcolica, ento ela tem que ter pelo menos 21 anos de idade. Quatro cartas so apresentadas, cada uma delas com a idade da pessoa de um lado e a bebida do outro. Os

sujeitos so instrudos a virar aquelas cartas, e apenas aquelas, que poderiam levar a descobrir o violador da regra. Muitas pessoas selecionam as cartas logicamente apropriadas a da bebida alcolica e a da pessoa com menos de 21 anos (OBrien, 1998b). O sucesso na resoluo destes tipos de verses da tarefa de seleo tem sido freqentemente apresentado como uma evidncia a favor das teorias contedo-dependentes. Alm de serem capazes de raciocinar corretamente diante de verses com contedo realsticos, Cheng e Holyoak (1985) argumentam que, de acordo com a Teoria dos Esquemas Pragmticos, as pessoas raciocinam a partir de estruturas de conhecimento abstratas, ento elas devem ser capazes de resolver problemas de seleo abstratos desde que, em sua soluo, haja elicitao dessas estruturas, isto , que o problema apresente uma regra pragmtica. Eles elaboraram um experimento (Experimento 2, apresentado em 1985) constando de duas verses do problema de seleo desprovidas de contedos realsticos. Na verso experimental, havia uma regra pragmtica de permisso. A instruo apresentada era a seguinte: Suponha que voc uma autoridade verificando se as pessoas esto obedecendo ou no a determinados regulamentos. Os regulamentos possuem a seguinte forma: Se uma pessoa executa a ao A, ento se deve primeiramente satisfazer a precondio P. Em outras palavras, para ser permitido A, deve-se primeiramente ter satisfeito o pr-requisito P. Os cartes abaixo contm informaes acerca de quatro pessoas. Um lado do carto indica se uma pessoa tem executado ou no a ao A, o outro lado indica se este mesmo indivduo tem satisfeito a precondio P. Para verificar se um determinado regulamento tem sido obedecido, quais cartes abaixo voc viraria? Vire somente os cartes que voc precisa para verificar, para ter certeza.

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

LGICA MENTAL

139

Os quatro cartes mostram executa ao A, no tem executado a ao A, satisfaz a precondio P, no satisfaz a precondio P6 . Para avaliar o papel do esquema de permisso em facilitar respostas corretas, os sujeitos eram tambm examinados em uma verso no-pragmtica do problema de seleo problema de controle - apresentado da seguinte forma: Abaixo h quatro cartes. Cada carto possui uma letra de um lado e um nmero do outro lado. Sua tarefa decidir qual dos cartes voc precisa virar para verificar se uma certa regra est sendo seguida ou no. A regra : Se um carto possui um A em um lado, ento deve ter um 4 do outro lado. Vire apenas aqueles cartes que voc precisa para ter certeza. Os cartes mostram a letra A, B (i.e., no A), 4 e 7 (i.e., no 4)7. Este experimento se tornou a evidncia mais persuasiva a favor da teoria proposta por Cheng e Holyoak pois, conforme eles prognosticaram, o problema baseado em uma afirmao abstrata de uma regra de permisso produziu substancialmente melhores nveis de desempenhos do que um problema comparvel que no apresentou este tipo de regra. Esses resultados sugerem que apenas a presena da regra pragmtica sem qualquer contedo familiar seria suficiente para viabilizar as escolhas corretas.

verses desses problemas com contedo realstico, bem como verses abstratas que apresentam regra pragmtica, so resolvidas corretamente pela maioria das pessoas. Parece, assim, que o que viabiliza o raciocnio lgico correto a presena do contedo realstico e/ou da regra pragmtica. Entretanto, faz-se necessrio retornar s evidncias empricas anteriormente apresentadas e analis-las mais detalhadamente antes de se aceitar essa afirmao. Com relao ao experimento de Cheng e Holyoak, importante ressaltar que, do ponto de vista metodolgico, os problemas deveriam diferir entre si apenas com relao presena/ausncia da regra pragmtica de permisso. Entretanto, observa-se a existncia de vrias diferenas entre os dois problemas: (1) Presena de negativas explcitas no problema experimental (no executa ao A e no satisfaz a precondio P) e de negativas implcitas no problema controle - B em B (i.e., no A) e o 7 em 7 (i.e. no 4); (2) Presena de um contexto de verificao (i.e., Suponha que voc uma autoridade verificando se as pessoas esto obedecendo ou no a determinados regulamentos) e de uma afirmao que clarificava a regra no problema experimental (Em outras palavras, para ser permitido A, deve-se primeiramente ter satisfeito o pr-requisito P) que no estavam presentes no problema de controle; (3) Nos problemas originais em ingls, observa-se maior nmero de palavras no problema experimental, 121, do que no problema de controle, 81; (4) As instrues do problema experimental incluam uma questo a mais - Para verificar se um determinado regulamento tem sido obedecido, quais cartes abaixo voc viraria?- do que a apresentada no problema controle; (5) A ordem na qual as informaes foram apresentadas variou entre os problemas: no problema experimental, a regra foi apresentada antes que os contedos dos cartes fossem descritos e no problema controle, os cartes eram descritos antes das instrues e da regra.

ANLISE MAIS DETALHADA DESSES ARGUMENTOS Em conjunto, os experimentos citados anteriormente demonstram que a maioria das pessoas incapaz de resolver corretamente verses abstratas de problemas lgicos e trein-las na resoluo correta dos problemas praticamente no afeta seu desempenho, mas
(6) (7)

Traduo feita pelos autores do artigo de Cheng e Holyoak, 1985, p. 403. Traduo feita pelos autores do artigo de Cheng e Holyoak, 1985, p. 403.

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

140

E.L. GOUVEIA et al.

Desta forma, verifica-se que o problema experimental tem caractersticas mais ricas do que o problema controle e esta diferena de caractersticas confunde a varivel de interesse a presena da regra pragmtica. Faz-se necessrio, ento, investigar quais variveis, de fato, esto influenciando o desempenho dos sujeitos. Vrios estudos tm se dedicado a esta tarefa. Jackson e Griggs (1990), por exemplo, verificaram que removendo as negativas explcitas do problema experimental, o desempenho dos sujeitos cai bastante. Em outro experimento (Experimento 3), eles constataram que o uso de negativas explcitas no problema controle, por outro lado, no resultava em respostas corretas como ocorria com o problema experimental. No Experimento 4, esses autores removeram o contexto de verificao do problema experimental e, conservando as negativas explcitas, obtiveram baixa percentagem de respostas corretas. Percebe-se, ento, que as outras variveis existentes entre os dois problemas apresentados por Cheng e Holyoak (1985) esto interferindo no desempenho dos sujeitos. Assim, no se pode atribuir o bom desempenho no problema que apresenta a regra de permisso abstrata apenas elicitao do esquema pragmtico, como pretendido por esses autores. Ainda neste sentido, Noveck e OBrien (citados em OBrien, 1998b) encontraram verses abstratas no-pragmticas que, incluindo algumas das caractersticas cruciais do problema contendo a regra abstrata de permisso, so resolvidas por muitas pessoas. Parece, ento, que a resoluo deste tipo de problema no tem nada a ver com a natureza permissionria da regra, mas sim com essas outras caractersticas extrnsecas regra. Diante dessas evidncias, a afirmao de que a resoluo de problemas envolvendo a presena da regra pragmtica decorre da presena desta regra e da conseqente elicitao do esquema pragmtico no se sustenta. Voltando-se agora para a anlise das verses contedo-realistas, importante destacar que, para afirmar que o melhor desempenho

nessas verses se deve presena deste tipo de contedo, seria necessrio que esta fosse a nica varivel existente entre os dois tipos de verses da tarefa de seleo. Entretanto, OBrien (1998b) ressalta que h diferena estrutural entre as verses abstratas e as verses contedo-realistas. A tarefa abstrata de Wason metalgica, i.e., solicita que se raciocine sobre a regra. As verses com contedos realistas, por outro lado, so tarefas lgicas, nas quais se raciocina a partir da regra: a regra supostamente verdadeira e pode ser diretamente usada para se chegar concluso. Deste forma, no faz sentido afirmar que a presena do contedo realstico viabiliza a ocorrncia do raciocnio lgico correto, uma vez que o bom desempenho das pessoas nestas verses parece ser devido maior facilidade estrutural desses problemas. As pessoas dificilmente resolvem a tarefa de seleo de Wason de forma correta. Esse fato no contestado pelos defensores da existncia de uma lgica mental. Entretanto, para eles, toda essa polmica em torno da tarefa de Wason e suas verses no capaz de afetar a teoria que propem, tendo em vista que a resoluo desta tarefa pela maioria das pessoas est fora das predies de sua teoria. A este respeito, OBrien (1995) argumenta que as pessoas raciocinam logicamente quando as demandas da tarefa esto inseridas no escopo das habilidades bsicas da lgica mental. Quando as demandas excedem essas habilidades, como o caso da tarefa de Wason, as pessoas tm que contar com outros processos e podem cometer erros e dar respostas que no mostram nenhuma evidncia de qualquer lgica mental. Portanto, ele considera que a no resoluo dessa tarefa no capaz de atacar a teoria que prope, tendo em vista que sua resoluo no proclamada por essa teoria. Em suma, as crticas feitas TLM no se sustentam quer seja por falhas metodolgicas dos experimentos que servem de alicerce para as concluses proclamadas pelos oponentes desta teoria, quer seja por se basearem em

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

LGICA MENTAL

141

compreenses errneas acerca do que a teoria, que ser apresentada a seguir, afirma.

que esto processando (OBrien, Braine & Yang, 1994). A TLM possui trs partes: os esquemas de inferncia, o programa de raciocnio e a pragmtica. Os esquemas de inferncia determinam qual tipo de inferncia pode ser realizado a partir de tipos particulares de premissas. Eles especificam como as partculas lgicas - e, ou, se - e a negao podem ser usadas no raciocnio e definem o repertrio de etapas dedutivas elementares disponveis para os sujeitos no raciocnio proposicional (para mais detalhes sobre o repertrio de esquemas de inferncia e o programa de raciocnio, consultar Braine e OBrien,1998c). O programa de raciocnio, por sua vez, um programa de deduo natural que modela como o sujeito constri uma srie de raciocnio usando os esquemas. A pessoa no tem acesso introspectivo direto a seus esquemas. O uso dos esquemas controlado pelo programa de raciocnio, que descreve como o esquema que ser aplicado em determinado ponto da srie de raciocnio selecionado e inclui rotinas de raciocnio direto, que so universais, e estratgias de raciocnio mais sofisticadas. A parte de rotina - rotinas de raciocnio direto (RRD) universal e consiste em um programa simples que, diante das premissas, identifica o esquema que pode ser aplicado e o utiliza. O resultado desta aplicao avaliado e, se necessrio, adicionado ao conjunto de premissas para nova aplicao de esquema. As RRD so aplicadas rotineiramente e sem esforo tanto na compreenso de textos e de discursos (Lea e cols, citados em Lea, 1998) quanto nas tarefas de raciocnio (e.g., Braine, Reiser & Rumain, 1998; Braine, OBrien e cols, 1998). Diversos estudos tm demonstrado que as inferncias vinculadas s RRD so realizadas sem que as pessoas se dem conta. Lea e cols (citados em Lea, 1998), por exemplo, verificaram que esse tipo de inferncia realizado automaticamente na compreenso de textos. Eles solicitaram aos sujeitos que lessem um texto e depois indicassem dentre trs frases uma

TEORIA DA LGICA MENTAL (TLM) Essa teoria parte do pressuposto de que o raciocnio lgico proposicional, pois a lgica se preocupa com a veracidade das concluses. Diferentemente das proposies que tm valor-verdade definido, i.e., so verdadeiras ou falsas, as sentenas no tm definio de valorverdade. Ora elas podem ser verdadeiras ora falsas como, por exemplo, a sentena Eu sou pernambucana ser verdadeira quando dita por uma mulher nascida em Pernambuco, mas no o ser quando dita por qualquer homem ou por uma mulher no nascida neste Estado. A sentena no pode ser julgada como verdadeira ou falsa at que se saiba em que condies ela foi produzida. Assim, as sentenas esto fora do escopo da TLM, pois, para a realizao de inferncias lgicas, fundamental que o sujeito acredite que as premissas so verdadeiras (proposies verdadeiras), ou seja, que ele as trate como suposies (OBrien, 1998b). Dentre os diversos tipos de inferncia que as pessoas fazem ao raciocinar, esto as inferncias lgicas, que correspondem ao interesse central da TLM. No entanto, esta teoria no afirma a exclusividade deste tipo de inferncias. Ao contrrio, defende que diversos tipos de inferncias coexistem pacificamente no raciocnio humano, no qual os resultados de um tipo de inferncia podem servir de input para outro tipo. A TLM se prope a descrever as inferncias lgicas que so realizadas rotineiramente em uma variedade de atividades, incluindo raciocnio, conversas e compreenso de textos (e.g. Braine, 1978; Braine, Reiser, & Rumain, 1998; Braine, OBrien, e cols, 1998; Lea, 1998). Essas inferncias dependem de uma lgica mental e so realizadas sempre que as premissas esto presentes na memria de trabalho e as pessoas esto motivadas a compreender as informaes

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

142

E.L. GOUVEIA et al.

contendo informaes explicitamente apresentadas no texto, outra com inferncia derivada das RRD e a terceira com inferncias previstas pela lgica formal, mas no previstas pela TLM aquelas que estavam presentes no texto. Verificaram que tanto as informaes que foram explicitamente apresentadas quanto as inferncias decorrentes das RRD foram identificadas pelas pessoas como presentes no texto. Ou seja, os sujeitos realizavam as inferncias de forma to automtica e sem esforo que sequer se davam conta de estarem inferindo. As estratgias mais sofisticadas, por sua vez, exigem alguma reflexo ou intuio para serem adquiridas. Logo, no esto universalmente disponveis. Essas estratgias apenas entram em operao quando as RRD falham, i.e., no conseguem determinar a resposta (OBrien, Braine & Yang, 1994). As inferncias que requerem estratgias de raciocnio indireto sero menos freqentemente realizadas do que aquelas vinculadas s RRD. A terceira parte da TLM se refere s influncias pragmticas sobre o raciocnio. Esta teoria prope que o significado bsico de cada partcula lgica est nas inferncias que so autorizadas pelos seus esquemas. No entanto, os esquemas de inferncia agem sobre as representaes semnticas, que so o produto dos processos de compreenso. Vrios fatores afetam a forma como a tarefa compreendida/interpretada pelas pessoas e como as proposies so construdas por elas, tais como o conhecimento de mundo, as crenas pessoais, o tipo de contedo apresentado, as instrues fornecidas e at mesmo a ordem de apresentao das tarefas. Assim, as informaes que servem de base para a realizao de inferncias so afetadas por todos os processos pragmticos de compreenso. A este respeito, Braine e OBrien (1998b) apresentam trs princpios gerais para a explicao da influncia dos fatores pragmticos na compreenso. O primeiro se refere influncia do contedo na forma como as proposies so construdas. Tem sido amplamente reconhecido

na literatura (e.g., Byrne, Espino & Santamaria, 1999; Vadeboncoeur & Markovits, 1999; Markovits, 1988; Dias, 1996) que as pessoas se baseiam em seu conhecimento prvio para dar sentido situao atual. Assim, interpretaes que lhes parecem plausveis, coerentes com sua viso de mundo, so mais provavelmente construdas do que outras que paream pouco plausveis. Desta forma, as pessoas podem, diante de tarefas lgicas, estar se baseando em premissas diferentes daquelas propostas pelo experimentador, se elas lhes parecerem pouco plausveis. O segundo princpio se refere lgica da conversao formulada por Grice (citado em Guimares, 1995). De acordo com este autor, h uma diferenciao entre o significado literal de um enunciado e o sentido intencional do falante ao enunci-lo. Ele argumenta que o sentido do que o interlocutor diz deve ser interpretado levando em conta tanto o sentido literal do que foi dito, ou seja, o que o enunciado significa independentemente de sua situao de uso, quanto a situao em que dito. O modo como a situao opera est relacionado com o que Grice chamou de implicaes conversacionais ... conversational implicatures (which) are inferences that arise on the basis of some general rules or maxims of conversational behavior... (Levinson, 1983, p. 10) Guimares (1995) afirma que, segundo Grice, a conversao regida pelo Princpio da Cooperao que informa ao falante para fazer sua contribuio conversacional tal como requerida, no momento em que ocorre, pelo propsito ou pela direo do intercmbio conversacional em que ele est engajado. No interior desse princpio, funciona um conjunto de regras denominadas de Mximas Conversacionais, que so as seguintes: faa com que sua contribuio seja to informativa quanto requerida para o propsito corrente da conversao, i.e. faa com que ela no seja nem menos nem mais informativa do que requerida; no diga o que acredita ser falso; seja relevante e claro.

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

LGICA MENTAL

143

Assim, tendo em vista que a conversao regida pelo Princpio de Cooperao e pelas Mximas, o ouvinte procura dar um sentido ao enunciado que esteja de acordo com essas implicaes conversacionais. Para isso, as pessoas acreditam que seus interlocutores esto sendo o mais informativos, verdadeiros, relevantes e claros que conseguem. Esta crena interfere na compreenso, pois permite que muitas inferncias desnecessrias sejam feitas. possvel que o falante no tenha certeza se os componentes da proposio so verdadeiros ou no. Essa incerteza desconsiderada pelo ouvinte. Diante das tarefas lgicas, as pessoas podem assumir as informaes disponibilizadas no problema como verdadeiras e relevantes para a resoluo da tarefa, sem se preocupar em verific-las e, por conseguinte, partindo de premissas incorretas chegar a concluses erradas. Embora o significado das partculas lgicas seja fornecido pelos seus esquemas de inferncia bsicos, ele pode ser ampliado pelas inferncias convidadas, que o terceiro princpio. Geis e Zwicky (1971) verificaram que, em muitos casos, existe uma associao quase regular entre a forma lgica da sentena e a forma da inferncia que ela convida. Eles identificaram que, apesar de as sentenas com o ou poderem indicar tanto incluso quanto excluso, a interpretao geralmente favorecida a exclusiva, como no seguinte exemplo: Andr vai tocar violo ou jogar capoeira. No entanto, quando a clusula antecedente um condicional, o ou normalmente compreendido como inclusivo; como se pode observar a seguir: (a) Se Andr tocar violo ou jogar capoeira, eu vou recitar um poema; (b) Se Andr tocar violo e jogar capoeira, eu vou recitar um poema; (c) Se Andr tocar violo ou jogar capoeira, eu vou recitar um poema. Mas, se ele fizer os dois, eu no farei nada, onde (a) sugere (b), mas no implica essa

interpretao, pois (c) tambm aceitvel. Assim, como princpio geral, eles propem que a sentena na forma (X ou Y) Z convida inferncia (X e Y) Z. Esses autores tambm verificaram que sentenas que expressam seqncia temporal convidam inferncia de que a primeira situao a causa ou razo da segunda situao. Observe o seguinte exemplo: Marta observou as crianas brincando e sorriu com prazer. Geralmente se infere que observar as crianas brincando foi o motivo que fez Marta sorrir com prazer. No entanto, entre essas sentenas h apenas uma relao de sugesto, e no de implicao. Em suma, embora a TLM se volte exclusivamente para as inferncias lgicas, ela no s admite a coexistncia pacfica entre os diversos tipos de inferncia, como tambm destaca a influncia dos fatores pragmticos sobre o raciocnio. Sua predio mais bsica que as pessoas realizam rotineiramente as inferncias que dependem da aplicao das RRD; no entanto, as inferncias que requerem estratgias mais complexas, que vo alm das RRD, so realizadas em menor freqncia. Com relao ao que propem as teorias concorrentes, importante enfatizar que, apesar da TLM proclamar a existncia de uma lgica mental universal inerente ao raciocnio humano, esta teoria destaca que a aplicao dos esquemas de inferncia limitada por princpios pragmticos. Estes so usados para interpretar o significado do termo lgico no contexto em que est inserido. Desta forma, a teoria no desconsidera a influncia do contedo sobre o raciocnio; mas acredita que o raciocnio humano no apenas dependente do contedo, como afirmam Cheng e Holyoak (1985). Os proponentes da TLM tambm no discordam de que as pessoas, ao raciocinar, elaboram modelos mentais. Entretanto, acreditam que no se pode explicar todo o raciocnio dedutivo recorrendo apenas construo de

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

144

E.L. GOUVEIA et al.

modelos mentais, como afirma Johnson-Laird (1980). Percebe-se, assim, que, apesar de ser possvel detectar pontos convergentes entre estes modelos tericos, as divergncias ainda permanecem e precisam ser cada vez mais exploradas em futuras investigaes. Assim, os estudiosos que tentam compreender e explicar o raciocnio dedutivo tm um longo caminho a percorrer, pois esta uma rea em que ainda h muito a ser desvendado.

(Eds), Mental logic (pp. 145 - 198). New Jersey: Lawrence Erlbaum Associates, Publishers. BRAINE, M. D. S.; Reiser, B.J. & Rumain, B. (1998). Evidence for the Theory: Predicting the difficulty of propositional logic inference problems. Em M. D. S. Braine & D. P. OBrien (Eds), Mental logic (pp. 91-144). New Jersey: Lawrence Erlbaum Associates, Publishers. CHENG, P. W. & Holyoak, K. J. (1985). Pragmatic reasoning schemas. Cognitive Psychology, 17, 391-416. DIAS, M. G. B. B. (1996). O desenvolvimento do raciocnio dedutivo. Em M. G. B. B. Dias & A. G. Spinillo (Orgs.), Tpicos em psicologia cognitiva (pp.11-44). Recife: Editora Universitria da UFPE. GEIS, M. L. & Zwicky, A. M. (1971). On invited inferences. Linguistic Inquiry, 2, 561-566. GRIGGS, R. A & Cox, J. R. (1982). The elusive thematic-materials effect in Wasons selection task. British Journal of Psychology, 73, 407-420. GUIMARES, E. (1995). Os limites do sentido: um estudo histrico e enunciativo da linguagem. Campinas: Pontes. HOLYOAK, K. J. & Cheng, P. W. (1995). Pragmatic reasoning from multiple points of view: A response. Thinking and Reasoning, 1, 373-388. JACKSON, S. L. & Griggs, R. A. (1990). The elusive pragmatic reasoning schema effect. Quarterly Journal of Experimental Psychology, 42, 353-373. JONHSON-LAIRD, P. N. (1980). Mental models in cognitive science. Cognitive Science, 4, 71-115. JONHSON-LAIRD, P. N. & Byrne, R. M. J. (1993). Mental models or formal rules? Behavioural and Brain Sciences, 16, 368-380. JONHSON-LAIRD, P. N., Byrne, R. M. J. & Shaeken, W. (1992). Propositional reasoning by model. Psychological Review, 99, 418-439.

REFERNCIAS BIBLIOGRFICAS BYRNE, R. M. J., Espino, O. & Santamaria, C. (1999). Counterexamples and the suppression of inferences. Journal of Memory and Language, 40, 347-373. BRAINE, M. D. S. (1978).On the relation between the natural logic of reasoning and the standard logic. Psychological Review, 85, 1-21. BRAINE, M. D. S. & OBrien, D. P. (1998a). How to investigate mental logic and the syntax of thought. Em M. D. S. Braine & D. P. OBrien (Eds), Mental logic (pp.45-61). New Jersey: Lawrence Erlbaum Associates, Publishers. BRAINE, M. D. S.& OBrien, D. P. (1998b). A theory of if: A lexical entry, reasoning program, and pragmatic principles. Em M. D. S. Braine & D. P. OBrien (Eds), Mental logic (pp. 199-244). New Jersey: Lawrence Erlbaum Associates, Publishers. BRAINE, M. D. S.& OBrien, D. P. (1998c). The theory of mental-propositional logic: Description and illustration. Em M. D. S. Braine & D. P. OBrien (Eds), Mental logic (pp. 79-90). New Jersey: Lawrence Erlbaum Associates, Publishers. BRAINE, M. D. S.; OBrien, D. P., Noveck, I. A.; Samuels, M. C.; Lea, R. B.; Fisch, S. M. & Yang, Y. (1998). Further evidence for the Theory: Predicting intermediate and multiple conclusions in propositional logic inference problems. Em M. D. S. Braine & D. P. OBrien

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

LGICA MENTAL

145

LEA, R. B. (1998). Logical inferences and comprehension: How mental-logic and text processing theories need each other. Em M. D. S. Braine & D. P. OBrien (Eds), Mental logic (pp. 63-78). New Jersey: Lawrence Erlbaum Associates, Publishers. LEVINSON, S. C. (1983). Pragmatics. Cambridge: Cambridge University Press. MARKOVITS, H. (1988). Conditional reasoning, representation, and empirical evidence on a concrete task. The Quarterly Journal of Experimental Psychology, 40 (3), 483-495. OBRIEN, D. P. (1995). Finding logic in human reasoning requires looking in the right places. Em: Newstead, S.E. & Evans, J. St. B.T. (Eds.), Perspectives on Thinking and Reasoning. New Jersey : Lawrence Erlbaum Associates, Publishers. OBRIEN, D. P. (1998a). Introduction: Some background to the mental-logic theory and to the book. Em M. D. S. Braine & D. P. OBrien (Eds.), Mental logic (pp.1-6). New Jersey: Lawrence Erlbaum Associates, Publishers. OBRIEN, D. P. (1998b). Mental logic and irrationality: We can put a man on the moon,

so why cant we solve those logical reasoning problems? Em M. D. S. Braine & D. P. OBrien (Eds), Mental logic (pp.23-43). New Jersey: Lawrence Erlbaum Associates, Publishers. 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. VADEBONCOEUR, I. & Markovits, H. (1999). The effect of instructions and information retrieval on accepting the premises in a conditional reasoning task. Thinking and Reasoning, 5 (2), 97-113. WASON, P. C. (1966). Reasoning. Em B. M. Foss (Ed.), New horizons in psychology. 1, pp.135-151. Harmondsworth: Penguin. WASON, P. C. & Johnson-Laird, P. N. (1972). Psychology of reasoning: Structure and content. Cambrigde, MA: Harvard University Press.
Recebido em 20 de agosto de 2001 e aceito em 30 de setembro de 2003.

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003

146

E.L. GOUVEIA et al.

Rev. Estudos de Psicologia, PUC-Campinas, v. 20, n. 3, p. 135-145, setembro/dezembro 2003