O raciocínio dedutivo é um processo lógico no qual uma conclusão é baseada na concordância de múltiplas premissas que são geralmente assumidas como verdadeiras. O raciocínio dedutivo é às vezes referido como lógica de cima para baixo.
O raciocínio dedutivo baseia-se em fazer premissas lógicas e basear uma conclusão em torno dessas premissas. Ele não depende de fazer inferências, então assumindo que essas inferências são verdadeiras. O raciocínio dedutivo é uma habilidade geral importante para indivíduos de todos os tipos, pois permitirá fazer uma inferência baseada em duas ou mais informações -- uma inferência na qual se pode estar relativamente confiante.
O raciocínio dedutivo é também uma lógica proposicional em inteligência artificial (IA). Mesmo que, dadas várias regras e fatos, uma IA possa usar o raciocínio dedutivo, a IA de senso comum ainda é um desafio.
> forte>Aristóteles e o raciocínio dedutivo>>p> O filósofo grego Aristóteles, que é considerado o pai do raciocínio dedutivo, escreveu o seguinte exemplo clássico:
P1. Todos os homens são mortais.
P2. Sócrates é um homem.
- Por isso, Sócrates é mortal.
O exemplo de Aristóteles é chamado de silogismo. Um silogismo usa o raciocínio dedutivo para chegar a uma conclusão que é baseada em duas ou mais proposições que são assumidas como verdadeiras. Isto também é chamado de argumento de premissa de conclusão. As premissas do argumento lógico de Aristóteles - que todos os homens são mortais e que Sócrates é um homem - são evidentemente verdadeiras. Porque as premissas estabelecem que Sócrates é um indivíduo em um grupo cujos membros são todos mortais, a conclusão inescapável é que Sócrates deve igualmente ser mortal. Para contrariar corretamente a conclusão deste argumento, deve-se ser capaz de refutar uma das premissas.
forte> raciocínio indutivo vs. raciocínio dedutivo forte>
Enquanto o raciocínio dedutivo procede de premissas gerais para uma conclusão específica, o raciocínio indutivo procede de premissas específicas para uma conclusão geral. Enquanto o raciocínio dedutivo é uma lógica de cima para baixo, o raciocínio indutivo é às vezes referido como lógica de baixo para cima.
O raciocínio indutivo se baseia em inferências feitas a partir de suposições. Por exemplo, "o sol vai nascer amanhã porque o sol nasce sempre pela manhã". Outro exemplo poderia ser se uma pessoa já tivesse visto apenas pássaros brancos antes, então eles assumem que todos os pássaros são brancos. A conclusão do raciocínio indutivo é muitas vezes baseada nas evidências dadas.