A abdução é uma das três formas de argumento lógico. As outras duas são
a dedução e
a indução .
A dedução é a forma familiar de raciocínio silogístico na qual, a partir de premissas verdadeiras, pode-se derivar conclusões necessariamente verdadeiras seguindo as regras da lógica dedutiva. Se todos os M são P, e S é M, então S é P.
A indução extrai conclusões incertas a partir de múltiplos exemplos. Por exemplo, se todos os cisnes observados são brancos, uma conclusão indutiva é "todos os cisnes são brancos". Ou, se dois terços das vacas observadas são marrons, assume-se que a probabilidade de outra vaca ser marrom seja de dois terços. Esta é a definição frequentista de probabilidade.
Se um pote contém 100 bolas, 60 pretas e 40 brancas, então a probabilidade de retirar uma bola preta é 0,6. Esta é uma probabilidade a priori e está relacionada à indução enumerativa ou exaustiva. Se você sabe que todos os cisnes no lago são brancos, a conclusão "todos os cisnes neste lago são brancos" é verdadeira.
A abdução como forma de raciocínio é relativamente recente. Charles Sanders Peirce denominou abdução o ato de inferir uma premissa a partir de uma conclusão. Por exemplo, visto que se chove, a grama fica molhada, pode-se abduzir (hipotetizar) que provavelmente choveu.
Em termos estritos, o raciocínio abdutivo é falacioso, um erro lógico. Mas Peirce argumentou que esse tipo de raciocínio evoluiu nos seres humanos, que se tornaram hábeis em selecionar a melhor hipótese para explicar a condição.
Peirce identificou seu sequestro com o método científico de hipótese-dedução-observação-experimento. Nesse caso, o cientista formula diversas hipóteses para explicar algumas observações. Uma vez formulada a hipótese, a dedução é utilizada para prever outras consequências lógicas. Os experimentos, então, estabelecem a veracidade ou falsidade dessas consequências.
Note que, se as deduções preveem fenômenos previamente desconhecidos, as consequências confirmadas não fazem parte dos fenômenos originais que levaram à hipótese (geralmente indutivamente). Fenômenos recém-previstos (descobertos) têm mais peso do que aqueles originalmente conhecidos.
Peirce sabia que as hipóteses não precisam ser formuladas por indução. Elas podem ser apenas intuições, palpites fortuitos ou, como Einstein as chamou mais tarde, "criações livres da mente humana". Sua origem não importa (falácia genética). A "verdade" de uma hipótese reside em sua verificação experimental e poder explicativo .