1

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;
O'Brien, 1995; O'Brien, Braine & Yang, 1994; Braine & O'Brien, 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 & O'Brien,
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.
Johnson-Laird, 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, certificando-se 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.
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
2

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 (O'Brien, 1998a). As principais questes
inseridas nesse debate sero apresentadas a seguir.

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 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 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
3

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 (O'Brien, 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
4

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.
Os quatro cartes mostram "executa ao A", "no tem executado a ao A",
"satisfaz a precondio P", "no satisfaz a precondio P"
1
.
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)
2
.
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.

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 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
5

problema de controle; (3) Nos problemas originais em ingls, observa-se maior nmero
de palavras no problema experimental, 121, do que no problema de contro-le, 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.
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 O'Brien (citados em O'Brien, 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, O'Brien (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.
6

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, O'Brien (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 compreenses
errneas acerca do que a teoria, que ser apresentada a seguir, afirma.

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 valor-verdade. 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 (O'Brien, 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,
O'Brien, 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 que esto processando (O'Brien,
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
7

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 O'Brien,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, O'Brien 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 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 (O'Brien, 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.
8

A este respeito, Braine e O'Brien (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.
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
9

tanto incluso quanto excluso, a interpretao geralmente favorecida a exclusiva,
como no seguinte exemplo: "Andr vai tocar violoou 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 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".

10

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. [ Links ]
BRAINE, M. D. S. (1978).On the relation between the natural logic of reasoning and
the standard logic.Psychological Review, 85, 1-21. [ Links ]
BRAINE, M. D. S. & O'Brien, D. P. (1998a). How to investigate mental logic and the
syntax of thought. Em M. D. S. Braine & D. P. O'Brien (Eds), Mental logic (pp.45-
61). New Jersey: Lawrence Erlbaum Associates, Publishers. [ Links ]
BRAINE, M. D. S.& O'Brien, D. P. (1998b). A theory of if: A lexical entry, reasoning
program, and pragmatic principles. Em M. D. S. Braine & D. P. O'Brien
(Eds), Mental logic (pp. 199-244). New Jersey: Lawrence Erlbaum Associates,
Publishers. [ Links ]
BRAINE, M. D. S.& O'Brien, D. P. (1998c). The theory of mental-propositional logic:
Description and illustration. Em M. D. S. Braine & D. P. O'Brien (Eds), Mental
logic (pp. 79-90). New Jersey: Lawrence Erlbaum Associates,
Publishers. [ Links ]
BRAINE, M. D. S.; O'Brien, 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. O'Brien (Eds), Mental logic (pp. 145 - 198). New Jersey: Lawrence
Erlbaum Associates, Publishers. [ Links ]
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. O'Brien (Eds), Mental logic (pp. 91-144). New Jersey: Lawrence
Erlbaum Associates, Publishers. [ Links ]
CHENG, P. W. & Holyoak, K. J. (1985). Pragmatic reasoning schemas. Cognitive
Psychology, 17, 391-416. [ Links ]
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. [ Links ]
GEIS, M. L. & Zwicky, A. M. (1971). On invited inferences. Linguistic Inquiry, 2,
561-566. [ Links ]
GRIGGS, R. A & Cox, J. R. (1982). The elusive thematic-materials effect in Wason's
selection task. British Journal of Psychology, 73, 407-420. [ Links ]
GUIMARES, E. (1995). Os limites do sentido: um estudo histrico e enunciativo da
linguagem. Campinas: Pontes. [ Links ]
HOLYOAK, K. J. & Cheng, P. W. (1995). Pragmatic reasoning from multiple points of
view: A response. Thinking and Reasoning, 1, 373-388. [ Links ]
JACKSON, S. L. & Griggs, R. A. (1990). The elusive pragmatic reasoning schema
effect. Quarterly Journal of Experimental Psychology, 42, 353-373. [ Links ]
11

JONHSON-LAIRD, P. N. (1980). Mental models in cognitive science. Cognitive
Science, 4, 71-115. [ Links ]
JONHSON-LAIRD, P. N. & Byrne, R. M. J. (1993). Mental models or formal
rules? Behavioural and Brain Sciences, 16, 368-380. [ Links ]
JONHSON-LAIRD, P. N., Byrne, R. M. J. & Shaeken, W. (1992). Propositional
reasoning by model. Psychological Review, 99, 418-439. [ Links ]
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. O'Brien
(Eds), Mental logic (pp. 63-78). New Jersey: Lawrence Erlbaum Associates,
Publishers. [ Links ]
LEVINSON, S. C. (1983). Pragmatics. Cambridge: Cambridge University
Press. [ Links ]
MARKOVITS, H. (1988). Conditional reasoning, representation, and empirical
evidence on a concrete task. The Quarterly Journal of Experimental Psychology, 40
(3), 483-495. [ Links ]
O'BRIEN, 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. [ Links ]
O'BRIEN, D. P. (1998a). Introduction: Some background to the mental-logic theory
and to the book. Em M. D. S. Braine & D. P. O'Brien (Eds.), Mental logic (pp.1-6).
New Jersey: Lawrence Erlbaum Associates, Publishers. [ Links ]
O'BRIEN, D. P. (1998b). Mental logic and irrationality: We can put a man on the
moon, so why can't we solve those logical reasoning problems? Em M. D. S. Braine
& D. P. O'Brien (Eds), Mental logic (pp.23-43). New Jersey: Lawrence Erlbaum
Associates, Publishers. [ Links ]
O'BRIEN, 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. [ Links ]
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. [ Links ]
WASON, P. C. (1966). Reasoning. Em B. M. Foss (Ed.), New horizons in psychology.
1, pp.135-151. Harmondsworth: Penguin. [ Links ]
WASON, P. C. & Johnson-Laird, P. N. (1972). Psychology of reasoning: Structure
and content. Cambrigde, MA: Harvard University Press. [ Links ]