L ogica Matematica

Profa. Alice Finger

Universidade Federal do Pampa
Aula 2 - Introdu cao
1 / 16
Introdu cao
Logica

E uma parte da losoa que estuda o fundamento, a estrutura e as
expressoes humanas do conhecimento;
Criada por Aristoteles no seculo IV a.C para estudar o pensamento
humano e distinguir argumentos certos e errados.
2 / 16
Introdu cao
A logica de Aristoteles
Desenvolveu uma sosticada teoria de argumentacao, cujo n ucleo e a
caracterizacao dos chamados silogismos;
Silogismo: deducao formal tal que, postas duas proposi coes,
chamadas de premissas, delas, por inferencia, se tira uma terceira,
chamada de conclusao.
No texto Analticos, Aristoteles deniu uma proposicao como o
discurso que arma ou nega alguma coisa, propondo termos como
verdadeiros, criando a base da chamada logica aristotelica.
Aristoteles estruturou a argumentacao atraves de silogismos,
propondo a busca da verdade por meio de operacoes intelectuais
logicas.
3 / 16
Introdu cao
A logica de Aristoteles
Um silogismo pode compor um raciocnio valido e verdadeiro, tal
como no exemplo a seguir:
Exemplo:
Todos os homens sao mortais.
Socrates e homem.
Portanto, Socrates e mortal.
4 / 16
Introdu cao
A logica de Aristoteles
um silogismo tambem pode compor um raciocnio valido e nao
verdadeiro, como no exemplo que segue:
Exemplo:
Os biscoitos sao feitos de agua e sal. Premissa universal armativa.
O mar e feito de agua e sal. Premissa universal armativa.
Portanto, o mar e um grande biscoito. Conclusao = Premissa
universal armativa.
5 / 16
Introdu cao
A logica de Aristoteles
Nem mesmo um silogismo complexo escapa deste problema, pois
tambem pode ser valido, apesar de nao verdadeiro, tal como no
exemplo que segue:
Exemplo:
Deus e amor.
O amor e cego.
Steve Wonder e cego.
Portanto, Steve Wonder e Deus.
Disseram-me que sou ninguem.
Ninguem e perfeito.
Portanto, eu sou perfeito.
So Deus e perfeito.
Portanto, eu sou Deus.
Se Steve Wonder e Deus, eu sou Steve Wonder.
Portanto, estou cego.
6 / 16
Introdu cao
Euclides e o metodo axiomatico
O matematico grego Euclides deu forma sistematica ao saber
geometrico;
Deduziu proposicoes ou teoremas, os quais constituem o saber
geometrico, como por exemplo:
se em um triangulo dois angulos sao iguais entre si, tambem os lados
opostos a esses angulos sao iguais entre si.
7 / 16
Introdu cao
Logica Moderna
Incio no seculo XVI, com o losofo e matematico alemao Gottfried
Wilhelm Leibniz;
Ideias baseadas na logica simbolica de carater algebrico, semelhante
ao calculo diferencial denido por ele e por Newton;
Deducoes logicas deveriam ser feitas atraves de uma pura
manipula cao simbolica, sem referencia ao signicado real destes
smbolos.
8 / 16
Introdu cao
Logica no seculo XIX
A passagem do seculo XVIII para o seculo XIX e conhecida como a
idade aurea da matematica;
Comecam a ser denidas as ideias que darao origem `a Ciencia da
Computacao;
A partir deste seculo, a logica matematica se ocupa particularmente
em tornar explcitas as formas de inferencia, relegando o conte udo das
verdades que elas possam transmitir.
9 / 16
Introdu cao
Logica Matematica e Computacao
A logica simbolica teve a sua criacao relacionada com o trabalho do
ingles George Boole (1815-1864);
Desenvolveu o primeiro sistema formal para raciocnio logico (logica
booleana);
Boole concluiu que uma algebra de smbolos (que nao fossem
n umeros) poderia ser construda e ter varias aplica coes:
Circuitos Logicos;
Verdade ou Falsidade de proposi coes;
Aritmetica sobre n umeros binarios.
10 / 16
Introdu cao
As contribuicoes de Frege
O matematico alemao Friedrich Ludwig Gottlob Frege (1848-1925)
foi precursor na formulacao sobre a diferenca entre uma constante e
uma variavel;
Frege tambem introduziu a nocao de logica de varias variaveis
(predicados) e o conceito de quanticador;
Os quanticadores sao a principal caracterstica do simbolismo logico
moderno e que o torna superior em alguns aspectos `a linguagem
vulgar e ao simbolismo algebrico de Boole;
A ligacao de variaveis por meio dos quanticadores esta entre as
maiores inven coes do seculo XIX.
11 / 16
Introdu cao
A importancia de Peano
O matematico italiano Giuseppe Peano (1858-1932) e conhecido na
logica pela introducao dos famosos axiomas de Peano;
Seu simbolismo e axiomas representam a mais notavel tentativa do
seculo de reduzir a aritmetica comum, e portanto a maior parte da
matematica, a um puro simbolismo formal;
12 / 16
Introdu cao
As contribuicoes de David Hilbert
O matematico alemao David Hilbert (1862-1943) tentou provar que
todas as verdades matematicas poderiam ser demonstradas dentro de
um sistema puramente formal (completude);
Somente as verdades matematicas, segundo Hilbert, poderiam ser
demonstradas em tal sistema formal (consistencia);
13 / 16
Introdu cao
Godel e suas contribuicoes para a logica
O trabalho do losofo e matematico austraco Kurt Godel (1906
1978) pode ser resumido ao seguinte teorema: Se S e um sistema
formal sucientemente forte para conter a aritmetica elementar, entao
S e incompleto ou inconsistente;
Godel frustou o sonho dos logicos, dado que nao se pode desenvolver
toda a aritmetica (tampouco toda a matematica) em um sistema
logico que garanta a consistencia e a completude;
14 / 16
Introdu cao
Turing e o incio da computacao
A teoria que fundamenta a ciencia da computacao teve incio com os
trabalhos do matematico britanico Alan Turing (1912-1954), quando
conheceu o problema de decisao de David Hilbert;
Toda a comunidade da epoca estava interessada em encontrar uma
solucao precisa para o conceito informal de realizar uma computacao;
Em 1936 Turing introduz o conceito da maquina com o seu nome;
Esta maquina formaliza precisamente a nocao de funcao computavel;
Ha problemas que a maquina de Turing nao consegue resolver: o
problema de decisao de Hilbert apresenta uma resposta negativa!
15 / 16
Introdu cao
Objetivo da Logica na Computacao
Desenvolver linguagens para modelar as situa coes que encontramos
como prossionais da computacao, de tal modo que possamos
raciocinar sobre eles formalmente.
Raciocinar sobre situa coes signica construir argumentos sobre elas.
16 / 16