UNIVERSIDADE ESTADUAL PAULISTA

Instituto de Geocincias e Cincias Exatas

Campus de Rio Claro

UMA HISTRIA DA LGICA NO BRASIL

Carlos Roberto de Moraes

Orientador: Prof. Dr. Sergio Roberto Nobre

Tese de doutorado elaborada junto ao

Programa de Ps-graduao em Educao
Matemtica rea de Concentrao em
Ensino e Aprendizagem da Matemtica e seus
Fundamentos Filosfico-Cientficos para
obteno do Titulo de Doutor em Educao
Matemtica.

Rio Claro (SP)

2007

510.09

Moraes, Carlos Roberto de

M827h

Uma histria da lgica no Brasil / Carlos Roberto de

Moraes. Rio Claro : [s.n.], 2007
136 f. : il., figs., fots.
Tese (doutorado) Universidade Estadual Paulista,
Instituto de Geocincias e Cincias Exatas
Orientador: Srgio Roberto Nobre
1. Matemtica Histria. 2. Lgica Histria. I. Ttulo.

Ficha catalogrfica elaborada pela STATI Biblioteca da UNESP

Campus de Rio Claro/SP

Comisso Examinadora

Prof. Dr. Sergio Roberto Nobre

Profa. Dra. Rosa Lucia Sverzut Baroni

Profa. Dra. Maria Terezinha Jesus Gaspar

Prof. Dr. Antonio Sergio Cobianchi

Prof. Dr. Marcos Vieira Teixeira

Carlos Roberto de Moraes

Rio Claro, 03 de setembro de 2007.

Resultado: Aprovado

 Elisa, companheira em todos os momentos.

CERTEZA........
De tudo, ficaram trs coisas:
A certeza de que estamos sempre comeando...
A certeza de que precisamos continuar...
A certeza de que seremos interrompidos antes de terminar....
Fernando Pessoa

AGRADECIMENTOS

Ao Prof. Dr. Sergio Nobre pelo acolhimento, orientao e incentivo nas horas
difceis.

Aos meus pais, Roberto e Suzana, e a toda minha famlia pela presena constante
e pelo apoio incondicional.

Aos Profs. Newton Carneiro Affonso da Costa e Leonidas Hegenberg pela

disponibilidade em me receber e pelas valiosas contribuies no decorrer do
desenvolvimento deste trabalho.

Aos Profs. Lafayette de Moraes, Irineu Bicudo e Eurides Alves de Oliveira pelas
informaes prestadas.

Aos professores e funcionrios do Departamento de Matemtica da UNESP Rio

Claro pelo apoio e incentivo sempre constantes, em especial ao Diego de Lemos
pela ajuda nos problemas com a informtica.

Aos Profs. Huemerson Macetti e Plnio Zornoff Tboas, grandes amigos, que
acompanharam e compartilharam o desenrolar deste trabalho.

Aos amigos da UNIARARAS, especialmente Profs. Miriam de M. O. Levada, Jos

Antonio Mendes, Amali de Angelis Mussi, Tnia Regina Laurindo, Silma R. C.
Mendes, Luciana C. I. Pagni, Mrcia M. R. Pacheco, Claudinei Maschieto pela
amizade e incentivo durante esta trajetria.

Profa. Lucia Helena de Carvalho pela valiosa contribuio nos contatos e

obteno de material para o desenvolvimento deste trabalho.

Profa. Nativi V. P. Bertolo pelo incentivo ao recomeo.

Aos Profs. Gabriel Cianciardini Neto e Juliana Silva Loyola e Santana pela ajuda
na formatao e na reviso do texto.

Aos Profs. Rosa Lcia S. Baroni e Marcos Vieira Teixeira e aos colegas do Grupo
de Pesquisa em Histria da Matemtica e/ou suas Relaes com a Educao
Matemtica, em especial Suzeli, Fabiane, Cristiane, Carol, Edlson, Regina,
Sabrina, Mariana e Lucieli.

Aos funcionrios da Biblioteca da UNESP Campus de Rio Claro, em especial a

Moema, Silvia e Suzi pela prontido e eficincia no atendimento quando foi
necessrio.

Eliane Morelli Abrao, historiadora responsvel pelo Arquivo Histrico do Centro

de Lgica Epistemologia e Histria da Cincia CLE UNICAMP, extensivo a
todos os funcionrios, pela auxilio no acesso ao acervo do arquivo.

A Ir Inez Terezinha Augusti e Cssia E. B. Sciamana e aos colegas do Colgio

Purssimo Corao de Maria, pelo incentivo e apoio para continuar na batalha.

direo das Faculdades Integradas Claretianas pelo apoio manifestado.

RESUMO

Pretendemos mostrar o desenvolvimento da lgica matemtica no Brasil focando

principalmente nos sessenta anos iniciais do sculo XX apresentando obras e
estudiosos que contriburam para a consolidao e o desenvolvimento da lgica
como um campo de pesquisa no Brasil. Abordaremos trs obras que acreditamos
serem relevantes na histria da lgica no Brasil: As Ideas Fundamentaes da
Matemtica, de Manuel Amoroso Costa, publicada em 1929; Elementos de Lgica
Matemtica, de Vicente Ferreira da Silva, publicada em 1940 e O Sentido da Nova
Lgica, de Willian Van Orman Quine, publicada em 1944. A lgica apresenta um
salto qualitativo a partir do final dos anos 50, quando dois centros se destacam:
um na Universidade de So Paulo (USP), em So Paulo, com o Prof. Edison
Farah e outro na antiga Faculdade Nacional de Filosofia, no Rio de Janeiro. Neste
trabalho, dedicaremos especial ateno aos pioneiros do grupo de So Paulo,
que, no final da dcada de 50 reuniam-se sob a liderana do Prof. Edison Farah
em um grupo de estudiosos de lgica e fundamentos da matemtica do qual
fizeram parte os professores Benedito Castrucci, Newton Carneiro Affonso da
Costa, Mario Tourasse Teixeira e Leonidas Hegenberg que se reuniam em
seminrios no Departamento de Matemtica da Universidade de So Paulo.

Palavras-chave: Histria da Matemtica. Histria da Lgica.

ABSTRACT

We intend to present the development of mathematical logic in Brazil focusing

mainly in the first six decades of the twenty century, presenting studies and
researchers who contributed to consolidate and develop the logic as a field of
research in Brazil. We will discuss about three books we believe that are more
relevant in the History of Logic in Brazil: As Ideas Fundamentais da Matemtica, by
Manuel Amoroso Costa, published in 1929; Elementos de Lgica Matemtica, by
Vicente Ferreira da Silva, published in 1940; and O Sentido da Nova Lgica, by
Willian Van Orman Quine, published in 1944. The logic presents a qualitative
upgrade by the end of the fifties, when two centers obtain a great highlight: one at
University of Sao Paulo (USP), in Sao Paulo city, with Professor Edison Farah and
the other one at the former National Faculty of Philosophy, in Rio de Janeiro city. In
the present study, we will pay special attention to the pioneers of the Sao Paulo
group that, in the end of the fifty decade, upon the leadership of Professor Edison
Farah, organized a group of researchers in logic and fundamentals of
mathematics. Professors Benedito Castrucci, Newton Carneiro Affonso da Costa,
Mario Tourasse Teixeira, and Leonidas Hegenberg took part of this group that
used to have their meetings and seminars in the Department of Mathematics at
University of Sao Paulo.

Keywords: History of Mathematics, History of Logic

SUMRIO

Introduo...........................................................................................................

01

Procedimentos Metodolgicos...........................................................................

03

Captulo 1 Uma viso panormica da Histria da Lgica...............................

06

Captulo 2 Alguns recortes sobre uma Histria da Matemtica no

Brasil..................................................................................................................

30

Captulo 3 Uma Histria da Lgica no Brasil..................................................

42

Captulo 4 A Era dos Pioneiros......................................................................

94
Benedito Castrucci (1909 -1995)..............................................................
96
Edison Farah (1915-2006).........................................................................
98
Leonidas Helmuth Baebler Hegenberg (1925, -)....................................... 100
Mario Tourasse Teixeira (1925-1993)....................................................... 104
Newton Carneiro Affonso da Costa (1929, -)............................................ 109

CONSIDERAES FINAIS..............................................................................

119

REFERNCIAS................................................................................................

121

BIBLIOGRAFIA CONSULTADA........................................................................

130

FONTES UTILIZADAS......................................................................................

133

ANEXO..............................................................................................................

134

Introduo

A idia deste trabalho surgiu durante o V Seminrio Nacional de Histria

da Matemtica, realizado em Rio Claro, em 2003. Neste seminrio tive a
oportunidade de assistir a apresentao de Evandro Luis Gomes sobre sua
dissertao de mestrado intitulada Sobre a histria da lgica no Brasil: da
lgica das faculdades lgica positiva (1808-1909), defendida, em 2002, junto
a Faculdade de Filosofia, Cincias e Letras da Universidade de So Paulo, sob
a orientao do Prof. Newton Carneiro Affonso da Costa. Neste trabalho o
autor procura buscar, reunir e interpretar a lgica no Brasil, no perodo de 1808
a 1909, que se apresenta correlacionada com as idias dominantes em filosofia
e em alguns momentos com as da matemtica.
O objetivo deste trabalho avanar a partir do trabalho acima descrito e
abordar, principalmente, a Lgica Matemtica. Pretendemos apresentar o
desenvolvimento da lgica matemtica no Brasil focando principalmente nos
sessenta anos iniciais do sculo XX apresentando as primeiras obras e os
primeiros

matemticos

que

contriburam

para

consolidao

desenvolvimento da lgica como uma rea de pesquisa no Brasil.

O trabalho est organizado em quatro captulos. No primeiro captulo o
objetivo apresentar uma viso geral sobre a evoluo da lgica,
particularmente na civilizao ocidental. O segundo captulo apresenta um
panorama da evoluo dos estudos em matemtica no Brasil, realando o fato
de que a partir dos anos 1940, o Brasil comea a deixar de ser apenas um
centro receptor do que era pesquisado, principalmente na Europa e Estados
Unidos, e comea a desenvolver trabalhos de qualidade nesta rea do
conhecimento. O captulo trs tem como foco inicial um levantamento histrico
do desenvolvimento da lgica no Brasil at meados do sculo XX, tendo como
referncia central a dissertao de mestrado Sobre a histria da lgica no
Brasil: da lgica das faculdades lgica positiva (1808-1909), defendida, em
2002, por Evandro Luis Gomes junto a Faculdade de Filosofia, Cincias e
Letras da Universidade de So Paulo, sob a orientao do Prof. Newton
Carneiro Affonso da Costa. Em seguida apresentamos trs obras que julgamos

2
relevantes para a evoluo dos estudos relacionados com a lgica matemtica
no Brasil, so elas: As Ideas Fundamentaes da Matemtica, de Manuel
Amoroso Costa publicada em 1929; Elementos de Lgica Matemtica, de
Vicente Ferreira da Silva, publicada em 1940 e a publicada em 1944, intitulada
O Sentido da Nova Lgica, de Willian Van Orman Quine, este ltimo, mesmo
no sendo brasileiro, escreve este livro originalmente em portugus, quando de
sua estada no Brasil a convite da Escola de Sociologia e Poltica da USP. A
idia verificar a relevncia, principalmente desta ltima obra comparando-a a
uma obra importante publicada na mesma poca de autoria de Alfred Tarsky,
intitulada Introduction to Logic and to the methodology of deductive sciences,
publicada em 1941.
O ltimo captulo focado no que chamamos de era dos pioneiros
onde destacamos o chamado grupo de So Paulo que, no final dos anos 50,
comea a desenvolver pesquisas na rea de lgica matemtica e a realizar
seminrios sob a liderana do Prof. Edison Farah, contando com os
Professores Benedito Castrucci, Leonidas Hegenberg, Mario Tourasse Teixeira
e Newton da Costa.
Esse trabalho est inserido na linha de pesquisa Histria da Matemtica
no Brasil, vinculada ao Grupo de Pesquisa em Histria da Matemtica e suas
relaes com a Educao Matemtica. sob a coordenao dos Professores
Sergio Roberto Nobre, Rosa Lcia Sverzut Baroni e Marcos Vieira Teixeira. Em
particular, este trabalho apresenta uma interface com a tese de doutorado
Mario Tourasse Teixeira: o homem, o educador, o matemtico, defendida em
2006 por Romlia Mara Alves Souto, sob a orientao do Prof. Sergio Roberto
Nobre. Esse trabalho, segundo a autora, est organizado em trs grandes
eixos, o primeiro onde apresentada uma biografia do Prof. Mrio Tourasse
Teixeira enfatizando sua vida acadmica na UNESP Rio Claro, focando o
homem, o educador e o matemtico. Um segundo eixo onde so apresentados
os temas de investigao que se constituram em objeto de interesse do Prof.
Mrio Tourasse, mostrando elos entre seu pensamento matemtico, suas
concepes e at alguns traos de seu comportamento (SOUTO, 2006, p.4).
O terceiro e ltimo eixo apresenta as crenas e pressupostos tericos nos
quais a autora fundamentou seu aporte histrico. A interface est centrada
principalmente nos dois primeiros eixos, tendo em vista que o Prof. Mario

3
Tourasse Teixeira foi um dos pioneiros no estudo e pesquisa em lgica
matemtica no Brasil.

Procedimentos metodolgicos

Esta uma pesquisa de carter bibliogrfico e o procedimento utilizado

consistiu num primeiro momento de uma busca de informaes em acervos de
bibliotecas reais e virtuais. O primeiro passo foi realizar uma consulta a verbete
Matemtica da Enciclopdia Mirador (1975) que forneceu o ttulo de duas obras
relacionadas lgica. As obras so Elementos de Lgica Matemtica de
Vicente Ferreira da Silva, publicada em 1940 e O Sentido da Nova Lgica de
Willian Van Orman Quine, publicada em 1944, este ltimo, mesmo no sendo
brasileiro, escreve seu livro originalmente em portugus, quando de sua estada
no Brasil. A luz das informaes obtidas nesta busca bibliogrfica foi possvel
obter tambm informaes sobre a obra As Idas Fundamentaes da
Mathematica de Manuel Amoroso Costa, publicada em 1929.

Neste ponto

encontramos a primeira dificuldade: onde conseguir essas obras para

consulta? O livro de W. Quine foi encontrado na Biblioteca da Universidade de
So Paulo USP. O livro de Vicente Ferreira da Silva foi obtido por emprstimo
junto biblioteca da Universidade de So Paulo USP em 2004 e ao solicit-lo
novamente no final de 2005, o emprstimo j no foi possvel tendo em vista o
fato do exemplar que se encontrava no Instituto de Matemtica ter sido
extraviado e por esse motivo o nico exemplar restante, na Faculdade de
Direito, no pode ser mais disponibilizado atravs do emprstimo entre
bibliotecas. O livro de Manuel Amoroso Costa pode ser encontrado na
Universidade de Campinas UNICAMP. O exemplar utilizado neste trabalho
faz parte do meu acervo pessoal e foi comprado atravs de um sebo virtual, o
que me chamou a ateno foi o fato do mesmo ter provavelmente pertencido a
Vicente Ferreira da Silva, pois este nome aparece manuscrito na primeira
pgina do livro acompanhado da data agosto de 34.

4
Paralelamente, em funo das leituras realizadas e das informaes
obtidas, procuramos entrevistar alguns matemticos que poderiam contribuir a
essa pesquisa. Segundo May (1973)

Entrevistar
um
especialista
verbalmente
ou
por
correspondncia o melhor procedimento quando a
informao desejada conhecida por um indivduo acessvel e
pode ser comunicada facilmente. Especialistas podem dar
sempre sugestes efetivas sobre fontes confiveis, boas
exposies, ou fatos individuais. (MAY, 1973, p. 3)

A primeira tentativa, em 2004, foi conversar com o Prof. Edison Farah, o

que infelizmente no ocorreu. A tentativa foi realizada atravs de um contato
com a Profa. Oflia Teresa Alas, que foi orientanda do Prof. Farah, mas fomos
informados que ele estava recluso e a tentativa de contato foi infrutfera. O
Prof. Farah viria a bito em 2006.
Em fevereiro de 2005 estive na Faculdade de So Bento para uma
conversa com o Prof. Lafayette de Moraes que foi muito importante para traar
um primeiro panorama sobre a lgica no Brasil. Gostaria de enfatizar que no
adotei os procedimentos da Histria Oral, as conversas com os professores
tiveram como objetivo levantar informaes que permitissem a busca por
documentos e por novos nomes que pudessem contribuir para esse trabalho de
pesquisa.
O passo seguinte foi tentar entrar em contato com os professores
Leonidas Hegenberg e Newton Carneiro Affonso da Costa.
Para contatar o Prof. Leonidas Hegenberg a princpio a nica informao
que possua era o fato do mesmo ter se aposentado no ITA - Instituto
Tecnolgico da Aeronutica. O problema era como entrar em contato com o
Prof. Leonidas? Aps algumas tentativas consegui obter o e-mail do Prof.
Leonidas e travei meu primeiro contato com ele por esse meio. Aps
apresentar os objetivos de minha pesquisa o Prof. Leonidas me recebeu em
sua residncia em julho de 2005 na cidade de So Jos dos Campos SP.
Esta conversa propiciou informaes relevantes e interessantes sobre os

5
primrdios da lgica matemtica no Brasil e seu desenvolvimento, e a partir da
trocamos vrios e-mails relacionados a esse assunto.
Com o Prof. Newton da Costa o primeiro contato foi feito no incio de
2005 atravs de e-mail, obtido atravs do currculo lattes, e em julho do mesmo
ano estive na residncia do Prof. Newton, em Florianpolis. Voltamos a nos
ver, em maro de 2006, durante o V Encontro da AFHIC - Associao de
Filosofia e Histria da Cincia do Cone Sul, realizado em Florianpolis. Destes
contatos resultaram vrias informaes e documentos relevantes para esta
pesquisa e, desde ento temos trocado muitas informaes por e-mail. O fato
do Prof. Newton ter doado seu arquivo pessoal ao CLE Centro de Lgica
Epistemologia e Histria da Cincia da Universidade de Campinas
UNICAMP, definiu o passo seguinte.
Durante o segundo semestre de 2005, estive por vrias semanas
consultando o acervo do CLE, mais especificamente o arquivo pessoal do Prof.
Newton da Costa, doado em 2002. O manuseio de 42 caixas contendo 51
pastas com correspondncias e documentos do acervo doado pelo Prof.
Newton da Costa subsidia e corrobora algumas consideraes feitas no
decorrer deste trabalho. A maior dificuldade neste tipo de pesquisa reside no
fato de muitos documentos serem manuscritos e em alguns casos difceis de
serem lidos.
Aps o levantamento bibliogrfico e documental efetuado tivemos que
definir o que seria e como seria montado o trabalho e este um momento
bastante peculiar, pois muitas informaes levantadas podem no ser
contempladas, afinal o trabalho deve ter um fecho e esse fecho depende de
escolhas que devem ser feitas neste momento. O resultado desta pesquisa o
resultado destas escolhas.

CAPTULO 1

UMA VISO PANORMICA DA HISTRIA DA LGICA

Quando se fala em Histria da Lgica, os primeiros nomes lembrados so de

gregos, com destaque especial para Aristteles (384-322 a.C.). Segundo Russell

A filosofia e a cincia, como as conhecemos, so invenes gregas.

O advento da civilizao grega que produziu tal exploso de
atividade intelectual um dos acontecimentos mais espetaculares
da histria. Jamais ocorreu algo semelhante, nem antes nem depois.
No curto espao de dois sculos os gregos produziram na arte, na
literatura, na cincia e na filosofia uma assombrosa torrente de
obras-primas que estabeleceram os padres gerais da civilizao
ocidental. (RUSSELL, 2001, p. 13)

Podemos dizer que no mundo ocidental a lgica surge na Grcia, mas

existem tambm contribuies dos chineses e principalmente dos indianos. No caso
da China, foram encontrados mtodos de discusso e uma sofstica, mas no foi
desenvolvida uma lgica como a do grego Aristteles ou do indiano Dignga 1 .
Segundo Bochenski (1970), a lgica formal se desenvolveu na ndia, assim
como na Grcia, a partir de mtodos de discusso sistematizados no sculo II d.C.
na obra Nyya-sutra. Esta obra foi piv de controvrsias entre os lgicos budistas e
brahmnicos durante cerca de 500 anos e, entre os pensadores mais importantes
deste perodo, merece destaque Dignga (~480-540), o maior nome da lgica
indiana.
Segundo Lalande (1999) a lgica pode ser definida como

a cincia que tem por objeto determinar, por entre todas as

operaes intelectuais que tendem para o conhecimento do
verdadeiro, as que so vlidas, e as que o no so. (LALANDE,
1999, p.630)

Para maiores detalhes sobre a lgica indiana ver (BOCHENSKI, 1970) e (PECKHAUS, 2006)

A lgica Ocidental tem incio na Grcia e, como escreve Kneale (1968), a

partir do que encontramos em Plato, Aristteles e outras fontes. Pode-se dizer que
os filsofos gregos comearam a discutir os princpios da inferncia vlida no
chamado perodo pr-socrtico, e, portanto antes de Aristteles. O termo lgica
no era usado nesta poca e s iria surgir cerca de 500 anos depois, ao ser usado
por Alexandre de Afrodisias (~170-230). A lgica neste perodo caracterizada pela
ausncia do simbolismo e pela utilizao da linguagem corrente para efetuar
demonstraes. A grande contribuio de Aristteles est no fato de ter sido o
primeiro a entender a importncia no apenas das afirmaes, mas da sua forma e
sua utilizao para tornar gerais argumentos vlidos.
Embora tenhamos apenas fragmentos de trabalhos matemticos anteriores
poca de Euclides, aparentemente, os Gregos desenvolveram a noo de
argumento lgico por volta do sexto sculo a.C.. Uma possvel justificativa para isso
seria a estrutura adotada pelos gregos para a organizao da nao em cidadesestado, o que, em razo das atividades polticas, encorajou o desenvolvimento da
argumentao e de tcnicas de persuaso. Entram em cena os pr-socrticos
Parmnides (sexto sculo a.C.) e Zeno de Elea (quinto sculo a.C.) que em seus
trabalhos filosficos demonstraram vrias tcnicas de argumentao. H exemplos
de reductio ad absurdum, nos quais se assume que uma proposio a ser provada
falsa e ento se obtm uma contradio e exemplos do modus tollens 2 , nos quais
em primeiro lugar se mostra que, se A verdadeiro, ento segue B e em seguida
mostra-se que B no verdadeiro, e conclui-se que A no verdadeiro.
Scrates (469 ou 470-399 a.C.) embora no tenha deixado nada escrito
considerado o grande nome da filosofia ocidental, tanto que todos os filsofos
anteriores a ele so chamados de pr-socrticos; tudo o que sabemos sobre sua
doutrina ou sua vida foi escrito por seus discpulos, especialmente Xenofonte (430395 a.C.) e Plato (428-347 a.C.).
A Plato (428-347 a.C.) coube a tarefa de escrever sobre o pensamento de
Scrates e tambm a continuar e sistematizar o trabalho do mestre. Segundo Kneale
(1968), embora, (...), Plato talvez no favorecesse o estudo da lgica formal, ele
2

Modo falseador de inferncia a maneira como o falseamento de uma concluso acarreta o

falseamento do sistema que ela deriva que pode ser descrito como, seja p a concluso de um sistema
t de enunciados. Admitamos que p seja falsa, denotada por no-p. Dada relao de
deduzibilidade, tp e o pressuposto no-p, podemos inferir no-t. (POPPER, 1975, p.79)

sem dvida o primeiro grande pensador nos domnios da filosofia da lgica. Plato
aborda trs problemas relevantes quando se comea a refletir sobre a natureza da
lgica:

(1)
(2)
(3)

A que que se pode corretamente chamar verdadeiro ou

falso?
Que ligao que torna possvel uma inferncia vlida, ou, o
que uma relao necessria?
Qual a natureza da definio e o que que definimos?
(KNEALE, 1968, p.19).

Plato junto com seu mestre Scrates e com Aristteles lanaram os

alicerces sobre os quais iriam se assentar as bases da filosofia ocidental.
Aristteles (384-322 a.C.) estudou na Academia de Plato at a morte
desse, e aps isso foi convidado por Felipe II, da Macednia, para ser o preceptor
do Prncipe Alexandre (que viria a ser conhecido como Alexandre, o grande).
Retornou a Atenas em 335 a.C. e fundou sua escola, o Liceu, onde passou
praticamente o resto de seus dias escrevendo e ensinando. Aristteles escreveu
sobre vrios assuntos, mas sua grande contribuio foi na rea da Lgica. Aps sua
morte em 322 a.C. seus escritos sobre o raciocnio foram reunidos por seus alunos,
na obra conhecida por Organon, que significa instrumento da cincia. O Organon
um conjunto de cinco livros, Categoriae (categorias), Topica (tpicos) com o
apndice

De

Sophisticis

Elenchis

(sobre

os

argumentos

sofsticos),

De

Interpretatione (interpretao), Analytica Priora (primeiros analticos) e Analytica

Posteriora (ltimos analticos). Na obra Categoriae feita uma classificao de tipos
de predicados (substncia, quantidade, qualidade, relao, lugar, tempo, situao,
estado, ao e paixo). Na obra Topica so apresentados estudos de raciocnios
silogisticamente corretos provenientes de opinies que geralmente so aceitas e
opostos ao raciocnio demonstrativo. Segundo Kneale (1968), podemos dizer que se
trata de um manual para guiar aqueles que tomam parte em competies pblicas
de dialtica 3 ou de discusso. A obra De Interpretatione tem por finalidade principal
3

Primitivamente, arte do dialogo e da discusso; por conseguinte:

1 Habilidade para discutir por perguntas e respostas.
2 Arte de dividir as coisas em gneros e espcies (dito de outra maneira, de classificar os
conceitos para poder examin-los e discuti-los. (LALANDE, 1999, p. 254)

estabelecer que pares de frases so opostas e de que maneiras.

A principal

contribuio desta obra, para a lgica, o quadrado da oposio, atualmente

conhecido como quadrado lgico, embora no aparea da maneira que o
conhecemos atualmente. As quatro constantes que formam o quadrado lgico so
A, E, I e O que so A: afirmativa universal, que pode ser exemplificada por Todo
homem mortal, E: negativa universal, que pode ser exemplificada por Nenhum
homem mortal, I: afirmativa particular, Algum homem mortal e O: negativa
particular, Algum homem no mortal. Temos abaixo uma representao do
quadrado lgico

Figura 1. Quadrado Lgico .

Segundo DOttaviano & Feitosa

Aristteles estabeleceu as relaes entre esses quatro tipos de

proposies categricas:
A e O, e I e E so contraditrias, no podem ser ambas verdadeiras;
e no podem ser ambas falsas.
A e E so contrrias, no podem ser ambas verdadeiras; mas
podem ser ambas falsas.
I e O so subcontrrias, no podem ser ambas falsas; mas podem
ser ambas verdadeiras.
I subalterna de A e O subalterna de E. Se A verdadeira, ento
I verdadeira. Se E verdadeira, ento O verdadeira. (D
OTTAVIANO & FEITOSA, 2003, p.6)

O principal discpulo de Aristteles foi Teofrasto de Ereso (~372-287 a.C.),

que tambm o sucedeu no Liceu. Embora tenha escrito suas prprias obras de
Lgica, restaram-nos apenas alguns fragmentos e, atravs de referncias
encontradas em comentadores posteriores, fica claro que tais obras se ocupavam
4

Fonte: http://www.scielo.br/pdf/agora/v9n2/a06v9n2.pdf . Acesso em 03 set. 2007.

10

essencialmente com o desenvolvimento da doutrina aristotlica e a sua

apresentao numa forma melhorada (KNEALE, 1968, p.102).
No fim da Antigidade destacam-se duas grandes escolas de lgica: uma
que derivava de Aristteles, conhecida como Escola Peripattica e a Escola Estica
desenvolvida por Crisipo (~281-208 a.C.) a partir do ensino dos Megricos. A escola
Megrica foi fundada por Euclides de Megara, discpulo de Scrates, no sculo IV
a.C. e segundo Kneale

[...] os Megricos trouxeram trs contribuies importantes para o

desenvolvimento da lgica, a inveno de uma srie de paradoxos
interessantes, a reexaminao dos conceitos modais 5 e o incio de
um importante debate sobre a natureza das frases declarativas
condicionais. (KNEALE, 1968, p.116)

As diferenas entre a Escola Peripattica e a Escola Estica em primeiro

lugar comeam com o fato de a lgica estica ser uma lgica de sentenas que
consta exclusivamente de regras, ao passo que a lgica peripattica uma lgica de
termos e de leis. Com os Megricos e Esticos surgiu, segundo Bochenski (1970),
uma lgica sentencial que era justamente o que faltava quase que por completo na
lgica Aristotlica.

Os estudos de lgica at meados do sculo XIX se restringiram

transmisso da obra de Aristteles e, embora as escolas Megrica e Estica tenham
contribudo de maneira importante para a lgica (tendo em vista o que restou da
obra de seus filsofos) suas concepes praticamente no influenciaram no
desenvolvimento posterior da lgica. Segundo Bochenski (1970), as condies para
se abordar o estudo da Lgica de Aristteles muito mais favorvel do que para se
estudar

Lgica

megrico-estoca 7 .

De

Aristteles

restaram

os

escritos

fundamentais em seu conjunto, ao passo que das doutrinas megricos-esticas tem-

A Lgica modal ocupa-se das proposies afetadas por modalidades do tipo possivelmente,
necessariamente, de maneira impossvel.
6
Para maiores detalhes sobre as diferenas entre as duas escolas ver Bochenski (1970).
7
Segundo Bochenski (1970) pode-se conjecturar que da lgica megrico-estoca as idias
fundamentais so megricas e a elaborao tcnica estica.

11

se que recorrer s refutaes de Sexto Emprico 8 , que no era muito favorvel aos
pensadores esticos.
A literatura lgica predominante na poca romana e medieval resume-se aos
manuais e comentrios, principalmente sobre Aristteles. De acordo com Kneale
(1968, p.181) se nos podemos apoiar nos escritos de Ccero, a escola Estica era a
dominante nesta poca. Embora Ccero (106 43 a.C.) no tenha nenhuma
contribuio original para o desenvolvimento da lgica, suas obras preservaram
alguns fragmentos de informao sobre o ensino dos Esticos e, alm disso,
inventou os equivalentes latinos dos termos tcnicos Gregos.
Do segundo sculo d.C. temos um pequeno manual, em latim, que trata da
Lgica Aristotlica e Estica, atribudo a Apuleio (124-180). Ainda no sculo II d.C.,
merece destaque Galeno (129-199) que escreveu muitas obras acerca de lgica do
ponto de vista de um aristotlico.
No incio do sculo III d.C. merecem destaque Sexto Emprico e Alexandre
de Afrodisias (~170-230) duas fontes importantes de informao a respeito da lgica
Grega. De acordo com Kneale (1968, p.189)

Sexto Emprico era um ctico, imparcial no seu desprezo por

Peripatticos e por Esticos, mas suficientemente consciencioso
para reproduzir alguns argumentos de cada escola em pormenor
quando tentou mostrar a futilidade de construir sistemas. Alexandre
era partidrio de Aristteles e o melhor de todos os comentadores
antigos de Aristteles mas era tambm um crtico honesto e arguto
das doutrinas Esticas que pensava que era desnecessrio discutir
em pormenor algumas das afirmaes do inimigo.[...]

No final do sculo III d.C. podemos ressaltar Porfrio (~232 - ~304) que
segundo (Kneale, 1968, p.191) merece ser mencionado no s pela sua
contribuio na transmisso do pensamento lgico antigo (,...), mas tambm porque
8

Sexto Emprico, o grande historiador do ceticismo, sobre quem tambm no sabemos quando e
onde viveu (entre o incio do sc. II e a segunda metade do sc. III d.C., sem dvida na Grcia, posto
que ele parece conhecer muito bem, alm de Atenas, Alexandria e Roma.) Ele pertencia escola
emprica, o termo emprico sendo quase sinnimo de mdico.Jean-Paul Dumont (Scepticism:
Artigo da Encyclopdia Universalis, Paris, s.d.,v.14, p. 719-723. Traduo: Jaimir Conte).
O termo emprico, segundo Lalande (1999), pode ser entendido como oposto a sistemtico. O que
um resultado imediato da experincia e no se deduz de nenhuma outra lei ou propriedade
conhecida.

12

ele fonte de uma interpretao deficiente da doutrina aristotlica dos predicveis,

que produziu alguma confuso mais tarde 9 .
No sculo IV, Mario Vitorino ( 295-363) traduziu para o latim as Categorias e
o De Interpretatione de Aristteles e a Eisagoge de Porfrio. Foi um escritor que
influenciou Santo Agostinho (354-430), alm de ser ele prprio um convertido ao
Cristianismo e autor de algumas obras teolgicas. Estes fatos viabilizaram sua
aceitao posterior como uma autoridade sobre o saber antigo o que lhe permitiu um
lugar na histria da lgica.
Santo Agostinho buscou conciliar f com razo. Viveu no que podemos
chamar de perodo de transio do mundo greco-romano para a Idade Mdia e
introduziu uma noo de Deus at ento alheia filosofia. Reinterpretou o
platonismo para concili-lo com os dogmas do cristianismo.
Bocio (470-524) era um cristo que escreveu no s sobre lgica, mas
tambm sobre msica, aritmtica e teologia e foi um dos mais influentes filsofos na
Idade Mdia. Seu trabalho, de maneira geral, restringiu-se compilao de material
proveniente de manuais e comentrios gregos, mas o fato de ser um estudioso
paciente fez com que suas obras se tornassem uma fonte de saber para aqueles
que tentaram reconstruir a civilizao no Ocidente depois do sculo X (KNEALE,
1968, p.193). No perodo medieval suas tradues das obras Categorias e De
Interpretatione foram as nicas obras de Aristteles ao alcance dos filsofos. A
importncia das obras de Bocio para a histria da cultura ocidental est no fato de
terem sido escritas no fim da Antiguidade Clssica, antes do saber polido ter sido
esmagado pelo vigor brbaro (KNEALE, 1968, p.202).
No final do sculo VIII, o saber comeou a renascer e os textos usados no
estudo da lgica, de autores latinos, eram as obras mais facilmente disponveis.
Alcuno (735-804), que ensinou em York por volta de 778, diz que no seu tempo a
biblioteca continha Aristteles, Vitorino e Bocio (KNEALE,1968, p.202), embora
no saibamos ao certo o que estava includo nesta verso latina de Aristteles. A
obra Dialectica de Alcuno foi o primeiro tratado medieval de lgica e, segundo
Kneale (1968), talvez tenha sido composto para uso no trivium 10 (gramtica, dialtica
9

Para maiores detalhes ver Kneale (1968).

Na Idade Mdia o trivium era o primeiro ciclo dos estudos universitrios na Faculdade das Artes ou
de Filosofia. Compreendia a gramtica, a retrica e a dialtica. Havia tambm o quadrivium que era
uma diviso superior dos estudos universitrios, compreendendo a aritmtica, a geometria, a msica
e a astronomia.
10

13

e retrica), que foi por ele restabelecido como a base da educao, aps aceitar o
convite feito pelo imperador Carlos Magno para tomar conta das questes
educacionais de sua corte.
O primeiro autor medieval a usar mtodos silogsticos de raciocnio parece
ter sido Joo Escoto Ergena (~810-877). Os estudiosos da poca consideravam a
lgica como apenas uma curiosidade que era encontrada nas relquias literrias da
Roma Crist. Esse quadro comea a mudar no sculo X, quando as tradues de
Bocio das Categorias e do De Interpretatione de Aristteles e a Eisagoge de
Porfrio comearam a ter uma maior circulao e, nesta poca, destacaram-se como
professores influentes Abbo de Fleury (~945-1004), Notker Labeo (~950-1022) e
Gerbert dAurillac (938-1003) que, depois de ter sido eleito Papa (Silvestre II),
trabalhou nos Topica de Ccero e nos escritos de Bocio e de Vitorino.
Um nome importante no sculo XII Pedro Abelardo (1079-1142) que
escreveu, segundo Kneale (1968, p.207), quatro obras de lgica: (1) Introductiones
Parvolurum

que consiste em breves comentrios Eisagoge de Porfrio e s

Categorias e De Interpretatione de Aristteles; (2) Logica Ingredientibus

que

consiste em comentrios mais longos aos textos j citados a propsito da obra

anterior e tambm do De Differentiis Topicis de Bocio; (3) Logica Nostrorum
Petitioni que consiste em comentrios mais longos Eisagoge; (4) Dialectica que
tem a forma de uma obra independente sobre os assuntos tratados nos escritos
lgicos de Bocio e no tratado de Vitorino De Definitionibus.
No sculo XIII, com a completa traduo para o latim do Organon, a lgica
aristotlica sofre importantes interpretaes tendo em vista o interesse dos filsofos
ocidentais em assimilar o novo material. A obra De Sophisticis Elenchis foi a que
mais impressionou os lgicos do sculo XIII, pois esta obra, segundo Knelae (1968,
p.232) preenchia uma lacuna nas colees de textos de lgica. Os lgicos desta
poca j conheciam os tpicos e os silogismos que tinham lido em Bocio, mas
ainda no haviam lido um texto sobre sofismas 11 e este texto de Aristteles foi muito
apropriado para isso. O estudo dos sofismas incitou os filsofos a criar e resolver
novos sofismas. Merecem destaque neste perodo Alberto Magno (1193-1280), So
Toms de Aquino (1225-1274), Willian de Shyreswood ( 1249) , Pedro Hispano
(1210-1277), que viria a ser o Papa Joo XXI, entre outros. Ainda sobre Pedro
11

Argumento que, partindo de premissas verdadeiras, ou consideradas verdadeiras, parece conforme

as regras formais do raciocnio, e que no se sabe como refutar (Lalande, 1999, p. 1049)

14

Hispano, sua obra Summulae Logicales foi o livro aceito como manual padro
durante todo o fim da Idade Mdia e ainda estava em uso no princpio do sculo
XVII, tendo j nessa altura 166 edies impressas (KNEALE, 1968, p.239).
Nos sculos XIV e XV podemos destacar Willian de Ockham (~1295-1349),
Walter Burleigh (~1275-1344), John Buridan (~1295/1305 1358/61), reitor da
Universidade de Paris em 1328 e 1340 , Albert of Saxony (c. 1316-1390), reitor da
Universidade de Paris em 1353 e Paulo Nicoletto Vneto (1368 1429), cuja obra
Logica Magna, segundo BOCHENSKI (1966, p.173), provavelmente constitui a
maior obra sistemtica de Lgica formal 12 da Idade Mdia . Willian de Ockham tem
como principais obras Expositio Aurea super Artem Veterem e a Summa Totius
Logicae. A obra Summa Totius Logicae ,

[...] foi publicada em Oxford em 1675 para ser usada como um

manual e deve-se notar que foi talvez a primeira tentativa de
apresentar toda a lgica, incluindo as inovaes medievais, de uma
forma sistemtica. (KNEALE, 1968, p.249)

Na Idade Mdia o saber cientfico tinha que seguir a lgica formal. A partir de
um conjunto de princpios admitidos como verdadeiros, procurava-se, atravs de um
processo dedutivo, encontrar explicaes para todos os fenmenos particulares. A
partir do sculo XV a lgica aristotlica comea a ser questionada, os mtodos
dedutivos, at ento considerados, onde a partir de premissas se provam
concluses, comeam a ser colocados em dvida com a chamada cincia
experimental. Os cientistas, a partir do particular, tentam alcanar o universal e
procurou-se fundamentar o raciocnio indutivo, onde as evidncias do suporte a
uma concluso.
No temos uma ruptura ntida entre a lgica da Idade Mdia e a do
Renascimento. Como dissemos anteriormente, o livro de Pedro Hispano ainda era
estudado no sculo XVII, muito embora do ponto de vista histrico a Idade Mdia
termine no sculo XV. Como diz Bochenski (1966, p. 267) a partir desse momento
no se d na escolstica investigaes sobre a Lgica formal, encontramos

12

Parte da Lgica que tem por objeto as operaes do entendimento e as regras que a se aplicam,
enquanto essas operaes so consideradas unicamente na sua forma (LALANDE, 1999, p.427)

15

basicamente recapitulaes de resultados anteriores. O termo escolstica, segundo

Lalande, significa que pertence a Escola, ou seja, trata-se do ensino filosfico dado
nas escolas eclesisticas e nas Universidades da Europa entre os sculos X e XVII,
aproximadamente.

Esse ensino tem como caractersticas distintivas, por um lado, o

estar coordenado com a teologia, a de procurar um acordo entre a
revelao e a luz natural da razo; por outro, ter como mtodos
principais a argumentao silogstica e a leitura comentada dos
antigos autores conhecidos nessa poca, sobretudo de Aristteles.
(LALANDE, 1999, p. 318)

Segundo Kneale (1968, p.303), Dos 400 anos que vo do meio do sculo
XV ao meio do sculo XIX temos vrios manuais de lgica, mas muito poucas obras
que contenham alguma coisa que seja ao mesmo tempo nova e boa.
O Humanismo 13 rompeu com a tradio teocntrica e a concepo filosfica
da Idade Mdia, o homem passa a ser o objeto do conhecimento. Num primeiro
momento, o Humanismo apresenta uma repulsa pela lgica escolstica, afinal como
diz Kneale (1968, p.305): Quem, a no ser uma pessoa insensvel, dedicaria a sua
vida s proprietates terminorum 14 quando podia aprender grego ou estudar Plato?.
O lgico mais famoso desta primeira tendncia foi Petrus Ramus ou Pierre de la
Rame (1515-1572), que na sua obra Aristotelicae Animadversiones de 1534 acusa
Aristteles de ser confuso e obscuro.
Nem todos os humanistas do Renascimento desprezaram Aristteles,
alguns, como Zabarella (1538-1589), acreditavam que ele havia sido mal
interpretado pelos escolsticos e tentaram aplicar mtodos de investigao histrica.
A obra de Zabarella a de um filsofo clssico que no espera encontrar nada com

13

Movimento cultural caracterizado por um esforo para realar a dignidade do esprito humano e
para o valorizar, reatando os laos, depois da Idade Mdia e da escolstica, entre a cultura moderna
e a cultura antiga. (LALANDE, 1999, p.479).
14
De acordo com (KNEALE, 1968, p.251) A teoria das proprietates terminorum (propriedades dos
termos)[...] formou-se na segunda metade do sculo XII e parece ser proveniente das discusses de
Abelardo e dos seus contemporneos sobre a estrutura das proposies categricas. [...] a teoria das
proprietates terminorum pretende explicar as funes diferentes que as palavras ou expresses
verbais podem desempenhar quando figuram como termos nas proposies. Para maiores detalhes
ver (KNEALE, 1968) e (GOMES, 2006)

16

interesse depois da Antigidade clssica e os assuntos de que trata so aqueles que

podiam ser sugeridos por uma leitura literal de Aristteles (KNEALE, 1968, p.311).
Nos sculos XVII e XVIII houve um declnio do interesse pela lgica formal, e
segundo

Kneale

(1968),

um

provvel

motivo

pode

ser

encontrado

no

desenvolvimento da fsica moderna e tambm no reconhecimento de que a lgica

no era um instrumento de descoberta, como algumas vezes se tinha suposto. O
desenvolvimento da fsica provocou o desenvolvimento da matemtica em uma nova
direo, gerando o que hoje chamamos de lgebra e anlise. Estas no foram
elaboradas de uma maneira axiomtica, como o foi a geometria dos gregos, e com
isso os matemticos pensaram que seus novos mtodos eram independentes da
lgica tradicional.
Os filsofos mais conhecidos de sculo XVII no apresentaram exposies
detalhadas de lgica formal e algumas vezes at desacreditaram seu estudo. Apesar
disso havia vrios manuais de lgica que podiam ser lidos e utilizados neste perodo.
Um dos manuais mais famosos surge em 1662, La Logique ou lArt de penser ou
tambm conhecido como Lgica de Port Royal de autoria de Antoine Arnauld (16121694) e Pierre Nicole (1625-1695). Trata-se de uma obra de exposio clara e a
concepo geral de lgica apresentada neste livro teve grande aceitao e dominou
o tratamento da lgica pela maior parte dos filsofos nos 200 anos seguintes.
Embora poucos pensadores dos sculos XVII e XVIII tenham dado ateno
lgica formal, merece destaque Gottfried Wilhelm Von Leibniz (1646-1716)
reconhecido como um dos maiores lgicos da histria, embora existam controvrsias
com relao a isso. Segundo Kneale (1968), interessante observar que a obra de
Leibniz exerceu pouca influncia no campo da lgica por cerca de 200 anos, o que
pode ser justificado em parte pela predominncia de outros interesses, relativos ao
desenvolvimento das cincias da natureza, mas tambm em parte a defeitos de seu
prprio carter (KNEALE, 1968, p.325). Leibniz nasceu em Leipzig em 1646, era
filho de um professor de filosofia, que faleceu quando Leibniz tinha 6 anos. Embora
tenha aprendido latim na escola, foi autodidata em latim avanado e grego,
provavelmente motivado por poder ler as obras da biblioteca de seu pai. Em 1661,
aos 14 anos, ingressa na Universidade de Leipzig onde se dedica num primeiro
momento ao estudo das leis. Na mesma poca estudou tambm Filosofia, com
Jacob Tomasius e Matemtica, com Erhard Weigel (1625-1699), que ensinou a seu
aluno Geometria Euclidiana e lgebra Elementar, o que deve ter influenciado Leibniz

17

com relao importncia do mtodo matemtico de demonstrao para a lgica e

a filosofia. Em 1664 Leibniz obtm o grau de Mestre de Artes e em 1667 obtm seu
doutorado em leis em Altdorf. Ao longo de sua vida Leibniz envolveu-se em uma
grande variedade de projetos, nas reas cientfica, poltica e literria. H um projeto
de publicao de suas obras completas, em desenvolvimento, aos cuidados da
Academia de Cincias da Alemanha 15 . At o presente, foram publicados mais de
vinte volumes. Tendo em vista a magnitude da tarefa e o atual ritmo de publicao,
estima-se que a concluso da tarefa dar-se- em dois sculos. (Gallas, 2003)
Em 1716, quando morreu, sua fama estava relacionada sua descoberta do
clculo infinitesimal e sua doutrina metafsica, segundo a qual este o melhor dos
mundos possveis. Com relao a sua obra em lgica, segundo Kneale

[...] a partir de fragmentos publicados em jornais, de cartas escritas

a alguns de seus inmeros correspondentes e referncias
espalhadas nos seus Nouveaux essais sur lentendement humain
par lauteur de lharmonie pretablie (publicada em 1765) ficou-se a
saber que ele pretendia ter feito grandes descobertas em lgica,
mas havia pouco material para o confirmar. (KNEALE,1968,

p.327)

De acordo com Styazhkin (1969, p. 81), para Leibniz a lgica a cincia

que ensina a outras cincias um mtodo para descobrir e provar todos os corolrios
a partir de premissas dadas.
Leibniz 16 ambicionava organizar todo o conhecimento humano e para isso
pretendia conseguir uma linguagem universal que, fazendo uso de caractersticas da
matemtica como preciso e clareza, permitisse obter um mtodo para efetivar tal
organizao.
Os matemticos suos Johann Bernoulli (1667-1748) e Jakob Bernoulli
(1654-1705), como discpulos de Leibniz, segundo Styazhkin (1969), estavam
familiarizados com as tentativas de seu mestre para encontrar algoritmos lgicos
satisfatrios. Em 1685 perceberam um paralelo entre certas operaes algbricas e
lgicas e divulgaram tais observaes no trabalho Parallelismus ratiocinii logici et
15

G. W. Leibniz: Smtliche Schriften und Briefe. Ed Preussischen (Deutsche) Akademie.

Darmstadt/Leipzig/Berlin: Akademie-Verlag. 1923-?.
16
Para maiores detalhes sobre Leibniz ver Styazhkin (1969).

18

algebraici (1685). Segundo Glivenko (1937, apud Styazhkin, 1969, p.95) os

Bernoullis comearam a estudar estruturas distributivas bem antes de Boole.
Os trabalhos de Leibniz influenciaram Gottfried Ploucquet (1716-1790) e
Johann Heinrich Lambert (1728-1777) que, segundo Kneale (1968, p.353),
ajudaram a manter viva a lgica matemtica durante o sculo XVIII.
Segundo Styazhkin (1969, p.103), a teoria lgica de Ploucquet utilizava a
idia de caracterstica universal como ponto de partida, embora ele pensasse nela
como um problema de construo de um clculo lgico suficientemente poderoso,
no qual, em particular, seria possvel obter fatos significativos da lgica tradicional.
Johann Heinrich Lambert foi um dos mais criativos seguidores de Leibniz e
em seus trabalhos relacionados lgica, segundo Styazhkin (1969, p.112), j
encontramos um sistema de clculo lgico desenvolvido que antecipa algumas
caractersticas do formalismo lgico-matemtico posterior.
Entre as obras do sculo XVIII que deram alguma contribuio para a lgica
Matemtica devemos mencionar as Letrres une Princesse dAllemagne de
Leonhard Euler (1707-1783) (escritas em 1761 e publicadas em 1768). A
importncia das cartas que tratam de lgica se deve ao fato de divulgarem o artifcio
de Leibniz de exemplificar as relaes lgicas com analogias geomtricas e isto teve
alguma influncia sobre os pensadores do sculo seguinte. (Kneale, 1968, p.354)
Ainda no sculo XVIII, devemos mencionar Immanuel Kant (1724-1804), filsofo
alemo, nascido em Knigsberg, que em 1740 ingressa como estudante na
Universidade de Knigsberg, onde em 1770 se torna professor de Lgica e
Metafsica. Segundo Kneale, (1968, p.359), num ensaio de 1762, intitulado Die
falsche Spitzfindigkeit der vier syllogistischen Figuren erwiesen (Acerca da falsa
sutileza das quatro figuras do silogismo), Kant tentou encontrar uma frmula para o
raciocnio silogstico sem levar em considerao o processo de reduo elaborado
por Aristteles.
A exposio de Kant sugere que ele possua mais interesse pelo ensino do
que alguns de seus predecessores; tal impresso confirmada pelo uso que ele faz
da lgica formal na Crtica da Razo Pura, e, segundo Kneale

em particular pela tentativa de derivar a tbua das categorias da

classificao das formas de juzo. Mas quando consideramos as

19

coisas mais de perto, vemos que o interesse de Kant era superficial.

No livro intitulado Logik, que foi elaborado a partir de notas das suas
aulas por B. G. Jsche 17 em 1800, ele diz muito pouco que tenha
interesse acerca da silogstica e no mostra qualquer simpatia pelos
esforos que foram feitos para melhorar a herana aristotlica.
(KNEALE, 1968, p. 359)

De acordo com DOttaviano & Feitosa

Immanuel Kant pouco contribuiu para a lgica, em sua obra, mas

sua influncia foi grande, devido sua reputao em outros campos
do conhecimento. No prefcio de seu Kritik der reinem Vernunft,
edio de 1787, afirma explicitamente que a lgica no tinha dado
qualquer passo importante, para frente ou para trs, desde
Aristteles, e parecia, sob toda aparncia, estar acabada e
completa. (D OTTAVIANO & FEITOSA, 2003, p.12)

O padre e filsofo tcheco Bernard Bolzano (1781-1848) publicou em 1837 a

obra Wissenschaftslehre onde apresentou o que alguns autores consideram a
primeira teoria moderna de lgica, em que apresenta uma separao entre a lgica
da psicologia e a da retrica. Caracterizou em seus trabalhos o que hoje chamamos
de deduo 18 .
O ingls John Stuart Mill (1806-1873) em seu livro System of Logic publicado
em 1843 apresenta uma exposio de induo 19 e a metodologia das cincias da
natureza e da sociedade (KNEALE, 1968, p.377).
Segundo Kneale (1968), para o desenvolvimento da lgica matemtica foi
importante a contribuio da geometria e da lgebra. A geometria forneceu o campo
para o estudo das noes de axiomtica, enquanto a lgebra forneceu um modelo
para a elaborao de um clculo lgico.
O sculo XIX bastante importante para o desenvolvimento da lgica
matemtica e vrios lgicos importantes contriburam para este desenvolvimento.
17

Gottlob Benjamin Jsche (1762-1842).

Operao pela qual se conclui rigorosamente de uma ou de vrias proposies tomadas como
premissas uma proposio que a sua concluso necessria em funo das regras lgicas.
(Lalande, 1999, p. 227)
19
A palavra induo usada para descrever uma inferncia que conduza de enunciados singulares
(por vezes denominados tambm enunciados particulares) tais como as descries dos resultados
de observaes ou experimentos, para enunciados universais (POPPER, 1975, p. 27)
18

20

Um dos nomes mais relevantes o do ingls August de Morgan (1806-1871) que

pode ser considerado o fundador da teoria lgica das relaes. August de Morgan
estudou no Trinity College, em Cambridge e, em 1828, tornou-se professor de
matemtica da London University College. Foi o fundador e primeiro presidente da
Sociedade Matemtica de Londres. Manteve uma longa polmica com Willian
Hamilton (1788-1856) relacionada ao desenvolvimento matemtico da lgica
dedutiva (e, em particular, o problema de quantificao do predicado). Segundo
Styazhkin (1969, p.162) seus principais trabalhos em lgica so First Notions of
Logic (1839) onde a lgica definida no como a cincia de conceitos ou
afirmaes, mas como uma teoria de nomes de objetos; Formal Logic or the
Calculus of Inference, Necessary and Probable (1847) onde temos um sistema
desenvolvido para um clculo de relaes e Syllabus of a Proposed System of Logic
(1860). De Morgan foi o iniciador da aplicao de clculos lgicos para verificar
teoremas da teoria das probabilidades, antecipando os esforos anlogos de George
Boole. De acordo com Styazhkin

[...] a relevncia histrica fundamental do sistema de De Morgan

principalmente ter estimulado o desenvolvimento da lgebra das
relaes de C. S. Pierce e ter dado um empurro a George Boole em
seus esforos para generalizar a silogstica de Aristteles usando o
clculo de classes, o qual no era claro e nem completamente
desenvolvido por De Morgan.(STYAZHKIN, 1969, p. 169)

George Boole (1815-1864) nasceu em Lincoln, Inglaterra. Seu pai tinha uma
pequena loja de sapatos, mas era muito interessado por matemtica, tendo George
iniciado seu aprendizado em matemtica com ele. Foi autodidata no estudo de
vrias lnguas. Mesmo no tendo formao acadmica foi professor assistente aos
16 anos. Segundo Kneale (1968, p.409), no sculo XVII Leibniz j tinha
compreendido que h alguma relao entre a disjuno e a conjuno de conceitos
e a adio e a multiplicao de nmeros, mas no conseguiu formular precisamente
em que que consistia a semelhana e depois us-la como uma base para um
clculo lgico. Este resultado foi obtido por George Boole no seu livro Mathematical
Analysis of Logic (1847) uma de suas primeiras contribuies para o vasto assunto
que o tornaria famoso. A motivao para escrever seu livro deveu-se ao

21

aparecimento em revistas de cartas sobre a disputa entre De Morgan e Hamilton, j

mencionada anteriormente. Tornou-se amigo de De Morgan e no mesmo ano em
que De Morgan publicou sua obra Formal Logic, Boole publicou Mathematical
Analysis of Logic. Segundo Kneale (1968, p.410), de obras que j tinham sido
publicadas anteriormente, Boole pode ter feito duas descobertas importantes: a
primeira a possibilidade de existir uma lgebra de objetos que no eram nmeros
no sentido vulgar; e a segunda, que as leis que so satisfeitas para tipos de
nmeros at aos nmeros complexos no tm que ser necessariamente
conservadas num sistema algbrico no aplicvel a esses nmeros. A partir da
percebeu que era possvel desenvolver uma lgebra sob a forma de um clculo
abstrato, passvel de vrias interpretaes.
Em 1849 Boole assumiu a cadeira de matemtica do Queens College em
Cork e comeou a preparar um livro maior sobre a teoria lgica. O resultado de seu
trabalho foi An Investigation of the Laws of Thougt on which are founded The
Mathematical Theories of Logic and Probabilities, publicado em 1854. Nesta obra
definiu as teorias matemticas da lgica e da probabilidade, estabelecendo a lgica
formal e uma nova lgebra.
Os resultados obtidos por Boole foram desenvolvidos e generalizados por
outros estudiosos como William Stanley Jevons (1835-1882) que foi professor de
lgica, filosofia e poltica econmica em Manchester (1866-1876) e Londres (18761880). Suas principais obras na rea de lgica so: Pure Logic (1863), The
Substitution of Similars (1869) e Principles of Science (1874).
Jevons foi o primeiro a compreender os mtodos desenvolvidos por Boole
como sendo passveis de reduo a regras do clculo elementar, o que possibilitaria
serem mecanizados. Vendo a possibilidade de mecanizar o processo de seleo e
comparao de elementos, e mesmo a possibilidade de composio de uma
equao lgica, Jevons, aps dez anos de experimentos, desenvolveu uma mquina
lgica que ficou conhecida com a mquina lgica de Jevons. Ele apresentou-a em
1870 na London Royal Society, da qual era membro. Publicou um artigo On the
Mechanical Performance of Logical Inference onde descreveu sua mquina.
A mquina lgica de Jevons, atualmente exposta no Museu de Histria da
Cincia de Oxford, foi, de certo modo, um predecessor do computador. Tocando
essa mquina como se toca um piano, possvel resolver problemas lgicos mais
rapidamente. O Piano Lgico, como chamado por Jevons, provocou grande

22

interesse entre seus contemporneos. Na Rssia, Poretskii descreveu a mquina em

seu livro, publicado em 1844. Em 1893, I.V. Sleshinskii (1854-1931), um professor
da Universidade de Novorosiisk (Odessa), apresentou um trabalho intitulado
Jevons Logical Machine.
A figura abaixo apresenta o Piano Lgico de Jevons

Figura 2 Piano Lgico de Jevons 20 .

No livro Symbolic Logic ,de 1881, John Venn (1834-1923), que tambm era
admirador de Boole, usou mtodos algbricos e diagramas de regies que se
intersectam para mostrar as relaes entre as classes ou as condies de verdade
das proposies. Segundo Kolmorogov (1992, p.27), embora seja dito que Venn se
apropriou dos crculos de Euler e aperfeioou o seu mtodo, tal afirmao no
20

Imagem disponvel em http://www.answers.com/topic/william-stanley-jevons-logic-piano-jpg .

Acesso 09 jul. 2007.

23

verdadeira, pois ainda que os dois mtodos envolvam a representao dos

contedos no plano a fundamentao metodolgica do diagrama de Venn, isto , o
desenvolvimento da funo lgica em elementos, uma das idias principais da
lgica algbrica, no parte do mtodo de Euler. Diagramas desenhados com o
cuidado de desenvolver-se em elementos no so apenas mais intuitivos, mas
tambm permitem que obtenhamos mais informaes sobre o problema. Alm disso,
e isso outra distino crucial entre o mtodo de Euler e Venn, os diagramas de
Venn no so usados meramente como uma ilustrao da soluo, mas como uma
ferramenta para resolver problemas lgicos.
Os resultados obtidos por Boole e seus seguidores imediatos foram
estudados e generalizados pelo matemtico alemo Ernst Schrder (1841-1902),
que foi professor na escola Politcnica em Darmstadt em 1874 e, em 1876, na
Universidade Tcnica de Karlsruhe, Schrder continuou o desenvolvimento da lgica
algbrica, qual chamava clculo lgico: foi ele que originalmente usou o termo
clculo proposicional. Diferentemente de Boole, Jevons e Venn, Schrder indicou
claramente quais as propriedades da operao que ele aceitava como axiomas e
quais ele obteve como teoremas. O primeiro trabalho de Schrder em lgica
matemtica, Der Operationskreis des Logikkalkls (A Classe de Operaes do
Clculo Lgico), publicada em Leipzig em 1877, continha, pela primeira vez, a
formulao do princpio da dualidade 21 . Ele resumiu os resultados de sua pesquisa
nesta rea em trs volumes Vorlesungen ber die Algebra der Logik (Lies sobre
a lgebra da Lgica). O terceiro volume tinha como subttulo Algebra und Logik der
Relative (lgebra e a Lgica do relativo), e uma discusso do clculo de
relaes.
Um papel importante no desenvolvimento e na disseminao da lgebra
lgica na Rssia foi desempenhado por Platon Sergeevich Poretskii (1846-1907).
Filho de um fsico militar, graduou-se no Departamento de Fsica e Matemtica da
Universidade de Kharcov em 1870, com especializao em astronomia. Em 1876
comeou sua carreira como astrnomo na Universidade de Kazan, onde defendeu
seu doutorado em astronomia em 1886 e lecionou matemtica e astronomia. De
1881 a 1904 alguns de seus trabalhos sobre lgebra lgica foram publicados, sendo

21

Numa lgebra de Boole o princpio da dualidade estabelece que para um teorema relacionando
variveis lgicas possvel escrever outro teorema trocando-se os sinais (+) e (.) e os 0s e 1s,
respeitando-se a ordem das operaes da expresso original.

24

o seu principal trabalho On Methods of Solving Logical Equalities and an Inverse

Method of Mathematical Logic publicado em 1884.
Segundo Kneale (1968, p.441), depois da obra de Boole, o grande passo
frente em lgica dado pelo matemtico e filsofo alemo Friedrich Ludwig Gottlob
Frege (1848-1925) um dos criadores da lgica matemtica moderna. Frege estudou
em Jena e Gttingen e tornou-se professor de matemtica em Jena. Frege pretendia
desenvolver a idia de que a aritmtica uma elaborao da lgica e para isso
compreendeu que era necessrio introduzir dois importantes melhoramentos em
lgica: em primeiro lugar, organizar a lgica tradicional e as novas contribuies de
Leibniz e de Boole de modo a tornar clara a estrutura da cincia e a grande
variedade de formas proposicionais a serem consideradas na lgica geral. Em
segundo lugar, de acordo com Kneale

tudo o que exigido para a demonstrao dos teoremas tem que

figurar explicitamente no princpio e o processo de deduo tem que
ser reduzido a um pequeno nmero de regras padro a fim de que
no haja perigo de inconscientemente introduzirmos na
demonstrao aquilo que precisamente desejamos demonstrar.
(KNEALE, 1968, p.442)

Em 1879, publicou o seu Begriffsschrift eine der arithmetischen

nachgebildete Formelsprache des reinen Denkes (Notao Conceitual, uma
linguagem por frmulas do pensamento puro modeladasobre a da Aritmtica), um
manual de ideografia. Esta obra, que marca uma poca na histria da lgica, no foi
muito bem aceita por seus contemporneos. Frege prosseguiu seus estudos e em
1884 publicou Die Grundlagen der Arithmetik (Os Fundamentos da Aritmtica), no
qual apresentava suas opinies e algumas crticas das idias correntes sobre a
natureza da aritmtica. Segundo Kneale (1968, p.442), neste livro Frege tinha como
objetivo tornar sua tese provvel. Em 1893 publicou o primeiro volume de sua obra
fundamental Grundgesetze der Arithmetik (Leis bsicas da Aritmtica), e deve-se
ressaltar que enquanto trabalhava nesta obra, Frege modificou suas concepes
anteriores sobre a filosofia da lgica e publicou trs artigos (ber Funktion und
Begriff (Sobre Funes e Conceitos) (1891), ber Begriff und Gegenstand (Sobre
conceito e Objeto) (1892) e ber Sinn und Bedeutung (Sobre Sentido e Significado)

25

(1892)). Mais uma vez a recepo de sua obra foi desestimulante e a publicao do
segundo volume de Grundgesetze der Arithmetik s ocorreu em 1903. Segundo
Blanch (1996, p.322), em junho de 1902, quando a obra estava a ser impressa,
Frege recebeu uma carta de Bertrand Russell (1872-1970) onde este lhe
comunicava que, aps estudar atentamente o volume j publicado, havia encontrado
uma contradio, que ficou conhecida como o paradoxo de Russell. Segundo
DOttaviano & Feitosa o paradoxo pode ser apresentado da seguinte forma

Consideremos o conjunto R, constitudo por todos os conjuntos x

tais que x no elemento de si mesmo. Em notao contempornea
de teoria dos conjuntos: R = { x : x x}. Pela definio de R, se R
for elemento de R, deve satisfazer a propriedade definidora do
conjunto R e, portanto, R R implica R R; por outro lado, se R
no for elemento de R, no deve satisfazer propriedade que
caracteriza os elementos de R e, portanto, R R implica R R.
Assim sendo, R R equivalente a R R (D OTTAVIANO &
FEITOSA, 2003, p.16)

Isto faz com que Frege acrescente um apndice ao seu volume,

enfraquecendo um dos seus axiomas numa tentativa de evitar tal contradio. Mas,
aps sua morte, S. Lesniewski (1886-1939) provou que, mesmo enfraquecido, o
axioma no permite evitar a contradio. A mais importante contribuio de Frege
para a lgica foi o uso dos quantificadores como escreve Kneale (1968, p.516): o
emprego de quantificadores para ligar variveis foi uma das maiores invenes
intelectuais do sculo XIX.
No final do sculo XIX, segundo Blanch (1996, p.324), os estudiosos
interessados na filosofia da matemtica e na simbolizao de sua linguagem se
voltam para o italiano Giuseppe Peano (1858-1932) e para os matemticos italianos
que trabalham em grupo com ele. Seu trabalho foi motivado pelo desejo de
expressar toda a matemtica em termos de um clculo lgico. Entre 1895 e 1905
publica o livro Formulaire de Mathmatiques (em cinco volumes) escrito com seus
colaboradores, uma obra onde desenvolveu no apenas uma linguagem formalizada
para a lgica matemtica, mas sim para toda a matemtica. Em seu livro
Arithmetices Principia Nova Methodo Exposita de 1889 apresenta o que chamamos

26

hoje de axiomas de Peano. Uma estrutura para os nmeros naturais, em notao

contempornea, poderia ser apresentada pela seguinte lista de axiomas:
A1) 1 um nmero natural.
A2) Todo nmero natural igual a ele mesmo (igualdade reflexiva).
A3) Para todos os nmeros naturais a e b, a = b se, e somente se, b = a (igualdade
simtrica).
A4) Para todos os nmeros naturais a, b e c, se a = b e b = c ento a = c (igualdade
transitiva).
A5) Se a = b e b um nmero natural ento a um nmero natural.
A6) Se a um nmero natural ento S(a) 22 um nmero natural.
A7) Se a e b so nmeros naturais ento a = b se, e somente se, S(a) = S(b).
A8) Se a um nmero natural ento S(a) diferente de 1.
A9) Para todo conjunto K, se 1 est em K e S(x) est em K para todo x em K ento
todo nmero natural est em K.
Como os axiomas A2, A3, A4 e A5 so considerados propriedades bsicas
da igualdade, a lista acima poderia ser minimizada aos demais axiomas A1, A6, A7,
A8 e A9, que so essencialmente os Axiomas de Peano. Um dos dois pilares de
sustentao do conjunto dos naturais o axioma A1 que afirma, ou mesmo garante
a existncia de tais nmeros com a apresentao da unidade, tradicionalmente e
aqui tambm! representada pelo smbolo 1. A existncia e unicidade do sucessor
de um natural diferente dele prprio (axiomas A6, A7 e A8) mais o Princpio de
Induo Finita, garantido pelo axioma A9, determinam o segundo pilar de
sustentao dos naturais. Na verdade, os Axiomas de Peano so fundamentalmente
um processo algortmico (Princpio de Induo Finita) que tem incio na unidade
(A1), muito embora, em textos contemporneos mais comum apresentar de forma
estratgica a ausncia de quantidade ou a nulidade ou o zero representado pelo
smbolo 0 como o ponto de partida ao invs da unidade. Isso se justifica a
posteriori no desenvolvimento da teoria dos nmeros quando do estudo das
operaes tipo soma e existncia de elemento oposto em certas estruturas
algbricas.
Bertrand Russell (1872-1970) e Alfred North Whitehead (1861-1947)
escreveram uma obra considerada um marco na histria da lgica chamado

22

A notao S(a) representa o sucessor de a, onde S(a) = a + 1.

27

Principia Mathematica, publicado em trs volumes nos anos de 1910, 1912 e 1913.
O objetivo deste trabalho era obter todas as verdades matemticas de um conjunto
bem definido de axiomas e regras de inferncia expressas em lgica simblica.
Russell e Whitehead utilizaram chamada teoria dos tipos para evitar o paradoxo
encontrado no trabalho de Frege. Na teoria dos tipos, Russell e Whitehead
classificaram os conjuntos de acordo com seu nvel, criando uma hierarquia. Os
conjuntos tipo-1 so aqueles que contem os objetos individuais que no so
conjuntos. Conjuntos que contem outros conjuntos so chamados tipo-2. Conjuntos
que contm conjuntos que contm conjuntos so de tipo-3, e assim sucessivamente.
Um conjunto de determinado tipo s poder conter conjuntos de tipo inferior ou
objetos, isso faz com que no seja possvel criar o conjunto de todos os conjuntos
que no contem a si mesmo, pois tal conjunto teria que ser ao mesmo tempo do tipo1 e tipo-2, o que no permitido, eliminando assim o paradoxo. A questo agora
era verificar se existia alguma contradio nos axiomas apresentados nesta obra e
tambm se existiria alguma proposio matemtica que no pudesse ser provada
neste sistema. Esse problema foi resolvido em 1931 pelo austraco Kurt Gdel
(1906-1978) que publicou um artigo intitulado Uber formal unentscheidbare Stze
der Principia Mathematica und verwandter Systeme (Sobre as Proposies
Indecidveis dos Principia Mathematica e Sistemas Correlatos). Segundo Nagel
(1973, p.15) neste artigo Gdel mostrou que o pressuposto que todo o setor do
pensamento matemtico pode ser dotado de um conjunto de axiomas suficiente para
desenvolver sistematicamente a totalidade de verdadeiras proposies acerca da
rea dada de investigao insustentvel. Gdel mostrou que o mtodo axiomtico
tem algumas limitaes inerentes que impedem que at mesmo a aritmtica dos
inteiros possa ser plenamente axiomatizada 23 .
No inicio do sculo XX, surgiu O Crculo de Viena que foi responsvel pela
criao de uma corrente de pensamento intitulada positivismo lgico.

O grupo

inicialmente era formado pelo fsico Philipp Frank (1884-1966), pelo filsofo Otto
Neurath (1882-1945) e pelo matemtico Hans Hahn(1879 -1934) e na dcada de
vinte incorporaram-se ao grupo o filsofo Moritz Schilick (1882- 1936) e o filsofo
Rudolf Carnap (1891- 1970) que passaram a condio de seus mais ativos
membros. Segundo Silva

23

Para maiores detalhes ver (NAGEL,1973)

28

Este movimento surgiu na ustria, como reao filosofia idealista e

especulativa que prevalecia nas universidades alems. A partir da
primeira dcada do sculo, um grupo de filsofos austracos iniciou
um movimento de investigao que tentava buscar nas cincias a
base de fundamentao de conhecimentos verdadeiros.(SILVA,
2007)

Em 1929, ainda segundo Silva (2007), Carnap, Hahn e Neurath publicaram

um manifesto intitulado A Concepo Cientfica do Mundo: o Crculo de Viena. As
principais influncias recebidas pelos filsofos do Crculo de Viena so: o
pensamento do positivista Ernst Mach (1838-1916), a lgica de Russell, Whitehead,
Peano e Frege, bem como os novos paradigmas da fsica contempornea,
especialmente as descobertas de Einstein. Determinante foi, ainda, a filosofia de
Wittgenstein. A leitura de seu Tractatus Logico-Phylosophicus permitiu ao grupo
levar ao mximo alcance filosfico a compreenso da nova lgica, possibilitando,
assim,

incorpor-la

uma

interpretao

emprica

dos

fundamentos

do

conhecimento.
Alem dos membros j citados receberam visitas ocasionais de Kurt Gdel,
Carl Hempel, Alfred Tarski, Willard Van Orman Quine.
Uma das principais contribuies do Crculo de Viena reside na noo de
verificabilidade. Esta compreende que o sentido de uma proposio est
intrinsecamente relacionado sua possibilidade de verificao. Isto quer dizer:
determinada sentena s possui significado para aqueles que so capazes de
indicar em que condies tal sentena seria verdadeira, e em quais ela seria falsa.
Indicar tais condies equivale a apontar as possibilidades empricas de verificar a
verdade ou falsidade da sentena em questo. Deste modo, as afirmaes da
filosofia idealista ou metafsica so alijadas das proposies que contribuem para a
questo do conhecimento; seus termos centrais, tais como "ser" e "nada", dada sua
generalidade e ambigidade, no so passveis de verificao, o que torna as
sentenas destas filosofias sem significado. Os enunciados metafsicos, segundo
esta concepo, no so verdadeiros nem falsos; antes, elas carecem de sentido.
Os anos trinta marcam a disperso do movimento. Com a mudana para os Estados

29

Unidos de Carnap e outros, aliada s mortes de Hahn, Schilick e Neurath, o Crculo

perdeu sua coeso inicial.
At os anos 30 do sculo XX a lgica ocupou-se quase exclusivamente de
questes relativas aos fundamentos da matemtica. Segundo Quine (2004, p.390)
devemos muito Polnia, tendo sido Varsvia e tambm Lww centros de grande
atividade no estudo de lgica desde o ano de 1920 at a data da invaso (pela
Alemanha nazista). O perodo que se inicia nos anos 30 representa, segundo
Blanch,

um momento crucial no desenvolvimento da lgica contempornea: o

nascimento da teoria dos modelos como disciplina cientfica, a
reorientao metodolgica da teoria da demonstrao, a emergncia
da teoria da calculabilidade, a obteno, em todos esses domnios,
de resultados tcnicos profundos. (BLANCH, 1996, p. 371)

Estes elementos explicam o fato de a lgica matemtica neste momento

impor-se como rea de conhecimento junto comunidade cientfica.
Com a ascenso do nazismo, Gttingen que at ento era o grande centro
de lgica onde David Hilbert (1862-1943) havia reunido matemticos como Wilhelm
Ackermann (1896-1962), Paul Isaac Bernays (1888-1977), Hermann Weyl (18851955), Haskell Brooks Curry (1900-1982), Jacques Herbrand (1908-1931) e vrios
outros, perdeu sua aura e v-se suplantada por Princeton e pelo seu Institute for
Advanced Study , pois, fugindo do nazismo, lgicos de primeiro plano como o polaco
Alfred Tarski (1902-1983), o hngaro John Von Neumann (1903-1957) e o austraco
Rudolf Carnap (1891-1970) deixam a Europa e emigram para os Estados Unidos.
O sculo XX marca tambm o surgimento das lgicas no clssicas como
as Lgicas Multivalentes, historicamente relacionadas a Jean Lukasiewicz (18581956), as Lgicas Intuicionistas ligadas a Luitzen Egbertus Jan Brower (1881-1966)
e Arend Heyting (1898-1980), as Lgicas Paraconsistentes ligadas a Stanislaw
Jaskowski (1906-1965) e a Newton C. A. da Costa, e diversas outras.

30

CAPTULO 2

ALGUNS RECORTES SOBRE UMA HISTRIA DA MATEMTICA DO BRASIL

A Histria da Matemtica no Brasil, at meados do sculo XX, marcada pela

predominncia da Matemtica originada nas metrpoles coloniais. Isto reflexo da
dinmica da colonizao, o Brasil era basicamente um receptor do conhecimento
produzido nas metrpoles e, mesmo aps a Independncia, s foi alcanada certa
autonomia a partir do final do sculo XIX. Em vista desse quadro, para se fazer
histria da matemtica no Brasil, segundo DAmbrosio (1999, p.8) necessrio
relaxar os atuais parmetros historiogrficos. Particularmente na cronologia e no
conceito de fontes, afinal, se pensarmos, por exemplo, em fontes primrias de
geometria no as encontraremos no Brasil.
De sua descoberta em 1500, at o incio do sculo XIX o Brasil era
simplesmente uma colnia sendo explorada por sua metrpole, propiciando o
acmulo de riquezas, caracterstica do ento novo modelo econmico, o
mercantilismo.
Em 1808 para escapar do avano de Napoleo na Europa e buscando evitar
o bloqueio continental e, por conseguinte, a indisposio com os ingleses, a famlia
real portuguesa se transfere para o Brasil. interessante observar que a escolha do
Brasil deve-se influncia dos ingleses, que a partir da chegada da famlia real
podem dispor de portos em toda a costa brasileira e assim amenizar os problemas
causados pelo bloqueio continental. Para o Brasil, tambm houve vantagem na
transferncia da corte portuguesa, pois passa a ser permitida a existncia de
manufaturas nacionais, acontecem abertura dos portos s naes amigas
(Inglaterra), a criao da Imprensa Rgia, do Jardim Botnico, do Observatrio
Astronmico, do Banco do Brasil e a fundao da Biblioteca Real (hoje Biblioteca
Nacional).
Ao contrrio dos demais pases das Amricas, a independncia do Brasil se
deu tardiamente e de maneira muito peculiar. Com o retorno da famlia real para
Portugal, em 1821, estava claro que a independncia possibilitaria a manuteno do

31

status quo para aqueles que decidiram permanecer no Brasil. A independncia foi
proclamada em 1822, pelo prncipe herdeiro de Portugal, Dom Pedro de Alcntara.
Em 1831, ao retornar a Portugal, Dom Pedro I abdica em favor de seu filho, ainda
menor, e que em 1842 viria a ser coroado Imperador do Brasil como Dom Pedro II.
Tem incio o Segundo Imprio, que foi marcado por um perodo de progresso
econmico e intelectual, com uma marcante presena das idias positivistas de
Augusto Comte.
Em 1889 foi proclamada a Repblica, mas ainda se manteve forte o estilo
poltico imperial. Assim, a chamada Repblica Velha manteve o positivismo como
ideologia dominante.
Em 1930 acontece o primeiro movimento renovador de sucesso na poltica
brasileira, a revoluo liderada por Getlio Vargas, que implanta um governo com
tendncias fascistas. O Brasil s viria a ser democratizado na dcada de 50. A partir
da, mesmo com algumas interrupes (Estado Novo e a ditadura militar), o pas tem
caminhado na construo de uma sociedade democrtica.
Essa histria peculiar teve grandes conseqncias no desenvolvimento da
matemtica brasileira.
A Histria da Matemtica no Ocidente segue a periodizao mais comum:
Antigidade, Idade Mdia, Renascimento e Idade Moderna e Contempornea. O
artigo de DAmbrosio (1999, p.11) prope uma outra cronologia para a Histria da
Matemtica no Brasil:
x

Pr-Colombo/Cabral: os primeiros povoamentos, a partir da pr-

histria;
x

Conquista e colnia (1500-1822);

Imprio (1822-1889);

Primeira Repblica (1889-1916) e a entrada na modernidade

(1916-1933);
x

Tempos Modernos (1934-1957);

Desenvolvimentos Contemporneos (a partir de 1957).

A escolha dos anos 1934 e 1957 deve-se ao fato de serem marcos decisivos
na Histria da Matemtica no Brasil. Correspondem respectivamente criao da

32

Universidade de So Paulo 1 e realizao do Primeiro Colquio Brasileiro de

Matemtica, em Poos de Caldas, Minas Gerais.
Em 21 de abril de 1500 o Brasil descoberto e o ensino nesta poca, em
Portugal, era dominado pelas ordens religiosas, principalmente pela Companhia de
Jesus. Com a vinda dos jesutas ao Brasil, a partir de 1549, tambm aqui o ensino
passa a ser dominado pelos religiosos. Sabemos de alguns jesutas que vieram ao
Brasil com uma boa formao matemtica, destacam-se Padre Valentim Stancel
(1621-1705), que teve os resultados de suas observaes de cometas mencionados
no Principia de Isaac Newton e o Padre Bartolomeu de Gusmo (1685-1724), o
padre voador, nascido em Santos e que em 1709 foi nomeado lente de matemtica
da Universidade de Coimbra. Merecem ser mencionados tambm os estudos
cartogrficos encomendados por Dom Joo V aos chamados padres matemticos,
Domenico Capassi (1694-1736) e Diogo Soares (1684-1748), entre 1730 e 1737.
Em 1744 surge o primeiro livro de matemtica escrito no Brasil, por Jos
Fernandes Pinto Alpoim (1700-1765), o Exame do Artilheiro. Em 1748 o mesmo
autor escreve o Exame do Bombeiro. Ambas as obras impressas na Europa (Lisboa
e Madri), pois no havia imprensa no Brasil colonial. Tratam-se de livros elementares
e cujos objetivos eram preparar candidatos para os exames de admisso carreira
militar.
Com a chegada da famlia real em 1808 criaram-se as primeiras escolas
superiores, as Escolas de Cirurgia do Rio de Janeiro e da Bahia e logo em seguida a
Academia Real Militar, que passou a funcionar em 1811.
Na Academia Real Militar foi criado um curso de Cincias Fsicas,
Matemticas e Naturais, com durao de quatro anos. Dentre seus professores
estava Jos Saturnino de Souza Pereira (1773-1852) que havia feito o curso de
matemtica na Universidade de Coimbra e que, em 1813, publicou na revista O
Patriota um artigo sobre matemtica avanada, tratando do difcil problema
isoperimtrico do slido de maior volume. A Academia Militar foi transformada em
Escola Militar da Corte em 1839 e em 1842 foi institudo o grau de doutor em
Cincias Matemticas.
O primeiro doutorado, ao que tudo indica, foi concedido a Joaquim Gomes
de Souza (1829-1864), o Souzinha, sobre quem prevalecem lendas e mitos e de
1

A Universidade de So Paulo foi criada pelo decreto estadual n 6283, de 25 de janeiro de 1934, por
deciso do governador de So Paulo, Armando de Salles Oliveira.

33

quem se conhecem alguns fatos (DAMBROSIO, 1999, p.15). Sua dissertao trata
de estabilidade de sistemas de equaes diferenciais. A partir dessa tese avanou
consideravelmente em suas pesquisas e apresentou comunicaes em Londres e
em Paris em 1855 e 1856.

Aps Joaquim Gomes de Souza, vrias outras teses foram apresentadas

Escola Militar, depois Escola Central, Escola Politcnica e hoje Universidade Federal
do Rio de Janeiro.
Em 1889, acontece a Proclamao da Repblica que, sob o ponto de vista
matemtico e cientfico em geral, pouca inovao trouxe ao pas. A Repblica foi
proclamada sob o paradigma comtiano, o que significou a consolidao das
propostas positivistas j em vigor nas Escolas de Engenharia. Destacam-se alguns
estudos matemticos e a produo de textos. So importantes as inmeras
tradues, como a Geometria de Legendre, a lgebra de Clairaut e alguns escritos
brasileiros, como a lgebra de Joaquim Igncio de Almeida Lisboa (?-1951) e os
cursos de Clculo e Geometria Analtica de Roberto Trompowski Leito de
Almeida (1853-1926). 3
No incio do sculo XX a Escola de Engenharia comeou a receber impulsos
de modernizao; tem incio a escapada ao positivismo. Merecem destaque Otto de
Alencar Silva (1874-1912) e Manuel de Amoroso Costa (1885-1928).

Otto de Alencar preocupou-se com questes de Anlise Matemtica

e particularmente importante sua crtica matemtica de Augusto
Comte, que ainda dominava o incio do sculo XX no Brasil. Seu
discpulo Manuel de Amoroso Costa fez alguns trabalhos sobre
astronomia, fundamentos e convergncia de sries. (DAMBROSIO,
1999, p.17)

Em 1916, Amoroso Costa fundou, no Rio de Janeiro, a Sociedade Brasileira

de Cincias que em 1921 se transforma na Academia Brasileira de Cincias.
Visitaram a Academia: mile Borel (1922), Jacques Hadamard (1924), Albert
Einstein (1925), entre outros. A visita de Einstein foi particularmente importante, pois
a atitude dos cientistas positivistas tentando ridiculariz-lo pela imprensa provocou
2
3

Para maiores detalhes ver (DAMBROSIO, 2002) e (SILVA, C.P., 2003)

Para maiores detalhes ver (SILVA, C.M., 1999) e (SILVA, C.P. 2003)

34

uma reao da corrente modernizadora e isso foi um golpe mortal na corrente

positivista. Tinha incio uma nova era na cincia brasileira.
Dentre os representantes do novo pensar cientfico na Escola de Engenharia
do Rio de Janeiro est Theodoro Augusto Ramos (1895-1935) que, em 1918,
obteve o grau de doutor em Cincias Fsicas e Matemticas ao defender sua tese
intitulada "Sobre as Funes de Variveis Reais", trabalho que introduz no Brasil a
Anlise Matemtica Moderna.
Llio Itapuambyra Gama (1892-1981), colega de Theodoro Ramos, teve
importante papel nas vrias fases de renovao da matemtica brasileira. Em 1952
foi fundador e diretor do Instituto de Matemtica Pura e Aplicada (IMPA), posio
que ocupou at 1965. Gama se destacou como professor e pesquisador e foi
responsvel pela introduo de cursos rigorosos de Anlise Matemtica, partindo da
definio de nmeros reais por cortes de Dedekind e de uma definio rigorosa de
limites e continuidade.
Em 1919 Theodoro Ramos assumiu uma ctedra na Escola Politcnica, em
So Paulo, fato que teria fundamental importncia no desenvolvimento da
matemtica em So Paulo. Introduziu temas novos nos currculos, sendo
particularmente importante o Clculo Vetorial.
A grande transformao poltica no Brasil deu-se com a revoluo de 1930,
liderada por Getlio Vargas, que possibilitou a entrada do Brasil na modernidade
poltica e cultural. A modernizao da matemtica brasileira viria como conseqncia
dessas transformaes polticas. A demora em promulgar uma nova constituio
serviu de pretexto para a chamada Revoluo Constitucionalista, conflito que durou
quatro meses, com enormes conseqncias no panorama poltico e social do Brasil.
Embora derrotadas, a intelectualidade e as foras econmicas que
dominavam a poltica paulista conseguiram autorizao para criar uma universidade
estadual com autonomia em relao ao governo federal. Foram fundamentais nessa
conquista o jornalista Jlio de Mesquita Filho, o poltico Armando de Salles Oliveira
(ento Interventor Federal no Estado de So Paulo) e Theodoro Augusto Ramos,
professor da Escola Politcnica.
Em 1934, o Decreto Estadual 6283 de 25 de janeiro criava a Universidade de
So Paulo, cuja estrutura era composta por algumas escolas superiores j em
atividade (Faculdade de Direito, Escola Politcnica, Faculdade de Medicina) e a
Faculdade de Filosofia, Cincias e Letras, ento implantada.

35

A criao da Universidade de So Paulo um marco para a cincia brasileira,

s a partir deste fato se pode falar em produo cientfica em Matemtica no Brasil.

[...], at 1930, a matemtica se desenvolveu esporadicamente com

algumas pessoas de notvel valor, trabalhando quase que
individualmente. Foi a partir da dcada de 30, com a criao da
Universidade de So Paulo e com o desenvolvimento de um
pequeno ncleo atuando em matemtica e fsica na Escola
Politcnica do Rio de Janeiro, que se inicia a atividade voltada para
pesquisa nessas reas, mas ainda sem o apoio financeiro especfico
por parte das autoridades governamentais. (DIAS, 2005, p.62)

Interessa-nos particularmente a chamada subseo de Matemtica da

Faculdade de Filosofia, Cincias e Letras da Universidade de So Paulo. Theodoro
Ramos e Jlio de Mesquita Filho ficaram encarregados da contratao de
professores e para a ctedra de Geometria Superior foi convidado Luigi Fantappi
(1901-1956), um dos mais promissores matemticos italianos, aluno do j
consagrado Vito Volterra.

Theodoro Ramos conversou pessoalmente com Mussolini, na Itlia,

nas negociaes para viabilizar a vinda de italianos para a Faculdade
de Filosofia, Cincias e Letras da USP [...]. A vinda deles era um
esforo de promoo cultural que, naquela poca, no se distinguia
da propagao fascista. (SILVA, 2001b, p. 33)

Fantappi introduziu o conceito de funcional analtico e trouxe essas idias

para o Brasil e aqui teve vrios discpulos, dentre os quais merecem destaque Omar
Catunda (1906-1986), Cndido Lima da Silva Dias (1913-1998) e Domingos
Pisanelli (?-1987), que contriburam para a teoria dos funcionais analticos. 4
Em 1936, por sugesto de Fantappi, foi contratado o matemtico italiano
Gicomo Albanese (1890-1947), j internacionalmente conhecido por seus
trabalhos sobre variedades algbricas, que nos anos 60 se tornaram um importante
elemento no estudo da Geometria Algbrica Moderna. Um de seus discpulos

Para maiores detalhes ver (Tboas, 2005).

36

brasileiros foi Benedito Castrucci (1909-1995), que se tornou um destacado

professor na USP.
No curso lecionado por Fantappi se viam as transformaes nos cursos
bsicos de matemtica que estavam ocorrendo na Europa. Os analistas italianos
introduziram nos cursos de Clculo um estilo novo, rigoroso e extremamente
elegante. Desta forma, Fantappi criou um novo estilo na Matemtica brasileira. O
curso ministrado na FFCL tornou-se referncia no pas e originou o primeiro livro
moderno de Anlise Matemtica escrito no Brasil, de autoria de Omar Catunda. Esse
intercmbio com a Europa foi muito importante, pois a partir da os brasileiros
passaram a tomar conhecimento do pensamento de vanguarda na matemtica.
Os seminrios oferecidos por Fantappi eram freqentados tambm por
alunos de engenharia e engenheiros j formados. Como o interesse pela carreira na
rea de Matemtica era ainda incipiente, a primeira leva de matemticos era
formada por estudantes de Engenharia, afinal, tratava-se de uma profisso
socialmente bem reconhecida e quem quisesse lecionar Matemtica podia faz-lo
sendo Engenheiro. A exclusividade do Licenciado para ser professor no ginsio e
colegial s se efetivou em 1950, aps uma greve envolvendo todas as Faculdades
de Filosofia, Cincias e Letras do pas.
No Rio de Janeiro, pouco depois da criao da Universidade de So Paulo,
foi criada, em 1934, a Universidade do Distrito Federal, com uma Escola de
Cincias. Os estudos de Matemtica foram confiados ao competente matemtico
brasileiro Llio Gama. Os cursos de Anlise Matemtica introduzidos por ele eram
modernos e rigorosos, mas numa linha distinta daquela abordada pelos italianos em
So Paulo. A Universidade do Distrito Federal foi fechada em 1938. Em 1939 foi
criada a Universidade do Brasil, com uma Faculdade Nacional de Filosofia. Llio
Gama se afastou da Universidade e passou a se dedicar integralmente ao
Observatrio Nacional.
Como em So Paulo, foram contratados para a Faculdade Nacional de
Filosofia professores italianos, vieram os analistas Gabrielle Mammana (1893 1942) e Alejandro Terracini (1889 -1968), o gemetra Achille Bassi (1907-1973) e
o fsico matemtico Luigi Sobrero (1909-).
Em 1939, com a ecloso da Segunda Guerra Mundial, vrios matemticos
italianos residentes no Brasil, entre eles Fantappi, retornaram Itlia. Em 1942, o
Brasil declarou guerra Itlia e Alemanha e alguns outros matemticos italianos

37

que haviam ficado no Brasil trataram de sua repatriao. Aqui permanece Achille
Bassi, que por razes pessoais no pode retornar com seus colegas.

O retorno de Luigi Fantappi Itlia interrompeu o importante trabalho que

estava realizando em So Paulo. Com a sada dos professores italianos as ctedras
foram colocadas sob a responsabilidade de seus jovens assistentes que ainda no
possuam uma formao completa como pesquisadores. Omar Catunda na ctedra
de Anlise Matemtica, Cndido Lima da Silva Dias na de Geometria Superior e
Fernando Furquim de Almeida na de Crtica dos Princpios e Complementos de
Matemtica. Logo outros jovens e promissores assistentes se tornaram responsveis
por ctedras, Benedito Castrucci na de Geometria Analtica, Projetiva e Descritiva
e Edson Farah na de Anlise Superior. Ao final da guerra houve um esforo para
retomar a cooperao europia e assim so atrados alguns jovens matemticos
franceses, dentre eles merece destaque Andr Weil, um dos fundadores do grupo
Bourbaki e um dos maiores matemticos do sculo XX.
Com a chegada de Weil, os matemticos paulistas retornaram a suas
pesquisas sob a influncia desse notvel matemtico. Weil foi capaz de influir na
vinda de importantes matemticos, dentre os quais Jean Dieudonn que lecionava
seu curso de lgebra, cujas notas de aula foram redigidas em portugus por Luiz
Henrique de Jacy Monteiro (1918-1975), tornando-se um livro bsico para os
cursos da Universidade de So Paulo. Por perodos mais curtos estiveram em So
Paulo, dentre outros, Oscar Zariski e Alexander Grothendieck. Em 1946, sob a
influncia de Weil foi fundada a Sociedade de Matemtica de So Paulo, cujo
primeiro presidente foi Omar Catunda. Em 1947, Weil deixa So Paulo, e assume
uma posio em Chicago.
As reas de pesquisa estimuladas por Weil e seus companheiros eram
modernas para a poca. Alm dos matemticos j citados, temos Carlos Benjamin
de Lyra (Topologia Algbrica), Chaim Samuel Hnig (Anlise Funcional), Edson
Farah (Lgica e Fundamentos), Elza Furtado Gomide (Teoria dos Nmeros).
A Estatstica teve um rpido desenvolvimento a partir da dcada de 30,
destacou-se um grupo de Estatstica Experimental liderado por Frederico Pimentel
Gomes (1921-2004), na Escola de Agricultura Luiz de Queiroz, em Piracicaba.

Para maiores detalhes ver DAmbrosio in (DE BONI,1987, p.518) e (Silva, 2001b)

38

No Rio de Janeiro dois jovens assistentes de Mammana se destacaram: Jos

Abdelhay (1917-1996) e Leopoldo Nachbin (1922-1993) 6 . Leopoldo Nachbin viria
se destacar, no incio dos anos 50, como o primeiro matemtico brasileiro de porte
internacional, seus trabalhos sobre holomorfia em dimenso infinita foram pioneiros.
Para retomar o processo de construo de um grupo de pesquisa de
matemtica no Rio de Janeiro, foi contratado, em 1945, Antonio Aniceto Monteiro
(1907-1980). Monteiro era um dos grandes propulsores da criao de uma escola
matemtica em Portugal. Ao chegar ao Brasil, passa a orientar alguns jovens
brasileiros, dentre eles Leopoldo Nachbin, Carlos Alberto Arago de Carvalho
(1924-1982) e Maria Laura Mousinho. Na Escola Nacional de Engenharia
destacam-se Marilia Chaves Peixoto (1921-1961) e Mauricio Matos Peixoto, que
viria a se destacar internacionalmente por seus importantes resultados sobre a
estabilidade de sistemas diferenciais.
Andr Weil em So Paulo e Antonio Monteiro no Rio de Janeiro foram,
segundo DAmbrosio (1999, p.32), os principais responsveis pela formao de
uma comunidade brasileira de matemticos de alto nvel.
Para a realizao de pesquisas era fundamental o apoio financeiro e tal apoio
teria incio com a criao, em 1951, do Conselho Nacional de Pesquisas, atualmente
denominado Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico, o
CNPq, pelo decreto no 1310 de 15 de janeiro. Embora tenha sido criado em 1951 a
idia de um Conselho de Pesquisas surge nos anos 20, atravs dos integrantes da
Academia Brasileira de Cincias. Ainda no ano de 1951, atravs do decreto n. 29741
de 11 de julho, foi criada a Campanha de Aperfeioamento de Pessoal de Ensino
Superior CAPES, hoje denominada Coordenao de Aperfeioamento de Pessoal
de Nvel Superior com o objetivo de "assegurar a existncia de pessoal
especializado em quantidade e qualidade suficientes para atender s necessidades
dos empreendimentos pblicos e privados que visam ao desenvolvimento do pas" 7 .
Em relao matemtica importante salientar que ainda em 1951 o
Professor Cndido Lima da Silva Dias foi nomeado Diretor do Setor de Pesquisas
6

Em 1950 foi aberto o concurso para a ctedra de Anlise Matemtica na Faculdade Nacional de
Filosofia e inscreveram-se Jos Abdelhay (que era bacharel) e Leopoldo Nachbin (que era
engenheiro); essa diferena de titulao impugnou a inscrio de Nachbin, que recorreu e, com isso,
o concurso foi suspenso aguardando deciso judicial. Isso se tornou uma das mais prolongadas
disputas acadmicas de que se tem notcia nas universidades brasileiras; prolongou-se por quase 40
anos, ampliou-se e polarizou grupos de matemticos de todo o Brasil. (MEDEIROS, 2006).
7
CAPES Histrico disponvel em http://www.capes.gov.br/capes/portal/conteudo/10/historico.htm.
Acesso em 03 set. 2006.

39

Matemticas do CNPq e ficou incumbido de realizar um estudo sobre a situao da

Matemtica no pas. Entre as sugestes propostas pelo Prof. Cndido estava a
criao de um instituto de pesquisas na rea de Matemtica, com carter nacional;
com a aprovao de seu relatrio foi criado em 15 de outubro de 1952 o Instituto de
Matemtica Pura e Aplicada IMPA, dentro da estrutura do CNPq.
Segundo Dias (2005, p.64) a partir da dcada de 50, presenciou-se um
notvel desenvolvimento da rea acadmica brasileira, que na verdade acompanhou
o desenvolvimento do pas como um todo.
Com relao matemtica, em 1957, mais precisamente de 1 a 20 de julho,
acontece em Poos de Caldas (MG) o 1 Colquio Brasileiro de Matemtica, sob a
coordenao do Prof. Chain Samuel Hnig, que d incio a uma maior integrao
entre os matemticos do pas. Segundo SILVA (1996, p.35), em 1956 o Professor
Chain Samuel Hnig fizera a sugesto de criao do evento ao Professor Leopoldo
Nachbin, ento diretor do setor de Matemticas do CNPq.
Os Colquios bianuais renem matemticos de todo o pas e alguns
pesquisadores de outros pases e permitem que jovens estudantes tenham a
oportunidade de entrar em contato com professores de alto nvel. A relevncia dos
colquios pode ser percebida quando observamos que em 1957 cerca de 60
pessoas participaram do 1 Colquio e em 2005, na realizao do 25 Colquio, o
nmero de inscritos superou 2000 pessoas. importante ressaltar que o nmero de
participantes no foi sempre crescente de um colquio para outro, mas de maneira
geral houve um aumento significativo no nmero de participantes ao longo da
histria dos colquios. At o 15 Colquio, em 1985, o local de realizao foi a
cidade mineira de Poos de Caldas, com uma nica exceo: o 3 Colquio
realizado, em 1961, na cidade de Fortaleza, no estado do Cear. A partir do 16
Colquio, em 1987, as reunies passaram a ser realizadas no Instituto de
Matemtica Pura e Aplicada IMPA, no Rio de Janeiro.
A partir dos anos 60 aconteceu um aumento expressivo de cursos de
graduao em matemtica e, alm disso, tambm nesta poca e nos anos 70 temos
a implantao da ps-graduao em nvel de mestrado, e, em alguns casos, de
doutorado em vrios centros brasileiros, o que deu incio a um grande
desenvolvimento de recursos humanos nessa rea.

40

para se ter uma melhor viso do que ocorreu na rea acadmica

brasileira nestes ltimos 55 anos, vale lembrar que em 1950 contavase com uma populao estudantil de graduao, no pas todo, de
60000 alunos, e sem ps-graduao instalada fato que s ocorreu
em meados dos anos 60 esses nmeros evoluram para um total
de mais de 4 milhes de alunos de graduao com um forte
esquema de ps-graduao, que nos ltimos anos tem formado
cerca de 6000 doutores por ano 8 (DIAS, 2005, p. 65)

O governo federal institucionalizou os estudos ps-graduados no pas a partir

do Parecer CFE/CES n. 977/65, de 3 de dezembro de 1965, com o objetivo de
formar mestres e doutores. Nos anos 70 j havia um bom nmero de artigos de
matemticos brasileiros publicados em bons peridicos de circulao internacional,
abrangendo diversas subreas da Matemtica tais como: lgebra Comutativa,
Geometria Algbrica, Geometria Diferencial, Anlise, Equaes Diferenciais
Ordinrias, Equaes Diferenciais Parciais, Sistemas Dinmicos, Probabilidade,
Estatstica, Lgica Matemtica entre outras.

Alm disso, atualmente existem

trabalhos sendo desenvolvidos em algumas subreas importantes da Matemtica

como Topologia de Baixa Dimenso, lgebra e Grupos de Lie, Teoria dos Nmeros,
Criptografia, Teoria dos Jogos, Economia Matemtica. A relevncia da produo
matemtica brasileira pode ser confirmada pelo fato de o pas ter, no ano de 2005,
galgado uma posio de destaque na classificao da International Mathematical
Union (IMU), sendo promovido ao grupo IV (de uma escala de I a V) ao lado de
importantes e tradicionais pases no campo de pesquisa matemtica.

Atualmente os principais centros de pesquisa em Matemtica no pas,

segundo o conceito da Capes 10 so o Instituto de Matemtica Pura e Aplicada
(IMPA) e o Instituto de Matemtica, Estatstica e Cincia da Computao (IMECC)
da UNICAMP, ambos com conceito 7. O Instituto de Matemtica e Estatstica (IME)
da Universidade de So Paulo (USP) e a Universidade de Braslia, ambos com
conceito 6. E entre os cursos com conceito 5 temos: Instituto de Matemtica (IM) da
Universidade Federal do Rio de Janeiro - UFRJ, o Instituto de Cincias Matemticas
e Computao (ICMC) da USP em So Carlos, a Universidade Federal de So
Carlos - UFSCar, a Universidade Federal do Rio Grande do Sul - UFRGS, a
8

Embora apenas pouco mais de 1% na rea de Matemtica

Fazem parte deste grupo: Holanda, Sucia, Sua, ndia e Espanha.
10
Disponvel em http://servicos.capes.gov.br/projetorelacaocursos/jsp/conceitoDet.jsp. Acesso em 23
de junho de 2007.
9

41

Universidade Federal do Cear - UFC, a Universidade Federal de Pernambuco UFPE, a Universidade Federal de Minas Gerais UFMG e a Pontifcia Universidade
Catlica - PUC do Rio de Janeiro. E este nmero tende a aumentar com a
implantao de novos programas no pas.

42

CAPTULO 3

UMA HISTRIA DA LGICA NO BRASIL

Este captulo apresenta, num primeiro momento, um panorama sobre a

evoluo dos estudos relacionados lgica no Brasil, at o incio do sculo XX, e
para isso utilizamos como referncia central a dissertao de mestrado de Evandro
Luis Gomes intitulada Sobre a histria da lgica no Brasil: da lgica das faculdades
lgica positiva (1808 - 1909), apresentada na Faculdade de Filosofia, Cincias e
Letras da USP. Na seqncia abordamos trs obras que acreditamos serem
relevantes na histria da lgica no Brasil: As Ideas Fundamentaes da Matemtica,
de Manuel Amoroso Costa; Elementos de Lgica Matemtica, de Vicente Ferreira da
Silva e O Sentido da Nova Lgica, de Willian Van Orman Quine, este ltimo, mesmo
no sendo brasileiro, escreveu esse livro quando esteve no Brasil a convite da
Escola de Sociologia e Poltica da USP.
A Histria da Lgica no Brasil tem seu incio com os jesutas, no sculo XVI,
que atravs dos cursos de filosofia ministrados em seus colgios no Brasil,
localizados na Bahia, Rio de Janeiro, So Paulo e Olinda, nos moldes do Colgio de
Artes de Coimbra difundiram principalmente a lgica escolstica. Segundo Crippa

o ensino de Filosofia, estabelecido em todos os seus ramos,

compreendia a Fsica, a Metafsica e a Moral, assim como a
Matemtica. O curso estava dividido em trs anos: no primeiro,
estudava-se a Lgica, a Metafsica Geral e as Matemticas
elementares [...] (CRIPPA, 1978a, p.45)

A influncia dos jesutas perdurou por mais de duzentos anos at serem

expulsos em 1759, ano em que o Marqus de Pombal deu incio reforma dos
estudos em Portugal e domnios e, a partir dessa reforma, a lgica escolstica foi
substituda oficialmente pela lgica ecltica de carter moderno.

43

A nova lgica foi implantada, tanto no Brasil quanto em Portugal, com a

adoo de manuais didticos de lgica moderna. Em 1744, Manuel Azevedo Fortes
(1660-1749) publica o livro Lgica Racional, Geomtrica e Analtica que, segundo
GOMES (2002), faz de seu autor o pioneiro da reforma da lgica em Portugal, pois o
livro O verdadeiro Mtodo de Estudar, de Lus Antnio Vernei (1718 - 1792) foi
publicado dois anos depois, em 1746.
Na reforma dos estudos foram adotados oficialmente os textos De Re
Logica ad usum Lusitanorum Adolescentium (Sobre a lgica para uso dos jovens
portugueses), de Lus Antonio Vernei e Instituitiones Logicae ad usum tironum
scriptae (Instituies de Lgica para o uso dos principiantes), de Antonio Genovesi
(1712 - 1769).
O acesso a livros no Brasil, no sculo XVIII, era dificultado mas, apesar
disso, os livros chegavam e existiam bibliotecas como a do cnego Lus Vieira da
Silva, que era bastante atualizada em relao cultura da poca. O cnego Lus
Vieira foi um dos integrantes do movimento de independncia da Conjurao Mineira
(1789). Era professor de Filosofia em Mariana e no inventrio realizado pelos
executores reais do processo de julgamento por inconfidncia foram encontradas a
Lgica de Luis Antonio Vernei e a Lgica de Antonio Genovesi. Tal fato

refora nossa conjectura de que mesmo as pessoas mais

esclarecidas em filosofia e que tinham acesso literatura de
primeira no assunto, no caso da lgica, no conseguiam ir alm dos
limites das inovaes introduzidas pela reforma pombalina.
(GOMES, 2002, p.56)

A chegada da famlia real ao Brasil, em 1808, marca o incio de novos

tempos, caracterizado por transformaes polticas, econmicas e culturais. No
mesmo ano, a criao da Impresso Rgia marca o incio do ramo editorial e em
1817 foi publicado Concluzes Philosophicas de Logica, e Metaphysica, de Carlos
Teixeira da Silva e Simo Bernardino da Costa e Passos que apresenta,
resumidamente, a conceituao de Genovesi, sendo o primeiro testemunho escrito
da lgica no Brasil no sculo XIX.
Ao longo do sculo XIX, a lgica no Brasil resume-se a situaes de seu
ensino nos cursos aqui estabelecidos. Basicamente a lgica era ministrada como

44

disciplina secundria, propedutica ao ensino superior; e tambm como parte

integrante dos programas de filosofia em cursos livres da disciplina que foram muito
comuns no sculo XIX. O estgio de atividade filosfica e lgica no Brasil, no incio
do sculo XIX, era incipiente, autodidata e livresco.
A

lgica

no

perodo

anterior

independncia

apresenta

como

caractersticas principais uma grande simplicidade terica e uma forte preocupao

didtica, pois os textos, predominantemente manuscritos, eram produzidos para
serem utilizados como subsdio didtico s aulas de filosofia racional.

Estando os professores e divulgadores da lgica no Brasil

confinados a textos superficiais e distantes dos fundamentos da
doutrina lgica que estudavam, apegavam-se, como nica sada, ao
que dispunham quase dogmaticamente. E mais, com o quadro
incompleto da lgica moderna disposio, fundamentavam na
escolstica colonial as passagens tericas incompletas no quadro
terico da lgica moderna, que receberam por meio dos textos
eclticos. Isso documentam os Cadernos de Filosofia (ca. 1818) do
padre Diogo Antnio Feij, o manuscrito Sobre as Idas (ca. 1818)
de Evaristo Ferreira da Veiga e o Compndio de Philosofia do frei
Francisco de Monte Alverne (1859). (GOMES, 2005, p. 11)

Com a independncia ocorreu uma mudana do panorama cultural brasileiro

e um aumento da influncia europia, o que possibilitou um maior intercmbio com
os conflitos filosficos vivenciados na Europa nesta poca.
De acordo com (FREIRE, 1957, p. 492) a partir de 1831, ocorre a
generalizao das aulas de filosofia, retrica, geometria e francs pelas provncias
do imprio e a anlise dos textos desse perodo revela obras cujo objetivo suprir a
necessidade de textos didticos para o ensino de filosofia racional e lgica.
Em 1837, no Rio de Janeiro, publicada a obra Instituies Lgicas
resumidas do Genuensi de J.S.P.

que resume o texto de Genovesi e atesta a

prolongada influncia desta obra.

Em 1859 editado postumamente, no Rio de Janeiro, o livro Compndio de
Philosophia 2 do frei Francisco de Monte Alverne (1784-1858), originalmente escrito

1
2

No foi possvel determinar essas iniciais.

Para maiores detalhes ver (GOMES, 2002, p. 117)

45

em 1833. Trata-se de uma obra composta de vinte e sete lies, sendo grande parte
reprodues das obras de Genovesi e Du Phanjas 3.
No ano de 1852, o Frei Antnio da Virgem Maria Itaparica publicou o livro
Compndio de Philosophia Elementar 4, no qual apresenta uma exposio de lgica
simples, mas bastante coerente.
A segunda metade do sculo XIX apresenta um revigoramento das
doutrinas neo-escolsticas e, por conseqncia, reabrem as intransigncias
filosficas e religiosas que caracterizaram o momento da reforma religiosa no sculo
XVI na Europa. No Brasil a reao neo-escolstica foi empreendida pela
intelectualidade ligada Igreja. Em (CRUZ COSTA, 1967) so destacados D.
Antonio Macedo Costa (18301891), bispo de Belm; D. Vital Maria Gonalves de
Oliveira (18441878), bispo de Olinda; Patrcio Muniz (18201871), Gregrio
Lipparoni e Cardoso Aires (18211870) que estudaram na Europa e trouxeram ao
Brasil o eco da intransigncia que caracterizou a renovao das doutrinas neoescolsticas [...] contra as filosofias de tendncias racionalistas 5.
O movimento neo-escolstico tentava revitalizar a lgica escolstica e
repudiava toda renovao que se processava durante a segunda metade do sculo
XIX, com os trabalhos de Boole, De Morgan, para citar apenas os mais relevantes.
Em (GOMES, 2002, p. 169) encontramos algumas consideraes sobre a
obra Compndio de Philosophia, de autoria de Jos Soriano de Souza (1833
1895), editado em Recife, em 1867. Nesta obra o autor preocupa-se com o reinado
da lgica escolstica tendo em vista as mudanas irreversveis estabelecidas pela
filosofia moderna entre razo e f. Este livro foi adotado como livro texto em alguns
dos seminrios catlicos do Brasil e nele a lgica continua sendo tratada com
objetivos instrumentais e no como objeto de si mesma.
Na linha influenciada pelo ecletismo temos a obra Lies Elementares de
Lgica e Metaphysica de autoria do padre Manoel Joaquim de Miranda Rego,
publicada no Rio de Janeiro em 1839, onde o autor apresenta o ensino e as leituras,
principalmente de Storchenau 6, que fez enquanto reitor e lente de filosofia racional
do seminrio de Jacuacanga no Rio de Janeiro..
3

Franois Para Du Phanjas (17241797), ensinou matemtica, fsica e filosofia em Besanon

(Frana).
4
Para maiores detalhes ver (GOMES, 2002, p.138)
5
(CRUZ COSTA, 1967, p. 126)
6
Sigismund Storchenau (1731 1798) jesuta autor da obra Instituitiones Logicae et Metaphysicae.

46

As ltimas dcadas do sculo XIX e o incio do sculo XX foram marcados

pela influncia positivista sobre a lgica no Brasil. O positivismo foi a filosofia
marcante no pensamento filosfico no Brasil no final do sculo XIX e incio do sculo
XX. A lgica positiva no se restringe viso de Auguste Comte (17981857) sobre
o tema. Outros autores inspirados na doutrina positivista, como John Stuart Mill
(18061873), Herbert Spencer (18201903) e Alexander Bain (18181903)
contriburam com sistematizaes prprias lgica.
Segundo (SILVA, 2003, C.P., p. 70), em 1844, Justiniano da Silva Gomes
apresenta a Tese de Ctedra intitulada Plano e methodo de hum curso de
physiologia, na Faculdade de Medicina de Salvador na Bahia e esta a primeira
citao no meio acadmico brasileiro de Auguste Comte.
As primeiras manifestaes do positivismo na matemtica do Brasil
aparecem, de acordo com (SILVA, 1999, p. 217), com o incio do doutoramento em
Matemtica na Escola Central do Rio de Janeiro, com as teses de: Joaquim
Alexandre Manso Sayo, intitulada Os Princpios Fundamentaes do Equilbrio dos
Corpos Fluctuantes Mergulhados em Dous Meios Resistentes e Sobre a
Estabilidade em a Construo Naval, de 1851; Augusto Dias Carneiro, intitulada
Equaes Gerais da Propagao do Calor nos Corpos Slidos Suppondo Varivel a
Conductibilidade com a Direo e Posio, de 1855; Filippe Hippolito Ache, intitulada
Demonstrar quaes os princpios da analyse, reduzindo-os ao menos possvel, de
1862; Aristides Galvo de Queiroz 7, com uma tese sobre Mecnica em 1868, e Jos
Martins da Silva 8, com uma tese cujo tema aborda conceitos fsicos, em 1869.
importante salientar que essas primeiras manifestaes praticamente se reduzem a
citaes de Comte ou de sua obra Curso de Filosofia Positiva. Segundo (SILVA,
1999, p. 217) o perodo mais importante do positivismo iniciou-se na dcada de
setenta e se estendeu at a segunda dcada de nosso sculo 9.
O positivismo encontrou em Benjamin Constant Botelho de Magalhes
(18361891) o divulgador de que necessitava. Como militar e professor de
matemtica, teve um importante papel na propagao das idias positivistas entre
os jovens das escolas militares.

Para maiores detalhes sobre este trabalho ver (Miller, 2003, p.283)
Ibidem p. 285.
9
Entre 1870 e 1920.
8

47

De acordo com Gomes (2002, p.249), a lgica positiva proposta por

Augusto Comte induziu perspectivas de matematizao do pensamento no Brasil.
No livro A Synthese Universal e a Theoria Physicomathematica da razo, de
Aristides Galvo de Queiroz, publicado em 1880 na Bahia, o autor acreditava ser
possvel obter as equaes do raciocnio atravs de uma anlise fsico matemtica.
Em 1894, no Rio de Janeiro, foi publicado o livro Fragmentos da philosophia
positiva lgica, de autoria de Maximilien Paul mile Littr (1801-1881), traduzido
por M. C. Rocha o que pode sugerir a existncia de pblico para uma leitura desta
abordagem de lgica. Outro texto com a abordagem comteana da lgica o Ensino
Positivista: Lgica, de autoria de Raimundo Teixeira Mendes. Trata-se de um texto
manuscrito que apresenta as notas de aula de curso ministrado por ele no
Apostolado Positivista do Rio de Janeiro em 1897. O texto todo baseado na
Sntese Subjectiva de Augusto Comte.
A lgica no Brasil at o incio do sculo XX foi o resultado dos esforos de
intelectuais e de professores isolados e teve como caracterstica a instabilidade que
marcou o cenrio da educao escolar no Brasil. Se tomarmos como referncia o
Colgio Pedro II, que era considerado o modelo oficial de ensino do pas, temos que
a primeira reforma republicana idealizada e supervisionada por Benjamin Constant
teve ntida inspirao positivista, com uma preferncia pelas cadeiras cientficas e
naturalistas e certo desprezo do ensino das humanidades. Em 1901 a lgica
aparece pela primeira vez como disciplina independente, com a reforma educacional
de Epitcio Pessoa 10. A ctedra de lgica foi regida inicialmente por Slvio Romero
(1851-1914) e na seqncia por Vicente de Souza Dria (1852-1909), este ltimo
era mdico e professor de filosofia e latim. Suas aulas de lgica ficaram registradas
na publicao Curso de lgica segundo as lies professadas no Gymnasio
Nacional 11, de 1903 cujo complemento intitulado Curso de Lgica: geral, pratica,
methodo em geral, processo analtico foi publicado em 1907.
Em 1907 publicado o livro Ensaio sobre lgica de Prado Sampaio em
Aracaju, trata-se de uma publicao de nvel bastante elementar e com
caractersticas da cultura livresca comuns histria da filosofia e da lgica no Brasil.

10

Epitcio Lindolfo da Silva Pessoa (1865 1942) foi ministro no governo do presidente Campos
Sales e Presidente da Repblica de 1919 a 1922.
11
Denominao do Colgio Pedro II que perdurou de 1890 at 1911.

48

Em 1908, no Rio de Janeiro, Agliberto Xavier publica Ensaio sobre lgica,

um livro homnimo ao de Prado Sampaio, que divulga a concepo positivista e
volta-se ao ensino.
Em So Paulo, no ano de 1908, tem incio o primeiro curso oficial de
filosofia no Brasil, que iniciou suas atividades no Mosteiro de So Bento. Em 15 de
julho, o Monsenhor Charles Sentroul, doutor em filosofia pela Universit Louvian na
Blgica, ministrou a aula inaugural sob o ttulo "Qu'est-ce que la Philosophie?".
Segundo (GOMES, 2002, p.279) o monsenhor Sentroul redigiu o Tratado de Lgica:
conforme o programa official dos gymnasios do Brasil para ser utilizado nas aulas do
referido curso. Trata-se de um texto bastante preciso e de boa qualidade conceitual
e, em termos de contedo com relao lgica, fica restrito forma grecoescolstica.
Em maio de 1909 ocorre um concurso Ctedra de Lgica do Colgio
Pedro II.

o evento, ocorrido em 1909, teve significao inigualvel para a

histria da lgica no Brasil at aquele momento. Tal singularidade
deve-se ao fato de que o concurso motivou a expresso das
compreenses de lgica ento vigentes, suas caractersticas e
vicissitudes. Por outro lado, das provas do referido concurso emerge
a problemtica do ensino da lgica; sua precariedade deriva-se, em
geral, da insuficincia do ensino no Brasil durante o Imprio e nos
primrdios da experincia republicana.[...] (GOMES, 2002, p. 255)

Este concurso provocou diversas manifestaes, especialmente contra sua

realizao, e mesmo com relao existncia da ctedra de lgica naquele que
seria hoje ensino mdio. O concurso teria apenas exames oral e escrito e no mais
a apresentao de teses, em virtude de decreto de 14 de julho de 1890. Houve
dificuldade para compor a banca examinadora, pois os professores Silvio Romero,
Nerval de Gouva e Escragnolle Dria retiraram-se da primeira banca, restando nela
apenas Eugnio de Barros Raja Gabaglia. A banca acaba sendo constituda pelos
professores Gabaglia, Rodolpho de Paula Lopes e Andr Gustavo Paulo de Frontin.
No referido concurso compareceram para a realizao das provas quinze
candidatos: Adrien Delpech, Geonisio Curvello de Mendona, Ovdio Alves Manaya,
Vital de Almeida, Armando Dias, Affonso Duarte de Barros, Roberto Gomes,

49

Agliberto Xavier, Manuel Ribeiro de Almeida, Manuel de Bethencourt, Monsenhor

Fernando Rangel de Mello, Raymundo Farias de Brito, Julio Oscar de Novaes
Carvalho, Graciano dos Santos Neves e Euclydes da Cunha 12.
O resultado final do concurso teve por vencedor Farias Brito e Euclides da
Cunha como segundo colocado. Entretanto, de acordo com o artigo 104 do cdigo
Epitcio, cabia ao Presidente da Repblica escolher entre os dois primeiros
colocados e o escolhido foi Euclides da Cunha, o que causou vrios protestos.
Em 15 de agosto de 1909 com a morte de Euclides da Cunha, Farias Brito
requer a nomeao para a cadeira de lgica, o que acontece em 2 de dezembro de
1909. Em 1910, concomitante ao ensino de Farias Brito, Agliberto Xavier nomeado
professor de lgica do internato e de filosofia e matemtica do externato.
O mdico Jlio Oscar Novaes de Carvalho publicou, no Rio de Janeiro, logo
aps a realizao do concurso o Accuso! Concurso de Lgica no Externato do
Gymnasio Nacional, onde critica a idoneidade da banca examinadora e, por
conseqncia, o julgamento dos candidatos.
O movimento positivista comteano e sua viso da lgica aliada aceitao
e defesa destas idias entre alguns divulgadores brasileiros, especialmente na
Escola Politcnica do Rio de Janeiro e na Escola Militar, explicam o prejuzo deixado
para as disciplinas de matemtica e lgica no Brasil at a primeira metade do sculo
XX.
Otto Alencar Silva (1874-1912) foi um dos primeiros brasileiros 13 a perceber
a necessidade de romper com as idias de Auguste Comte, ao se dar conta de que
as afirmaes contidas na obra do filsofo francs vinham sendo refutadas pela
evoluo da matemtica. E para isso escreve, em 1898, um trabalho intitulado
Alguns erros de matemtica na Sntese Subjetiva de A. Comte. Esse trabalho
rendeu a Otto Alencar muitas crticas por parte dos adeptos de Comte. Em 1901
publica o trabalho Quelques erreurs de Comte no Jornal de Cincias Matemticas,
Fsicas e Naturais, dirigido pelo matemtico portugus Francisco Gomes Teixeira
(1851 - 1933).
Com a morte de Otto Alencar, em 1912,

12

A reproduo do parecer da comisso examinadora pode ser encontrada em (GOMES, 2002,

p.302).
13
Em (SILVA, 2001, p. 95) a autora afirma ser Benjamin Constant o primeiro a apontar erros
matemticos na obra de Augusto Comte s que o fez apenas verbalmente.

50

os (seus) seguidores no se contentam apenas com o conhecimento

dos erros de matemtica de Augusto Comte e vo tratar de
encontr-los no material didtico da Cadeira de Mecnica Racional,
a cargo de Licnio Cardoso (1852 1926), conhecido positivista.
(PAIM, 1981, p. 42)

A difuso da evoluo do pensamento cientfico brasileiro passou a ser

conduzida por Manuel Amoroso Costa (1885 1928). Em 29 de abril de 1918,
Amoroso Costa realiza uma conferncia sobre Otto de Alencar, onde afirma que

Aceitar a Sntese Subjetiva rejeitar toda a obra matemtica do

sculo passado, a obra de Gauss e de Abel, de Cauchy e de
Riemann, de Poincar e de Cantor. [...] a Sntese escrita quando
Comte j estava seduzido pela sua construo sociolgica, uma
das tentativas mais arbitrrias, que jamais foram feitas, de submeter
o pensamento a fronteiras artificiais. (AMOROSO COSTA, 1981,
p.71)

O livro As Idias Fundamentaes da Mathematica de Manuel Amoroso Costa,

publicado postumamente, dedica um captulo Lgica Matemtica. Na seqncia
faremos algumas consideraes biogrficas sobre o autor e sobre o captulo
relacionado lgica matemtica.

51

Manuel Amoroso Costa ( 1885 1928)

Figura 3. Manuel Amoroso Costa.

14

Manuel Amoroso Costa, filho de Cypriano de Oliveira Costa e Francisca

Julieta Amoroso de Oliveira Costa, nasceu em 13 de janeiro de 1885, no Rio de
Janeiro. Cursou as humanidades no Collegio Kopke e ingressou na Escola
Politcnica do Rio de Janeiro em 1900, aos 15 anos de idade, concluu seus estudos
em 1906, tendo obtido o bacharelado em cincias fsicas e matemticas e
engenharia civil. Foi aluno de Otto Alencar Silva, de quem recebeu forte influncia,
como podemos ver no trecho do discurso de Amoroso Costa

Como professor, Otto Alencar teve o dom inestimvel de saber

despertar a curiosidade dos seus discpulos; ensinar alguma cousa
mais do que repetir compndios ou fornecer aos moos preceitos
profissionais; o que importa, sobretudo, modelar-lhes
harmoniosamente a inteligncia e a sensibilidade, abrir-lhes os olhos
para as cousas superiores (AMOROSO COSTA, 1981, p. 68).

Entre 1911 e 1914 trabalhou no escritrio tcnico da Repartio Federal de

Fiscalizao das Estradas de Ferro. No ano de 1912 foi nomeado preparador da
14

Disponvel em http://paginas.terra.com.br/esporte/problemasdexadrez/amoroso.htm. Acesso em 20

fev. 2007

52

cadeira de Aplicaes Industriaes e Electrotechnica da Escola Politcnica. Em

fevereiro de 1913 foi habilitado livre docncia da seco de Topografia e
Astronomia com o trabalho Sobre a Formao das Estrellas duplas. Em novembro
tornou-se professor extraordinrio efetivo e em 21 de maio de 1924 tornou-se
catedrtico de Trigonometria Espherica, Astronomia theorica e pratica, e Geodesia.
Realizou viagens de estudo Europa em 1920 e 1924. Em maro de 1928, a
convite do Instituto Franco-Brasileiro de Alta Cultura, ministrou um curso Les
Gomtries non archimdiennes na Universidade de Paris e apresentou no Collge
de France um trabalho intitulado Lunivers infini - Quelques aspects du problme
cosmologique. Vem a bito a trs de dezembro de 1928 num acidente areo na Baia
da Guanabara, no Rio de Janeiro, em um vo programado para homenagear Santos
Dumont, que regressava ao Brasil.
Em 1929, no Rio de Janeiro, Manuel Amoroso da Costa teve postumamente
publicado seu livro As Idas Fundamentaes da Mathematica, que expe em linhas
gerais a concepo da poca sobre matemtica pura e dedica um captulo lgica
simblica e matemtica, e que talvez seja a primeira obra a apresentar a
moderna lgica matemtica no Brasil. Como diz Amoroso Costa na introduo:

Analisando a deduo matemtica, gemetras e filsofos

reconheceram de h muito tempo que ela no cabe na lgica
dedutiva clssica, a silogstica de Aristteles, desenvolvida pela
Escolstica e pouco modificada desde ento. A deduo matemtica
no se faz apenas por silogismos, porm sobretudo de acordo com
outros tipos de raciocnio que os trabalhos recentes isolaram, e que
merecem, no menos que o silogismo, ser considerados como leis
extrnsecas do pensamento. Da a ampliao moderna da lgica
formal, servida por um algoritmo simblico anlogo ao da
matemtica, e possuindo todos os caracteres de um rigoroso
algebrismo.(AMOROSO COSTA, 1929, p. 12)

Temos na seqncia a pgina de rosto deste livro e seu ndice

53

Figura 4. Primeira pgina de rosto do livro As Idas Fundamentaes da

Mathematica. 15

15

Obra do acervo pessoal do autor deste trabalho

54

Figura 5. Segunda pgina de rosto da edio de As Idias Fundamentaes da

Mathematica.

55

Figura 6. Primeira pgina do ndice do livro As Idias Fundamentaes da

Mathematica.

56

Figura 7. Segunda pgina do ndice do livro As Idias Fundamentaes da

Mathematica.

57

Figura 8. Terceira pgina do ndice do livro As Idias Fundamentaes da

Mathematica.

58

Figura 9. Quarta pgina do ndice do livro As Idias Fundamentaes da Mathematica.

59

Figura 10. Quinta pgina do ndice do livro As Idias Fundamentaes da

Mathematica.

60

O captulo V intitulado A Lgica Simblica e a Matemtica apresenta uma

breve resenha histrica onde o autor credita a origem da lgica simblica aos
trabalhos de Leibniz

Duas idas principaes dominam os numerosos estudos que elle

consagrou a estes assumptos: a de uma caracterstica universal,
linguagem symbolica destinada a traduzir o systema dos
conhecimentos scientificos por meio de um cdigo de signaes
representando as noes elementares; a de um calculo lgico,
operando sobre os systemas expressos nessa ideographia de modo
a reduzir o trabalho do raciocnio deductivo a simples
transformaes de formulas. (AMOROSO COSTA, 1929, p. 55)

Os trabalhos de Leibniz e seus discpulos ficaram por um longo tempo em

completo esquecimento. O sculo XIX marca o renascimento desses estudos com
os logicistas ingleses. O autor destaca George Boole com sua obra Mathematical
Analysis of Logic, publicado em 1847. Uma das caractersticas do trabalho de Boole
a introduo de dois smbolos, 1 e 0, representando o universo lgico e o nada
lgico, respectivamente. Desta forma Boole consegue obter um conjunto de regras
de calculo lgico, graas s quais se efetuam mecanicamente longas e complexas
cadeias dedutivas. De acordo com o autor

Boole pode ser considerado o verdadeiro criador da lgica

symbolica, no que se refere ao clculo das classes, que elle prprio
procurou depois extender theoria das proposies. (AMOROSO
COSTA, 1929, p. 57)

So destacados os autores ingleses Augustus de Morgan, John Venn e

William

Stanley

Jevons

que

contriburam

para

desenvolvimento

aperfeioamento dos trabalhos de Boole. De acordo com o autor,

a lgebra da lgica completou-se, com o clculo das relaes,

entrevisto por Leibniz, esboado por C. S. Peirce e E. Schrder, e
que se constituiu com os trabalhos de G. Frege, G. Peano, A. N.
Whitehead e B. Russell (AMOROSO COSTA, 1929, p. 57).

61

O autor apresenta o trabalho de Peano e seus colaboradores 16 enfatizando

a utilizao da lgica simblica como instrumento da demonstrao matemtica.
O final do esboo histrico marcado pela escola inglesa de Russell e
Whitehead, onde so levadas s ltimas conseqncias a tese de Frege: a
matemtica pura contm exclusivamente os conceitos fundamentais da Lgica.
So citados os livros Universal Algebra de Whitehead de 1898, Principles of
Mathematics, de Russell, de 1903 e o Principia Mathematica, de Whitehead e
Russell, publicado entre 1910 e 1913. Amoroso Costa fica impressionado com o
desenvolvimento considervel do simbolismo ideogrfico e com a pouca utilizao
da linguagem vulgar no texto do Principia e, assumindo seu papel de divulgador das
novas idias procura dar uma viso geral desta obra.
Amoroso Costa inicia com o clculo das proposies, onde Russell e
Whitehead adotam seis idias primitivas e algumas definies. As idias primitivas
so: proposio elementar, funo proposicional elementar, assero de uma
proposio (representada pelo smbolo  ), assero de uma funo proposicional,
negao de uma proposio (representada pelo smbolo ~) e a disjuno ou soma
lgica de duas proposies (representada pelo smbolo ). Alm dessas idias
primitivas temos algumas definies:
1) Implicao entre duas proposies, com a notao p q. . ~ p q
2) Produto lgico de duas proposies, com a notao p . q . . ~ (~ p ~ q)
3)Equivalncia material de duas proposies, com a notao p { q . . p q . q p
Aps as idias primitivas e as definies derivadas so apresentados dez
postulados que, segundo Whitehead e Russell, sero as leis da lgica dedutiva e
tambm so colocados os conceitos de classes e relaes. interessante observar
que, a notao utilizada para exprimir que x membro de uma classe  a
utilizada por Peano x  .
Amoroso Costa apresenta tambm propriedades das relaes: simtrica,
no-simtrica, assimtrica, transitiva, no-transitiva e intransitiva. interessante
observar que a propriedade reflexiva no aparece no texto. No encontrei a razo de

16

Cesari Burali-Forti (1861-1931), Mario Pieri (1860-1913) e Alessandro Padoa (1868-1937).

62

tal propriedade no aparecer no texto e este fato tambm foi observado por (SILVA,
2004).
Whitehead e Russell procuraram demonstrar que toda a matemtica pura
trabalha exclusivamente com conceitos que podem ser definidos em termos dos
conceitos lgicos primitivos, e que todas as suas proposies podem ser deduzidas
a partir dos princpios lgicos apresentados acima. Hoje sabemos que isso no
verdadeiro, o trabalho de Gdel mostrou a impossibilidade de tal feito proposto pelos
logicistas ingleses, mas tal trabalho aparece depois da obra de Amoroso Costa ter
sido publicada.
importante ressaltar o cuidado que Amoroso Costa teve ao apresentar a
proposta de Whitehead e Russell

Seria temerrio affirmar que ella executou integralmente e

impecavelmente o seu programma, ou mesmo que o programma
seja exeqvel. A lgica simbolyca actual nos parecer algum dia to
estreita como ns j hoje consideramos a lgica clssica. E quando
mesmo toda a nossa mathematica actual se possa exprimir em
termos de um systema de noes primitivas, nada prova que o seu
desenvolvimento ulterior dispense a adjunco de novas noes
primitivas. (AMOROSO COSTA, 1929, p. 71)

Amoroso

Costa

ressalta

importncia

da

lgica

formal

para

desenvolvimento do pensamento matemtico ao afirmar que o simbolismo utilizado

pela lgica formal permitte a analyse rigorosa das articulaes do raciocnio,
evitando as causas de erro inherentes ao emprego da linguagem comum
(AMOROSO COSTA, 1929, p. 52).
Em 1932, Leonardo Van Acker (1896 1986) publica o livro Introduo
Filosofia = Lgica, um dos primeiros livros que discutia a lgica tradicional
aristotlica em nvel mais satisfatrio, apresentando um estudo meticuloso do
silogismo. interessante observar que a lgica aristotlica continua a ser
considerada como a base dos estudos em lgica principalmente nas faculdades de
confisso religiosa. Leonardo Van Acker 17 nasceu em Bruges, Blgica, em 16 de

17

Informaes disponveis no site:

http://educacao.prefeitura.sp.gov.br/Arquivos/downloadAction.do?&actionType=download&idArquivo=
2689

63

janeiro de 1896. Faleceu em So Paulo, em 27 de julho de 1986. Como era de praxe

em sua terra natal, fez seis anos de curso primrio e mais seis anos de ensino
secundrio, no Colgio Episcopal, mantido pela diocese de Bruges. Assim que
terminou o curso secundrio, sua ptria natal foi invadida pela Alemanha, em 1914.
Fechada a Universidade pelo invasor, foi obrigado a esperar o fim do conflito.
Dedicou-se ento leitura e aos estudos, descobrindo sua vocao para

magistrio da Filosofia. Terminada a guerra, em 1918, matriculou-se na Faculdade

de Filosofia e Letras da Universidade Catlica de Louvain, na Blgica, doutorandose em Filosofia e Letras.
Nesse nterim, fundava-se em So Paulo a Faculdade de So Bento, mantida
pelo tradicional Mosteiro de So Bento. A Faculdade So Bento precisava de um
professor de Filosofia e enviou um emissrio a Louvain, na Blgica, cujos
professores recomendaram Leonardo Van Acker, que se doutorara com distino
em sua Universidade. Veio para So Paulo, dando sua primeira aula em maro de
1922. Para isso, dedicou-se com afinco ao estudo do portugus, que conhecia
profundamente e falava sem qualquer sotaque, para admirao de seus alunos.
Dedicou-se integralmente ao estudo e ao ensino na Faculdade de Filosofia So
Bento, nas Cadeiras de Filosofia, Lgica, Metafsica, Histria da Filosofia e Filosofia
Pedaggica. Durante a segunda guerra mundial ele e sua mulher naturalizaram-se
brasileiros. Em 1946, a Faculdade de Filosofia So Bento foi incorporada ento
recm-criada Pontifcia Universidade Catlica de So Paulo (PUC/SP). Ele
continuou a exercer o magistrio das disciplinas filosficas, agora acrescidas da
Filosofia do Direito, que lecionava na Faculdade de Direito da PUC, at 1968,
quando foi aposentado aps 46 anos de trabalho ininterruptos.
O primeiro livro texto de lgica moderna aparece em So Paulo, em 1940,
quando Vicente Ferreira da Silva (1916 1963) publica Elementos de Lgica
Matemtica, que apresenta alguns tpicos importantes da chamada lgica
matemtica, embora no apresente algo essencialmente original. Trata-se de uma
obra de carter didtico e elementar, o que segundo (COSTA, 1964, p.499) torna
quase impossvel de se perceber as idias originais que sobre o assunto ele
porventura pudesse ter.
Apresentaremos uma breve biografia sobre o autor e, em seguida,
abordaremos o que tratado nesta obra.

64

Vicente Ferreira da Silva (1916 1963)

Figura 11. Vicente Ferreira da Silva

18

Vicente Ferreira da Silva nasceu em So Paulo a 10 de janeiro de 1916.

Estudou no Colgio de So Bento e mais tarde se formou em Direito, mas nunca
exerceu a profisso de advogado. Trabalhou com o filsofo americano Willard van
Orman Quine, quando o conhecido professor de Harvard esteve em So Paulo a
convite da Escola de Sociologia e Poltica da USP. Ministrou diversos cursos livres
de filosofia e de acordo com (CARVALHO, 2005) fundou, em 1945, em So Paulo,
o Colgio Livre de Estudos Superiores, com base no Colegio Libre de Estdios
Superiores que conheceu em Buenos Aires. Ainda em 1945 se tornou colaborador
efetivo do Suplemento Letras e Artes do Jornal A Manh. Em 1949, organizou o
Seminrio de Filosofia do Museu de Arte Moderna. Neste mesmo ano, ao lado de
Miguel Reale, foi o co-fundador do Instituto Brasileiro de Filosofia. Em 1950, escreve
Dialtica das Conscincias, ensaio que marca sua posio existencialista. O texto
fora preparado para um concurso de filosofia na USP, concurso que Vicente Ferreira
da Silva foi impedido de fazer. No ano de 1954 fundou, juntamente com a esposa, a
poetisa Dora Ferreira da Silva, a Sociedade Cultural Nova Crtica, que publicou a
revista Dilogo. Ainda em 1954, atuou como um dos organizadores do I Congresso

18

Disponvel em http://www.fotoplus.com/sologaenger/index.html. Acesso em 20 fev. 2007

65

Internacional de Filosofia ao lado de Miguel Reale. Em 1963 vem a bito num trgico
acidente automobilstico.
Reproduzimos na seqncia a folha de rosto do livro de Vicente Ferreira da
Silva

Figura 12. Folha de rosto do livro Elementos de Lgica Matemtica de 1940.

Na introduo o autor afirma que

19

Obra do acervo da Biblioteca da Universidade de So Paulo USP.

19

66

Este livro desenvolve alguns tpicos importantes de uma nova

cincia lgica, que j se impoz no ambiente filosfico dos grandes
centros de cultura. Esta nova disciplina no um produto
independente e exterior velha lgica aristotlica, mas sim
representa uma nova sistematizao e refundio dessa mesma
lgica. Todos os captulos segundo os quais a lgica clssica se
achava dividida, sofreram crticas, remodelaes e ampliaes.
Tanto na teoria dos termos, como na teoria das proposies e na
teoria da argumentao, surgiram novos horizontes, desconhecidos
nas cogitaes dos lgicos do passado. Lgica matemtica, o
nome que designa esta nova lgica. Frizemos o fato de que a
palavra matemtica, no implica neste caso, a intromisso da
matemtica comumente compreendida, no mtodo desta disciplina,
mas simplesmente sublinha a preciso e clareza com que so
estabelecidas as verdades, nesta nova fase do desenvolvimento da
lgica. (SILVA, 1940, p.7)

O autor afirma que a lgica matemtica tem como caracterstica a

independncia que esta rea do conhecimento tem em relao filosofia, a lgica
desenvolveu-se ultimamente como uma cincia autnoma, com objeto e mtodos
prprios, aspirando a verdades prprias (SILVA, 1940, p. 9).
O capitulo 1 intitulado A Lgica, como base da Filosofia apresenta a lgica
como mtodo da filosofia. ntida a influncia de Bertrand Russell e de outros
membros do Crculo de Viena quando o autor sustenta que a lgica matemtica
deve constituir a base da pesquisa filosfica.

Diversas cincias j pretenderam se erigir substncia essencial das

divagaes filosficas, mtodo nico de pesquiza de verdade. [...] A
posio da lgica, porm, sui-generis em relao s outras
cincias, as pesquizas realizadas nestes ltimos cinqenta anos,
pelos filsofos mais eminentes, fizeram ressaltar o papel central e
onipresente da lgica, em todas as questes filosficas. (SILVA,
1940, p. 13-14)

Ainda no captulo 1 o autor defende a lgica como uma cincia em

evoluo, aberta e viva,

Quando nos referimos lgica que deve constituir o abc da

pesquiza filosfica, no queremos conotar com esse termo, aquele
agregado de magras frmulas de lgica aristotlica; a lgica,

67

manancial das futuras vitrias do conhecimento, ser uma cincia

viva e progressiva. (SILVA, 1940, p. 14)

O restante desse captulo do livro apresenta uma descrio do alcance das

investigaes lgicas a alguns problemas concretos, procurando ressaltar sua
utilidade em filosofia. Neste ponto ficam evidenciadas algumas idias filosficas do
Crculo de Viena, e para os filsofos dessa escola, a filosofia se resume a uma
clarificao dos nossos pensamentos e conceitos. Esses pensadores procuram
examinar com ateno as formulaes das questes filosficas e inquirir com um
rigor lgico, o que estas questes pretendem significar (SILVA, 1940, p. 25).
No captulo II, intitulado A Nova Doutrina do Termo Estudo Sumario das
Descries, o autor procura, em primeiro lugar, destacar a importncia do estudo da
lgica realando a necessidade de uma linguagem precisa. Como escreve o autor

A linguagem um aparelhamento cheio de peias e quem no tiver a

cincia de sua estrutura e fim, cair fatalmente em suas armadilhas.
Eis ento, o motivo da importncia do estudo da lgica. Nesta, sob
um ponto de vista especial, o raciocnio estuda o raciocnio,
desvenda-lhe os mistrios, analisa-lhe as partes; a definio
definida, ajuza-se sobre os juzos (SILVA, 1940, p. 26).

Na seqncia, enfatiza que a lgica investiga o raciocnio de um ponto

distinto da psicologia e passa a tratar a teoria dos termos 20. Neste ponto o autor
afirma que o tratamento que os lgicos clssicos davam teoria dos termos
apresentava-se completamente defeituoso. O defeito reside no fato de serem
apresentadas consideraes de ordem psicolgica, epistemolgica e, portanto,
extra-lgicas como partes constituintes da teoria dos termos. Tal fato aparece em
todos os compndios de lgica publicados em portugus.
A seguir tratado o que vem a ser uma assero e em seguida feito um
exame dos elementos integrantes das asseres os termos. So tambm

20

Os lgicos costumavam dar o nome de termo, palavra ou conjunto de palavras que simbolizam
quer o sujeito, quer o predicado de uma assero. A palavra termo vem do latim terminus que
significa fim, pois os termos so o resultado, o fim do trabalho de anlise do discurso. (SILVA, 1940,
p.29).
Para maiores detalhes sobre teoria dos termos ver (MARITAIN, 1972).

68

examinados certos elementos que exercem, da mesma forma que os termos, a

funo substantiva dentro do ambiente proposicional, mas que no podem ser
isolados do contexto da assero: as descries.
O captulo III, intitulado A Teoria das Proposies Atmicas. A forma S P e
a forma xRy, comea definindo uma proposio como sendo um agregado de
palavras ou smbolos pelos quais so veiculadas a verdade ou a falsidade. So
chamadas de proposies atmicas os enunciados que versam sobre fatos
imediatos de experincia, por exemplo, isto preto.
Na seqncia so estudadas algumas propriedades importantes de uma
relao. Uma relao pode ser simtrica, assimtrica, transitiva e intransitiva.
O captulo IV, intitulado As Proposies Moleculares e as Leis da lgica,
apresenta estudos sobre o produto, a soma e a negao lgica, que constituem as
operaes lgicas fundamentais, utilizando os esquemas de Wittgenstein . A partir
delas podemos definir as outras relaes (a implicao e a equivalncia) em funo
dessas operaes. A assero este livro preto ou branco permite observar dois
juzos: Este livro branco (p) e Este livro preto (q), unidos pela disjuno ou, o
que pode ser escrito como p ou q. O autor ressalta que alguns lgicos do sculo
XIX, entre os quais Boole e Schrder, atravs da analogia entre as combinaes de
proposies e as combinaes aritmticas dos nmeros, organizaram um algoritmo
e uma lgebra prpria das proposies, que ficou conhecida como clculo
proposicional.
O captulo V, intitulado O Clculo Proposicional, apresenta algumas leis
clebres da lgica clssica de maneira dedutiva, propiciando assim um exemplo de
funcionamento da lgica matemtica. Temos tambm a demonstrao de alguns
princpios lgicos, como, por exemplo, o princpio de reduo ao absurdo 21 e o
princpio do terceiro excludo (ou A x ou y e no h terceira possibilidade). Alm
disso ensina, atravs de clculos algbricos, a transformar certas frmulas em
outras, obtendo diversos teoremas lgicos.
O captulo VI, intitulado A noo de Funo Proposicional e sua aplicao,
apresenta o conceito de funo proposicional como sendo o smbolo que expressa
uma correspondncia entre um dado grupo de objetos e um certo grupo de
proposies. So apresentados tambm os conceitos de operador universal e
21

Para estabelecer a veracidade de uma proposio p, devemos assumir no p e, por um processo

de deduo, estabelecemos que, para alguma proposio q, no p implica em q e no q.

69

operador existencial. Com as noes adquiridas nesse captulo feita uma anlise
das asseres A, E, I, O da lgica clssica, respectivamente a afirmativa e a
negativa universal e a afirmativa e a negativa particular e, entre as concluses, temse que certas formas de inferncias imediatas, estabelecidas na lgica clssica so
errneas. Por exemplo, da proposio Todos os A so B, no podemos deduzir
formalmente a proposio Alguns B so A.
O captulo VII, As Classes, define como classe ou conjunto a um sistema de
objetos onde todos possuem uma mesma propriedade. Apresenta ainda o conceito
de classe de classes, isto , um conjunto cujos elementos so conjuntos. A seguir
so apresentados dois princpios distribudos entre as operaes soma e produto
lgico: a lei distributiva do produto em relao a soma e a lei distributiva da soma em
relao ao produto lgico. Tais princpios so ilustrados pelo sistema de
circunferncias de Euler.
O captulo VIII, As Leis da Deduo, marcado por algumas crticas
formuladas pela lgica moderna contra a concepo aristotlica da teoria da
argumentao

expe

alguns

exemplos

de

argumentao

assilogsticas

comumente empregados, como por exemplo, a lei da reduo ao absurdo. O autor

ainda observa que na lgica moderna, tendo sido ampliada a noo de proposio,
foram reconhecidas novas formas de inferncia, que no encontravam abrigo na
lgica aristotlica.
No ltimo captulo, As Determinaes Verdade e Falsidade, o autor faz uma
crtica ao fato de os lgicos clssicos admitirem que qualquer proposio com forma
gramatical correta seja necessariamente verdadeira ou falsa. Do ponto de vista da
lgica clssica, tanto a proposio (1) O sol no ilumina, como a proposio (2) O
branco um nmero, eram consideradas falsas. A lgica moderna, entretanto,
admite que a proposio (1) falsa ao passo que a proposio (2), deve ser
chamada sem sentido. O autor aborda a teoria dos tipos, que estabelece as regras
segundo as quais uma sentena deve ser construda, para evitar o sem-sentido. O
captulo finalizado com um quadro onde as proposies podem ser classificadas
em sem sentido ou com sentido e, neste ltimo grupo, podemos ter as
verdadeiras, as falsas, as vlidas e as invlidas.
Um dos grandes filsofos do sculo XX, Willard Van Orman Quine, visitou o
Brasil em 1942, a convite da Escola de Sociologia e Poltica da USP e convidou
Vicente Ferreira da Silva para ser seu assistente, durante o perodo em que

70

ministrou o curso de lgica matemtica. Deste curso nasceu, em 1944, o livro O

Sentido da Nova Lgica, hoje uma raridade bibliogrfica. Temos a seguir a pgina
de rosto e o ndice desta obra.

Figura 13. Folha de rosto do livro O sentido da Nova Lgica de 1944.

22

Obra do acervo da Biblioteca da FFLCH-HI da Universidade de So Paulo USP.

22

71

Figura 14. Primeira pgina do ndice do livro O sentido da Nova Lgica de 1944.

72

Figura 15. Segunda pgina do ndice do livro O sentido da Nova Lgica de 1944.

73

O livro dividido em quatro partes: I - Teoria da composio, II - Teoria da

quantificao, III - Identidade e Existncia e IV Classe, Relao e Nmero.
No prefcio o autor afirma que

A sistematizao lgica especfica usada neste trabalho resulta dum

esforo para conciliar trs ideais: rigor nos detalhes tericos,
convenincia nas aplicaes prticas, e simplicidade na apresentao.
Este ltimo ideal foi o objetivo principal (QUINE, 1944, p. 9)

Dentro desta proposta o autor constri um livro onde a introduo apresenta

algumas consideraes histricas ressaltando que a evoluo sofrida pela lgica nos
ltimos noventa anos permite consider-la uma cincia nova, ressalta as
contribuies do ingls George Boole, dos alemes Frege e Schrder, do norteamericano Charles Peirce, do italiano Peano, e segundo Quine a lgica atinge um
estado de amadurecimento aprecivel com a publicao da obra Principia
Mathematica dos ingleses Whitehead e Russell. Ainda dentro dessas consideraes
histricas escreve sobre a lgica aristotlica, ressaltando o fato de a mesma ter
sobrevivido at a Idade Mdia sem sofrer mudana ou progresso importante.
Lembra que Kant, na segunda metade do sculo XVIII, podia falar da lgica formal
como duma cincia que j se aperfeioara, j se completara, dois mil anos atrs
(QUINE, 1944, p.12).
No entanto o progresso da matemtica chegou a tal ponto que o papel dos
mtodos dedutivos teve que ser revisto e um dos motivos para esta reviso foi o
estudo do alemo Cantor, no final do sculo XIX, sobre as classes infinitas. Alm
disso, no incio do sculo XX,

com a descoberta feita pelo lgico ingls Bertrand Russell, que os

princpios do raciocnio aceitos e usados tacitamente em
matemtica, e talvez fora dela, so capazes de envolver-nos em
contradies. Esta descoberta precipitou uma crise. Os princpios da
lgica dedutiva tiveram que ser explcita e cuidadosamente
formulados e mesmo revistos, para que a matemtica em geral
fosse bem fundada. (QUINE, 1944, p.14).

74

Segundo Quine, a descoberta dos paradoxos e outras noes que

necessitavam esclarecimento por definio baseada em noes claras como, por
exemplo, os infinitsimos e os nmeros imaginrios, contriburam para o que ele
chama de o ressurgimento da lgica.
Na parte final da introduo escreve sobre o trabalho do lgico austraco Kurt
Gdel que demonstrou, em 1931, no ser possvel existir uma sistematizao
coerente dentro da qual todo enunciado verdadeiro da matemtica seja
demonstrvel. Dada qualquer sistematizao da lgica, haver verdades lgicas e
mesmo aritmticas, demonstravelmente indemonstrveis (QUINE, 1944, p. 20).
O autor conclui a introduo afirmando que

Ao cientista ansioso por tcnicas no quantitativas, a lgica

matemtica oferece socorro de duas maneiras: prov tcnicas
explcitas para a manipulao dos mais simples ingredientes da
linguagem e prov uma clara e sistemtica base, sobre a qual
podem ser construdas futuras teorias apropriadas s necessidades
cientificas especiais que surgem de vez em quando. (QUINE, 1944,
p. 22)

Na primeira parte do livro, a Teoria da Composio, o autor afirma ser

conveniente considerar a lgica, como contendo duas partes: a teoria da deduo e
a teoria das classes. A teoria da deduo se divide por sua vez em duas outras
partes: a teoria da composio e a teoria da quantificao.
O objetivo desta primeira parte do livro fornecer os subsdios necessrios
como preparao a um estudo tcnico da primeira parte da lgica, em que se trata
da composio de um enunciado. A primeira questo abordada o que vem a ser
um enunciado. Segundo Quine, enunciados so frases, mas nem toda frase um
enunciado. Os enunciados compreendem s aquelas frases que so verdadeiras e
aquelas que so falsas. Tais propriedades dos enunciados, verdade e falsidade,
chamam-se valores dos enunciados. As frases que horas so?, Feche a porta
no sendo nem verdadeiras nem falsas, no so enunciados. S frases declarativas
so enunciados, no entanto, nem todas as frases declarativas so enunciados.
Considere, por exemplo, a frase declarativa Estou cansado observe que ela no

75

por si s nem verdadeira nem falsa, pois pode ser afirmada veridicamente por uma
pessoa e falsamente por outra. Segundo o autor

as tcnicas formais de anlise dependero da suposio de que um

enunciado uma frase verdadeira ou falsa independentemente do
contexto, de quem fala, do lugar e tempo de sua afirmao (QUINE,
1944, p. 27).

A teoria da composio trata dos modos de compor enunciados para formar

enunciados compostos utilizando os conceitos de conjuno, que consiste em ligar
dois enunciados pela palavra e ou, na notao da lgica matemtica
representada pelo ponto -
Carlos est cansado - Carlos est fora
Um enunciado conjuntivo, como o do exemplo acima, verdadeiro se ambos
os enunciados componentes so verdadeiros, e em todos os outros casos falso.
Isto pode ser explicitado num quadro

1 componente 2 componente Conjuntivo

V

Temos tambm a negao que se escreve fixando um ~ antes do enunciado

e enquanto a conjuno pode combinar dois ou mais enunciados de cada vez, a
negao um mtodo de elaborar somente um enunciado para formar outro e seu
quadro de valores

Componente Negativo
V

76

A utilizao da conjuno e da negao de maneira repetida pode formar um

enunciado complexo para o qual podemos calcular a significao do resultado
usando os quadros dados e, neste tpico, o autor apresenta uma tcnica para
derivar o quadro de valores de qualquer enunciado construdo por meio de
conjuno e negao. Na seqncia, a questo colocada se existe tambm uma
tcnica tal que, dado qualquer quadro de valores, podemos construir um composto
de conjuno e negao correspondente ao quadro dado? A resposta

o princpio mais importante na teoria da composio: existe de fato,

uma tal tcnica que, dado qualquer quadro de valores, podemos
construir um composto de conjuno e negao que corresponde
quele quadro.(QUINE, 1944, p. 37)

A importncia desta tcnica reside no fato da mesma permitir que qualquer

enunciado possa ser mecanicamente convertido numa forma mais vantajosa,
chamada pelo autor de forma cannica.
Na seqncia, apresenta o conectivo ou e como obter a traduo mecnica
do exclusivo ou e do inclusivo ou em termos de conjuno e negao. Trata
tambm do condicional (se p logo q) e chama a ateno para o fato de haver uma
confuso infeliz entre se logo e implica pois muitas vezes l-se p implica q em
lugar de se p logo q. Segundo o autor

Implicao no modo de composio de enunciados; relao

entre enunciados, como por exemplo, o amor e o dio so relaes
entre pessoas. O verbo implica, como os verbos ama e odeia,
deve colocar-se entre nomes e no entre enunciados (QUINE, 1944,
p.51).

Ainda na primeira parte de seu livro Quine trata da chamada traduo

centrpeta que uma tcnica para traduo de um enunciado complexo. O objetivo
dessa traduo em termos de conectivos e e negaes tm o efeito de revelar e
resolver equvocos, seja no sentido de alguma das ligaes usadas na linguagem
natural, seja nos modos de agrupamento. Segundo Quine

77

o propsito primrio de tal traduo de tornar os enunciados

suscetveis s tcnicas dos quadros de valores, por meio dos quais
poderemos determinar que certos enunciados so equivalentes a
outros, ou seguem logicamente de outros. (QUINE, 1944, p. 59)

O tpico que segue trata da equivalncia composicional onde so abordados

compostos diferentes de negao e conectivo e que possuem o mesmo quadro
de valores. A relao de equivalncia que se verifica ao comparar os quadros
chamada equivalncia composicional. Por exemplo, dois enunciados da forma ~(p ~(q - r)) e ~(p - ~q) - ~(p - ~r) so composicionalmente equivalentes.
Temos ainda a implicao composicional que a relao de um enunciado
com todo enunciado que se segue dele em virtude unicamente das estruturas
composicionais e a verdade composicional, onde Quine escreve que embora

a verdade lgica em geral no admita critrio mecnico, a espcie

dela que estamos denominando verdade composicional admite um
critrio mecnico e muito simples: temos somente de construir o
quadro do enunciado e notar se a coluna final exibe V em todos os
lugares. (QUINE, 1944, p. 67)

Finalizando a primeira parte do livro temos a reduo ulterior, onde Quine

apresenta o sinal lgico que representa a negao conjunta. O composto p q
tem o sentido de nem p nem q, sendo caracterizado pelo quadro
p

pq

Uma das vantagens tericas de tal reduo que simplifica a formulao

estrita de verdade composicional.

78

Segundo Quine, as aplicaes prticas das tcnicas da teoria da composio

se realizam, na sua maior parte, dentro da teoria da quantificao, que o foco da
segunda parte de seu livro. O autor enfatiza que nas cincias naturais no
freqente que a pesquisa de implicaes lgicas entre enunciados seja feita
unicamente sobre estruturas composicionais, sem interferncia das estruturas
quantificacionais. Como exemplo de uma aplicao prtica apresenta um trabalho
do engenheiro eltrico Claude Elwood Shannon 23 (19162001) que utilizou as
tcnicas da teoria da composio para resolver certos problemas na simplificao de
redes eltricas.
A segunda parte do livro intitulada Teoria da Quantificao faz meno ao
trabalho de Frege, que segundo o autor, foi o responsvel pelo passo mais
importante da lgica moderna: a criao da teoria da quantificao.

A teoria governa o uso dos prefixos (x), (y), etc. chamados

quantificadores. Estes se escrevem antes de expresses que tm a
forma de enunciados, mas exibem letras x, y, etc. em lugar de
nomes de objetos. O resultado, chamado um quantitativo,
verdadeiro se, e somente se, a expresso que segue o prefixo
permanece verdadeira no importa qual objeto se imagine
designado pela letra x (ou y, etc.). (QUINE, 1944, p. 77)

O prefixo (x) pode ser lido como seja x qual for ou todo objeto x tal que.
Desta forma, (x) x existe significa Todo objeto x tal que x existe. A quantificao
corresponde de maneira indireta ao uso natural da palavra todo. Tal
correspondncia indireta, pois todo objeto do ponto de vista sinttico aparece
como substantivo, embora a quantificao no apresente nenhum substantivo
correspondente. Segundo Quine a falta dessa correspondncia sinttica uma
vantagem do procedimento da teoria da quantificao, pois a forma substantiva da
expresso tudo ou todo objeto uma forma enganadora da linguagem natural.
Isto pode ser visto no seguinte exemplo:
(1) Todo objeto homem ou difere do homem.
(x) (x homem ou x difere de homem).
(x) ~(~x homem - ~x difere de homem).
23

Engenheiro americano considerado o pai da teoria da informao.

79

(2) Todo objeto homem ou todo objeto difere do homem.

(x) x homem ou (x) x difere de homem.
~(~(x) x homem - ~(x) x difere do homem).

O composto (2) falso, sendo ele a ligao por ou de dois enunciados

falsos; mas (1) verdadeiro. Aps apresentar mais alguns exemplos Quine afirma
que uma vantagem da notao de quantificadores indicar explicitamente o que se
esconde ou se exprime s no sistematicamente na linguagem natural.
Em seguida denomina as letras x, y, etc., auxiliares notao de
quantificao, como sendo pronomes lgicos. A justificativa para o termo pronome
lgico pode ser evidenciada quando observamos que (x) x existe pode ser lida
como Todo objeto tal que ele existe.
O prximo item trata de matrizes e esquemas, onde se denominam matrizes a
expresses do tipo x = y, x combustvel, expresses as quais se costuma
aplicar quantificadores. Segundo Quine conveniente considerar os enunciados
como um caso extremo de matrizes. Assim a noo de matriz mais geral do que a
de enunciado. Em geral, uma matriz ou um enunciado ou pode tornar-se um
enunciado (verdadeiro ou falso) pela aplicao de um ou mais quantificadores.
Segundo o autor

H uma diferena fundamental entre as matrizes e expresses tais

como ~(p - ~q), usadas na teoria da composio, nas quais
aparecem as letras p, q, etc. Estas expresses, chamadas
esquemas, so meros diagramas, tendo o propsito de facilitar o
tratamento das formas gerais dos enunciados. Dum ponto de vista
formal, a diferena fundamental esta: toda matriz pode figurar
como parte dum enunciado, sujeitando-se a matriz a quantificadores
dentro dum contexto mais extenso; entretanto, nenhum esquema
pode figurar desta maneira. (QUINE, 1944, p. 85)

Na seqncia afirma que a traduo de enunciados da linguagem diria em

sinais lgicos continua vlida mesmo quando temos que considerar estruturas
quantificacionais, alm das estruturas composicionais. Neste caso, a traduo torna-

80

se uma tarefa mais complicada e Quine apresenta um exemplo de ordem

especialmente complicada para esclarecer o caso geral.
Temos tambm as definies de verdade e validade quantificacional. O autor
apresenta a verdade quantificacional como uma espcie de verdade lgica mais
inclusiva do que a verdade composicional.

Um enunciado quantificacionalmente verdadeiro quando de tal

forma construdo por meio de conjuno, negao e quantificao,
que permanece verdadeiro sob qualquer mudana dos outros
ingredientes. (QUINE, 1944, p. 93)

Para exemplificar, utiliza o enunciado

Se um objeto tem influncia sobre todo objeto, logo tem influncia sobre si mesmo.
Isto
(1)

(y) ~((x) y tem influncia sobre x - ~ y tem influncia sobre y)

quantificacionalmente verdadeiro.
O autor chama de validade quantificacional uma generalizao da noo de
verdade quantificacional. De acordo com Quine, uma matriz quantificacionalmente
vlida

se

quantificacionalmente

verdadeira

ou

pode

tornar-se

quantificacionalmente verdadeira aps uma aplicao inicial de quantificadores.

Na seqncia, o autor afirma que toda matriz da forma
(A)

~((x) fx - ~fy)

vlida, onde fx substituvel por qualquer matriz e fy substituvel por uma

matriz que difere da anterior por possuir y como pronome livre em todos os pontos
onde fx possui x como pronome livre.
O autor apresenta sua tcnica de demonstrao de validade que consiste em
comear com matrizes da forma (A) e derivar as matrizes das formas
(B)

~((x) fx - (x) ~fx)

(C)

~((x) ~ (fx - ~gx) - (x) fx - ~ (x) gx)

(D)

~(~ (x) ~ (fx - gx) (x) ~fx)

pelo uso continuado das quatro operaes:

(i) inferncia do que composicionalmente implicado,
(ii) intercmbio de equivalentes composicionais,

81

(iii) intercmbio de clusulas das formas (x) (fx - gx) e (x) fx - (x) gx,
(iv) quantificao. (QUINE, 1944, p. 104)
Segundo Quine, tal tcnica de demonstrao determina uma classe de
matrizes vlidas e que esta classe esgota as matrizes vlidas. A demonstrao
deste fato devida, segundo o autor, essencialmente a Gdel, muito embora seu
argumento se aplique a uma sistematizao da teoria da quantificao diferente da
utilizada por Quine, mas segundo esse seria fcil de estabelecer a equivalncia das
duas sistematizaes.
Na teoria da composio, a tcnica exemplificada pelos quadros de valores
fornece

uma

maneira

mecnica

de

verificar

se

qualquer

enunciado

composicionalmente verdadeiro ou no. No caso da tcnica apresentada nesta

segunda parte do livro temos que; para estabelecer se um dado enunciado
quantificacionalmente verdadeiro, procurar sua derivao a partir da matriz (A) e por
meio das operaes (i) (iv). A derivao, quando descoberta, pode ser autenticada
por inspeo mecnica; mas a procura desta derivao no um processo
mecnico. Segundo Quine

O que possumos , em breve, unicamente um mtodo mecnico de

autenticao de demonstraes da verdade quantificacional, e no
um critrio mecnico para a prpria verdade quantificacional. Sabese, com efeito, que um tal critrio impossvel. A demonstrao
deste fato devida a Church (1936) 24 (QUINE, 1944, p. 106)

Temos, ainda, nesta segunda parte a implicao quantificacional que

relaciona enunciados cujo condicional quantificacionalmente verdadeiro; e a
equivalncia quantificacional que definida como implicao quantificacional
recproca, pois cada demonstrao de equivalncia quantificacional consiste na
demonstrao de duas implicaes.
No final da segunda parte temos um item dedicado ao silogismo, o tipo de
raciocnio conhecido desde Aristteles, exemplificado pelo argumento:
Nenhum   e todo  ; portanto, nenhum  .

24

Church, Alonzo , A note on the Entscheidungsproblem, Journal of Symbolic Logic, vol.1 (1936), p.
40-41.

82

O autor estabelece essa implicao dentro da teoria da quantificao e apresenta

um mtodo conveniente para a demonstrao de enunciados que contm nomes,
sem precisar introduzir a considerao de nomes dentro da teoria da quantificao.
O autor ainda apresenta um tpico intitulado Deduo a base de premissas,
onde afirma que, com algumas restries, o mtodo das premissas perfeitamente
aceitvel, isto , podemos concluir que o condicional formado das premissas e da
concluso vlido.
O ltimo tpico chamado Teoria mondica da quantificao, onde o autor
afirma que existe um critrio mecnico que permite decidir se as matrizes retratadas
por um dado esquema so vlidas no caso dos esquemas mondicos, enfatizando
que esse critrio mecnico no verdadeiro em geral. A poro mondica da teoria
da quantificao embora simples importante, incluindo, em particular, a lgica
silogstica; e esse fato faz com que a existncia de um critrio mecnico de validade
tenha interesse.
Finalmente, o autor conclui esta parte do livro ressaltando que o domnio das
tcnicas da quantificao pode ser til na vida prtica e exemplifica que tais
tcnicas podem ser teis a empresas de seguros, seja na simplificao de contratos
ou na verificao de consistncia de um conjunto de clusulas, entre outras.
Segundo Quine este campo de aplicao j est sendo explorado pela Prudential
Insurance of Amrica, devido aos esforos de Edmund C. Berkeley (1909-1988).
A terceira parte, intitulada Identidade e Existncia, o autor inicia com o
conceito de identidade, onde afirma que identidade uma noo to simples e
fundamental que dificilmente admite explicao em termos mais claros, dizer que x e
y so idnticos dizer que so a mesma coisa. Todo objeto idntico a si mesmo e
nada mais. (QUINE, 1944, p. 135)
Embora a identidade seja uma noo elementar, tem sido objeto de
confuses persistentes. O autor exemplifica recorrendo a Herclito 25 No nos
podemos banhar duas vezes no mesmo rio. O fato das guas de um rio se
renovarem continuamente, segundo Herclito, far com que seja outro rio no
momento do segundo banho. A dificuldade de conceber como um objeto que muda
permanece idntico a si mesmo. Segundo Quine

25

Herclito de feso, pensador pr-socrtico, nascido na Jnia, viveu em fins do sculo VI a.C.

83

Consideremos o rio. um objeto extenso, tanto no tempo como no

espao. o total de seus diversos estados instantneos, assim
como de suas diversas seces transversais entre a fonte e a foz. O
rio no o total de certas gotas dgua; cada gota compartilha da
extenso espacial do rio s dentro duma poro do comprimento
temporal da gota e do rio. Agora o rio, mude como mudar, tanto em
relao sua constituio material quanto em relao a outros
fatores, permanece o mesmo rio durante toda sua existncia;
permanece o mesmo idntico total dos diversos estados
instantneos. (QUINE, 1944, p.136)

Outro tipo de confuso sobre a identidade v-se numa observao de

Wittgenstein: dizer dum objeto que ele idntico a si mesmo oco, e dizer que
idntico a outro objeto errado. De acordo com Quine temos que distinguir no
entre dois casos, mas entre trs, para isso considera os enunciados: Ccero =
Ccero, Ccero = Catalina e Ccero = Tlio. O primeiro enunciado oco e o
segundo falso; mas o terceiro no oco e nem falso. O terceiro informativo, pois
combina dois nomes diversos e alm disso verdadeiro, visto que os dois nomes
so nomes do mesmo objeto. Wittgenstein no distinguindo cuidadosamente entre
os objetos e os nomes, considera que toda afirmao verdadeira de identidade deve
apresentar o sinal = entre repeties do mesmo nome, Wittgenstein no reconhece
que = deva somente aparecer entre nomes do mesmo objeto, sendo os nomes, em
todo caso, nomes diferentes.
Segundo Quine a confuso entre identidade dos objetos e identidade de
seus nomes encontra-se na mente de muitos matemticos que consideram que uma
equao, como por exemplo, 5+3 = 6+2, relaciona dois nmeros que so iguais, em
algum sentido, mas ainda no idnticos, sendo as expresses 5+3 e 6+2 diversas.
Esta confuso entre sinal e objeto conduz, s vezes, idia de que a identidade
uma relao entre os sinais mesmos e no entre os objetos.
Na seqncia, so apresentados os princpios de identidade, sendo o
primeiro o princpio da substutividade da identidade, segundo o qual, dado um
enunciado verdadeiro de identidade, um dos dois termos pode ser substitudo pelo
outro em qualquer verdade, permanecendo o resultado verdadeiro. Os outros
princpios apresentados no livro so o princpio da transitividade da identidade, que
afirma que, sejam x, y e z, se x = y e y = z, logo x = z, o princpio da simetria da

84

identidade, que registra ser indiferente ordem numa identidade e o princpio que
todo objeto idntico algum objeto.
O tpico seguinte intitulado Sentido. Sinonmia. Necessidade. O autor
inicia enfatizando que dizer que dois nomes designam o mesmo objeto no dizer
que so sinnimos, ou que tem o mesmo sentido. Como exemplo, o autor recorre
astronomia,

o objeto (o nmero ou grau de multiplicidade) designado pelo

ideograma 9 o mesmo que o designado pelo nome complexo o
nmero dos planetas. A identidade
O nmero de planetas = 9
uma verdade (segundo se cr no momento) da astronomia.
(QUINE, 1944, p.149)

Os nomes o nmero de planetas e 9 no so sinnimos e no tem o

mesmo sentido. interessante observar o cuidado do autor quando afirma segundo
se cr no momento, chamando a ateno para o fato de que tal afirmao venha a
ser impugnada pela descoberta de outro planeta.
O autor escreve que o sentido de uma expresso ainda no claro; embora
seja claro que, dada a noo de sentido, poderia ser esclarecida a noo de
sinonmia como sendo a relao entre quaisquer expresses que tm o mesmo
sentido. A recproca poderia ser obtida tambm, dada a relao de sinonmia
poderamos considerar o sentido de uma expresso como sendo a classe de todas
as expresses sinnimas a ela. Segundo Quine

A relao de sinonmia exige uma definio ou um critrio em

termos psicolgicos e lingsticos. Tal definio, ainda nem mesmo
esboada, seria uma contribuio fundamental ao mesmo tempo
filologia e filosofia. (QUINE, 1944, p.150)

Segundo Quine a relao de sinonmia pressuposta tambm na noo de

enunciados analticos, noo esta bastante usual nos crculos filosficos desde Kant.
Ainda segundo o autor, costuma-se descrever um enunciado analtico como um
enunciado que verdadeiro em virtude do sentido das palavras; ou, como um

85

enunciado que se segue logicamente do sentido das palavras. Tendo as noes de

sinonmia e de verdade lgica,

poderamos definir um enunciado analtico como qualquer

enunciado que logicamente verdadeiro ou se pode reduzir a uma
verdade lgica pela substituio de expresses por expresses
sinnimas (QUINE, 1944, p. 150).

Consideremos, por exemplo, o enunciado Nenhum solteiro casado

analtico e, pela substituio da expresso solteiro pela expresso sinnima
homem no casado, se reduziria a verdade Nenhum homem no casado
casado.
O prximo item desta parte do livro intitulado Existncia, onde o autor
inicia escrevendo que a palavra nome tem um sentido gramatical e outro
semntico. A palavra substantivo ser encarregada do sentido gramatical,
reservando palavra nome o sentido semntico: o que nome de um objeto, o que
designa.
O autor aborda a questo de um substantivo ser nome e tambm a questo
de dois nomes designarem o mesmo objeto, afirmando que geralmente no se
decide pelo estudo do mero sentido das palavras. Para exemplificar, do ponto de
vista puramente lingstico, as palavras Pgaso 26 e Bucfalo 27 so semelhantes;
somente um acidente da histria natural que Bucfalo designa enquanto que
Pgaso no. Segundo Quine

A questo se dois nomes designam o mesmo objeto equivale

questo se o enunciado de identidade formado dos dois nomes
verdadeiro; e esta verdade pode ser uma verdade da cincia natural.
A questo se um substantivo nome equivale a questo se o
enunciado de existncia formado do nome verdadeiro. (QUINE,
1944, p.159)

O enunciado pode ser uma verdade da cincia natural como, por exemplo,
26
27

Cavalo alado que figura na mitologia grega, presente no mito de Perseu e Medusa.
Cavalo de guerra de Alexandre, o Grande, Rei da Macednia.

86

(1) H Bucfalo
O enunciado (1) no afirma que ainda vive Bucfalo, afirma simplesmente que existe
de fato, a suposta poro do mundo espao-temporal.
O enunciado
(2) ~ h Pgaso
nega que haja, um trecho do mundo espao-temporal sob o substantivo Pgaso. O
enunciado (2) , uma verdade da cincia natural. Talvez haja uma idia de Pgaso e
igualmente uma idia de Bucfalo, mas no de uma idia que (1) afirma a
existncia e (2) nega a existncia, mas sim de um animal. Segundo Quine pouco
temos a ganhar em dizer que existe Pgaso no mundo da mitologia grega e no no
mundo real, afinal, metforas parte, h s um mundo.
No temos que concluir da que tudo que existe ocupa espao e tempo.
Podemos admitir, por exemplo, a verdade do enunciado
(3) H o nmero 9 9

embora o nmero em questo seja objeto abstrato, no espacial e no temporal. O

verbo h em (3) entendido no mesmo sentido de que em (1) e (2). A diferena
entre os exemplos no est relacionada ao verbo h, mas sim nos substantivos
9

Bucfalo, Pgaso e 9 9 . Segundo Quine

Negar que h Pgaso significa que o objeto no se acha no espao

e tempo, mas tal dependncia do espao e do tempo surge
unicamente porque, se houvesse Pgaso, ele seria um objeto
9

espcio-temporal. Afirmar ou negar que 9 9 afirmar ou negar que

9

9 9 se acha na srie dos nmeros, porque, se h 9 9 , um objeto

desta ndole. (QUINE, 1944, p. 161)

O autor passa na seqncia a fazer algumas consideraes filosficas e

conclui com a afirmao de que as palavras no devem ser nomes, nem mesmo
substantivos, para possurem sentido. O suposto paradoxo de no-existncia surge
da confuso entre sentido e designado (QUINE, 1944, p.164).
A ltima parte do livro intitulada Classe, Relao e Nmero e apresenta
como primeiro item Atributos e Classes, onde o autor afirma que a matemtica
depende de objetos abstratos como nmeros, funes, relaes, classes e atributos.

87

Segundo Quine, os objetos abstratos de cujo reconhecimento a matemtica

depende so, de fato, redutveis, a uma poro que inclui somente as classes, ou
atributos (QUINE, 1944, p.179)
A questo abordada neste item como diferem as classes dos atributos?
Uma resposta : atributos podem diferir entre si ainda que por acaso sejam atributos
das mesmas coisas, enquanto que classes so sempre idnticas quando tm os
mesmos membros.
Para especificar uma classe, temos que apresentar uma matriz que
satisfeita pelos membros da classe e s por eles, mas devemos enfatizar a
semelhana entre classes e atributos, pois a determinao de um atributo depende
da apresentao de uma matriz satisfeita pelos objetos que possuem o atributo e s
por eles. A matriz no o atributo. Assim a nica diferena entre classes e atributos
se encontra na condio de identidade, e neste caso as classes so muito mais
claras que os atributos. Duas matrizes determinam a mesma classe quando
satisfeitas pelos mesmos objetos.
O prximo item Pertinncia e identidade, e o autor comea diretamente
com a noo de classe. Dizemos que um objeto x membro de uma classe y, ou
que x pertence a y utilizando a notao x  y, onde  a inicial do verbo grego

28. Na seqncia so formulados e apresentados os princpios fundamentais
que regem este novo conectivo lgico, o conectivo de pertinncia. Em seguida trata
da questo da existncia de classes e de uma lgebra de classes.
O tpico intitulado Relaes aborda esta noo que se apresenta to
necessria matemtica quanto a de classe. As funes to utilizadas em
matemtica so simplesmente relaes. O autor afirma que classes de pares
ordenados bastam para todos os propsitos das relaes e adota a notao x;y
para designar o par ordenado que consiste de x e y na ordem indicada, assim, por
exemplo, podemos considerar a funo metade de como a classe dos pares
ordenados 1/4;1/2, 1/3;2/3, 1/2;1, 4;8, etc.
Os pares devem ser concebidos como ordenados, de modo que os pares
x;y e y;x sejam distintos para todos elementos x e y, pois queremos que o par 4;8
pertena relao metade de e que Isaac;Abrao pertena a relao filho de,
mas no queremos que os pares opostos 6;3 e Abrao;Isaac pertenam essas

28

Terceira pessoa do verbo ser.

88

relaes. Segundo o autor o princpio fundamental dos pares ordenados deve ser o
seguinte:
(4) (x) (y) (z) (w) ~(x  V - y  V - z  V - w  V - x;y = z;w - ~(x = z y = w)) 29
Qualquer definio de par ordenado que satisfaa (4) seria adequada, mas
possvel construir tal definio a base de teoria de classes. O par ordenado de
quaisquer elementos x e y a classe cujos membros so a classe unitria de x e a
classe cujos membros so x e y. Esta formulao embora artificial satisfaz (4).
Dizer que R relaciona x a y dizer que x e y so elementos tais que x;y  R.
Portanto, escrevendo R(x,y) no sentido R relaciona x a y, adotamos a seguinte
definio
(5) R(x,y) por x;y  R - x  V y  V
So apresentadas as noes de relao conversa que consiste dos pares
inversos aos pares que pertencem a x, por exemplo, a conversa da relao metade
de a relao duplo de, projeo, denotada por xy, a classe dos objetos que
so relacionados por x a membros de y, por exemplo, se x a relao quadrado de
e y a classe de nmeros primos, temos que xy a classe de quadrados de
nmeros primos e produto relativo de x e y, denotado por x|y, a relao de
qualquer objeto z a qualquer objeto w tal que z relacionado por x a algum objeto
que relacionado por y a w. Para exemplificar, se x a relao de irmo e y a
relao de me , x|y a relao de tio materno.
Na seqncia so definidas as espcies de relaes, que podem ser
simtricas, assimtricas, transitivas, intransitivas, antissimtricas e reflexivas. Uma
relao R simtrica se, sempre quando R(x,y), segue-se que R(y,x); e assimtrica
se, sempre quando R(x,y), segue-se que ~R(x,y). Para exemplificar temos que a
relao de colega simtrica e a relao de pai assimtrica.
Uma relao R chamada transitiva se, sempre quando R(x,y) e R(y,z),
segue-se que R(x,z); e intransitiva se, sempre quando R(x,y) e R(y,z), segue-se que
~R(x,z). Como exemplos temos a relao de incluso transitiva e a relao de pai
intransitiva.
Uma relao R antissimtrica se, sempre quando R(x,y) e R(y,x), seguese que x = y. Uma relao reflexiva se, sempre quando x pertence ao domnio de
R, segue-se que R(x,x).
29

V definido como a classe de todos os elementos x tais que x = x, ou seja, a classe de todos os
elementos.

89

O autor apresenta tambm a chamada relao unvoca se sempre que

R(x,y) e R(z,y) ento x = z. Podemos exemplificar, considere a relao me de que
unvoca, ao passo que a relao filho de no unvoca.
Uma relao R chamada transformao se ela e sua conversa so
unvocas e tem o mesmo domnio. A relao dobro de uma transformao, pois
unvoca e sua conversa metade de tambm unvoca e ambas tm o mesmo
domnio.
A teoria de classes e relaes desenvolvidas ao longo desta parte do livro
dependeu da aceitao de uma ontologia que admite objetos abstratos e classes
como reais.
No tpico seguinte, intitulado Teoria virtual de classes e relaes, o autor
apresenta um modo alternativo de desenvolvimento para uma parte importante da
chamada teoria de classes (e das relaes) de modo a formar parte da prpria
teoria da quantificao ou da identidade, evitando-se completamente quaisquer
suposies ontolgicas (QUINE, 1944, p.218).
O mtodo utilizado por Quine permite desenvolver uma teoria virtual de
classes e relaes que no depende de uma idia de classe nem de pertinncia e
no implica questes ontolgicas. Tal mtodo permite conservar todas as
vantagens prticas da lgebra de classes e de alguns outros ramos das teorias das
classes e relaes, sem abandonar a lgica no sentido mais estrito: a teoria da
quantificao (QUINE, 1944, p. 221).
O prximo item intitulado Nmeros naturais apresenta a definio do
conjunto dos nmeros naturais. O autor utiliza a notao x para a classe unitria de
x, isto a classe cujo nico elemento x. O nmero 0, admitido como a classe dos
primeiros 0 nmeros, deve ser a classe vazia. O nmero 1, como classe do primeiro
nmero ser a classe 0; o nmero 2, como a classe dos primeiros dois nmeros,
ser a classe 0 u 1 cujos membros so 0 e 1; o nmero 3 ser 0 u 1 u 2 e assim
por diante. De maneira mais concisa, podemos utilizar 2 1 u 1, 3 2 u 2 e, em
geral, o nmero que sucede a n n u n. Desta forma cada nmero natural possui
sua definio. O passo seguinte construir uma definio geral de nmero natural,
segundo Quine, definir a classe Nn cujos membros so 0, 1, 2, etc. A definio Nn

90

como sendo 0 u 1 u 2 u etc. no serve pois determina Nn como abreviao de

uma expresso que contm a palavra etc que no foi definida. A soluo devida a
Frege depende de considerarmos que Nn possui 0 como membro e possui tambm
o sucessor z u z de cada membro z. Segundo Quine

Essa condio sobre Nn ainda no determina completamente Nn,

pois a mesma condio satisfeita tambm por toda classe a qual
pertencem, alm dos nmeros naturais, quaisquer objetos
adicionais. Porm, Nn a classe mais estreita que satizfaz dada
condio. (QUINE, 1944, p. 225)

a mais estreita das classes y tais que

(6)

0  y - (z) ~ (z  y - ~ z u z  y)

a parte comum de todas as classes que satisfazem (6). Assim, o autor define Nn
como a classe dos elementos x que pertencem simultaneamente a todas as classes
y que satisfazem (6). Na seqncia so apresentadas as definies de adio,
multiplicao e potenciao aritmtica que dependem da noo de potncia relativa
de uma relao w, no sentido seguinte:
w0 = 1, w1 = w, w2 = w|w, w3 = w|w|w, etc.
Como exemplo, o autor apresenta w como sendo a relao de pai, w2 a
relao de av e w3 a relao de bisav. A soma x + y o sucessor do sucessor
do sucessor... (y vezes) de x; isto , onde w a relao de sucessor, x + y o objeto
que relacionado a x por wy.
A noo de produto admite uma definio anloga, pois x.y o resultado de
adicionar x, y vezes, a 0. Finalmente, a potncia aritmtica x ^ y (onde o autor usa
essa notao para evitar confuso com a potncia relativa xy) o resultado de
multiplicar 1, y vezes, por x. O autor, ainda que rapidamente, fala sobre o princpio
da induo matemtica.
A construo posterior mais importante a que introduz os nmeros reais e
o autor utiliza a definio devida a Whitehead e Russell, que interpreta os nmeros
reais como certas relaes entre nmeros naturais. Para exemplificar, o nmero real
2 identifica-se com a relao y z (y  Nn  z Nn  y.y  2.z.z) .

91

Segundo Quine, poderamos continuar as construes para incluir os

nmeros negativos e os nmeros imaginrios, como tambm os nmeros infinitos
cardinais e ordinais e as noes de diferencial e de integral, centrais a anlise
(QUINE, 1944, p. 230). Para maiores detalhes sugere que se consulte sua obra
Mathematical Logic, publicada em 1940.
O autor finaliza o livro apresentando algumas consideraes sobre o
resultado demonstrado por Gdel em 1931, sobre incompletude.

para que uma sistematizao de lgica ou de matemtica possa ser

usada na demonstrao de teoremas, no preciso que fornea um
mtodo mecnico para a descoberta de demonstraes [...], mas
preciso que todo teorema possua uma demonstrao (embora ainda
no descoberta) haja um e que mtodo mecnico pelo qual toda
demonstrao, uma vez encontrada, possa ser autenticada (QUINE,
1944, p. 231)

Se compararmos os tpicos abordados por Quine em seu livro O Sentido

da Nova Lgica com o livro Introduction to Logic and the methodology of deductive
sciences de autoria de Alfred Tarski, encontramos grande parte dos assuntos nas
duas obras. A primeira parte do livro de Quine intitulada Teoria da Composio
trata basicamente dos tpicos abordados por Tarski nos dois primeiros captulos de
seu livro, o captulo I Sobre o uso de variveis e o captulo II Sobre o Clculo
Proposicional. A segunda parte do livro de Quine, cujo ttulo Teoria da
Quantificao apresenta alguns tpicos abordados por Tarski no captulo II sobre
o Clculo Proposicional e no captulo VI Sobre o mtodo dedutivo. importante
observar que os autores apresentam algumas diferenas relacionadas notao
utilizada. A terceira parte do livro de Quine intitulada Identidade e Existncia tem
uma interface com o captulo III Sobre a teoria da identidade, do livro de Tarski,
sendo que Quine aprofunda um pouco mais o assunto, abordando aspectos
ontolgicos. A ltima parte do livro de Quine, chamada Classe, Relao e Nmero
apresenta tpicos tratados por Tarski nos captulos IV Sobre a Teoria das Classes
e V Sobre a Teoria das Relaes. Como podemos ver, os dois livros apresentam
muitos tpicos em comum, e o fato de Tarski ser um dos mais renomados lgicos de

92

todos os tempos, contribui para atestar a relevncia e a importncia da obra de

Quine originalmente escrita em portugus.
Segundo (CRIPPA, 1978b, p. 146), o livro O Sentido da Nova Lgica de
Quine, embora ainda hoje conserve seu valor, aparentemente exerceu pouca
influncia nos estudos de lgica no Brasil.
interessante observar que, em funo desta afirmao, questionei os Prof.
Leonidas Hegenberg e Newton da Costa sobre a influncia ou no das obras de
Amoroso Costa, Vicente Ferreira da Silva e Willard Orman Quine sobre os trabalhos
de ambos e as respostas so bem diferentes. O Prof. Leonidas disse que no
chegou a ler o livro de Vicente Ferreira da Silva e com relao ao livro de W. O.
Quine, leu o mesmo bem depois de ter voltado dos Estados Unidos. Segundo o Prof.
Leonidas

No incio, as influncias maiores que sofri vieram das aulas [e de

alguns livros e artigos] de Tarski e Mates. Em seguida, Copi e
Quine. Ao dar incio s aulas de Lgica Matemtica, no ITA (1962),
os livros "de apoio" de que me servi foram "Methods of logic" (de
1950, na verso de 1959) e "Symbolic logic", de I. Copi (1954, em
edies posteriores) [...] Aps introduzir o curso de Lgica no ITA,
em leituras paralelas, descobri os trabalhos de Vicente e de Quine.
(HEGENBERG, 2007)

J o Prof. Newton disse que o livro de Amoroso Costa, que tem uma parte
dedicada lgica, o influenciou e que o livro do Quine foi o primeiro livro de lgica
moderna que leu. Segundo o Prof. Newton

O livro de Quine O Sentido da Nova Lgica" foi o primeiro livro de

lgica moderno que eu li. Na poca era o nico acessvel. Quanto
ao livro de Vicente F. da Silva, eu somente o li muito tempo depois
de j possuir uma boa formao em lgica; quando eu comecei, a
obra estava esgotada ou no era vendida nas livrarias comuns
(penso que a primeira edio do livro era particular, editada pelo
prprio Vicente). (COSTA, 2007)

93

A semente estava plantada, mas s comearia a apresentar seus frutos no

final da dcada de 50. Antes disso, ainda teramos vrias publicaes voltadas
principalmente lgica aristotlica. Em 1949 publicado a Lgica Menor, de autoria
do francs Jacques Maritain, com a traduo de Ilza das Neves e reviso de Adriano
Cury, uma boa fonte de consulta para estudo da lgica aristotlica.
Ainda podemos destacar o Prof. Euryalo Cannabrava (1908 1981), que
lecionou no Colgio Pedro II e publicou em 1956 os livros Elementos de Metodologia
Filosfica, Introduo a Filosofia Cientfica e, em 1957, publicou o livro Ensaios
Filosficos. Segundo Crippa,

vrios ensaios reunidos nestas obras tm carter inovador, para a

poca, apresentando ao leitor brasileiro, idias de autores que eram
praticamente desconhecidos no pas como Russell, Ayer, Tarsky,
Nagel e Goodman.(CRIPPA, 1978b,p.147)

O mrito de Cannabrava foi apresentar algumas noes de lgica moderna

como, por exemplo, a noo de implicao material, a noo de modelo, a noo de
clculo e estrutura lgica. Embora seja difcil avaliar at que ponto tais obras
exerceram alguma influncia, podemos inferir que sua atividade docente no Colgio
Pedro II pode ter permitido a divulgao de idias novas no Brasil.

94

CAPTULO 4

A ERA DOS PIONEIROS

A lgica passa a ser investigada de modo acadmico e cientfico no Brasil

apenas no sculo XX e apresenta um salto qualitativo a partir do final dos anos 50,
quando dois centros se destacam: um na Universidade de So Paulo (USP), em So
Paulo, com o Prof. Edison Farah e outro na antiga Faculdade Nacional de Filosofia,
no Rio de Janeiro, onde um grupo de alunos manifesta um forte interesse pelo
assunto. Em Niteri, no incio dos anos 60, um grupo de pessoas interessadas em
estudar lgica organizou-se sob a orientao do Prof. Jorge Emmanuel Ferreira
Barbosa.
O Prof. Barbosa estagiou um ano com Paul Lorenzen 1 , na Alemanha e, ao
retornar ao Brasil, implantou cursos de lgica matemtica no Instituto Militar de
Engenharia no Rio de Janeiro e na Faculdade Fluminense de Filosofia 2 em Niteri.
Entre os auxiliares diretos do Prof. Barbosa temos Ceres Marques de
Morais, Dris Ferraz de Aragon, Geraldo Cardoso e Constantino Meneses de Barros
(esse ltimo, mais tarde, iria se dedicar especificamente matemtica).
Neste captulo, dedicaremos especial ateno aos pioneiros do grupo de
So Paulo 3 e apresentaremos uma breve biografia dos mesmos. No final da dcada
de 50, temos o que Leonidas Hegenberg denomina era dos pioneiros 4 , quando um
grupo de estudiosos de lgica e fundamentos da matemtica liderados pelo Prof.
Edison Farah, do qual fizeram parte Benedito Castrucci, Newton Carneiro Affonso da
Costa, Mario Tourasse Teixeira e Leonidas Hegenberg, se reunia em seminrios no
Departamento de Matemtica da Universidade de So Paulo 5 .
No encontramos documentos oficiais que comprovem formalmente a
existncia dos seminrios conduzidos pelo Prof. Edison Farah na rea de lgica e
fundamentos da matemtica, mas, atravs de cartas, depoimentos e trechos de
1

Paul Lorenzen (1915-1994) filsofo e matemtico alemo.

Para maiores detalhes ver (CRIPPA, 1978b, p.154).
3
(HEGENBERG, 1986, p. 335).
4
(HEGENBERG, 1986, p. 335).
5
(HEGENBERG, 1986, p. 335),
2

95

artigos podemos comprovar a existncia de tais seminrios. O Prof. Newton da

Costa afirma que o Prof. Edison Farah desempenhou importante papel na formao
de um grupo de estudiosos de lgica e fundamentos da matemtica nas
Universidades de So Paulo e de Campinas a partir de 1960 6 .
Em carta ao Prof. Newton da Costa o Prof. Edison Farah faz meno a tais
seminrios: O Leonidas j est de volta dos EUA e se disps a desenvolver a
Teoria dos Modelos nos seminrios de Lgica Matemtica e Teoria dos Conjuntos
que pretendo iniciar o mais breve possvel. [...] 7 .
O Prof. Newton da Costa diz que, salvo engano, tais seminrios eram
realizados todas as segundas-feiras, tarde, nos anos de 61 e 62. Alm disso,
eram poucos os participantes, mas ele se lembra de Mario Tourasse Teixeira, Jacob
Zimbarg Sobrinho e Ayda Inez Arruda e s vezes participavam alguns alunos. No
memorial elaborado pelo Prof. Jacob Zimbarg Sobrinho apresentado ao IME USP
para o concurso de livre docncia no Departamento de Matemtica, em maro de
1982, o Prof. Jacob diz que, em 1962, sob a influncia dos Professores Edison
Farah e Mario Tourasse Teixeira, passou a interessar-se por Lgica Matemtica e
Teoria dos Conjuntos, participando regularmente do Seminrio do Prof. Tourasse
pelo perodo de um ano e meio. Nesse memorial, no fica claro onde eram
realizados tais seminrios. A Profa. Eurides Alves de Oliveira lembra-se de ter
acompanhado o Prof. Jacob a Rio Claro onde ambos participavam de seminrios
com o Prof. Mario.
O Prof. Leonidas Hegenberg lembra-se de que as reunies deveriam ser
semanais, mas passaram a ser quinzenais e em virtude de feriados e greves houve
muita interrupo nestas atividades. De acordo com o Prof. Leonidas, o Prof. Mario,
o Prof. Newton e ele prprio manifestaram interesse por uma reunio (mais ou
menos) regular, destinada aos estudos de lgica e, em vista, disso o Prof. Farah
resolveu organizar um seminrio na USP. O tema fundamentos fixava-se em torno
de teoria dos conjuntos e da tese do Prof. Farah. Nas palavras do Prof. Leonidas
juntaram-se a esse grupo inicial o Prof. Castrucci e um aluno da matemtica, Alsio
Caroli, que depois viria a ser professor da USP.

(NEWTON DA COSTA, 1994 [prefcio do livro (FARAH, 1994)]).

Trecho de carta escrita pelo Prof. Farah ao Prof. Newton, em 05 de abril de 1962 Acervo Newton
Carneiro Affonso da Costa/ Arquivos Histricos em Histria da Cincia/CLE Unicamp.

96

Tendo em vista tais informaes, podemos perceber que os professores

Edison Farah, Mario Tourasse Teixeira, Leonidas Hegenberg, Newton Carneiro
Affonso da Costa e Benedito Castrucci formaram o ncleo inicial desse grupo de
estudos e embora outros estudiosos tenham participado e contribudo com o grupo,
podemos considerar os professores citados como os pioneiros desta rea de
pesquisa. Apresentaremos a seguir uma breve biografia desses professores que
contriburam para a consolidao da lgica matemtica no Brasil.

Benedito Castrucci (1909 -1995)

Figura 16 Benedito Castrucci 8

O Professor Benedito Castrucci era paulistano do bairro do Brs. Em 1935

obteve o grau de bacharel em Cincias Jurdicas e Sociais e em 1939 graduou-se
em Matemtica pela Faculdade de Filosofia Cincias e Letras (FFCL) da USP. Em
1940 foi designado Professor Assistente da Cadeira de Geometria e em 1942
assumiu o cargo de Professor da Cadeira de Geometria Analtica, Projetiva e
Descritiva da FFCL da USP. No ano de 1943 defendeu a tese de doutorado Sobre
uma nova definio de Cbica Plana. Na pgina seguinte temos a cpia do
documento arquivado na USP So Paulo, sobre a obteno do ttulo de doutor do
Prof. Castrucci.
8

Foto obtida na fita de vdeo FFCLUSP Um marco na Histria da Matemtica no Brasil Mesa
composta por Benedito Castrucci, Edison Farah e Cndido Lima da Silva, intermediada por Ubiratan
DAmbrsio, junho de 1991. (Acervo Departamento de Matemtica UNESP Rio Claro).

97

Figura 17 Documento sobre a obteno do ttulo de doutor, arquivado na USP

So Paulo.
Em 1951 apresentou sua tese de provimento de ctedra intitulada
Fundamentos da Geometria Projetiva Finita n-dimensional. Embora o Prof.
Castrucci no tenha priorizado a rea de lgica, constata-se seu interesse pelo
assunto nos anos 60, o que pode ser corroborado pelo trecho abaixo:

[...] Realizamos [Eu, Tourasse e Castrucci] uns trs seminrios

apenas do livro do Bourbaki, dado pelo Mario Tourasse. O que
causa espanto ver o grande interesse do Castrucci pela teoria dos
conjuntos e a parte de lgica, est mesmo interessado a formar um
pequeno grupo para estudar isso em So Paulo [...] (trecho de
carta enviada pelo Prof. Celso Volpe ao Prof. Newton da Costa em
25/06/1965 Acervo Newton Carneiro Affonso da Costa/ Arquivos
Histricos em Histria da Cincia/CLE Unicamp.

98

Edison Farah (1915-2006)

Figura 18 Edison Farah 9

O Professor Edison Farah, paulista de Capivari, nasceu em 14 de abril de

1915, filho de Jos Igncio Farah e Eduarda Llamas Farah.
Em 1941 graduou-se em Matemtica pela Faculdade de Filosofia Cincias e
Letras da Universidade de So Paulo. No ano seguinte, foi convidado pelo Prof.
Omar Catunda para ser seu Assistente na Cadeira de Anlise Matemtica. Em 1945,
tornou-se Assistente de Anlise Superior, trabalhando com o matemtico francs
Andr Weil, que durante trs anos regeu a Cadeira. No ano de 1950, defendeu na
FFCL da USP a tese de doutorado Sobre a Medida de Lebesgue, orientado por
Omar Catunda e neste mesmo ano foi nomeado Professor Catedrtico Interino de
Anlise Superior. Na pgina seguinte, temos a cpia do documento arquivado na
USP So Paulo, sobre a obteno do ttulo de doutor do Prof. Farah.

Foto obtida na fita de vdeo FFCLUSP Um marco na Histria da Matemtica no Brasil Mesa
composta por Benedito Castrucci, Edison Farah e Cndido Lima da Silva, intermediada por Ubiratan
DAmbrsio, junho de 1991. (Acervo Departamento de Matemtica UNESP Rio Claro).

99

Figura 19 Documento sobre a obteno do ttulo de doutor, arquivado na USP So

Paulo.
Em 1954, por Concurso de Ttulos e Provas, tornou-se Professor
Catedrtico efetivo desta disciplina, com a tese intitulada Algumas Proposies
Equivalentes ao Axioma da Escolha.
No perodo de 1948 a 1954 tambm lecionou na Faculdade de Filosofia,
Cincias e Letras de So Bento.
Em 1970, com a criao do Instituto de Matemtica e Estatstica da
Universidade de So Paulo, passou a trabalhar neste instituto at sua aposentadoria
em outubro de 1980.
Aps se aposentar, prestou concurso de Professor Titular na Pontifcia
Universidade Catlica de So Paulo, onde permaneceu por mais alguns anos.
Suas principais reas de interesse foram teoria dos conjuntos, topologia
geral e medida e integrao. Nestas reas publicou cerca de 20 artigos de pesquisa,

100

alm de vrios artigos de divulgao. Foi orientador de vrios mestrados e

doutorados, e, em particular, foi o responsvel pelo encaminhamento dos
doutorados dos professores Mario Tourasse Teixeira, Leonidas Hegenberg e
Newton da Costa.
Segundo Newton da Costa, no prefcio do livro Algumas Proposies
equivalentes ao Axioma da Escolha, ao se referir ao Prof. Farah, escreve que os
propsitos de sua vida parecem se enquadrar bem no esprito do seguinte trecho de
Bertrand Russell:

A grande arte e a grande cincia nascem do desejo de materializar a

sombra de um fantasma uma beleza que afasta os homens da
segurana e da comodidade para um glorioso tormento. Os homens
em quem essa paixo existe no devem ser tolhidos pelos grilhes
da filosofia utilitria, pois a seu ardor que devemos tudo quanto
temos de grande na humanidade. (RUSSELL, 1945, p. 263)

Leonidas Helmuth Baebler Hegenberg (1925, -)

Figura 20 Leonidas Hegenberg

O Prof. Leonidas Hegenberg nasceu em 14 de maro de 1925 na

cidade de Curitiba, no Paran. Entre 1925 e 1926 a famlia mudou-se para So
Paulo. Iniciou seus estudos em casa com a av Frieda Johanna Senff Baebler e com
a me Stella Baebler Hegenberg. Aos sete anos foi matriculado na Olinda

101

Schule 10 , uma escola alem que havia em So Paulo; dois anos depois passou a
estudar no Grupo Escolar So Paulo. Cursou o Ginsio do Estado, onde conheceu
Octanny Silveira da Mota, que seria seu grande parceiro na traduo de muitas
obras importantes. Cursou o segundo grau que era feito em dois anos de pr
(faculdade), aps cinco de ginsio, no Colgio do Estado.
O pai de Leonidas era engenheiro formado na Technische Hochschule
de Berlim e participou da construo da estrada de ferro Paranagu-Curitiba e,
provavelmente em funo disso, ao terminar o colgio, o jovem Leonidas prestou
vestibular para a Politcnica (USP), mas foi reprovado. Segundo Leonidas (apud
Silva, M.F.A. (2003, p. 31)).

Na segunda tentativa, embora fossem boas as notas em matemtica

e fsica, no alcancei a nota mnima em desenho. Nova bomba. Os
fracassos quase me fizeram abandonar os estudos. Dominado pelo
pessimismo, imaginei que a faculdade no fazia parte de meu
destino.

Em 1947, ingressa na Faculdade de Filosofia do Instituto Mackenzie 11 que

ento iniciava suas atividades 12 , onde se graduou em Matemtica e Fsica. Neste
perodo, destacam-se como seus mestres os professores Abraho de Moraes (19151970), Francisco Antonio Lacaz Netto (1911-1981) e Willie Maurer (1907-?).
No ano de 1950, levado pelo Prof. Francisco Lacaz Netto, leciona no
Departamento de Matemtica do Instituto Tecnolgico da Aeronutica (ITA). Ao ser
encarregado de ministrar aulas de Geometria Analtica, percebeu a necessidade de
uma melhor fundamentao, o que o levou a estudar os fundamentos da
matemtica. E esses, por sua vez, levaram-no ao estudo da teoria dos conjuntos e,
quase em seguida, lgica. Tendo em vista esse interesse, ingressou, em 1955,
como aluno no curso de Filosofia da Faculdade de Filosofia, Cincias e Letras da
USP, que concluiu em 1958.
No perodo de 1960 a 1962, recebe uma bolsa da Pan American Union,
para estudar como aluno regular na Universidade da Califrnia (Berkeley), tendo
10

Para maiores detalhes sobre as escolas alems ver (Nobre, 2005)

Atualmente Universidade Presbiteriana Mackenzie
12
A Faculdade de Filosofia, Cincias e Letras foi criada em 1946 e reconhecida pelo decreto 257517,
de 28/11/1949.
11

102

oportunidade de ter contato com Paul Feyerabend (1924-1994), Alfred Tarski (19021983), Willian Craig, Robert Vaught (1926-2002). A influncia de Feyerabend foi
importante e permitiu que, de maneira gradual, fosse focando seus estudos em
Filosofia da Cincia, rea a qual se dedica at hoje.
Ao voltar ao Brasil, tinha a inteno de continuar estudando lgica e inicia
sua participao nos seminrios do grupo liderado pelo Prof. Edison Farah, onde
comea a desenvolver uma idia trazida de Berkeley que vai culminar com sua tese
de doutorado, em 1968, intitulada Mudana de Linguagens formalizadas, tendo
como orientador o Prof. Edison Farah. Abaixo, temos a cpia do documento
arquivado na USP So Paulo, sobre a obteno do ttulo de doutor do Prof.
Lenidas.

Figura 21 Documento sobre a obteno do ttulo de doutor, arquivado na USP So

Paulo.

103

Este tpico merece um esclarecimento mais pormenorizado, pois algumas

vezes encontramos o Prof. Jos Arthur Giannotti como o orientador desta tese.
Segundo o Prof. Leonidas, no incio seu orientador era o Prof. Joo Cruz Costa
(1904 1978) da Faculdade de Filosofia. Ao conseguir a bolsa da Pan American
Union, foi estudar nos Estados Unidos pensando em trabalhar na rea de
causalidade (na Filosofia). O Prof. Leonidas afirma possuir at hoje, farto material a
respeito desse tema. Ao retornar dos Estados Unidos, o Prof. Cruz Costa entregou
a orientao ao Prof. Farah, da Matemtica. Segundo as prprias palavras do Prof.
Leonidas
Isso era de esperar, porque (1) Cruz Costa no estava muito bem
de sade, tendo sido substitudo, em suas vrias atividades, por
seu dileto e amado discpulo Giannotti; (2) meu trabalho tinha
carter formal, nada "simptico" aos olhos dos filsofos. Como dito
na tese, Farah era meu "orientador" de fato, embora, talvez, no "de
direito". [Na verdade, foi nas aulas de Vaught, l nos EUA que
recolhi as idias para elaborar o trabalho.] Joo Cruz Costa -- que
se havia aposentado ou estava prestes a aposentar-se -- seria
Presidente de minha banca examinadora. Sua sada levou Giannotti
a ocupar seu lugar. Usualmente, o presidente da banca era o
orientador. Dai o erro. Na verdade, G. nada sabia do que eu fazia e
ocupou a presidncia da banca por mero acaso, na condio de
professor que passava a substituir Cruz Costa. 13 (HEGENBERG,
2006)

O Prof. Leonidas trabalhou 38 anos (1950 1988) no Instituto Tecnolgico

de Aeronutica (ITA). Alm disso, foi professor colaborador e visitante em diversas
instituies de ensino como: Faculdade de Filosofia de Assis (1963 1964),
Faculdade de Engenharia de Guaratinguet (1968 1970), Pontifcia Universidade
Catlica (PUC) So Paulo (1969 1975), Instituto de Pesquisas Espaciais (1973
1974 e 1979), Faculdade de Medicina da Universidade Federal do Paran (1975 1979), Instituto de Psicologia USP (1986 1994), Escola Superior de Propaganda
e Marketing (ESPM) no perodo de 1998 e 1999. Desde 2004 professor visitante
convidado pelo Departamento de Filosofias e Mtodos da Universidade de So Joo
Del Rei.
O professor Leonidas importante na histria da lgica principalmente pela
divulgao da lgica no Brasil, como ele mesmo escreve: Embora no haja trazido
contribuio de relevo, no setor da lgica, penso haver contribudo para fazer com
13

No Anexo , se encontra a carta enviada pelo Prof. Leonidas Hegenberg solicitando a correo desta
informao relacionada sua tese de doutorado.

104

que aumentasse o interesse pela disciplina em nosso pas (LEONIDAS

HEGENBERG In: CRIPPA,1978b, p.153).
Entre os livros escritos sobre lgica podemos mencionar Lgica Simblica
(1966), Tabelas e Argumentos (1968), Lgica: o clculo sentencial (1973), Lgica: o
clculo de predicados (1973), Lgica: simbolizao e deduo (1975), escrito com o
Professor Lafayette de Moraes, Lgica exerccios III Simbolizao no clculo
de predicados (1977), Lgica exerccios II Deduo no clculo sentencial
(1977), Lgica exerccios IV Deduo no clculo de predicados (1978), Lgica
exerccios I Tabelas e argumentos (1978), Dicionrio de Lgica (1995).
Alm desses livros publicou mais de 50 textos de divulgao em jornais e
revistas e traduziu mais de 50 obras, principalmente junto com o amigo Octanny, em
filosofia da cincia, epistemologia e lgica.

Mario Tourasse Teixeira (1925-1993)

Figura 22 Mario Tourasse Teixeira

O Prof. Mario Tourasse Teixeira nasceu em 11 de setembro de 1925 na
cidade de Recife em Pernambuco, filho de Eduardo Machado Teixeira e de Luiza

105

Tourasse Teixeira. Em 1946, concluiu o ginasial no Colgio Pedro II e, em 1948,

concluiu o secundrio no Colgio Rabelo, ambos localizados na cidade do Rio de
Janeiro. No ano de 1951, ingressou no curso de Matemtica da antiga Faculdade
Nacional de Filosofia da Universidade do Brasil, concludo em 1954. Nos anos de
1955 a 1956, atuou como Auxiliar de Ensino, sem proventos, da cadeira de Anlise
Matemtica e Anlise Superior na Faculdade Nacional de Filosofia. No mesmo
perodo, trabalhou como consultor no Instituto Brasileiro de Bibliografia e
Documentao, colaborando, especificamente, na pesquisa, seleo e classificao
de trabalhos para a Bibliografia Brasileira de Matemtica e Fsica 1950-54, publicada
por esse Instituto.
Ainda em 1956, atuou como professor assistente da cadeira de Anlise
Matemtica da Faculdade Fluminense de Filosofia.
No perodo de maro de 1957 a fevereiro de 1959, obteve uma Bolsa de
Estudos, concedida pelo Conselho Nacional de Pesquisas (CNPq), com o objetivo
de aperfeioar-se em Lgica Matemtica e Fundamentos de Matemtica na
Faculdade de Filosofia, Cincias e Letras da USP, sob a orientao do Prof. Edison
Farah.
Em 1958, convidado pelo Prof. Nelson Onuchic (1926 1999) para
integrar o corpo docente do curso de Matemtica da ento recm criada Faculdade
de Filosofia, Cincias e Letras de Rio Claro, onde teve seu contrato iniciado em 01
de maro de 1959.
De agosto de 1960 a fevereiro de 1961 fez um Estgio de Especializao
em lgebra da Lgica e em Funes Recursivas na Universidade Nacional del Sur,
em Baha Blanca e no Centro Atmico de Bariloche, na Argentina, com os
professores Antnio Aniceto Ribeiro Monteiro e Jean Porte. Na introduo de sua
tese de doutorado, defendida em 1965 na Faculdade de Filosofia, Cincias e Letras
da USP, intitulada M-lgebras, o Prof. Mario escreve: este trabalho um
desenvolvimento de idias originais de A. Monteiro, o que pode indicar a orientao
de fato ao Prof. Antonio Monteiro e a orientao de direito ao Prof. Edison Farah. Na
pgina seguinte, temos a cpia do documento arquivado na USP So Paulo, sobre
a obteno do ttulo de doutor do Prof. Mario Tourasse.

106

Figura 23 Documento sobre a obteno do ttulo de doutor, arquivado na USP So

Paulo.
Em um curriculum vitae, elaborado pelo Prof. Mario Tourasse, em 1980,
constam como trabalhos publicados O operador de conseqncia de Tarski e
estruturas algbricas associadas ao clculo proposicional intuicionista, publicado no
Boletim da Sociedade de Matemtica de So Paulo, 13, p. 67-74 (1961); As funes
recursivas e os fundamentos da Matemtica, publicado na Gazeta Matemtica, 22,
p. 12 - 16 (1961); Caracterizao de condicionais pelo operador de conseqncia,
publicado nas Atas do III Colquio Brasileiro de Matemtica realizado em Fortaleza
(CE) no ano de 1961; Operador de Completamento, Atas da 1 Semana Fluminense
de Estudo e Ensino da Matemtica, realizada em Niteri em 1964; Representao
de M-lgebras, Atas do IV Colquio Brasileiro de Matemtica, realizado em Poos
de Caldas (MG) em 1965; Estruturas Livres, Atas da 2 Semana Fluminense de
Estudo e Ensino da Matemtica, realizada em Niteri em 1966; Matrizes

107

Separadoras, Atas do V Colquio Brasileiro de Matemtica, realizado em Poos de

Caldas (MG) em 1967 e Algumas idias sobre Lgica e Fundamentos de
Matemtica, 1 Encontro Nacional de Lgica Matemtica, realizado em Niteri no
ano de 1974.
Segundo (BICUDO,2000, p.15)

a pequena produo no retrata to profundo pensador. Mas a

explicao simples. Mario resolvera, desde cedo, como fazia,
alis, com tudo que era seu, partilhar com os outros suas idias e
suas descobertas.

O Professor Mario Tourasse Teixeira orientou trabalhos de mestrado e

doutorado em diversas instituies, tais como Universidade Federal Fluminense
(UFF), USP, PUC, UNICAMP, em Matemtica e Educao Matemtica. Em
Matemtica, podemos citar a tese de doutorado de Irineu Bicudo, intitulada Sobre o
conceito de dualidade em matemtica (PUC So Paulo, 1972); a tese de
doutorado de Albrecht G. Hoppmann, intitulada Fecho e Imerso (FFCL Rio
Claro, 1973) e a tese de Eurides Alves de Oliveira, intitulada Universos Ordenados
(FFCL- Rio Claro, 1973). Entre os mestrados orientados, podemos citar: Antonio
Jose Engler (Ordem e Simetria USP 1971); Brasil Terra Leme (Complemento e
decidibilidade ICMSC So Carlos 1972); tala Maria Loffredo DOttaviano
(Fechos caracterizados por interpretaes UNICAMP 1973); Ilka Dias de Castro
(Sobre as lgicas polivalentes UFF 1973); Leila Mendes Assumpo
(Operaes, fechos e objetos tpicos UFF 1977); Helena Maria Osrio Leo e
Silva (Estruturas geradas por relaes UFF 1977) 14 .
Alm de ser reconhecido por seus pares como um grande matemtico,
e, em particular, como um dos maiores nomes na rea de Lgica no pas, o
Professor Mario Tourasse sempre foi considerado um incentivador dos colegas e de
seus alunos e, como encontramos em Crippa (1978b, p.152),

14

Para uma relao mais detalhada das orientaes ver (SOUTO, 2006)

108

Mario Teixeira, como Wittgenstein que tambm escreveu pouco,

mas exerceu profunda influncia graas a sua bondade, que
lembra a de um santo, e ao arraigado costume de incentivar
qualquer iniciativa de seus colegas e alunos, conta com a admirao
irrestrita de seus amigos, aos quais, constantemente, abre
horizontes, com suas idias de largo alcance.

Numa entrevista, cujos registros podem ser encontrados no Centro de

Lgica, Epistemologia (CLE) e Histria da Cincia, na UNICAMP, o Prof. Newton da
Costa, quando perguntado sobre a criao da lgica paraconsistente e sobre o que
os matemticos da poca pensavam de suas idias, respondeu:

Quando eu fiz essas coisas eu fiz sozinho, alis talvez essa fosse
uma grande vantagem de eu estar completamente isolado l no
Paran. Porque se eu no tivesse assim eu provavelmente tivesse
me dedicado a coisas mais de acordo com a main stream com a
principal corrente de pesquisa matemtica e no tivesse feito isso.
Mas eu comecei a fazer essas coisas, todo mundo me chamava de
maluco, todos. No havia, s com uma exceo, que eu preciso
naquela poca, que eu preciso um dia agradecer a ele, ao professor
Mario Tourasse Teixeira, foi o primeiro lgico com o qual eu falei
que no disse que eu era louco. Ao contrrio eu fiquei assombrado,
disse como que faz isso eu quero ver, naturalmente ele disse isso
para me incentivar eu acho que no fundo tambm achava uma
loucura. Mas eu devo isso ao Mario, ao Mario Tourasse Teixeira. At
um dia, e da poucos meses depois o Mario me mandou um Review
do Journal Symbolic Logic, de um artigo do Jskowski que era uma
coisa meio parecida. A, eu nunca mais esqueci, tenho l a carta do
Mario, dizia assim: Olha a Newton eu arranjei um rival, voc agora
no est sozinho. 15

Em 1993, faleceu em Rio Claro e recebeu vrias homenagens pstumas,

nas quais sua trajetria profissional e tambm pessoal foram lembradas por amigos,
colegas e ex-alunos; entre tais homenagens temos o XI Encontro Brasileiro de
Lgica, realizado em Salvador, em 1996, e ao comentar esta homenagem o Prof.
Lenidas Hegenberg escreveu

15

Entrevista de Newton Carneiro Affonso da Costa, 2001/ Arquivos Histricos em Histria da

Cincia/CLE-Unicamp realizada por Eliane Morelli Abrao em 12 de outubro de 2001, em guas de
Lindia , com a participao de Andra Loparic, Elias Humberto Alves e Luiz Paulo Alcantara.
Disponvel em http://www.cle.unicamp.br/arquivoshistoricos/enewton2.pdf. Acesso em 12 de ago. de
2006.

109

O Congresso da Bahia homenageia Mario Tourasse Teixeira, bom

amigo, especialista em lgica algbrica. Cidado que se escondeu,
a vida inteira, atrs de modstia exagerada -- at doentia. Cidado
que conheceu, como poucos, neste nosso Pas, o prazer de criar
teorias, alimentar idias, lanar conjecturas -- suposies que se
empenhava em doar a seus alunos, em Rio Claro ou alhures, para
que fizessem suas teses de mestrado ou doutorado. Cidado que
ningum ousava contrariar, porque tudo que fazia estava cercado
por uma aura de bondade e dedicao. Cidado que nunca se
queixou da parca sade que o destino lhe deu, jamais guardou
coisas para si, no reclamou glrias. Cidado que (pasmem!),
assistindo a uma ou duas peas de que participei, resolveu escrever
uma pea para mim 16 -- uma preciosidade que guardo com especial
carinho. Cidado que, de repente, no mesmo silncio mantido em
vida, deixou este mundo para sentar-se ao lado de Deus e sorrir de
nossas vaidades... Aqui fica minha saudao a este homem que
marcou presena em todos que o conheceram. (HEGENBERG,
2005)

Newton Carneiro Affonso da Costa (1929, -)

Foto 24 Newton Carneiro Affonso da Costa

16
17

17

A pea, cujos manuscritos esto com o Prof. Leonidas, tem o titulo O Criador de Ambientes
Foto tirada em julho de 2005 no apartamento do Prof. Newton da Costa em Florianpolis

110

O Professor Newton da Costa nasceu em 16 de setembro de 1929, em

Curitiba, estado do Paran. Estudou na Escola Americana de Curitiba. Aos quinze
anos teve seu interesse despertado por questes de Lgica graas ao seu tio Milton
Carneiro, na poca professor de Histria da Filosofia na Faculdade de Filosofia,
Cincias e Letras da Universidade Federal do Paran. Em uma entrevista afirmou:

Quando eu completei 15 anos, ele me chamou e disse: Olha, hoje

voc completou 15 anos, ento voc vai almoar comigo e me levou
para almoar e conversando comigo disse assim: voc capaz de
provar que voc existe?. Eu disse: Claro! Eu estou aqui. Ele disse:
Bom, isso pode ser sonho. Disse: Bom, penso logo existo. Ele
disse: No, penso logo existo pensamento. Comeou a brincar
comigo. E a me deu dois livros, um livro do Liard, Logique e o livro
do Quine que foi uma coisa que me marcou, O sentido na nova
lgica. 18

Estudou Filosofia lendo autores como Descartes, Poincar, Carnap entre

outros e principalmente Bertrand Russell a quem Newton admirava como lgico,
reformador social e ensasta-publicista (BIOGRAFIA, 2006).
Newton da Costa casado com Neusa Feitosa Affonso da Costa e tem trs
filhos: Newton Carneiro Affonso da Costa Jnior, Sylvia Lcia Feitosa Affonso da
Costa e Marcelo Feitosa Affonso da Costa.
Em 1948, ingressou na Escola de Engenharia da Universidade Federal do
Paran, onde em 1952 concluiu o curso de Engenharia Civil. No ano de 1956,
concluiu o Bacharelado em Matemtica e, no ano seguinte, a Licenciatura em
Matemtica, ambos na Faculdade de Filosofia, Cincias e Letras da Universidade
Federal do Paran.
Em 1961, obteve seu doutorado em Matemtica ao ser aprovado no
Concurso para Docncia Livre na cadeira de Anlise Matemtica e Anlise Superior,
na Faculdade de Filosofia, Cincias e Letras da Universidade Federal do Paran,
com a tese Espaos Topolgicos e Funes Contnuas, sob a orientao formal do
matemtico portugus, radicado em Curitiba, Joo Rmy Teixeira Freire. Segundo o
18

Entrevista de Newton Carneiro Affonso da Costa, 2001/ Arquivos Histricos em Histria da

Cincia/CLE-Unicamp realizada por Eliane Morelli Abrao em 12 de outubro de 2001, em guas de
Lindia , com a participao de Andra Loparic, Elias Humberto Alves e Luiz Paulo Alcantara.
Disponvel em http://www.cle.unicamp.br/arquivoshistoricos/enewton2.pdf. Acesso em 12 de ago. de
2006.

111

Prof. Newton, o Prof. Edison Farah foi uma espcie de orientador informal, a quem
devo muito, mas muito mesmo. Ainda segundo o Prof. Newton

por dificuldades de tempo, a tese no pde ser completada com a

parte realmente original, que se referia a espaos topolgicos em
lgebras de Boole e a polinmios booleanos, com aplicaes a
lgica. (COSTA, 2006)

A tese de ctedra Sistemas Formais Inconsistentes, embora publicada em

1963, foi defendida em 1964 na cadeira de Anlise Matemtica e Anlise Superior,
na Faculdade de Filosofia, Cincias e Letras da Universidade Federal do Paran.
Esse trabalho foi um dos mais relevantes e mais citados dentre todos feitos no
Brasil, principalmente depois do autor ter feito um resumo, em ingls, e t-lo
publicado no Notre Dame Journal of Formal Logic, em 1974.

19

Segundo (ARRUDA, 1989, p.105), Newton da Costa inicia em 1958, com o

artigo Nota sobre o conceito de contradio, publicado no Anurio da Sociedade
Paranaense de Matemtica, seu trabalho sobre a importncia do estudo das teorias
de contradio. No ano seguinte, publica no mesmo anurio o artigo Observaes
sobre o conceito de existncia em matemtica, onde afirma que existe uma
matemtica que no trivial. Essas idias foram trabalhadas e desenvolvidas em
1963, quando sua tese Sistemas formais Inconsistentes publicada. Nesse
trabalho, Newton da Costa apresenta e desenvolve uma lgica de primeira ordem
para o estudo de teorias de inconsistncia e aplica esses clculos lgicos ao estudo
de teorias inconsistentes de conjuntos construdos sobre tal lgica.
Segundo (COSTA, et al, 2004), o termo paraconsistente foi sugerido pelo
filsofo peruano Francisco Mir-Quesada, em 1976, em uma carta encaminhada a
Newton da Costa.
Segundo (KRAUSE, 2006), entre os princpios da hoje chamada lgica
clssica figura o princpio da contradio. Tal princpio pode ser formulado da
seguinte forma: dadas duas proposies contraditrias, isto , tais que uma delas
seja a negao da outra, uma delas deve ser falsa. Na lgica clssica, uma
contradio implica qualquer proposio.
19

On the Theory of Inconsistent Formal Systems

112

Se em um sistema dedutivo S fundamentado na lgica clssica

derivamos duas proposies contraditrias (uma sendo a negao
da outra), ento toda frmula (expresso bem formada) da
linguagem de S resulta ser teorema de S. Neste caso, diz-se que S
trivial. (KRAUSE, 2006)

Uma lgica paraconsistente se pode fundamentar sistemas dedutivos

inconsistentes, mas que no sejam triviais. Segundo Krause

Em um sistema dedutivo S baseado em uma lgica paraconsistente,

pode haver dois teoremas contraditrios, sem que com isso toda
frmula da linguagem S seja derivada como teorema do sistema.
(KRAUSE, 2006)

No Brasil, em funo da influncia de Newton da Costa, desenvolveu-se

uma forte escola de lgica, inicialmente em So Paulo e Campinas, mas atualmente
se estendendo por todo o pas.
Na biblioteca da USP, encontramos ainda um trabalho intitulado lgebras
de Curry, datado de 1966, que deveria ser apresentado em concurso para a cadeira
de Crtica dos Princpios e Complementos de Matemtica da Faculdade de Filosofia,
Cincias e Letras da Universidade de So Paulo, o qual, segundo o Prof. Newton,
nunca chegou a ser defendido.
O Prof. Newton da Costa lecionou na Universidade Federal do Paran de
1957 a 1967. Em 1967, assume cargo como diretor associado do Instituto de
Matemtica, Estatstica e Cincias da Computao (IMECC) da UNICAMP e, entre
1968 e 1969, como professor titular do mesmo instituto. No perodo de 1970 a 1981,
foi Professor Titular do Instituto de Matemtica e Estatstica (IME) da USP. Entre
1982 e 1999, foi Professor Titular do Departamento de Filosofia da Faculdade de
Filosofia, Letras e Cincias Humanas da USP. Alm disso, desde 1985,
pesquisador do Instituto de Estudos Avanados da USP.

20

Atualmente, o Prof.

Newton da Costa professor do Curso de Ps-Graduao em Filosofia da

Universidade Federal de Santa Catarina (UFSC).

20

Para maiores detalhes ver (BELESSA, 1994)

113

Alm dessas instituies, foi professor visitante na Universidade Federal do

Rio de Janeiro (1963), Universidade de Bahia Blanca Argentina (1968),
Universidade de Buenos Aires Argentina (1969), Universidade Catlica do Chile
(1976), Universidade de Paris (1972 e 1999), Universidade de Torun Polnia
(1975), Universidade Nacional da Austrlia (1976), Universidade de Turim (1982),
Universidade de Sienna (1986).
Ministrou conferncias em universidades e academias de cincias de
diversos pases: Universidade de Clermont-Ferrand, Universidade de Paris,
Universidade de Lille, Universidade de Lyon, Universidade de Montpellier,
Universidade de Louvain (Blgica), Universidade de Varsvia, Universidade de
Torun (Polnia), Universidade de Cracvia (Polnia), Universidade de Munique,
Universidade da Califrnia (Berkeley e Los Angeles), Universidade de Stanford,
Universidade Nacional Autnoma do Mxico, Universidade de Buenos Aires,
Universidade Nacional der Sur (Bahia Blanca, Argentina), Universidade de Crdoba,
Universidade San Marcos (Peru), Universidade Catlica do Chile, Universidade de
Santiago, Universidade Nacional da Colmbia, Universidade de Los Andes
(Colmbia), Universidade de Salamanca, Universidade de Barcelona, Universidade
de Madrid, Universidade de Sidney, Universidade de Melbourne, Universidade de
Auckland (Nova Zelndia), Universidade de Milo, Universidade de Florena,
Universidade de Npoles, Universidade de Lisboa, Universidade Nacional do
Uruguai, Academia de Cincias da Bulgria, Instituto Henri Poincar, Academia de
Cincias da Polnia e Instituto de Filosofia da Espanha.
O Prof. Newton da Costa um dos primeiros, em nvel internacional, a
desenvolver trabalhos em lgica paraconsistente 21 , e, graas relevncia e
repercusso de seus trabalhos, o Prof. Newton da Costa se tornou um dos
brasileiros mais citados e homenageados em nvel nacional e internacional. Entre as
homenagens podemos citar: Membro Honorrio do Instituto de Filosofia do Peru
(1975), Membro da Academia de Cincias do Estado de So Paulo (1978), Membro
Honorrio do Instituto de Investigaes Filosficas da Universidade de Lima (1980),
Membro da Academia de Cincias do Chile (1982), Fullbright Fellowship, Fulbright
Foundation USA (1982), Membro Titular do Institut International de Philosophie de
Paris (1989), Prmio Moinho Santista em Cincias Exatas (1993), Prmio Jabuti em
21

Para maiores detalhes sobre a Lgica Paraconsistente ver (COSTA, KRAUSE, BUENO, 2004);
(DOTTAVIANO, 1990) e (ARRUDA, 1989).

114

Cincias Exatas (1994), Medalha da Ordem do Pinheiro do Governo do Estado do

Paran (1996), Medalha do Mrito Cientfico Nicolau Coprnico da Universidade de
Torun, Polnia (1998), Ttulo de Cidado Emrito do Paran concedido pela
Assemblia Legislativa do Estado do Paran (1999), Festschrift in Honor of Newton
C. A. da Costa (Revista Synthese, v. 125, 2000), Doutor Honoris Causa da
Universidade Federal do Paran (2001), Membro Honorrio da Associao de
Filosofia e Histria da Cincia do Cone Sul (2004), Membro da Academia Brasileira
de Filosofia (2005) e Cidado Benemrito do Estado do Paran concedido pela
Assemblia Legislativa do Estado do Paran (2006).
Newton da Costa um dos fundadores da Sociedade Brasileira de Lgica
(SBL) e desde 1979 membro do Centro de Lgica, Epistemologia e Histria da
Cincia (CLE) da UNICAMP.
At 2004, o Prof. Newton da Costa havia orientado 13 dissertaes de
Mestrado e 26 teses de Doutorado. As dissertaes de mestrado foram as
seguintes: Lafayette de Moraes - Sobre a Lgica discursiva de Jaskowski (USP,
1970); Luiz Paulo de Alcntara - Sobre a consistncia relativa de dois sistemas de
teoria de conjuntos (Mestrado em Cincias ITA - So Jos dos Campos, 1971);
Antonio Mario Antunes Sette - Sobre as lgebras e Hiper-Reticulados Cw
(UNICAMP, 1971); Jair Minoro Abe - Fundamentos da Geometria Ordenada
(Mestrado em Matemtica - USP, 1983); Edcio Gonalves de Souza - Estrutura e
lgica de teorias fsicas (Mestrado em Filosofia - USP, 1992); Antonio Mariano
Nogueira Coelho - "Identificao Efetiva de Estruturas" (Mestrado em Filosofia USP, 1994); Roque da Costa Caieiro - Os Fundamentos da Economia de Troca
Arrow-Debreu (Mestrado em Filosofia - USP, 1995); Christiane Novo Barbato Relao entre Moral e Direito: Alguns Sistemas Denicos (PUC SP, 1996);
Marcelo Tsuji - "A Lgica Matemtica e Os Fundamentos da Microeconomia"
(Mestrado em Filosofia - USP, 1996); Analice Gebauer Volkov - "Teoria das
Categorias e Teoria dos Conjuntos" (Mestrado em Filosofia - USP, 1997); Fbio
Romeu de Carvalho - Lgica paraconsistente anotada no auxlio s tomadas de
deciso na administrao de uma Universidade (Mestrado em Filosofia - USP,
2000); Evandro Luiz Gomes - Sobre a Histria da Lgica no Brasil (Mestrado em
Filosofia - USP, 2002) e Christian Garcia - Fundamentos da Teoria de Categorias
(Mestrado em Filosofia - USP, 2002).

115

As teses de doutorado foram as seguintes: Ayda Ignez Arruda Consideraes sobre sistemas formais NFn (Universidade Federal do Paran,
1966); Lafayette de Moraes - Lgica discursiva e modelos de Kripke (PUC - SP,
1973); Luiz Paulo de Alcntara - Axiomas de infinito na teoria axiomtica dos
conjuntos (PUC - SP, 1977); Antonio Mario Antunes Sette - O Forcing de Fraisse
(Um estudo Comparativo) (USP, 1977); Amadeo Peter Hiller - Sistemas autoreferentes e o paradoxo de Russell (USP, 1981); Walter Alexandre Carnielli Sobre o Mtodo dos Tableaux em Lgica Polivalentes Finitrias (UNICAMP, 1982);
Itala Maria Loffredo D'Ottaviano - Sobre uma Teoria de Modelos Trivalentes
(UNICAMP, 1982); Mineko Yamashita - O smbolo epsilon de Hilbert em lgica
paraconsistente (PUC - SP, 1985); Leila Zardo Puga - Uma Lgica de Querer:
preliminares sobre um tema de Mally (PUC - SP, 1985); Celina Aparecida Almeida
Pereira Abar - Descrio e Paraconsistncia (PUC - SP, 1985); Clara Helena
Snchez Botero - Aspectos da eliminabilidade dos operadores nominais
(UNICAMP, 1988); Walzi Conceio Sampaio da Silva - Racionalidade e
Paraconsistncia: um Estudo de Caso (USP, 1990); Dcio Krause - NoReflexividade, Indistingibilidade e Agregados de Weyl (USP, 1990); Jair Minoro
Abe - Fundamentos da Lgica Anotada (USP, 1992); Adonai Schlup Sant'Anna A Teoria-K nos Campos de Gauge e Outras Questes Sobre Categorias e os
Fundamentos Fsica (USP, 1994); Mrcio Chaves-Tannus - "Um Modelo Medieval
de Aplicao da Lgica Moral: A tica de Pedro Abelardo" (USP, 1994); Edlcio
Gonalves de Souza - "O Problema de Destouches e as lgicas heterodoxas: ensaio
sobre o uso de lgicas no-clssicas nos fundamentos da fsica " (USP, 1995); Jean
Yves Bziau - "Sobre a Verdade Lgica" (USP, 1996); Srgio Ferreira Cortizo "Extenses Virtuais" (USP, 1998); Carlos Alberto Knudsen - lgebras de
Rosenbloon e fundamentos da matemtica (USP, 1999); Marcelo Tsuji Propriedades aleatrias de sistemas formais (USP, 1999); Irinia de Lourdes
Batista - A teoria universal de Fermi: da sua formulao inicial at a reformulao VA (USP, 1999); Grard mile Grimberg - A constituio da teoria das funes de
vrias variveis no sculo XVIII: o incio da anlise moderna (USP, 2001); Roque da
Costa Caieiro - Tpicos em Metodologia Formal - A noo de teoria em cincia
econmica (USP, 2001); Nelson Andion - Sobre uma Sistematizao do
Eletromagnetismo (USP, 2003) e Ricardo Miranda - A experincia de MichelsonMorley (USP, 2004).

116

Alm de ser um dos primeiros em nvel internacional a desenvolver

trabalhos em lgica paraconsistente, ele e seus alunos estudaram vrias aplicaes
de tal lgica a problemas de filosofia, computao e inteligncia artificial e medicina.
Com a colaborao de Rolando Basim Chuaqui e Irene Mikenberg, construiu a
Teoria da Quase-Verdade, que constitui uma generalizao da Teoria da Verdade
de Tarski e a tem aplicado aos fundamentos da cincia. Trabalhou tambm com
teoria dos modelos e a teoria de Galois generalizada. Em parceria com o Prof.
Francisco A. Dria, trabalha em teoria da complexidade.
Entre livros, artigos e captulos de livros, o Prof. Newton da Costa possui
mais de 150 publicaes e, entre as mais importantes, podemos destacar:
 Calculs de prdicats pour les systmes formels inconsistants. Comptes
Rendus de LAcademie des Sciences Serie I-Mathematique. Paris, v. 258, p.
27-29, 1964.
 Calculs de prdicats avec galit pour les systmes formels inconsistants.
Comptes Rendus de LAcademie des Sciences Serie I-Mathematique, Paris,
v. 258, p. 1111-1113, 1964.
 Oprations non monotones dans les treillis. Comptes Rendus de LAcademie
des Sciences Serie I-Mathematique, Paris, v. 263, p. 429-432, 1966.
 On a set theory suggested by Dedecker and Ehresmann.. Proc Japan
Academy Of Sciences, v. 45, p. 880-888, 1969.
 On the theory of inconsistent formal systems. Notre Dame Journal of Formal
Logic, v. 11, p. 497-510, 1974.
 Pragmatic Probability. Erkenntnis, n. 25, p. 141-162, 1986.
 Logiques Classiques et non classiques. Paris: Masson, 1997.
 Pragmatic truth and the logic of induction (with S. French), v. 40, p. 333-356,
1989.
 The Model-Theoretic Approach In The Philosophy Of Science. (with S.
French) PHILOSOPHY OF SCIENCE, v. 57, n. 2, p. 248-265, 1990.
 Towards

an

Acceptable

Theory

of

Acceptance:

Partial

Structures,

Inconsistency and Correspondence (with S. French), in S. French and H.

Kamminga (eds.), Correspondence, Invariance and Heuristics, Dordrecht,
Kluver Academic Publishers, 1993, 137-158.

117

 Partial Truth: A unitary approach to models and scientific reasoning (with S.

French), Oxford Un. Press, 2003.
 Complementarity and paraconsistency. (with D. Krause) In: S. Rahman; J.
Symons; D. M. Gabbay; J. P. van Bendegen. (Org.). Logic, Epistemology, and
the Unity of Science. 1 ed. Dordrecht: Kluwer Academic Publishers, 2004, v. 1,
p. 557-568.
 Outline of a Paraconsistent Category Theory. (with O. Bueno and A.G.Volkov).
In: Weingartner, P. (Org.). Alternative Logics. Do Sciences Need Them?.
Berlin: Heidelberg Verlag, 2004, v.X, p. 95-114.
 The Logic of PragmaticTruth. (with O. Bueno and S. French) Journal of
Philosophical Logic, v. 27, p. 603-620, 1998.
 The Paraconsistent Logics Pt. (with V. S. Subrahmanian and C. Vago)
Zeitschrift fur math. Logik und Grundlagen der Mathematik, Alemanha, v. 37,
p. 131-148, 1991.
 Pragmatic Truth and Approximation to Truth. (with I. Mikenberg and R.
Chuaqui) Journal of Symbolic Logic, v. 51, n. 51, p. 201-221, 1986.
 Consequences of an exotic definition for P=NP (with F. A. Doria) Applied
Mathematics and Computation, v. 145, n. 2-3, p. 655-665, 2003.

Indubitavelmente, trata-se do maior nome da lgica brasileira e um dos

grandes nomes da lgica mundial. reconhecido internacionalmente como um dos
criadores de uma escola de lgica no Brasil.
Neste captulo, fizemos uma pequena biografia dos chamados pioneiros da
lgica matemtica no Brasil. Se considerarmos apenas aqueles que mais
contriburam na rea de lgica, interessante observar quatro perfis bastante
diferentes e relevantes: o Prof. Farah como o mentor e aglutinador do grupo,
acolheu os outros trs na sua ctedra e permitiu o fortalecimento deste campo de
pesquisa no pas; o Prof. Leonidas, que embora tenha focado mais a rea de
filosofia, foi muito importante na divulgao da lgica e da filosofia da cincia no pas
com as tradues de importantes obras e a publicao de livros para iniciantes nesta
rea; o Prof. Mario, que sempre incentivou e apoiou todos os trabalhos na rea de
lgica, inclusive o do prof. Newton, antes de partir para a rea de Educao
Matemtica e, finalmente, o Prof. Newton, o criador de uma escola considerada

118

importante internacionalmente, com pesquisas num novo campo da lgica; atravs

de seus trabalhos e de trabalhos de orientandos abriu novos campos de aplicaes
da lgica a vrios ramos das cincias.

119

CONSIDERAES FINAIS

A histria da lgica matemtica no Brasil interessante. Se analisarmos as

publicaes que antecederam a visita de Quine ao Brasil em 1942, praticamente
teremos apenas o livro de Vicente Ferreira da Silva, editado em 1940, como uma
publicao digna de meno. No podemos deixar de lembrar que Amoroso Costa j
havia tratado de alguns pontos da nova lgica, mas talvez o fato de seu livro ter sido
publicado aps seu falecimento tenha comprometido uma melhor divulgao e
difuso de suas idias.
Embora o trabalho de Vicente Ferreira da Silva no seja essencialmente
original, deixa transparecer a influncia de Bertrand Russel e do Crculo de Viena e
importante ressaltar que o autor no sofreu nenhuma influncia por parte de
especialistas brasileiros, at porque eles no existiam. Sua contribuio s no foi
maior para os estudos na rea de lgica porque se voltou a questes metafsicas e
acabou deixando de lado os estudos em lgica.
O livro de W.V.Quine representa a obra mais relevante at ento escrita em
portugus, na qual o autor apresenta um tratamento mais aprofundado da lgica
matemtica. Seu contedo pode ser comparado ao livro de Tarski, o que corrobora
sua relevncia. E, embora Crippa (1978b) afirme que esta obra exerceu pouca
influncia nos estudos de lgica no Brasil, temos o depoimento do Prof. Newton da
Costa, com certeza o maior expoente da lgica brasileira no exterior, que afirma ter
sido o livro de Quine a primeira obra sobre lgica que leu.
No Brasil, os filsofos apreciavam mais as questes humanistas e
apresentavam certa averso ao simbolismo e as tcnicas matemticas. Em
contrapartida, os matemticos consideravam a lgica como algo filosfico e,
portanto, no era dada a devida ateno a estudos nesta rea.
Apesar dessa situao antagnica, o final dos anos 50 marca o incio das
pesquisas na rea de lgica matemtica atravs de jovens pesquisadores.
Nesse trabalho, abordamos apenas os pioneiros da pesquisa em lgica
matemtica no Brasil. Uma possvel continuao, seria abordar os estudiosos que
deram continuidade s pesquisas nesta rea. Entre eles, temos, s para citar
alguns, Ayda Arruda, Antonio Mrio Sette, Jacob Zimbarg Sobrinho, Lafayette de
Moraes, Elias Humberto Alves, Eurides Alves de Oliveira, Dris Aragon.

120

Uma outra possibilidade verificar o que acontece com a disciplina lgica

na formao do matemtico quando o curso de matemtica passa das Faculdades
de Filosofia para os Institutos ou Departamentos de matemtica. Ser que os
estudantes de matemtica ainda tem a disciplina de lgica nos currculos?
Procurei apresentar uma das maneiras possveis de se contar uma histria
da lgica no Brasil. Como disse no incio, desse trabalho, o resultado final depende
das escolhas feitas aps o levantamento bibliogrfico e documental, acredito ter feito
uma boa escolha. A realizao desse trabalho me deu a oportunidade de aprender
muitas coisas sobre a Histria da Matemtica no Brasil e ter a oportunidade de
conversar e trocar informaes com pessoas que fazem parte desta histria.

121

REFERNCIAS

AMOROSO COSTA, M. As ideas fundamentaes da mathematica. Rio de Janeiro:

Papelaria e Litho-Typographia Pimenta de Meilo, 1929.
AMOROSO COSTA, M. As idias fundamentais da matemtica e outros ensaios.
So Paulo: Convvio, 1981a.
AMOROSO COSTA, M. Conferncia sobre Otto de Alencar (Realizada na Escola
Politcnica a 29 Abril de 1918). In: AMOROSO COSTA, M. As idias fundamentais
da matemtica e outros ensaios. 3. ed. So Paulo: Convvio; EDUSP, 1981b. p.
67-86.
ARQUIVO

DA

PREFEITURA

DE

SO

PAULO.

Disponvel

em

<http://educacao.prefeitura.sp.gov.br/Arquivos/downloadAction.do?&actionType=dow
nload&idArquivo=2689> . Acesso em: 03 fev. 2007
ARRUDA, A. I. Aspects of the Historical Development of Paraconsistent Logic. In:
PRIEST, G.; ROUTLEY, R.; NORMAN, J. Paraconsistent Logic: Essays on the
Inconsistent. Mnchen: Philosophia Verlag , 1989. p. 99-130.
BELLESA, M. Instituto de Estudos Avanados. Estudos Avanados, So Paulo, v.
8,

n.

22,

1994.

Disponvel

em:

<http://www.scielo.br/scielo.php?script=sci_arttext&pid=S01030141994000300089&lng=en&nrm=iso>. Acesso em: 26 dez. 2006.

BICUDO, I. Mrio Tourasse Teixeira: um educador de corpo inteiro. Boletim de
Educao Matemtica BOLEMA, Rio Claro, ano 13, n. 14, p. 3 -17, 2000.
BIOGRAFIA

de

Newton

Carneiro

Affonso

da

Costa.

Disponvel

em:

<http://www.cle.unicamp.br/arquivoshistoricos/newtondacosta_biografia.html>.
Acesso em: 27 fev. 2006.
BLANCH, R.; DUBUCS, J. Histria da lgica. Trad. de Antonio Pinto Ribeiro e
Pedro Eli Duarte. Lisboa: Edies 70, 1996.

122

BOCHNSKI, I. M. Historia de la lgica formal. Trad. de Milln Bravo Lozano.

Madrid: Editorial Gredos, 1966.
BOCHNSKI, I. M. A history of formal logic. 2nd ed. Translated and edited by Ivo
Thomas. New York: Chelsea Publishing Company, 1970.
CAPES

Histrico.

Disponvel

em:

<http://www.capes.gov.br/capes/portal/conteudo/10/historico.htm>. Acesso em: 03

set. 2006.
CARVALHO, J. M. Vicente Ferreira da Silva e o sentido da arte. Existncia e Arte Revista Eletrnica do Grupo PET - Cincias Humanas, Esttica e Artes, So
Joo

Del-Rei,

ano

1,

n.

1,

p.

110,

jan./dez.

2005..

Disponvel

em:

<http://www.ufsj.edu.br/Pagina/existenciaearte/Arquivos/VICENTE%20FERREIRA%
20DA%20SILVA%20E%20O%20SENTIDO%20DA%20ARTE.pdf>. Acesso em: 02
fev. 2007.
COSTA, N. C. A. Espaos topolgicos e funes contnuas. 1959. 76 f. Tese
(Livre Docncia) - Faculdade de Filosofia, Cincias e Letras, Universidade Federal
do Paran, Curitiba, 1959.
COSTA, N. C. A. Sistemas formais inconsistentes. 1963. 67 f. Tese (Ctedra) Faculdade de Filosofia, Cincias e Letras, Universidade Federal do Paran, Curitiba,
1963.
COSTA, N. C. A. Vicente Ferreira da Silva e a lgica. Revista Brasileira de
Filosofia, So Paulo, v. 14, n. 56, p. 499-508, out.-dez. 1964.
COSTA, N. C. A. On theory of inconsistent formal systems. Notre Dame Journal of
Formal Logic, Notre Dame, v. 15, n. 4, p. 497 510, Oct. 1974.
COSTA, N. C. A. A obra de Vicente Ferreira da Silva em lgica. Revista Brasileira
de Filosofia, So Paulo, v. 41, n. 174, p. 165-169, abr.-jun. 1994.
COSTA, N. C. A. Newton Carneiro Affonso da Costa: entrevista. [12 out. 2001].
Entrevistadora: Eliane Morelli Abrao. Campinas: UNICAMP/Arquivos Histricos do
CLE, 2001. Entrevista realizada em guas de Lindia, com a participao de Andra

123

Loparic,

Elias

Humberto

Alves

Luiz

Paulo

Alcantara.

Disponvel

em:

<http://www.cle.unicamp.br/arquivoshistoricos/enewton2.pdf>. Acesso em: 12 ago.

2006.
COSTA, N. C. A.; KRAUSE, D.; BUENO, O. Paraconsistent Logics and
Paraconsistency: Technical and philosophical developments.

Pr-publicao

do CLE-Centro de Lgica, Epistemologia e Histria da Cincia da Unicamp.

Disponvel em: <http://www.cle.unicamp.br/e-prints/vol_4,n_3,2004.html>. Acesso
em: 24 maio 2004.
COSTA, N. C. A. Informao [mensagem pessoal]. Mensagem recebida por
<crmoraes@claretianas.com.br> em 24 dez. 2006.
COSTA, N. C. A. Notcias [mensagem pessoal]. Mensagem recebida por
<crmoraes@claretianas.com.br> em 29 abr. 2007.
CRIPPA, A. et al. As idias filosficas no Brasil - sculos XVIII e XIX. So Paulo:
Convvio, 1978a.
CRIPPA, A. et al. As idias filosficas no Brasil - sculo XX parte II. So Paulo:
Convvio, 1978b.
CRUZ COSTA, J. Contribuio histria das idias no Brasil. 2. ed. Rio de
Janeiro: Civilizao Brasileira, 1967. 456 p.
DAMBROSIO, U. Histria da matemtica no Brasil uma viso panormica at 1950.
Saber y Tiempo, Buenos Aires, v. 2, n. 8, p. 7-37, jul.-dec. 1999.
DAMBROSIO, U. Joaquim Gomes de Souza, o Souzinha: cincia e poltica no Brasil
Imperial. In: ENCONTRO DE FILOSOFIA E HISTRIA DA CINCIA NO CONE SUL,
3., 2002, Campinas. Anais... Campinas: AFHIC, 2002. 1 CD ROM.
DE BONI, L. A. (Org.). A presena italiana no Brasil. Porto Alegre: EST, 1987. 536
p.
DIAS, L. C. Depoimento de Lindolfo de Carvalho Dias na mesa redonda Um exame
histrico das vertentes da matemtica no Brasil: ensino, pesquisa e suporte ao seu

124

desenvolvimento. In: SEMINRIO NACIONAL DE HISTRIA DA MATEMTICA, 6.,

2005, Braslia. Anais... Braslia: UnB, 2005. p. 59-75.
DOTTAVIANO, I. M. L.; FEITOSA, H. de A. Histria da lgica e o surgimento das
lgicas no-clssicas. Rio Claro: UNESP, 2003. 66 p. (Histria da Matemtica para
Professores).
ENCICLOPDIA Mirador Internacional. So Paulo: Encyclopedia Britannica do Brasil
Publicaes, 1975. p. 7311-7312.
FARAH, E. Algumas proposies equivalentes ao axioma da escolha. 1954. 65
f. Tese (Ctedra) - Faculdade de Filosofia, Letras e Cincias Humanas, Universidade
de So Paulo, So Paulo, 1954.
FARAH, E. Algumas proposies equivalentes ao axioma da escolha. Curitiba:
Editora da UFPR, 1994. 61 p. (Clssicos, 4).
FREIRE, F. O positivismo e a Repblica. Revista Brasileira de Filosofia, So
Paulo, v. 7, n. 4, p. 491512, 1957.
GALLAS, F. B. Leibniz: coletneas de textos originais e esboo cronolgico da obra.
Disponvel em: <http://www.leibnizbrasil.pro.br/obra.htm>. Acesso em: 21 out. 2006.
GOMES, E. L. Sobre a histria da lgica no Brasil: da lgica das faculdades
lgica positiva (1808-1909). 2002. 355 f. Dissertao (Mestrado em Filosofia, Letras
e Cincias Humanas) - Faculdade de Filosofia, Letras e Cincias Humanas,
Universidade de So Paulo, So Paulo, 2002.
GOMES, E. L. O desenvolvimento da lgica no Brasil: da herana ibero-portuguesa
aos primrdios do sculo XIX. Revista Eletrnica Informao e Cognio, Marlia,
v.

4,

n.

1,

p.

10-33,

2002-2005.

Disponvel

em:

<http://www.portalppgci.marilia.unesp.br/reic/include/getdoc.php?id=93&article=23&
mode=pdf>. Acesso em: 07 out. 2006.
HEGENBERG, L. E como vai a lgica no Brasil? Convivium, So Paulo, n. 4, p.
334-341, 1986.

125

HEGENBERG, L. Leonidas Hegenberg: entrevista. [04 nov. 1987]. Entrevistador:

Hiro Barros Kumazaka. Campinas: UNICAMP/Arquivos Histricos do CLE, 1987.
Disponvel

em:

<http://www.cle.unicamp.br/arquivoshistoricos/eleonidas.pdf>.

Acesso em: 12 ago. 2006.

HEGENBERG, L. Saber de e saber que: alicerces da racionalidade. Petrpolis:
Vozes, 2002. 271 p.
HEGENBERG, L. LHMYWAY 3 CPML para Carlos [mensagem pessoal].
Mensagem recebida por <crmoraes@claretianas.com.br> em 07 jul. 2005.
HEGENBERG, L. Doutorado [mensagem pessoal]. Mensagem recebida por
<crmoraes@claretianas.com.br> em 06 nov. 2006.
HEGENBERG, L. Noticias [mensagem pessoal]. Mensagem recebida por
<crmoraes@claretianas.com.br> em 30 abr. 2007.
HEGENBERG, L. H. B. Aspectos do problema da mudana de linguagens
formalizadas. 1966. 95 f. Tese (Doutorado em Filosofia) Faculdade de Filosofia,
Letras e Cincias Humanas, Universidade de So Paulo, So Paulo, 1966.
KNEALE, W.; KNEALE, M. O desenvolvimento da lgica. Trad. de M.S. Loureno.
3. ed. Lisboa: Fundao Calouste Gulbenkian, 1968. 773 p.
KOLMOROGOV, A. N.; YUSHKEVICH, A. P. Mathematics of the 19th century.
Basel: Birkhuser Verlag, 1992.
KRAUSE,

D.

lgica

paraconsistente.

Disponvel

em

<www.cfh.ufsc.br/~dkrause/LogicaI/ParaconsistenteSA.htm>. Acesso em: 26 dez.

2006
LALANDE, Andr. Vocabulrio tcnico e crtico da filosofia. Trad. de Ftima S
Correia, Maria Emlia V. Aguiar, Jos Eduardo Torres e Maria Gorete de Souza. 3.
ed. So Paulo: Martins Fontes, 1999. 1336 p.
MARITAIN, J.Elementos de filosofia II a ordem dos conceitos lgica menor.
Trad. Ilza das Neves. 7 ed. Rio de Janeiro: Agir , 1972. 317 p.

126

MAY, K. O. Bibliography and Research Manual of the History of Mathematics.

Traduo de Maria Terezinha Jesus Gaspar. Toronto: Ed. University of Toronto
Press, 1973.
MEDEIROS, L. A. J. O trajeto da Matemtica em algumas instituies do Rio de
Janeiro.

Disponvel

em:

<http://www.sbmac.org.br/bol/bol-

2/artigos/ladauto/hist.html>. Acesso em: 25 set. 2006.

MILLER, C. P. O Doutorado em Matemtica no Brasil: um estudo histrico
documentado (1842 -1937). 2003. 473 f. Dissertao (Mestrado em Ensino e
Aprendizagem da Matemtica e seus Fundamentos Filosfico-Cientficos) Instituto
de Geocincias e Cincias Exatas, Universidade Estadual Paulista, Rio Claro, 2003.
NOBRE, S. R. A contribuio de Imigrantes Alemes para o estabelecimento do
Programa Escolar Nacional de Matemtica no Brasil. Um estudo sobre a Deutsche
Schule

de

So

MATEMTICA,

Paulo.
1.,

In:

COLQUIO

ENCONTRO

BRASILEIRO

LUSO-BRASILEIRO

DE
DE

HISTRIA

DA

HISTORIA

DA

MATEMTICA, 4., 2004, Natal. Anais... Natal: Editora da UFRN, 2005. p. 187-198.
NAGEL, E.; NEWMAN, J. Prova de Gdel. Trad. de Gita K. Guinsburg. So Paulo:
Perpectiva; Ed. da Universidade de So Paulo, 1973. 103 p.
PAIM, A. O neopositivismo no Brasil. Perodo de formao da corrente. In:
AMOROSO COSTA, M. As idias fundamentais da matemtica e outros ensaios.
3. ed. So Paulo: Convvio; EDUSP, 1981. p. 41-63.
PECKHAUS,

V.

Dignagas

logic

of

invention.

Disponvel

em:

<http://www.fakkw.upb.de/institute/philosophie/Personal/Peckhaus/Texte_zum_Down
load/dignaga.pdf>. Acesso em: 21 nov. 2005.
POPPER, K. A lgica da pesquisa cientfica. Trad. de Leonidas Hegenberg e
Octanny Silveira da Mota. So Paulo: Cultrix; Ed. Universidade de So Paulo, 1975.
567 p.
QUINE, W. O. O sentido da Nova Lgica. So Paulo: Martins, 1944. 252 p.

127

QUINE, W. O. Os Estados Unidos e o ressurgimento da lgica. Scientiae Studia,

So

Paulo,

v.

2,

n.

3,

p.

381-392,

2004.

Disponvel

em:

<http://www.scientiaestudia.org.br/revista/PDF/02_03_05_Quine.pdf>. Acesso em:

25 ago. 2006.
RUSSELL, B. Educao e vida perfeita. So Paulo, Nacional, 1945. p. 263
RUSSELL, B. Histria do pensamento ocidental: a aventura dos pr-socrticos a
Wittgenstein. Trad. de Laura Alves e Aurlio Rebello. 3. ed. Rio de Janeiro: Ediouro,
2001. 463 p.
SILVA, A. R. O Crculo de Viena. Disponvel em: <http://www.discursus.cjb.net/>.
Acesso em: 03 fev. 2007.
SILVA, C. M. S. A Matemtica Positivista e sua difuso no Brasil. Vitria: Editora
da Universidade Federal do Esprito Santo, 1999.
SILVA, C. M. S. Benjamin Constant e o ensino da Matemtica no Brasil. Revista
Brasileira de Histria da Matemtica: an international journal on the History of
Mathematics, Rio Claro, v. 1, n. 1, p. 86-98, 2001a.
SILVA, C. M. S. Matemtica brasileira: histria e relaes polticas. In: SEMINRIO
NACIONAL DE HISTORIA DA MATEMTICA, 4., 2001, Natal. Anais... Rio Claro:
SBHMat, 2001b. p. 14-41.
SILVA, C. M. S. The national faculty of philosophy and the training of mathematics
teachers and researchers. Cadernos de Pesquisa, So Paulo, n. 117, 2002.
Disponvel

em:

<http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-

15742002000300006&lng=en&nrm=iso>. Acesso em: 08 set. 2006.

SILVA, C. M. S. No paraso dos smbolos: o surgimento da lgica e teoria dos
conjuntos

no

Brasil.

Disponvel

em:

<http://www.ufes.br/circe/administrador/artigos/arquivos/artigo60.htm>. Acesso em:

24 set. 2004.

128

SILVA, C. P. Sobre a histria da Matemtica no Brasil aps o perodo colonial.

Revista da Sociedade Brasileira de Histria da Cincia, So Paulo, n. 16, p. 2140, 1996.
SILVA, C. P. A Matemtica no Brasil histria de seu desenvolvimento. 3. ed.
So Paulo: Edgard Blcher, 2003. 163 p.
SILVA, M. F. de A. Livros, sempre: resenhas de Lenidas Hegenberg. So Joo
del-Rei: Editora da UFSJ, 2003. 344 p.
SILVA, V. F. Elementos de lgica matemtica. So Paulo: Editora Cruzeiro do Sul,
1940.
SOUTO, R. M. A. Mrio Tourasse Teixeira o homem, o educador, o
matemtico. 2006. 151 f. Tese (Doutorado em Ensino e Aprendizagem da
Matemtica e seus Fundamentos Filosfico-Cientficos) Instituto de Geocincias e
Cincias Exatas, Universidade Estadual Paulista, Rio Claro, 2006.
STYAZHKIN, N. I. History of mathematical logic from Leibniz to Peano.
Cambridge: The M.I.T. Press, 1969. 333 p.
TBOAS, P. Z. Luigi Fantappi: influncias na Matemtica Brasileira. Um Estudo
de Histria como contribuio para a Educao Matemtica. 2005. 207 f. Tese
(Doutorado em Ensino e Aprendizagem da Matemtica e seus Fundamentos
Filosfico-Cientficos) Instituto de Geocincias e Cincias Exatas, Universidade
Estadual Paulista, Rio Claro, 2005.
TARSKi, A. Introduction to logic and to the methodology of deductive sciences.
Translated by Olaf Helmer. New York: Dover Publications, 1995. 239 p.
TEIXEIRA, M. T. M-lgebras. 1965. 93 f. Tese (Doutorado em Cincias)
Faculdade de Filosofia, Cincias e Letras, Universidade de So Paulo, So Paulo,
1965.
UNIVERSIDADE DE SO PAULO. Faculdade de Filosofia, Letras e Cincias
Humanas.

Departamento de Filosofia. Teses de Doutorado. Disponvel em:

http://www.fflch.usp.br/df/posgraduacao/doutorado.html. Acesso em: 02 nov. 2006.

129

ZIMBARG SOBRINHO, J. Memorial. So Paulo: IME/ USP, 1982. 30 p.

130

BIBLIOGRAFIA CONSULTADA

ACZEL, A. D. O mistrio do Alef: a matemtica, a cabala e a procura do infinito.

So Paulo: Globo, 2003. 218 p.
BARONI, R. L. S.; NOBRE, S. A pesquisa em Histria da Matemtica e suas
relaes com a Educao Matemtica. In: BICUDO, M. A. V. (Org.). Pesquisa em
Educao Matemtica: concepes & perspectivas. So Paulo: Editora UNESP,
1998. p. 129-136.
CAJORI, F. Uma histria da Matemtica. Trad. de Lzaro Coutinho. Rio de Janeiro:
Editora Cincia Moderna, 2007. 654 p.
COSTA, N. C. A. lgegras de Curry. 1966. 52 f. Tese (Ctedra) Faculdade de
Filosofia, Cincias e Letras, Universidade de So Paulo, So Paulo, 1966.
COULANGES, F. A Cidade Antiga. Trad. de Jean Melville. So Paulo: Martin Claret,
2007. 421 p.
CRUZ, A. A lgica na construo dos argumentos. So Carlos, SP: SBMAC,
2004.

50

p.

(Notas

de

Matemtica

Aplicada,

14).

Disponvel

em:

<http://www.sbmac.org.br/boletim/pdf_2004/livro_14_2004.pdf>. Acesso em: 5 dez.

2004.
DOTTAVIANO, I. M. L. On the Development of Paraconsistent Logic and Costas
work. The Journal of Non-Classical Logics, Campinas, v. 7, n. 1/2, p. 89-192, maynov. 1990.
DUBY, G. A histria continua. Trad. de Clvis Marques. Rio de Janeiro: Jorge
Zahar, 1993. 162 p.
EVES, H. Introduo histria da matemtica. 2. ed. Trad. de Hygino H.
Domingues. Campinas: Editora da UNICAMP, 1997. (Repertrios).

131

FERRi, M.G., MOTOYAMA, S. et al. Histria das cincias no Brasil. vol. 1. So

Paulo: EPU, 1979.
KATZ, V. A history of mathematics an introduction. New York: HarperCollins
College Publishers, 1993.
LIMA, E. B. Dos infinitsimos aos limites: a contribuio de Omar Catunda para a
modernizao da anlise matemtica no Brasil. 2006. 145 f. Dissertao (Mestrado
em Ensino, Filosofia e Histria das Cincias) Universidade Federal da Bahia;
Universidade Estadual de Feira de Santana, Salvador, 2006. Disponvel em:
<http://www.fis.ufba.br/dfg/pice/dissertacoes/eliene2003.pdf#search=%22nachbin%
20abdelhay%22>. Acesso em: 08 set. 2006.
MACIEL JNIOR, A. Pr-Socrticos a inveno da razo. So Paulo: Odysseus
Editora, 2003. 158 p. (Imortais da Cincia).
MAURO, S. A histria da Faculdade de Filosofia, Cincias e Letras de Rio Claro
e suas contribuies para o movimento da Educao Matemtica. 1999. 159 f.
Dissertao (Mestrado em Ensino e Aprendizagem da Matemtica e seus
Fundamentos Filosfico-Cientficos) - Instituto de Geocincias e Cincias Exatas,
Universidade Estadual Paulista, Rio Claro, 1999.
MORTARI, C. A. Introduo lgica. So Paulo: Editora UNESP, 2001. 393 p.
OCONNOR, J. J.; ROBERTSON, E. F. The MacTutor History of Mathematics
arquive. Disponvel em: <http://turnbull.mcs.st-and.ac.uk/history/>. Acesso em: 10
jul. 2005.
PEA, L. Algunos aspectos del desarrollo de la lgica en el Brasil. Boletim da
Sociedade Paranaense de Matemtica, Curitiba, v. 15, n. 1/2, p. 9-23, 1995.
RIZZATO,

F.

B.;

RINALDI,

B.

L.

George

Boole.

Disponvel

em:

<http://www.ime.usp.br/~leo/imatica/historia/boole.html>. Acesso em: 11 jul. 2006.

SANTOS, M. C. L. dos (Org.). Maria Antnia: uma rua na contramo. So Paulo:
Nobel, 1988. 279 p.

132

SILVA, C. P. Sobre o incio e consolidao da pesquisa matemtica no Brasil parte

I. Revista Brasileira de Histria da Matemtica, Rio Claro, v. 6, n. 11, p. 67-96,
2006.
SKIDMORE, T. E. Brasil: de Getlio Vargas a Castelo Branco (1930-1964). Trad.
coordenada por Ismnia Tunes Dantas. 12. ed. Rio de Janeiro: Paz e Terra, 2000.
512 p.
SOUTO, R. M. A. O Prof. Mrio Tourasse Teixeira e a Educao Matemtica em
Rio Claro. IX EBRAPEM. Faculdade de Educao, Universidade de So Paulo,
2005.

Disponvel

em:

<http://paje.fe.usp.br/estrutura/eventos/ebrapem/completos/135.doc>. Acesso em: 02

nov. 2006.
TARSKI, A. A concepo semntica da verdade. Trad. de Celso Braida et al. So
Paulo: Editora UNESP, 2007. 251 p.
TUFFANI, Maurcio. A lgica da liberdade. Folha de So Paulo, So Paulo, 30 nov.
1997. Caderno Mais, p. 4-7.

133

FONTES UTILIZADAS

Fontes Orais:
1) Depoimento de Eurides Alves de Oliveira.
2) Conferncia gravada em fita de vdeo: FFCL USP um marco na Histria da
Matemtica no Brasil Mesa composta por Benedito Castrucci, Edison Farah e
Cndido Lima da Silva, intermediada por Ubiratan DAmbrosio, junho de 1991.

134
Anexo
Para Professores e Pesquisadores
De Lenidas Hegenberg
Correo - solicita
Em Novembro, 2004.

Prezado Professor

Chegando perto dos 80 anos, julguei haver-se tornado

inteiramente dispensvel a preocupao com certas informaes
que "andam por ai", nascidas de ignotas fontes e que, sem razo
aparente, perduram e,indevidamente, se propagam.
Enganei-me. Em Outubro de 2004, recebi de um colega,
longa lista de pessoas que escreveram (e escrevem) a respeito de
Filosofia da Cincia nesta boa terra cabralina. A lista,
aparentemente, foi elaborada por pessoa ou pessoas ligadas ao
CNPq e, talvez, USP. Trabalho til, sem dvida, cujo Autor ou
Autores devem ser felicitados.
Ali, porm, h um engano que pede correo. Referese a meu doutoramento. Solicito sua ateno para a falha.
Naturalmente, conto com sua cooperao para afast-la. Pela
ateno, aqui ficam, desde j, meus agradecimentos.
***
Na lista, figuro como "orientando" de J. A.
Giannotti. Em verdade, enquanto aluno de Filosofia da USP (195558) e durante a fase final de elaborao da tese de
doutoramento, no me lembro de ter visto o Sr. Giannotti, nem de
com ele haver alguma vez trocado palavra.
Inteiramente
anterior) e, em seguida,
me interessei pelo que o
tambm no se preocupou
afastados - imagino eu -

dedicado Matemtica (de uma graduao

Lgica e Filosofia da Cincia, no
Sr. Giannotti escrevia. Presumo que ele
com os temas que me eram caros, muito
das reas em que atuou (e atua).

***
Minha tese germinou na Universidade da Califrnia,
no incio de 1961, enquanto acompanhava, como aluno regular
(bolsista da Pan American Union), as aulas do Programa de Lgica
e Metodologia da Cincia, ento criado por Alfred Tarski -

135
coligando os Departamentos de Matemtica e de Filosofia de
Berkeley. A idia da tese nasceu em curso de Lgica ministrado
por Robert L. Vaught. Ganhou contornos um pouco mais claros
depois de conversaes mantidas com dois colegas (W. B. Pitt e a
senhora J. Sthrom). O trabalho estruturou-se depois que
completei outros cursos (e.g., de B. Mates e W. Craig) do
Programa de Berkeley.
Precisa idia do que a tese viria a ser, aps
concluda, pode-se ter examinando o resumo que elaborei para o
livro Lgicos da Amrica Latina, antologia organizada por
Francisco Mir-Quesada, publicada em 1988 (Lima: Universidade do
Peru).
Retornando ao Brasil, inscrevi-me para doutoramento
na USP. Esperava concluir a tese em 1964, ou pouco mais, para
defend-la em seguida, no Departamento de Filosofia.
Duas dificuldades inesperadas se apresentaram. Veio
o primeiro de Abril de 1964, com todos os conhecidos transtornos
que trouxe para a vida universitria. E veio uma curiosa
"indefinio" de meu trabalho. As idias de Tarski ainda no
repercutiam
no
Pas.
Conseqentemente,
os
estudiosos
de
Matemtica, num muxoxo, encaravam-me como "filsofo" (dando ao
termo ligeira conotao pejorativa). Cultores da Filosofia, por
seu turno, olhavam-me com suspeio, julgando-me "um estranho
matemtico".
Por defender tese vinculada Lgica Simblica
(Mudana de linguagens formalizadas), no fui acolhido - como
seria habitual - como orientando do Prof. Joo Cruz Costa (do
Departamento de Filosofia). Fui encaminhado ao Prof. Edison
Farah (do Departamento de Matemtica), considerado, pois, meu
supervisor, ou orientador.
Motivos burocrticos, quero crer, fizeram com que ao Prof. Farah
se associasse o Prof. Gerard Lebrun, do Departamento de
Filosofia. Com aquele, fiz minuciosa reviso da Teoria dos
Conjuntos; com este, longas anlises de temas filosficos.
Todas essas informaes esto no intrito de minha tese - que
teve aproximadamente uma centena de cpias entregues, em 1968, a
vrias bibliotecas universitrias do Pas e a muitos professores
que, na oportunidade, comeavam a interessar-se pelos assuntos
da Lgica Matemtica.
Em 1968, afinal, com a participao do Prof. Andrs Raggio, da
Argentina, especialista em Lgica (em visita ao Pas, na
ocasio), se formou a Banca Examinadora encarregada de avaliar
minha tese. Dela participaram, ao lado dos Profs. A. Raggio e E.
Farah, os Profs. N. C. A. da Costa (que havia obtido seu
doutoramento em Matemtica na Federal do Paran) e J. A.
Giannotti (que havia acabado de conquistar a livre-docncia,
substituindo o Prof. Cruz Costa no Dep. de Filosofia da USP).
Imaginei que a Banca fosse presidida pelo meu orientador, Prof.
Farah. Questes burocrticas, porm, julgo eu, no estando

136
presente o Prof. G. Lebrun, devem ter determinado que a Mesa
fosse presidida pelo Prof. Giannotti. Em minhas recordaes,
essa foi a nica vez que Giannotti e eu dissemos algo um ao
outro.
***
Confesso que os pormenores da defesa se apagaram de minha
memria. Um dos poucos itens de que me lembro a presena
amiga, no auditrio (em que havia quatro ou cinco pessoas) do
prof. Mario Tourasse Teixeira - que havia tido sua tese de
Lgica recentemente aprovada (no Departamento de Matemtica da
prpria USP).
Aparentemente, o fato de Giannotti haver presidido a sesso
levou o organizador da lista de cultores de Filosofia da Cincia
a coloc-lo na condio de orientador - pois o costume dominante
na poca era colocar orientadores na presidncia das bancas
examinadoras.
***
No quero alongar-me. Resta dizer que esta mensagem
(com outras vestes) foi encaminhada, h dias, ao Prof. Marcos B.
de Oliveira, pesquisador do CNPq - a quem eu atribua a
elaborao da referida lista de estudiosos de Filosofia da
Cincia no Brasil. O Prof. Marcos respondeu-me, gentilmente,
informando que a lista no foi por ele organizada. Desconhecendo
o Autor, tomo a liberdade de enviar minha mensagem a vrias
pessoas, na esperana de que, esclarecidos os pormenores,
colaborem para afastar a falha apontada.
Apresentando

agradecimentos

pela

receber,

Lenidas Hegenberg
se pe ao dispor, enviando cordiais saudaes.
<lh@phonet.com.br>

ateno

que