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"

Agora apresentemos uma forma lógica válida:

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

Veja que as duas premissas obedecem a 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 erroneamente 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."

Raciocínio dedutivo[editar | editar código-fonte]

O raciocínio dedutivo, também chamado de lógica dedutiva ou dedução lógica ou até mesmo, informalmente, a lógica "top-down", é o processo de raciocínio a partir de uma ou mais afirmações (premissas) para chegar a uma certa conclusão lógica.


O raciocínio dedutivo liga afirmações (ou premissas) com conclusões. Se todas as premissas são verdadeiras, com termos claros (não ambíguos), e as regras da lógica dedutiva são seguidas corretamente, então a conclusão é necessariamente verdade.


O raciocínio dedutivo (lógica top-down) contrasta com o raciocínio indutivo (lógica de baixo para cima – ou bottom-up) da seguinte forma: No raciocínio dedutivo, a conclusão é obtida pela aplicação das regras gerais que mantêm sobre a totalidade de um domínio fechado de discurso, estreitando a faixa em consideração até que reste apenas a conclusão. No raciocínio indutivo, a conclusão é atingida por generalização ou extrapolação a partir de informações iniciais. Como resultado, a indução pode ser usada até mesmo em um domínio aberto, aquele em que há incerteza. Note, porém, que o raciocínio indutivo mencionado aqui não é o mesmo que a indução utilizada em provas matemáticas - Indução Matemática é na verdade uma forma de raciocínio dedutivo.

Exemplo simples[editar | editar código-fonte]

Um exemplo de um argumento dedutivo:

  1. Todos os homens são mortais.
  2. Sócrates é um homem.
  3. Portanto, Sócrates é mortal.

A primeira premissa afirma que todos os objetos classificados como "homens" têm o atributo "mortal". A segunda premissa afirma que "Sócrates" é classificado como um "homem" - um membro do conjunto de "homens". A conclusão afirma então que "Sócrates" tem de ser "mortal" porque ele herda esse atributo de sua classificação como um "homem".


Lei do desapego[editar | editar código-fonte]

A lei do desapego (também conhecida como Modus Ponens) é a primeira forma de raciocínio dedutivo. Uma única instrução condicional é feita, e uma hipótese (P) é indicado. A conclusão (Q) é então deduzida da premissa. A forma mais básica é listada abaixo:

  1. P → Q (instrução condicional)
  2. P (hipótese prevista)
  3. Q (conclusão deduzida)

No raciocínio dedutivo, podemos concluir Q a partir de P usando a lei do desapego. No entanto, se a conclusão (Q) é dada em vez de a hipótese de (P), então não há nenhuma conclusão definitiva.


O seguinte é um exemplo de um argumento usando a lei do desapego na forma de uma premissa “se”:

  1. Se um ângulo satisfaz 90 ° <A <180 °, então A é um ângulo obtuso.
  2. A = 120 °.
  3. A é um ângulo obtuso.

Uma vez que a medida do ângulo A é maior do que 90 ° e menor que 180 °, pode-se deduzir que A é um ângulo obtuso.

Lei do silogismo[editar | editar código-fonte]

A lei do silogismo leva duas premissas condicionais e forma uma conclusão, combinando a hipótese (premissas) com a conclusão. Assim:

  1. P → Q
  2. Q → R
  3. Por isso, P→ R.

Por exemplo:

  1. Se Larry está doente, então ele vai estar ausente.
  2. Se Larry está ausente, então ele vai perder a sua esco.
  3. Portanto, se Larry está doente, então ele vai perder a sua esco.

Deduzimos a conclusão, combinando a hipótese da primeira premissa com a segunda premissa. Este é um exemplo da propriedade transitiva na matemática. A propriedade transitiva às vezes é formulada da seguinte forma:

  1. A = B.
  2. B = C.
  3. Portanto A = C.

Lei da contrapositiva[editar | editar código-fonte]

A lei da contrapositiva que, em uma condicional, se a conclusão é falsa, então a hipótese deve ser falsa também. A forma geral é a seguinte:

  1. P → Q.
  2. ~ Q.
  3. Portanto, podemos concluir ~ P (~Q→~P).

Por exemplo:

  1. Se estiver chovendo, então há nuvens no céu.
  2. Não há nuvens no céu.
  3. Assim, não está chovendo.

Validade[editar | editar código-fonte]

Argumentos dedutivos são avaliados em termos de sua validade e solidez.

Um argumento é válido se for impossível para as suas premissas serem verdadeiras, enquanto a sua conclusão é falsa. Em outras palavras, a conclusão deve ser verdadeira se as premissas são verdadeiras.


Um argumento é válido se ele é válido e as premissas são verdadeiras. É possível ter um argumento dedutivo que é logicamente válido, mesmo que não pareça ser ao ouvir. Argumentos falaciosos muitas vezes tomam esta forma.


O seguinte é um exemplo de um argumento que é válido, mesmo que não soe:

  1. Todo mundo que come cenouras é um quarterback.
  2. John come cenouras.
  3. Portanto, João é um zagueiro.

No exemplo acima a primeira premissa é falsa - há pessoas que comem cenouras e não são quarterbacks - mas a conclusão deve ser verdadeira, desde que as premissas sejam verdadeiras (ou seja, é impossível que as premissas sejam verdadeiras e a conclusão falsa). Portanto, o argumento é válido, mas não parece. Generalizações são muitas vezes utilizados para fazer argumentos inválidos, como "todo mundo que come cenouras é um quarterback." Nem todo mundo que come cenouras é um quarterback, provando assim a falha de tais argumentos.


Neste exemplo, a primeira declaração usa o raciocínio categórico, dizendo que todos os comedores de cenoura são definitivamente quarterbacks. Esta teoria do raciocínio dedutivo - também conhecida como lógica de termos - foi desenvolvida por Aristóteles, mas foi substituída pela lógica proposicional (sentencial) e lógica de predicados.


O raciocínio dedutivo pode ser contrastado com o raciocínio indutivo, no que diz respeito à validade. No raciocínio indutivo, embora as premissas sejam verdadeiras e o argumento é "válido", é possível que a conclusão seja falsa.


Educação[editar | editar código-fonte]

O raciocínio dedutivo é geralmente considerado como uma habilidade que se desenvolve sem qualquer ensino formal ou de formação. Como resultado dessa crença, habilidades de raciocínio dedutivo não são ensinados nas escolas secundárias, onde se espera que os alunos usem o raciocínio com mais freqüência e em um nível superior. É na escola, por exemplo, que os alunos tenham uma introdução abrupta de provas matemáticas - que dependem muito de raciocínio dedutivo.

Referências

Este artigo foi é fruto de uma tradução do artigo Deductive reasoning ([[1]])

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