Alguns personagens importantes na histria da Lgica Matemtica

Tendo em vista as nossas finalidades, vamos pensar na Lgica como o estudo do raciocnio correto,
ou seja o estudo dos processos usados para se obter concluses a partir de, necessariamente, fatos ou
suposies. Na nossa disciplina, faremos uso da Lgica para demonstrar teoremas e para inferir (deduzir)
resultados corretos que possam ser aplicados na teoria que iremos desenvolver.
Na nossa brevssima histria da Lgica, falamos de alguns personagens importantes, de algumas de
suas contribuies no desenvolvimento da Lgica Matemtica e observamos que alguns desses personagens
contriburam, tambm, para o desenvolvimento de vrias reas da Matemtica. Sendo assim, sugerimos que, a
partir do roteiro abaixo, voc pesquise mais sobre esses personagens. Conhecer um pouco de suas vidas e de
suas contribuies ajuda-nos entender melhor a magia e o encantamento da Matemtica !

Perodo Clssico (sc. IV a.C. sc. XIX)

( 390 a.C. a 1840 d.C.)

O estudo das formas gerais do pensamento, sem preocupao com seu contedo, chama-se Lgica e
as razes da Lgica encontram-se na antiga Grcia. Aristteles considerado o criador da Lgica como
cincia, mas essa concepo tem um pouco dos filsofos Scrates e Plato. Esse primeiro perodo tambm
conhecido como Perodo Aristotlico, o que mostra a influncia das idias de Aristteles.
Plato ( 428 a. C.-347 a. C.): Discpulo de Scrates, Plato uma das referncias do pensamento ocidental.
Em nenhum dos seus famosos Dilogos Plato trata expressamente da Lgica, contudo a Lgica j se
encontrava presente na Academia (escola fundada por ele, em Atenas), nos ltimos anos de Plato.
Aristteles de Estagira (384 a. C.-322 a. C.): Filsofo grego e discpulo de Plato, Aristteles, um dos
maiores pensadores de todos os tempos, sistematizou e definiu a Lgica, constituindo-a como uma cincia
autnoma. Foram vrias as contribuies de Aristteles para o desenvolvimento da Lgica. Dentre elas,
podemos destacar:
a separao da validade formal do pensamento e do discurso da sua verdade material (argumentos
podem ser convincentes, embora no sejam corretos);
o estudo dos mecanismos do pensamento dedutivo;
a identificao dos conceitos bsicos da Lgica;
a introduo de letras para denotar termos;
a criao de termos, at hoje utilizados, como: vlido, no-vlido, contraditrio, particular,
universal.
Os escritos de Aristteles foram reunidos por seus seguidores em uma obra denominada Organon, que
significa Instrumento da Cincia. A matriz aristotlica da Lgica persiste at os dias de hoje.
Euclides de Alexandria (325 a.C.-265 a.C.): Euclides de Alexandria, provvel freqentador da academia de
Plato, no teve papel no desenvolvimento da Lgica, propriamente dito. Mas com sua obra Os Elementos,
texto usado nas escolas por aproximadamente 2.000 anos, foi o grande divulgador do Mtodo Axiomtico.
Crisipo de Soles (280 a.C.-206 a.C.): Homem de vasta produo (750 livros), Crisipo fez notveis
contribuies para o desenvolvimento da Lgica. Estudou proposies regidas pelos conectivos e, ou,
se...ento. Tinha clareza do papel desempenhado pela negao na Lgica. reconhecido hoje como o
grande precursor do Clculo Proposicional.

Plato[1]
UFMS / CCET / DMT

Aristteles[1]
DISCIPLINA: lgebra I - 2006

Euclides[1]

Crisipo[2]
Profa. Sonia Regina Di Giacomo

Gottfried Wilhelm von Leibniz (1646-1716): Embora Leibniz tenha vivido no

chamado Perodo Clssico da Lgica, seus trabalhos tiveram pouca influncia
nesse Perodo e s foram apreciados e conhecidos no sculo XIX . Leibniz tentou
aplicar Lgica o modelo de calculo algbrico da sua poca, pois para ele o
raciocnio era um clculo suscetvel de ser efetuado por uma mquina organizada
para esse fim (mecanizao da Lgica dedutiva). Em 1694, Leibniz inventou uma
calculadora que alm de somar, podia subtrair, multiplicar, dividir e extrair
razes quadradas. Leibniz, foi o precursor da Lgica Matemtica moderna.
(Observao: A primeira mquina de somar foi inventada por Blaise Pascal, em
1642)

Leibniz[1]

Curiosidade: Voc sabe o que um afresco ? Pensou besteira, no ? Afresco uma tcnica de pintura
feita em paredes ou tetos rebocados, enquanto a argamassa ainda est mida. E o que isso tem a ver com a
Matemtica ou a Lgica? O artista renascentista italiano Rafael Sanzio (1483-1520) pintou o afresco A
Escola de Atenas, uma de suas mais admiradas obras (veja uma reproduo abaixo). Nela Rafael disps
figuras de sbios de diferentes pocas, alguns deles ligados ao desenvolvimento da Matemtica, como se
fossem colegas de uma mesma academia (nos detalhes, destacamos alguns desses sbios).

Plato[3]

Scrates[3]

A Escola de Atenas[3]

Zeno[3]

Pitgoras[3]

Euclides[3]

Ptolomeu (de costas) [3]

Se voc quiser conhecer um pouco mais sobre Plato, sobre Aristteles, sobre a Academia (escola
fundada por Plato), sobre o Liceu (escola fundada por Aristteles) e outros filsofos, visite o seguinte site:
http://www.educ.fc.ul.pt/docentes/opombo/hfe/momentos/escola/academia/
L voc poder ver, em destaque, as figuras do afresco A Escola de Atenas que representam os sbios
Alcebades, Aristteles, Averros, Digenes, Epicuro, Euclides, Herclito, Parmnides de Elea, Pitgoras de
Samos, Plato (pintado a semelhana de Leonardo da Vinci), Ptolomeu, Scrates, Xenofonte, Zeno e
Zoroastro.
UFMS / CCET / DMT

DISCIPLINA: lgebra I - 2006

Profa. Sonia Regina Di Giacomo

Perodo Moderno (sc. XIX princpio do sc. XX)

( 1840 a 1910)

A passagem do sculo XVIII para o sculo XIX marca o incio de um novo tempo na Histria da
Matemtica, e, em meados do sculo XIX, uma verdadeira revoluo aconteceu na Lgica. Investigadores de
formao matemtica conceberam uma forma de transformar a Lgica numa lgebra e assim a Lgica passou
a ser vista como um clculo algbrico. Foi no final do sculo XIX que a Lgica Matemtica, que nasceu do
propsito de justificar (logicamente) a Aritmtica, deu gigantescos passos no sentido da formalizao dos
conceitos e dos processos demonstrativos. Esse perodo, caracterizado pela ligao entre a Lgica e a
Matemtica, conhecido, tambm, como Perodo Booleano.
Augustus De Morgan (1808-1871): Nascido na ndia, logo se mudou para a Inglaterra. Escreveu trabalhos
sobre os fundamentos da lgebra, da Lgica e da Teoria das Probabilidades. Foi o primeiro a introduzir o
termo e tornar rigorosa a idia da Induo Matemtica, em 1838, no artigo Induction (Mathematics).
George Boole (1815-1864): A criao da Lgica Matemtica atribuda ao ingls George Boole. Em sua obra
Mathematical Analysis of Logic, publicada em 1847, a Lgica foi tratada, pela primeira vez, como um
clculo de smbolos algbricos. Boole converteu a Lgica em um tipo de lgebra fcil e simples. Essa
lgebra, hoje conhecida como lgebra Booleana, foi fundamental para o desenho dos circuitos dos
computadores modernos e tem aplicaes nas ligaes telefnicas. No entanto a Lgica Booleana estava
limitada ao raciocnio proposicional, e, somente mais tarde, com o desenvolvimento dos quantificadores,
que a Lgica formal pode ser aplicada ao raciocnio matemtico, em geral.
Friedrich Wilhelm Karl Ernst Schrder (1841-1902): O alemo Schrder desenvolveu importantes
trabalhos em lgebra, em Lgica e em Teoria dos Conjuntos. Foi ele quem, praticamente, deu forma
acabada Lgica de Boole.
Giuseppe Peano (1858-1932): O matemtico italiano Giuseppe Peano teve grande importncia no
desenvolvimento da Lgica. O simbolismo de Peano e seus axiomas, dos quais dependem construes
rigorosas da lgebra e da Anlise, representam a mais notvel tentativa do sculo de reduzir a Aritmtica
comum a um clculo lgico. Muito da simbologia da Matemtica se deve a Peano e a sua escola.
Diferentemente do pensamento geral da poca, para Peano, os enunciados em Matemtica deveriam ser
deduzidos partir de premissas, e no obtidos por intuio.

De Morgan[1]

Boole[1]

Schroeder[1]

Friedrich Ludwig Gottlob Frege (1848-1925): O primeiro a apresentar o

clculo proposicional na sua forma moderna, Frege ocupa um lugar de
destaque no desenvolvimento da Lgica. Foram inmeros os conceitos e as
inovaes, muitas delas revolucionrias, introduzidos por ele. Por exemplo, foi
ele quem introduziu a funo proposicional, o uso de quantificadores e a
formao de regras de inferncia primitivas. A ele se deve uma conceituao
mais exata da teoria aristotlica sobre sistema axiomtico, assim como uma
clara distino entre lei e regra, entre linguagem e metalinguagem. Frege
tentou provar que toda a Matemtica pura Lgica. As idias de Frege
influenciaram outros nomes importantes no desenvolvimento da Lgica, como,
por exemplo, Russel e Hilbert.
UFMS / CCET / DMT

DISCIPLINA: lgebra I - 2006

Peano[1]

Frege[1]
Profa. Sonia Regina Di Giacomo

Perodo Contemporneo ( sc. XX at os nossos dias)

( a partir de 1910)

A inteno de obter as verdades da Aritmtica a partir de um sistema lgico foi uma preocupao
do Perodo Moderno e do incio do Perodo Contemporneo, e no Perodo Contemporneo que a resposta
definitiva a essa expectativa dada. No Perodo Contemporneo assistimos, tambm, expanso e
diversificao da Lgica Matemtica, e ao aparecimento de novos ramos no estudo da Lgica.
David Hilbert (1862-1943): Matemtico e filsofo alemo, Hilbert poderia ter sido relacionado como um
personagem do Perodo Moderno, uma vez que iniciara sua carreira em 1884. Hilbert foi um ilustre
representante da tendncia axiomtica e tambm tinha o sonho de construir toda a Matemtica usando um
conjunto finito de verdades, a partir das quais todo o conhecimento poderia ser deduzido logicamente.
Contribuiu em vrios campos da Matemtica e considerado uma importante figura de transio entre os
sculos XIX e XX. Em 1900, depois de muito analisar as pesquisas feitas no final do sculo XIX, durante
sua participao no Congresso de Paris, Hilbert apresentou vinte e trs problemas, os quais, acreditava ele,
ocupariam a ateno dos matemticos do sculo XX. Depois desse congresso, os matemticos se agruparam
em duas escolas, conforme suas linhas de pensamento: os formalistas, liderados por Hilbert, e os logicistas,
liderados por Russel.
Bertrand Arthur William Russell (1872-1970): Filsofo, matemtico e ativista poltico britnico, Russell
considerado um dos maiores logicistas do sculo XX. Acreditava que todas as verdades matemticas - e no
apenas as da Aritmtica, como pensava Frege, poderiam ser deduzidas a partir de umas poucas verdades
Lgicas, e todos os conceitos matemticos reduzidos a uns poucos conceitos lgicos primitivos. Sua obra
"Principia Mathematica", escrita de 1910 a 1913, em colaborao com Alfredo North Whitehead, tornou-se
referncia na Lgica Matemtica. Outro trabalho famoso "Introduo Filosofia da Matemtica"
(Introduction to Mathematical Philosophy), escrita em 1916 enquanto Russel esteve na priso.
Kurt Gdel (1906-1978): Lgico tcheco, naturalizado americano, Gdel demonstrou, em 1931, que no
possvel construir uma teoria axiomtica dos nmeros que seja completa, conforme pretendia Hilbert. Em
outras palavras, Gdel mostrou que se um sistema que seja consistente, isto , que no entre em
contradio, representa a Aritmtica e usa um nmero razovel de axiomas, ento esse sistema
incompleto, ou seja, existem verdades da Aritmtica que no podem ser demonstradas ou contestadas
nesse sistema. Esse resultado o famoso Teorema da Incompletude de Gdel, um dos resultados mais
importantes da Lgica.
Alfred Tarski (1902-1983): Nascido na Polnia, Tarski emigrou para os Estados Unidos em 1939. Seus
trabalhos constituram o alicerce das modernas teorias Lgicas. A teoria de modelos foi, em grande parte,
criada por Tarski. Segundo contam, em 1960, ao abrir as sesses de um congresso internacional de Lgica,
em Stanford, Tarski, tendo em mos os resumos das conferncias programadas, afirmou: Antes, tudo era
mais fcil pois tudo estava por fazer. Tanto se fez, porm, que no mais consigo acompanhar as novas
idias e me vejo perdido diante de muitas comunicaes que sero aqui apresentadas nos prximos dias.

Hilbert[1]
UFMS / CCET / DMT

Russel[1]
DISCIPLINA: lgebra I - 2006

Gdel[1]

Tarski[1]
Profa. Sonia Regina Di Giacomo

Vertentes dos fundamentos da Matemtica do final do sculo XIX, incio

do sculo XX
Logicismo(Frege, Russell): A tese dessa vertente que a Matemtica um ramo da Lgica: toda a
Matemtica conseqncia de princpios puramente lgicos.
Formalismo (Hilbert): A proposta dessa vertente que a Matemtica fundamentada por sistemas formais
cujo nico requisito a consistncia. A proposta formalista considera a Matemtica como um sistema
autnomo.
Intuicionismo (Brouwer): A caracterstica fundamental dessa vertente o construtivismo: a Matemtica
uma atividade humana fundamentada em processos construtivos, sendo assim todo objeto matemtico tem
sua existncia expressa por construo.

Uma classificao da Lgica

Lgica Clssica
Hoje em dia, a chamada Lgica Clssica a Lgica Proposicional e de Predicados. regida pelos Princpios
da Identidade, da Contradio e do Terceiro Excludo, entre outros.

Extenses da Lgica Clssica

So aquelas que adicionam um vocabulrio novo, novos teoremas e inferncias vlidas Lgica Clssica, mas
mantm todos os teoremas originais. Dessa forma, complementam de algum modo a Lgica Clssica,
estendendo o seu domnio.
Exemplos:
Lgica Modal (estuda as conexes entre os enunciados tendo em conta a sua modalidade);
Lgica Dentica (estuda os enunciados normativos sob o ponto de vista lgico).

Lgicas No-Clssicas
Lgicas caracterizadas por abolirem um ou mais princpios da Lgica Clssica.
Exemplos:
Lgicas Paracompletas e Lgicas Intuicionistas (abolem o Princpio do Terceiro Excludo);
Lgicas Paraconsistentes (abolem o Princpio da Contradio);
Lgicas No-Alticas (abolem o Terceiro Excludo e o da Contradio);
Lgicas No-Reflexivas (abolem o Princpio da Identidade);
Lgicas Polivalentes (permite representar valores intermedirios entre os valores verdadeiro e falso
da Lgica Clssica).

Figuras extradas de:

[1] http//www-history.mcs.st-andrews.ac.uk/history/index.html (Acesso em 19/03/06)
[2] http://www.pensament.com/filoxarxa/filoxarxa/Crisipo.htm (Acesso em 19/03/06)
[3] http://www.educ.fc.ul.pt/docentes/opombo/hfe/momentos/escola/academia/ (Acesso em 19/03/06)

UFMS / CCET / DMT

DISCIPLINA: lgebra I - 2006

Profa. Sonia Regina Di Giacomo