Abducción

Es un procedimiento de prueba indirecta, semidemostrativa, en el cual la premisa mayor es evidente, la menor en cambio es sólo probable o de todos modos más fácilmente aceptada por el interlocutor que la conclusión que se quiere demostrar. Si bien se trata en sustancia de un procedimiento dialéctico más que apodíctico, ya había sido admitido por Platón para la matemática y llegaría asimismo a ser aprobado como método de demostración matemática por Proclo.
Peirce ha introducido el término abduction o retroduction para indicar el primer momento del proceso inductivo, que es el de la elección de una hipótesis que pueda servir para explicar determinados hechos empíricos.