ABDUÇÃO

1) Na lógica, espécie de silogismo, cuja maior é certa, tendo a menor um caráter apenas provável. A conclusão, portanto, tem o mesmo grau de probabilidade da menor, como, por exemplo, A é B; C é provavelmente A; logo C é provavelmente B.
2) Este termo, assim estritamente definido por Aristóteles, encontrou uma interpretação mais ampla, tornando-se por abdução qualquer raciocínio, cuja conclusão é meramente provável.
3) A abdução é chamada também "raciocínio apagógico".
4) Chama-se em lógica abdução, quando os dois termos da menor estão separados um do outro por um número menor de intermediários do que os dois termos da conclusão, porque, então, é mais curto e mais fácil demonstrar a menor, de onde resultará a certeza da conclusão, do que demonstrar diretamente a própria conclusão. Aristóteles dá o exemplo de uma abdução. Maior certa: a ciência pode ser ensinada. Menor menos provável que a conclusão: a justiça é uma ciência. Conclusão mais incerta em si mesma que a menor, mas que torna, pelo silogismo, tão provável quanto ela: logo, a justiça pode ser ensinada.