Revista Interamericana de Psicologa

Sociedad Interamericana de Psicologa

rip@ufrgs.br
ISSN (Versin impresa): 0034-9690
BRASIL




2006
Ana Augusta de Andrade Cordeiro / Maria das Graas Bompastor Borges Dias /
Antonio Roazzi / David OBrien
A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS
Revista Interamericana de Psicologa, september-december, ao/vol. 40, nmero 003
Sociedad Interamericana de Psicologa
Porto Alegre, Brasil
pp. 257-266




Red de Revistas Cientficas de Amrica Latina y el Caribe, Espaa y Portugal
Universidad Autnoma del Estado de Mxico
http://redalyc.uaemex.mx

257
A
R
T
I
C
U
L
O
S
R. interam. Psicol. 40(3), 2006
Revista Interamericana de Psicologa/Interamerican Journal of Psychology - 2006, Vol. 40, Num. 3 pp. 257-266
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 re-
monta h milnios, mas segundo alguns estudiosos ne-
nhuma 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 cuida-
dosas sobre as mesmas no so raras, levando-os, inclusi-
ve, afirmao de que no existe uma lgica mental. Este
artigo traz a possibilidade de se conhecer em maior profun-
didade a teoria da lgica mental, bem como aquelas teorias
que advogam contra ela, contribuindo para o esclarecimen-
to 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
1
Endereo: Avenida Governador Agamenon Magalhes, 129/101,
Torreo, Recife, PE, Brasil. E-mail: augusta@hotlink.com.br.
Universidade Federal do Pernambuco, Recife, Brasil
A Teoria da Lgica Mental e as Teorias Competitivas
Ana Augusta de Andrade Cordeiro
1
Maria das Graas Bompastor Borges Dias
Antonio Roazzi
David P. OBrien
The City University of New York, USA
258
A
R
T
I
C
U
L
O
S
R. interam. Psicol. 40(3), 2006
ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN
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 ape-
nas 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 sujei-
tos 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 pr-
requisito 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
259
A
R
T
I
C
U
L
O
S
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), Johnson-
Laird 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
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
260
A
R
T
I
C
U
L
O
S
R. interam. Psicol. 40(3), 2006
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 existn-
cia 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 pre-
cisa 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 Lgi-
ca 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 daque-
las 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 racioc-
nio. Contudo, esta perspectiva deixa os julgamentos corretos
sem explicaes. OBrien considera que aqueles que argumen-
tam 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, pare-
ce 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
ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN
261
A
R
T
I
C
U
L
O
S
R. interam. Psicol. 40(3), 2006
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
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. Pode-
se 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
A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS
262
A
R
T
I
C
U
L
O
S
R. interam. Psicol. 40(3), 2006
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 de Avaliao. 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,
ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN
263
A
R
T
I
C
U
L
O
S
R. interam. Psicol. 40(3), 2006
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 proces-
sos 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).
- 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
A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS
264
A
R
T
I
C
U
L
O
S
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 norte-
americanos. 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 em-
butidos em pequenas histrias. Os participantes deveriam
ler uma histria e, ao final, relatar se a sua concluso era verda-
deira 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
ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN
R. interam. Psicol. 40(3), 2006
265
A
R
T
I
C
U
L
O
S
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 referia-
se 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 pre-
dio da Teoria da Lgica Mental de que as pessoas so capa-
zes de raciocinar logicamente em sua rotina, constituindo, por-
tanto, um sistema natural de deduo (e no formal). Estes da-
dos corroboram claramente o princpio mais bsico da Teoria da
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 proble-
mas 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. 273-
331). 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.
A TEORIA DA LGICA MENTAL E AS TEORIAS COMPETITIVAS
R. interam. Psicol. 40(3), 2006
266
A
R
T
I
C
U
L
O
S
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, 27-
34.
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, 285-
299.
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 mental-
logical 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, 117-
132.
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.
ANA AUGUSTA DE ANDRADE CORDEIRO, MARIA DAS GRAAS BOMPASTOR BORGES DIAS, ANTONIO ROAZZI & DAVID P. OBRIEN
R. interam. Psicol. 40(3), 2006