Deduo

Origem: Wikipdia, a enciclopdia livre.

Deduo: anlise lgica utilizada para construir argumentos, utilizando premissas/argumentos para obter uma
concluso. A concluso torna explcito um conhecimento j existente nas premissas.

Para utilizar corretamente o processo de deduo, fundamental verificar a validade do pensamento, para que
este no seja uma falcia.

O pensamento dedutivo pode utilizar tanto premissas gerais, que foram precedidas de uma induo, bem como
premissas condicionais.

ndice
1 Validade[1]
1.1 Falcia
2 Argumentos Condicionais
2.1 Enunciados Condicionais
2.1.1 Contraposio
2.2 Modus Ponens
2.3 Modus Tollens
2.4 Afirmao do consequente
2.5 Negao do antecedente
3 Referncias
4 Ver tambm

Validade[1]
Argumentos dedutivos corretos so chamados "vlidos", e a validez depende exclusivamente da relao entre as
premissas e a concluso. determinada pela forma lgica e no pelo contedo dos enunciados. Se um
argumento dedutivo vlido, necessariamente sua concluso verdadeira quando todas as premissas tambm o
so. Enquanto que "validez" propriedade do argumento dedutivo, "verdade" propriedade do enunciado
isolado. H diversas formas para um argumento dedutivo vlido. Segue uma forma de exemplo:

Premissa: Todos os homens so mortais;

Premissa: Scrates homem;
Concluso: Scrates mortal.

O argumento dedutivo acima apresenta forma vlida: ambas premissas so verdadeiras, culminando em uma
concluso tambm verdadeira. Como a forma independente dos enunciados, possvel obter um argumento
dedutivo com premissas falsas e uma concluso verdadeira ou falsa e ainda assim manter sua validez:

Premissa: Todos os gatos tm asas;

Premissa: Todos os pssaros so gatos;
Concluso: Todos os pssaros tm asas.

Este argumento dedutivo apresenta premissas claramente falsas, e uma concluso verdadeira. Ainda assim,
um argumento vlido. Ambos argumentos dedutivos apresentados at o momento possuem a mesma forma:

Premissa: Todos G so H;
 Premissa: Todos F so G;
Concluso: Todos F so H.

Qualquer argumento dedutivo que apresenta a forma acima vlido, ou seja, se todas as premissas forem
verdadeiras a concluso ser verdadeira. Para qualquer argumento dedutivo que apresente uma forma vlida,
impossvel que sua concluso seja falsa quando todas as premissas so verdadeiras.

Falcia

Um argumento dedutivo de forma no-vlida tambm conhecido como "falcia dedutiva"[2]. Um argumento
dedutivo no-vlido caso apresente todas premissas verdadeiras e a concluso no-verdadeira. Falcias
dedutivas podem apresentar formas que parecem corretas, e assim que erros so cometidos ao utilizar-se da
Deduo.

Premissa: Todos os mamferos so mortais;

Premissa: Todas ces so mortais;
Concluso: Todos ces so mamferos.

Ainda que este argumento apresente premissas e concluso verdadeiras, trata-se de uma falcia dedutiva. Para
provar tal afirmao, utilizamos o "mtodo do contra-exemplo"[2], escrevendo um argumento dedutivo que
apresenta premissas verdadeiras mas concluso falsa:

Premissa: Todos mamferos so mortais;

Premissa: Todas cobras so mortais.
Concluso: Todas cobras so mamferos.

Claramente percebe-se a no-validade do argumento. Substituindo os termos utilizados por letras, obtemos a
forma deste argumento dedutivo:

Premissa: Todos F so G;
Premissa: Todos H so G;
Concluso: Todos H so F.

O mtodo do contra-exemplo pode ser utilizado para qualquer argumento dedutivo, verificando assim a validez
de sua forma.

Argumentos Condicionais
Argumentos condicionais "fogem" do problema da induo pois no so argumentos gerais. Pode-se dizer que
so argumentos puramente dedutivos, utilizando totalmente apenas a lgica formal, dando mais fora ao
pensamento dedutivo. Entretanto, o pensamento dedutivo condicional no est livre de falcias.

Enunciados Condicionais

So enunciados complexos formados por dois enunciados componentes que se ligam por meio da expresso
"se...ento...".

Se hoje quarta-feira, ento amanh ser quinta-feira.

A parte ligada ao "se" denomina-se "antecedente", e a parte apresentada aps o "ento" chama-se
"consequente". "Hoje quarta-feira" o antecedente e "amanh ser quinta-feira" o consequente do
argumento acima. O enunciado tem a forma

Se p, ento q. (1)
Contraposio

Relao de carter fundamental que recebeu nome especfico. A forma apresentada acima totalmente
equivalente a

Se no q, ento no p. (2)

dito que o enunciado 2 a contrapositiva de 1.

Modus Ponens

Forma de argumento dedutivo vlido, tambm chamada de "afirmao do antecedente". Considere o exemplo:

Premissa: Se o aluno obter mdia abaixo de 6 pontos, ser reprovado na disciplina;

Premissa: O aluno obteve mdia abaixo de 6 pontos;
Concluso: O aluno ser reprovado.

A primeira premissa consiste de um enunciado condicional, e a segunda premissa afirma o antecedente desta
condio, da o nome desta forma de argumento dedutivo.

Este argumento da forma:

Premissa: Se p, ento q;
Premissa: p;
Concluso: q.

Forma vlida, portanto qualquer argumento dedutivo condicional que se apresentar nesta forma ser vlido.

Modus Tollens

Outra forma vlida de argumentos dedutivos condicionais, tambm chamada de "negao do consequente".
Segue exemplo:

Premissa: Se Csar fosse ambicioso, teria tomado a coroa;

Premissa: Csar no tomou a coroa;
Concluso: Csar no era ambicioso.

Novamente, a primeira premissa um enunciado condicional, mas a segunda premissa nega seu consequente.
Este argumento dedutivo utiliza-se da relao de contraposio, e da forma:

Premissa: Se p, ento q;
Premissa: no q;
Concluso: no p.

Afirmao do consequente

Forma invlida de argumento dedutivo condicional, pois ao afirmar o consequente, no podemos garantir que o
antecedente verdade.

Premissa: Se uma pessoa nasce na Europa, ento no americana;

Premissa: A pessoa no americana;
Concluso: A pessoa nasceu na Europa.

Pelo fato de o indivduo no ser americano, no podemos afirmar que nasceu na Europa, ainda que a primeira
premissa esteja correta. A forma desta falcia :

Premissa: Se p, ento q;
 Premissa: q;
Concluso: p.

Negao do antecedente

Outra forma invlida de argumento dedutivo condicional. Negar o antecedente no garante que o consequente
seja falso:

Premissa: Se o indivduo encontra-se na Amrica do Sul, o indivduo est no continente americano;

Premissa: O indivduo no est na Amrica do Sul;
Concluso: O indivduo no est no continente americano.

Premissas verdadeiras levando uma concluso falsa. O indivduo em questo pode estar na Amrica Central
ou Amrica do Norte. A forma desta falcia :

Premissa: se p, ento q;
Premissa: no p;
Concluso: no q.

Referncias
1. Salmon, Wesley (1978). Lgica. Rio de Janeiro: Zahar Editores. pp. 34 a 38
2. Salom, Wesley (1978). Lgica. Rio de Janeiro: Zahar Editores. 37 pginas

Ver tambm
Mtodo dedutivo
Silogismo
Induo
Wesley Salmon

Obtida de "https://pt.wikipedia.org/w/index.php?title=Deduo&oldid=45701972"

Categorias: Conceitos filosficos Lgica

Esta pgina foi editada pela ltima vez (s) 14h41min de 24 de maio de 2016.
Este texto disponibilizado nos termos da licena Creative Commons - Atribuio - Compartilha Igual
3.0 No Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Para mais detalhes,
consulte as condies de uso.