Induo ou Deduo

1 von 6

http://www.dct.ufms.br/~mzanusso/Inducao_Deducao.htm

Induo - Deduo - Leis Cientficas! Silogismo Estatstico Analogia

No cotidiano essas palavras so usadas sem muita preciso. Dada a importncia desses termos na rea de
Inteligncia Artificial, o objetivo deste texto esclarecer um pouco mais a diferena entre esses termos.

Segundo o Dicionrio Aurlio:

Deduo 1. Ao de deduzir; subtrao, diminuio, abatimento. 2. O que resulta de um raciocnio;
conseqncia lgica; ilao, inferncia; concluso. 3. Lgica: Processo pelo qual, com base em uma ou
mais premissas, se chega a uma concluso necessria, em virtude da correta aplicao das regras lgicas.
4. Lgica: Mtodo dedutivo. Demonstrao, prova, raciocnio. 5. Jur. Exposio minuciosa; enumerao
de fatos e argumentos.

Induo 1. Ato ou efeito de induzir. 2. Lgica: Operao mental que consiste em se estabelecer uma
verdade universal ou uma proposio geral com base no conhecimento de certo nmero de dados
singulares ou de proposies de menor generalidade.
Ver tambm: Induo baconiana. Induo aristotlica. Induo cientfica.

Inferncia 1. Ato ou efeito de inferir; induo, concluso. 2. Lgica: Admisso da verdade de uma
proposio, que no conhecida diretamente, em virtude da ligao dela com outras proposies j
admitidas como verdadeiras. [ So casos especiais de inferncia o raciocnio, a deduo, a induo.].
Veremos abaixo algumas definies obtidas de um livro de lgica e de notas didticas produzidas pelo
LABIC Laboratrio de Inteligncia Computacional da USP-SC.
Bibliografia:
1. LGICA. Autor: John Nolt e Denis Rohatyn. Makron Books do Brasil Editora Ltda e McGraw-Hill.
1991.
2. O clculo proposicional: uma abordagem voltada compreenso da linguagem Prolog. Verso 1.0.
Autores: Maria Carolina Monard e outros. Notas didticas. ICMC-USP-SC.

Deduo: (pag. 13 Carolina) onde vamos falar do que prova, deduo e teorema.
A seguir dado um exemplo de verificao da validade de um argumento
Usando argumentos vlidos j conhecidos e equivalncias.
Exemplo 1: Seja:
Se as uvas caem, ento a raposa as come.
Se a raposa as come, ento esto maduras.
As uvas esto verdes ou caem.

24/03/2014 20:36

Induo ou Deduo

2 von 6

http://www.dct.ufms.br/~mzanusso/Inducao_Deducao.htm

Logo,
A raposa come as uvas se e s se as uvas caem.
Nomeando: p: as uvas caem
q: a raposa come as uvas
r: as uvas esto maduras
Tem-se C1: p q
C2: q r
C3: r p
Deduz-se: C4: r p (C3: equivalncia)
C5: q p (C2 + C4 + silogismo hipottico)
C6: p q q p (C1 + C5: conjuno)
C7: q

p (C6: equivalncia)

Observao: A seqncia finitas de frmulas (ou proposies) (ou premissas) C1, C2, C3, C4, C5, C6, C7
uma prova ou deduo de q
p.
Diz-se que q

p dedutvel de C1, C2, C3, C4, C5, C6, C7. Ou que q

p um teorema.

O que um argumento?(pag. 1 Nolt)

Lgica o estudo de argumentos. Um argumento uma seqncia de enunciados na qual um dos
enunciados a concluso e os demais so premissas, as quais servem para provar ou, pelo menos,
fornecer alguma evidncia para a concluso.
Exemplo 2: Um dos argumentos mais conhecidos (devido ao seu aspecto ubquo como um exemplo na
lgica elementar) :
Todos os homens so mortais. Scrates homem. Portanto, Scrates mortal.
Os dois primeiros enunciados so premissas que servem para provar a concluso, Scrates mortal.

Generalizao Estatstica e Generalizao indutiva(pag. 424 Nolt)

A generalizao estatstica nos permite chegar a uma concluso concernente a uma populao toda a
partir de uma premissa relativa a uma amostra, ao acaso, daquela populao. O fato de se escolher uma
amostra ao acaso garante a probabilidade da concluso em bases puramente matemticas. Contudo, muitas
vezes, no possvel obter uma amostra ao acaso. Isso verdade, por exemplo, se a populao relevante
interfere em objetos ou eventos futuros. Como esses objetos ou eventos ainda no existem, na hora em que
a amostra escolhida, eles no tem chance de ser includos na amostra. Portanto, como o fato de se
escolher ao acaso exige que cada membro da populao tenha chance igual de ser selecionado, nenhuma
amostra que se escolher pode ser uma amostra ao acaso para populao que inclui objetos ou eventos
futuros.
Exemplo 3: A concluso do seguinte argumento diz respeito a uma populao (todos os jogos da Copa

24/03/2014 20:36

Induo ou Deduo

3 von 6

http://www.dct.ufms.br/~mzanusso/Inducao_Deducao.htm

Unio dessa temporada) que inclui jogos futuros, e, portanto, a amostra (jogos realizados at agora) no
uma amostra selecionada ao acaso com relao a essa populao:
O time X tem 10 vitrias dos 20 jogos que eles disputaram at agora nessa
temporada.
\ O time X terminar a temporada tendo ganho quase a metade dos jogos.
A forma geral desse argumento representada do seguinte modo:
n% de s observados at agora F G.
\ Quase n% de todo F G.
No exemplo 3., n = 50, s 20, F "Time X joga esta temporada", e G "so (ou sero) jogos ganhos pelo
time X". Essa forma chama generalizao indutiva.
A diferena entre as generalizaes estatstica e indutiva que nesta ltima as premissas no afirmam
que a amostra ao acaso. Sem a afirmao de que a amostra escolhida ao acaso, o raciocnio no pode
ser justificado somente por princpios matemticos. Nenhum princpio matemtico garante, por exemplo,
que o time X melhorar repentinamente e vencer todos os seus jogos restantes ou terminar com uma
longa lista de derrotas. Qualquer princpio matemtico assegura que tais chances radicais no so
provveis. A inferncia do exemplo 3. Pressupe algo substancial: que o curso dos eventos (nesse caso,
jogos de bola) uniforme no tempo; ou seja, que instncias futuras de vitria so provveis de ocorrer
com quase a mesma freqncia que as instncias anteriores de vitria. Portanto, generalizaes indutivas
so inferncias humeanas (devido a David Hume filsofo escocs) (ver Silogismo estatstico pag. 408
e O Clculo de probabilidades pag. 460).
Generalizaes indutivas so argumentos mais fracos do que generalizaes estatsticas, pois o tipo de
uniformidade que elas pressupem de grau incerto. Como no h maneira universalmente aceita de se
calcular as probabilidades indutivas dos argumentos humeanos, no podemos dizer exatamente quo mais
fracos so. Contudo, em relao a outros aspectos, a avaliao de generalizaes indutivas emprega os
mesmos princpios que os de generalizaes estatsticas. Assim, nos dois tipos de generalizao, a
probabilidade indutiva aumenta quando s se trona maior.
Uma das mais importantes formas de generalizao indutiva quando n = 100. Assim, temos:
Todos os s observados at agora F G.
\ Todo F G.
Essa forma comumente considerada como justificativa para leis cientficas (muitas vezes expressa na
forma "Todo F G"). Por exemplo, sabe-se que todos os objetos exercem fora gravitacional na razo
direta de suas massas. Essa lei est baseada na seguinte generalizao indutiva:
Exemplo 4: Todos os objetos observados at agora exercem fora gravitacional na
razo direta de suas massas.
\ Todos os objetos exercem fora gravitacional na razo direta de suas massas.
Contudo, a generalizao indutiva uma forma de raciocnio relativamente fraca. Alguns tericos rejeitam
tal generalizao como o meio que estabelece as leis universais.1 Eles argumentam que se s

24/03/2014 20:36

Induo ou Deduo

4 von 6

http://www.dct.ufms.br/~mzanusso/Inducao_Deducao.htm

relativamente pequena para a populao dos Fs, a probabilidade indutiva da inferncia est prxima de
zero, e que para populaes infinitas e s finito ela estritamente zero. Alguns questionam ainda se a
generalizao indutiva realmente o modo pelo qual se justifica leis cientficas ou mesmo, se tais leis
podem ser justificadas.2 Contudo, outros tm contestado essas alegaes. Na verdade no se tem uma
opinio conclusiva. Apesar desse desacordo, existem certos princpios comparativos nos quais muitos
lgicos concordam. Se assumimos que a probabilidade indutiva de uma generalizao indutiva no
estritamente zero, ento ela pode ser aumentada, quando se aumenta s. (Isso uma instncia da regra geral
que ao se fortalecer a premissa fortalece-se
o argumento.) O raciocnio tambm se fortalece quando se enfraquece a concluso; diminuir a populao
dos Fs aumenta a probabilidade indutiva do argumento.
1. Rudolf Carnap. The Logical Foundations of Probability, Chicago, University of
Chicago Press, 1962.
2. Karl R. Popper, The Logic of Scientific Discovery, New York, Harper & Row,
1968.

Generalizao Indutiva e Induo Simples (pgina 426 Nolt)

A maneira mais extrema para enfraquecer a concluso de uma inferncia reduzir a populao a um nico
indivduo. Assim, a seguinte forma, chamada induo simples, induo por enumerao ou simples
inferncia prognstica:
n% de s observados at agora F G.
\ Se mais um F for observado, ele ser G.
Exemplo 5: O seguinte argumento uma induo simples em que n=100.
Todos os objetos observados at agora exercem fora gravitacional na razo
direta de suas massas.
\ Se mais um objeto for observado, ele exercer fora gravitacional na razo
direta de sua massa.
Como a concluso desse argumento muito mais fraca do que a do exemplo 4., o argumento
consideravelmente mais forte. Em geral, indues simples so muito mais fortes do que generalizaes
indutivas com as mesmas premissas.
Tal como as generalizaes indutivas, as indues simples tornam-se mais fortes medida que s aumenta,
desde que n > 50. Alm disso, tal como os silogismos estatsticos, as indues so altamente suscetveis ao
valor de n. Elas so mais fortes quando n = 100, e mais fracas quando n = 0. Se n < 50, uma induo
simples fornecer mais apoio para a negao de sua concluso do que para a concluso em si. Por outro
lado, ao contrrio dos silogismos estatsticos, as indues simples no se tornam dedutivas quando n =
100, pois elas so inferncias humeanas cujas foras dependem de uma presuposio incerta sob a
uniformidade da natureza. Do mesmo modo que para todos os argumentos humeanos, no existem
mtodos aceitos para se calcular a probablidade indutiva de uma induo simples.

Silogismo Estatstico (pag. 408 Nolt)

24/03/2014 20:36

Induo ou Deduo

5 von 6

http://www.dct.ufms.br/~mzanusso/Inducao_Deducao.htm

Os argumentos indutivos so divididos em dois tipos, caso pressuponham ou no que o universo ou parte
dele provavelmente uniforme ou uma lei. Aqueles que no requerem tal pressuposio chamam-se
argumentos estatsticos; as premissas de um argumento estatstico sustentam sua concluso atravs de
razes puramente estatsticas ou matemticas. Aqueles que no requerem essa pressuposio chamam-se
argumentos humeanos, em homenagem ao filsofo escocs David Hume, o primeiro a estud-los
detalhadamente e questionar essa pressuposio.
Exemplo 6: O seguinte argumento estatstico:
98% dos calouros universitrios so capazes de ler livros da sexta srie.
Dave calouro universitrio.
\ Dave capaz de ler livros da Sexta srie.
O valor bvio para a probabilidade indutiva deste argumento o valor porcentagem dividido por 100, isto
, 0,98. Contudo existem vrias interpretaes ou concepes de probabilidade indutiva. De acordo com as
interpretaes lgicas de probabilidade indutiva, a probabilidade indutiva desse argumento precisamente
0,98. Entretanto, muitos tericos preferem uma verso da chamada interpretao subjetiva. De acordo com
essa interpretao, probabilidade indutiva medida pelo grau de crena na concluso, dadas as premissas.
Do ponto de vista subjetivo, a probabilidade indutiva desse argumento pode diferir de 0,98, dependendo
do conhecimento e das circunstncias da pessoa cujo grau de crena est sendo medido. Mais detalhes
sobre esses dois tipos de interpretao so dadas no cap. 9 do livro do Nolt.

Induo por Analogia pag. 429 Nolt

Um outro tipo de argumento de argumento humeano o argumento por analogia. Num argumento por
analogia observamos que um objeto x tem as propriedades, F1, F2, ..., Fn, em comum com um outro objeto
y. Alm disso, y tem uma outra propriedade G. Assim inferimos que provavelmente x tambm ter a
propriedade G (pois x e y so anlogos em muitos outros aspectos). A forma geral desse argumento
representada do seguinte modo:
F1x & F2x ...& Fnx
F1y & F2y ...& Fny
Gy
\ Gx
Exemplo: O argumento seguinte um argumento (razoavelmente forte) por analogia:
Espcime x uma planta com um s talo, de folhas lanceoladas e flores
azuis de cinco ptalas, com quase 40 cm de altura e crescem na beira de
estradas.
Espcime y uma planta com um s talo, de folhas lanceoladas e flores
azuis de cinco ptalas, com quase 40 cm de altura e crescem na beira de

24/03/2014 20:36

Induo ou Deduo

6 von 6

http://www.dct.ufms.br/~mzanusso/Inducao_Deducao.htm

estradas.
Espcime y membro da famlia genciana.
\ Espcime x um membro da famlia genciana.
Esse argumento humeano, pois nenhum princpio lgico ou matemtico pode garantir que semelhanas
na aparncia externa, tamanho e forma criam uniformidade taxionmica ainda provvel. Os argumentos
analgicos se fortalecem, tal como os argumentos indutivos, pelo fortalecimento de suas premissas ou pelo
enfraquecimento de suas concluses.

24/03/2014 20:36