Escolar Documentos
Profissional Documentos
Cultura Documentos
Log Is Im Tutorial
Log Is Im Tutorial
Resumo
Tornar o ensino da lgica acessvel a todos, inclusive s crianas, tem sido o objetivo
dos Jogos Boole. Ao criar elementos ldicos para estruturar matrizes, o professor Procpio
Mello elaborava um mtodo original para o desenvolvimento do raciocnio lgico. A
manipulao do material concreto facilitou a compreenso das estruturas matemticas.
Resultado de um trabalho, desenvolvido h mais de 20 anos, a partir das observaes em sala
de aula, os Jogos Boole receberam a aprovao de outros educadores e a oportunidade de ser
apresentado no Congresso Mundial de Professores de Francs, na Grcia em 1988. Participou,
ainda, do Congresso Nacional de Professores de Francs em Montevidu e do XII Colquio
de professores em Paris em Julho de 2002. Desde, ento, vm recebendo a aprovao de
educadores de todo o Brasil. A fonte de inspirao dos Jogos Boole George Boole, um dos
criadores da matemtica utilizada nos computadores de hoje. O tratamento matemtico
adequado soluo de certos problemas a lgebra de Boole. As expresses desta lgebra
podem ser executadas por um conjunto de circuitos denominados em eletrnica digital de
portas lgicas. A estes circuitos eltricos pode-se dar o mesmo tratamento matemtico dado a
tabela verdade da teoria dos conjuntos, ou seja, a lgebra de Boole (a lgebra binria do
ligado, desligado). As histrias apresentadas nos Jogos Boole tm como soluo verdadeiras
matrizes no sentido matemtico do termo, isto , quadros de fileiras e colunas conexas. Frente
a um problema, tentamos, antes de tudo, imaginar as possveis relaes entre as variveis e,
depois, por meio da experimentao ou, se for o caso, do raciocnio puro, tentar combin-las
segundo um padro sistemtico, para ento concluir qual ou quais dessas relaes se mantm
como verdadeiras. Ao transpor suas reflexes para o universo do possvel, o sujeito, a partir
desta conquista, no mais limita suas anlises apenas aos dados empricos brutos. Tem, dessa
forma, mais possibilidades de encontrar a soluo de um problema, pois, alm dos dados
bvios da realidade, encontra a seu dispor dados mais sutis, decorrentes de suas aes mentais
1
sobre o emprico. O raciocnio assim desenvolvido, com base nas relaes das proposies e
no nos seus contedos (verdadeiro ou falso), caracteriza-se por ser dedutivo. Assim,
possvel construir proposies at contrrias aos fatos, em um sistema de mltiplas
possibilidades. O pensamento operatrio formal, no emerge espontaneamente. Nos Jogos
Boole criamos situaes nas quais os pesquisadores julgam estmulos provocadores na busca
do desenvolvimento do pensamento e colocamos formas estratgicas pessoais no sentido do
mesmo objetivo. Temos apresentado nosso trabalho e sensibilizado professores e educadores
para a necessidade de trabalhar o raciocnio lgico de maneira sistemtica, pois este a base
de todo aprendizado.
Palavras-Chave: Lgica. Raciocnio. Jogos.
Introduo
A fonte de inspirao deste trabalho George Boole, um dos criadores da matemtica
aplicada nos computadores de hoje: a lgebra Booleana. De acordo com a lgica de Boole, os
interruptores criam circuitos que podem executar, tanto operaes matemticas, como lgicas.
Utilizando esta lgebra, so capazes de trabalhar com informaes que, na aparncia, nada
tem a ver com nmeros e lgica. Podem tocar msica, manipular imagens, digitalizando a
informao, isto , traduzindo-a em dgitos binrios. Todos os computadores empregam o
sistema de lgica, inventado por George Boole.
Antes deste, a linguagem interna, utilizada por alguns dos primeiros computadores era
baseada no sistema decimal de numerao, conhecido h mais de 800, anos e que se
constituiu, realmente, em um fantstico avano em relao aos sistemas que o precederam.
Entretanto, praticamente todo computador, desde a dcada de 50, usa o sistema binrio em
substituio ao decimal. Este contribuiu para que o conjunto dos circuitos tivesse eficincia
muito maior e custo muito mais baixo. Os processadores centrais dos modernos computadores
necessitam assumir apenas dois estados ligado ou desligado. Uma proposio verdadeira
ou falsa, assim como um interruptor est fechado ou aberto, ou um dgito binrio um ou
zero.
179
180
A lgebra de Peacock, de 1830, tinha sugerido que os smbolos para objetos na lgebra
no precisavam indicar nmeros e De Morgan arguia que as interpretaes dos smbolos para
operaes eram tambm arbitrrias. Boole levou o formalismo a sua concluso. A matemtica
j no estava limitada a questes de nmero e grandeza contnua. Aqui, pela primeira vez
est, claramente, expressa a ideia de que a caracterstica essencial da matemtica , no tanto
seu contedo, mas a sua forma. Se qualquer tpico consiste na apresentao de smbolos e
regras precisas de operao sobre esses smbolos, sujeitas apenas exigncia de consistncia
interna, tal tpico parte da matemtica.
Enquanto alguns matemticos desenvolviam dois novos tipos de lgebra, uma terceira
forma de lgebra, radicalmente diferente, estava sendo inventada por um ingls praticamente
autodidata. Nascido de famlia modesta em Lincoln, Inglaterra, Boole tinha s instruo
escolar comum; mas aprendeu grego e latim por conta prpria, acreditando que esse
conhecimento o ajudaria a melhorar sua condio. Durante seus primeiros anos como
professor de escola elementar, Boole percebeu que precisava aprender mais matemtica, e
comeou a estudar as obras de grandes matemticos da poca, alm de lnguas estrangeiras.
Tornou-se amigo de De Morgan. O resultado foi que Boole, em 1847, publicou uma obra
curta chamada The Mathematical Analysis of Logic, um pequeno livro que De Morgan viu
estar destinado a marcar poca. Embora a obra no tenha conseguido grande fama, foi,
provavelmente, por causa desta que Boole, dois anos depois, acabou sendo nomeado professor
de matemtica no recm-fundado Queens College, em Cork, na Irlanda.
Um grande matemtico e filsofo do sculo XX, Bertrand Russell, afirmou que a maior
descoberta do sculo XIX foi a natureza da matemtica pura. Segundo ele, esta descoberta foi
feita por Boole e revelada em sua obra chamada As Leis do Pensamento. Nessa assero
Russell se refere a obra mais conhecida de Boole, publicada em 1854. Para ser mais preciso,
seria melhor citar o livro anterior, de 1847, em que as mesmas ideias tinham sido
apresentadas. A Investigation of the Laws of Thought de 1854 de Boole um clssico na
histria da matemtica, pois ampliou e esclareceu as ideias apresentadas em 1847,
estabelecendo ao mesmo tempo a lgica formal e uma nova lgebra, chamada lgebra de
Boole, ou lgebra dos conjuntos, ou lgebra da lgica. Boole usou as letras x, y, z, para
representar subconjuntos de coisas-nmeros, pontos, ideias, ou outras entidades escolhidas de
um conjunto universal ou universo de discurso, cuja totalidade ele designava pelo smbolo ou
181
nmero. Boole mostrou que sua lgebra fornecia um algoritmo simples para raciocnios
silogsticos.
A Mathematical Analysis of Logic (1847) e, a fortiori, The Laws of Thought (1854)
contm muito mais sobre a lgebra de conjuntos do que est aqui indicado. Em particular, a
segunda obra inclui aplicaes a probabilidades. Hoje, a lgebra booleana largamente usada
no s por matemticos puros, mas tambm por outros que a aplicam a problemas de teoria da
informao. As notaes mudaram um pouco desde os dias de Boole, mas os princpios
fundamentais so os estabelecidos por ele h mais de um sculo. Boole morreu em 1864, s
dez anos depois de publicar suas Laws of Thought, mas o reconhecimento, inclusive um grau
honorrio da Universidade de Dublin, tinha-lhe vindo antes.
Mais importante at que sua lgica matemtica era a concepo que Boole tinha da
prpria matemtica. Boole escrevia:
Poderamos com justia tomar como caracterstica definitiva de um verdadeiro
Clculo, que um mtodo que se apia no uso de Smbolos, cujas leis de
combinao so conhecidas e gerais, e cujos resultados admitem uma interpretao
consistente... com base nesse princpio geral que eu pretendo estabelecer o
Clculo da Lgica, e que reivindico para ele um lugar entre as formas reconhecidas
da Anlise Matemtica (BOOLE, 1847, s.p).
proposies e no nos seus contedos (verdadeiro ou falso), caracteriza-se por ser dedutivo.
Assim, possvel construir proposies at contrrias aos fatos, em um sistema de mltiplas
possibilidades. O pensamento operatrio formal no emerge espontaneamente.
182
3.
183
Acreditamos que com este procedimento produzimos esquemas mentais que de algum modo
desenvolvem a inteligncia do manipulador do processo. Esta proposta metodolgica no
recente. H quatro sculos atrs, Montaigne (1961) questiona a capacidade de algum de
ensinar a atirar lanas, tocar flautas ou julgar, sem que tenha exercitado estas habilidades.
Seymour Papert (1988), um dos mais polmicos tericos da educao da atualidade,
seguidor de Piaget que criou a linguagem LOGO, dizia que o educador deve atuar como
antroplogo. Sua tarefa entender que materiais, dentre os disponveis, so relevantes para o
desenvolvimento intelectual, identificando as tendncias do mundo em que vivemos.
Louis Raths afirma:
O trabalho do professor proporcionar experincias ricas. As oportunidades para
pensar esto nesta categoria. Existe amplo reconhecimento verbal da importncia do
pensamento. Desejamos que nossas crianas pensem sozinhas, que se autogovernem,
que sejam ponderadas e equilibradas em situaes novas para elas, esperamos que
sejam capazes de aplicar o conhecimento anteriormente obtido. Esperamos que
sejam capazes de selecionar o certo e o errado na propaganda que se dirige a elas.
Esperamos que apresentem ideias, novas invenes, novos sonhos. Esperamos que
tenham uma atitude de reflexo em situaes problemticas. Por que desejamos tudo
isso? Em parte porque pensamos que a sobrevivncia depende de tais qualidades
(RATHS, 1977, s.p.)
184
O crebro de amanh
O crebro tem sido uma caixa preta. Mas, certo que uma nova fase se iniciou com a
Dra. Maria Montessori, na disciplina livre e treinamento sensorial, realizado no incio do
sculo XX, com deficientes mentais em exames feitos na Itlia, para a admisso de
funcionrios para servios diversos. A fisiologia do crebro sugere que o xito dos mtodos
empricos, empregados por aquela mdica, se deveria explorao simultnea dos caracteres
individuais, e das propriedades comuns dos crebros de seus alunos. Achamo-nos to
acostumados mediocridade como sendo o meio aritmtico das limitaes de nossos vizinhos
que mal podemos conceber o poder intelectual de um crebro em sua plena capacidade. J
tempo, sem dvida, de que estudemos, tambm, as condies que favorecem o
desenvolvimento do gnio verstil.
H uma dupla dimenso nos argumentos, de um lado a matria ou contedo e de outro a
forma ou estrutura que a dimenso mais importante desde o ponto de vista lgico. Segundo
Bertrand Russell, ao comprovar a solidez de uma deduo se perde tempo atendendo a
matria porque a forma que se deve examinar antes de tudo. A fora de uma deduo est na
sua forma. Em termos gerais, se o argumento o utenslio que se utiliza de modo constante no
discurso da vida ordinria, nas controvrsias polticas e nas provas cientficas, parece que tem
interesse e sentido a tarefa de estudar diferentes tipos de esquemas ou inventrios de formas
ou figuras abstratas de deduo e proceder a anlise e classificao delas. inquestionvel
que os sistemas axiomticos so uma das caractersticas mais marcantes da matemtica dos
nossos dias. Um conjunto de axiomas o resultado final de um longo perodo de elaborao
de uma teoria, no o comeo. Pensar de modo axiomtico um processo sofisticado e
abstrato, que no se pode impor como sistema de trabalho, porque nem todas as pessoas vo
ser matemticos profissionais.
185
A matemtica no pode comear a ser ensinada com um teorema pronto, mas por
situaes. Os resultados s sero obtidos pela descoberta, criao, erro, etc. Podemos comear
pr um quebra-cabea, um problema resolvido anteriormente ou no. A matemtica envolve
um processo de abstrao que comea por uma situao concreta, em que se busca reconhecer
as estruturas que lhe envolvem e, muitas vezes, resolver outros problemas com as mesmas
estruturas.
Nos Jogos Boole nosso interesse no processo total e no meramente nas tcnicas de
operaes internas de um sistema. No mundo contemporneo, no podemos ignorar o mtodo
axiomtico e acreditamos que os processos que utilizamos so eficazes para desenvolver a
necessria compreenso deste mtodo. A histria nos mostra que a revoluo pela qual
atravessa a matemtica no est afetando somente seus mais profundos conceitos mas tambm
seus fundamentos. No passado, a matemtica tratava principalmente de nmeros, hoje
trabalha com estruturas. Em nenhum momento de sua histria, a matemtica apresentou tantos
problemas, fez tantas exigncias ou ofereceu tantas oportunidades.
A lgica dos Jogos Boole
A anlise lgica das histrias que so apresentadas nos Jogos Boole mostra, ainda que
no de forma explcita, conceitos lgicos elementares. Esto por trs das histrias as ideias de
incluso, excluso, conjuntos, adies e produtos lgicos representados pelos operadores E,
OU e NO (AND, OR, NOT) fundamentais na informtica. Esto, ainda, subentendidas as
leis clssicas da lgica (Modo Ponendo Ponens e Modo Tollendo Tollens). Estas e outras
ideias, leis e regras no so necessariamente explicitadas aos principiantes no assunto e menos
ainda as crianas que no tenham os pr-requisitos inerentes ao seu desenvolvimento mental,
condicionado a biologia (gentica) e a sua socializao (meio e esquemas mentais
rudimentarmente elaborados).
Ultimamente, se investigam novos campos de aplicao das matemticas: a elaborao
de programas para computadores, aspectos da ciberntica, a matemtica para economia, a
lingustica matemtica, etc. O domnio destes campos e da matemtica clssica exige novos
procedimentos e abstraes. Os Jogos Boole esto inseridos neste contexto quando tratam da
converso da linguagem em lgebra, no estudo dos sistemas de numerao (decimal, binrio)
e na utilizao de um problema clssico (Quadrados Mgicos) nos processos de pensamento
(aleatrio, heurstico, algortmico).
186
Nos Jogos Boole oferecemos desafios imaginao para que surjam inspiraes para a
criatividade pedaggica. Hoje, devido aos avanos da prpria matemtica, bem como das
tecnologias, vrios assuntos precisam ser reexaminados e enunciados de outra forma. Assim
como necessrio introduzir temas que no possuam a importncia que tem agora. O
raciocnio lgico, sem dvida, est entre estes.
REFERNCIAS
BOOLE, George, The mathematical Analysis of logic, Chicago: Thoemmes Press, 1998.
MONTAIGNE, Michel Eyquem de. Os Ensaios. Porto Alegre: Editora GLOBO, 1961.
PAPERT, Seymour. LOGO: Computadores e Educao: So Paulo: Editora Brasiliense,
1988.
PIAGET, Jean. Essai de Logique Opratoire, Paris : Dunod, 1972.
RATHS, Louis et al. Ensinar a pensar Teoria e aplicao. So Paulo: EPU, 1988.
TEIXEIRA, Ansio, ROCHA E SILVA, Maurcio. Dilogo sobre a lgica do conhecimento.
Editora Edart. So Paulo, SP, 1968.
187