Академический Документы
Профессиональный Документы
Культура Документы
Os argumentos dedutivos bem formados chamam-se argumentos vlidos. Usando as letras p e q em representao de duas frases, a forma dedutiva mais simples :
Se [frase p], ento [frase q]. [Frase p]. Logo, [frase q].
Ou, mais sucintamente:
Se p, ento q. p. Logo, q.
Esta forma chama-se modus ponens (o modo de pr: ponha p, fique com q). Se p representar no h fatores de sorte no xadrez e q o xadrez depende unicamente do talento dos jogadores, o nosso exemplo introdutrio um caso de modus ponens. Verifique-o. Muitas vezes um argumento destes to bvio que no precisa de ser formulado como um modus ponens. Uma vez que os otimistas tem mais hipteses de terem sucesso do que os pessimistas, devias ser otimista. Este argumento pode escrever-se assim: Se os otimistas tem mais hipteses de terem sucesso do que os pessimistas, devias ser otimista. Os otimistas tem mais hipteses de terem sucesso do que os pessimistas. Logo, devias ser otimista. No entanto, o argumento perfeitamente claro sem o pormos nesta forma. Outras vezes, no entanto; til escrevermos o modus ponens: Se existem milhes de planetas habitveis na nossa galxia, ento parece provvel que a vida se tenha desenvolvido em mais do que um planeta. Existem milhes de planetas habitveis na nossa galxia. Logo, parece provvel que a vida tenha evoludo em mais do que um planeta. Para desenvolvermos este argumento temos de defender e explicar ambas as premissas e elas requerem argumentos bastante diferentes (porqu?). E til formul-los clara e separadamente desde o incio.
Modus tollens
Uma segunda forma vlida o modus tollens (o modo de tirar: tire q, tire p):
Se o co no conhecesse bem o visitante, teria ladrado. O co no ladrou. Logo, o co conhecia bem o visitante. Para escrever este argumento em smbolos, use-se c para o co no conhecia bem o visitante e l para o co ladrou.
Silogismo hipottico
Uma terceira forma vlida o silogismo hipottico:
Por exemplo: Se estudarmos outras culturas, percebemos a enorme variedade de costumes humanos que existem. Se percebermos a enorme variedade de costumes humanos que existem, colocamos em causa os nossos prprios costumes. Logo, se estudarmos outras culturas, colocaremos em causa os nossos prprios costumes. Usando as letras em itlico para simbolizar as frases que compem esta afirmao, temos:
Silogismo disjuntivo
Uma quarta forma vlida o silogismo disjuntivo:
p ou q. No-p. Logo, q.
Considere, por exemplo, o argumento de Bertrand Russell discutido na regra 2: Ou temos esperana no progresso atravs do aperfeioamento da moral, ou temos esperana no progresso atravs do aperfeioamento da inteligncia. No podemos ter esperana no progresso atravs do aperfeioamento da moral. Logo, temos de ter esperana no progresso atravs do aperfeioamento da inteligncia. Usando mais uma vez as letras em itlico como simbolos, este argumento fica:
m ou i. No-m. Logo, i.
Em portugus a palavra ou pode ter dois sentidos. No seu sentido exclusivo, a palavra ou na frase a ou b quer dizer que ou a verdadeira ou b verdadeira, mas no ambas. No seu sentido inclusivo, a ou b quer dizer que ou a ou b verdadeira e, possivelmente, ambas so verdadeiras. Os silogismos disjuntivos so vlidos independentemente do sentido dado a ou. Mas no sentido exclusivo de ou podemos tambm argumentar:
p ou q. p. Logo, no-q.
Uma vez mais, esta forma s vlida com o sentido exclusivo de ou. Suponha, por exemplo, que algum argumenta: S o Pedro ou o Joo poderiam ter cometido to terrvel ao. O Joo cometeu a; logo, o Pedro no a cometeu. A inocncia de Pedro depende do que quer dizer a palavra ou na primeira frase. Se a terrvel ao fosse algo que s uma pessoa pudesse ter feito, ento a palavra ou exclusiva e o argumento vlido. No entanto, se a ao pudesse ter sido uma realizao conjunta, ento o ou inclusivo, e a culpa do Joo no prova a inocncia do Pedro.
Dilema
Uma quinta forma vlida o dilema.
Reductio ad absurdum
H uma estratgia dedutiva tradicional que merece uma referncia especial, apesar de, rigorosamente falando, ser apenas uma verso do modus tollens. E a reductio ad. absurdum, ou seja, a reduo ao absurdo. A demonstrar: p. Assuma-se: no-p (isto , que p falso). Da assuno derive-se: q. Demonstre-se: q falso (contraditrio, pateta, absurdo). conclua-se: p. Os argumentos por reductio, como so freqentemente denominados, estabelecem, pois, as respectivas concluses mostrando que a negao da concluso conduz ao absurdo. Nada mais nos resta fazer, sugere o argumento, seno aceitarmos a concluso. Recorde, por exemplo, o argumento para a existncia de um criador discutido na regra 12. As casas tm criadores, afirma o argumento, e o mundo como uma casa tambm ele ordenado e belo. Assim, sugere a analogia, tambm o mundo tem de ter um criador. Na regra 12 citamos David Hume para mostrarmos que o mundo no semelhante a uma casa de forma relevante para que esta analogia resulte. Na parte V dos Dilogos Hume sugere tambm uma reductio ad absurdum da analogia. Parafraseando: Suponhamos que o mundo tem um criador, tal como uma casa tem um criador. Acontece que, quando as casas, no so perfeitas, sabemos quem devemos culpar: os arquitetos e os pedreiros que as criaram. Mas o mundo no tambm totalmente perfeito. Logo, parece seguir-se que o criador do mundo, Deus, tambm no perfeito. Consideramos, porm, esta concluso absurda. Contudo, a nica maneira de evitarmos este absurdo rejeitarmos a suposio que a ele conduz. Logo, o mundo no tem um criador. Formulado na forma da reductio, temos: A demonstrar: O mundo no tem um criador. Assuma-se: O mundo tem um criador, tal como uma casa tem um criador. Da assuno segue-se: Deus imperfeito (porque o mundo imperfeito). Mas: Deus no pode ser imperfeito. Logo: O mundo no tem um criador. claro que nem todas as pessoas achariam absurda a idia de um deus imperfeito, mas Hume sabia que os cristos com quem estava a argumentar no aceitariam tal idia.
razo iria estao, de correios se no fosse para enviar um telegrama? Elimine todos os outros fatores e o que restar ter de ser a verdade16. Exprimindo a deduo de Holmes com premissas mais explcitas, temos: 1. Watson tem um pouco de terra avermelhada nos sapatos. 2. Se Watson tem um pouco de terra avermelhada nos sapatos, ento esteve na estao de correios de Wigmore Street esta manh (uma vez que l e s l que existe terra avermelhada daquele tipo, disposta de uma maneira que difcil evitar pis-la). 3. Se Watson foi esta manh estao de correios de Wigmore Street, ento ou enviou uma carta, ou comprou selos ou postais, ou enviou um telegrama. 4. Se Watson tivesse ido estao de correios para enviar uma carta, t-la-ia escrito esta manh. 5. Watson no escreveu qualquer carta esta manh. 6. Se Watson tivesse ido estao de correios para comprar selos ou postais, no teria uma gaveta da secretria cheia de selos e postais. 7. Watson tem uma gaveta da secretria cheia de selos e postais. 8. Logo, esta manh Watson enviou um telegrama da estao de correios de Wigmore Street. Precisamos agora de dividir o argumento numa srie de argumentos vlidos segundo as formas simples apresentadas nos pontos 24-29. Podemos comear com um silogismo hipottico: 2. Se Watson tem um pouco de terra avermelhada nos sapatos, ento esteve esta manh na estao de correios de Wigmore Street. 3. Se Watson foi esta manh estao de correios de Wigmore Street, ento ou enviou uma carta, ou comprou selos ou postais, ou enviou um telegrama. A. Logo, se Watson tem um pouco de terra avermelhada nos sapatos, ou enviou uma carta, ou comprou selos ou postais, ou enviou um telegrama da estao de correios de Wigmore Street esta manh. (Usarei A, B, etc., no lugar de concluses de argumentos simples, que, por sua vez, podero ser usadas como premissas para tirar outras concluses.) Com A e 1 podemos usar agora o modus ponens: A. Se Watson tem um pouco de terra avermelhada nos sapatos, ento ou enviou uma carta, ou comprou selos ou postais, ou enviou um telegrama da estao de correios de Wigmore Street esta manh 1. Watson tem um pouco de terra avermelhada nos sapatos. B. Logo, Watson ou enviou uma carta, ou comprou selos ou postais, ou enviou um telegrama da estao de correios de Wigmore Street esta manh. Duas destas trs possibilidades podem agora ser afastadas, ambas por modus tollens. 4. Se Watson tivesse ido estao de correios para enviar uma carta, teria escrito a carta esta manh. 5. Watson no escreveu qualquer carta esta manh. C. Logo, Watson no foi estao de correios para enviar uma carta. e: 6. Se Watson tivesse ido estao de correios para comprar selos ou postais, no teria uma gaveta da secretria cheia de selos e postais. 7. Watson tem uma gaveta da secretria, cheia de selos e postais. D. Logo, Watson no foi estao de correios para comprar selos ou postais. Finalmente, temos: B. Ou Watson enviou esta manh uma carta, ou comprou selos ou postais, ou enviou um telegrama da estao de correios de Wigmore Street. C. Watson no foi estao de correios para enviar urna carta. D. Watson no foi estao de correios para comprar selos ou postais. 8. Logo, esta manh Watson enviou um telegrama da estao de correios de Wigmore Street. Esta ltima inferncia um silogismo disjuntivo expandido. Elimine todos os outros fatores e o que restar ter de ser a verdade.