Método dedutivo

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Método dedutivo é a modalidade de raciocínio lógico que faz uso da dedução para obter uma conclusão a respeito de determinada(s) premissa(s).

A indução normalmente se contrasta à dedução.

Essencialmente, os raciocínios dedutivos se caracterizam por apresentar conclusões que devem, necessariamente, ser verdadeiras caso todas as premissas sejam verdadeiras se o raciocínio respeitar uma forma lógica válida.

Partindo de princípios reconhecidos como verdadeiros (premissa maior), o pesquisador estabelece relações com uma segunda proposição(premissa menor) para, a partir de raciocínio lógico, chegar à verdade daquilo que propõe (conclusão).

O que é uma dedução?[editar | editar código-fonte]

Uma dedução é uma espécie de argumento no qual a forma lógica válida garante a verdade da conclusão se as premissas forem verdadeiras. Por exemplo: Temos duas premissas verdadeiras: "P1:Todos os homens são mortais"/ "P2:Sócrates é homem Logo, z é y" Veja que as duas premissas obedecem à uma forma lógica válida. Se a conclusão for "Logo, Sócrates é mortal (Logo, z é y)", então temos uma dedução.


É comum definir erradamente que na dedução inferimos uma conclusão particular de premissas gerais (o famoso do geral para o particular). Isto é falso. Esse tipo de pensamento existe porque muitas pessoas só conhecem UM tipo de dedução.[1]

"TODO x é y. z é x. Logo, z é y"


O problema é que existem deduções cujas premissas maiores são iniciadas por condicionais e não partem necessariamente de premissas gerais, como os modus tollens e ponens:

Modus ponens "Se P, então Q. P. Portanto Q."

Modus tollens "Se P, então Q. Q é falso. Logo, P é falso." [2]


Exemplo de modus ponens que não parte de premissas gerais: "Premissa 1:Se Lula nasceu em Caetés, nasceu em Pernambuco. Premissa 2:Lula nasceu em Caetés. Conclusão:Logo, Lula nasceu em Pernambuco."

Referências

Ícone de esboço Este artigo sobre Lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.