Академический Документы
Профессиональный Документы
Культура Документы
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:
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:
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.
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:
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...".
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)
Modus Ponens
Forma de argumento dedutivo vlido, tambm chamada de "afirmao do antecedente". Considere o exemplo:
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.
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:
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.
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:
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"
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.