ABDUÇÃO
(lat. Reductio; in. Abduction; fr. Abduction; al. Abduction; it. Abduzione).
É um processo de prova indireta, semi-demonstrativa (teorizado por Aristóteles em Top., VIII, 5, 159 b8, e 160 a 11 ss.; An. pr, II, 25, 69 a 20 ss.), em que a premissa maior é evidente, porém a menor é só provável ou de qualquer forma mais facilmente aceita pelo interlocutor do que a conclusão que se quer demonstrar. Embora se trate de um processo mais dialético do que apodítico, já fora admitido por Platão (cf. Men., 86 ss.) para a matemática, e também será sancionado como um dos métodos de demonstração matemática por Proclo (In Eucl, 212, 24).
Peirce introduziu o termo abduction (ou retroduction) para indicar o primeiro momento do processo indutivo, o da escolha de uma hipótese que possa servir para explicar determinados fatos empíricos (Coll. Pap., 2.643).