versão econômica

Perguntas
Lógicas Dedutiva e Indutiva
1.
2.
3.
4.
5.
O que é lógica?
O que é uma dedução?
O que é uma indução?
Por que não parece natural pensar de forma lógica?
Resumindo
Renato Vicente
EACH-USP/2008
Colapso Maia
O que é lógica?
Colapso Maia 1: Superpopulação e
Desflorestamento
Colapso Maia 2: Clima
1
Colapso Maia 3: “Controle” do clima
Colapso Maia
1. População excede a capacidade de produção.
2. Seca severa, desflorestamento e erosão reduzem
a capacidade produtiva.
Cenote: laguna artificial de sacrifício
3. Conflitos por recursos muito escassos reduzem
ainda mais a capacidade produtiva.
4. As elites governantes respondem à crise
intensificando a construção de templos e a
execução de sacrifícios humanos.
Chaac: Deus
da chuva
Decisões sobre colheitas: opções
E a(s) lógica(s)?
O que é (são) mesmo?
1. Pedir ajuda aos deuses (revelação).
2. Utilizar a experiência acumulada por produtores
rurais (indução).
Sistematização dos raciocínios corretos
3. Fazer previsões baseadas em modelos
metereológicos (dedução).
Tipos
Lógica dedutiva: proposições podem ser verdadeiras ou
falsas
O que é uma dedução?
Lógica indutiva: proposições tem um grau de
plausibilidade
2
Moldes para raciocínios válidos
Demonstração
Rigveda (1700-1100 aC), livro sagrado do
hinduísmo, contém especulações sobre divisões
lógicas não A e não não A, A, não A, A e não A
Euclides (300 aC) e Os Elementos
Teorema de Pitágoras:
O Orgánon de Aristóteles
(384-322 aC), contém uma
classificação de sentenças
possíveis para raciocícios
dedutivos:
(A) Todo S é P
(E) Nenhum S é P
Aristóteles:
384 aC – 322 aC
(I) Algum S é P
(O) Algum S não é P
Mnemonicos Medievais
Moldes para raciocínios válidos
(A) AaB: Todo A é B
Sócrates é um homem, portanto, Sócrates é mortal.
(E) AeB: Nenhum A é B
É um raciocínio válido?
(I) AiB: Algum A é B
mortais
Diagrama de Venn
ou Johnston
(O) AoB: Algum A não é B
homens
Barbara: AaB BaC, portanto, AaC
E esse?
Celarent: AeB, BaC, portanto, AeC
Meu carro é verde, portanto, meu carro é um vegetal.
Darii
: AaB, BiC, portanto, AiC
Ferio
: AeB, BiC, portanto, AoC
verdes
Camestres: BaA, BeC, portanto, AeC
Cesare, Festino, Baroco, Darapti, Felapton, Disamis, Datisi, Bocardo,
Ferison ,Bramantip, Camenes, Dimaris, Fesapo, Fresison.
carros
Verdade e validade 1
vegetais
Verdade e validade 2
Um raciocínio válido pode não levar a uma conclusão verdadeira.
Premissa: Todo evento tem uma causa.
Um raciocínio válido com premissas FALSAS pode gerar uma
conclusão VERDADEIRA
Premissa: O universo teve um início.
Premissa: Todos os inícios envolvem um evento.
Premissa: Todos os chineses são jogadores de futebol.
Inferência: O início do universo envolveu um evento.
Premissa: Robinho é chinês .
Conclusão: O início do universo teve uma causa.
Conclusão: Robinho é um jogador de futebol.
Só há garantia de verdade na conclusão se as premissas
forem TODAS VERDADEIRAS. A dedução preserva a
verdade das premissas.
3
Raciocínios inválidos (Falácias)
Algumas falácias são muito comuns, por exemplo:
Premissa: Todo homem é mortal.
Premissa: Totó é mortal.
Conclusão: Totó é homem.
Pode ser um
cachorro.
O que é uma indução?
Premissa: Todo homem é mortal.
Premissa: Totó não é homem.
Conclusão: Totó não é mortal .
Pode ser ou não.
As conclusões teriam que seguir NECESSARIAMENTE das
premissas.
Dúvida Razoável
O carro está sendo roubado ?
Silogismo Fraco
Todo homem é mortal.
X é mortal.
É plausível que X seja um homem.
Evidência
Evidência torna a verdade de uma proposição mais ou
menos plausível.
Plausibilidade=Probabilidade
As propriedades desejáveis são encontradas na
teoria de probabilidades. Se considerarmos a
probabilidade da proposição P(A) como nossa
crença na veracidade de A teremos a seguinte regra
para mudança de racional opiniões:
Uma lógica indutiva pode ser construída a partir de
algumas poucas propriedades desejáveis:
1. Plausibilidade é medida por um número real;
2. Os resultados da lógica indutiva devem
corresponder ao bom senso;
3. Deve haver consistência, ou seja, inferências
realizadas utilizando evidências em ordem diferente
devem levar ao mesmo resultado.
P(A|E) é proporcional a P(E|A) P(A)
Crença a
posteriori Chance da
evidência E se A
for verdade
Crença a
priori
Thomas Bayes
1702-1761
(verossimilhaça)
4
Lógica Indutiva e Estatística
Por que não parece natural?
Resultado de
experimento,
Questionário,
observação
Hipótese
P(H|E) é proporcional a P(E|H) P(H)
Crença na
verdade da
hipótese H
dados os
resultados E
Crença inicial
na verdade da
hipótese H
http://www.bradshawfoundation.com/journey/timeline.swf
Chance de
observarmos E se H
for verdadeira
Resumindo
1.
2.
3.
4.
5.
O que é lógica?
O que é uma dedução?
O que é uma indução?
Por que não parece natural pensar de forma lógica?
Resumindo
5