То, что Вы процитировали про Сократа из википедии, это сложное преобразование, состоящее из двух операций:
1. Нахождение обратной операции X = R'(Y);
2. Дедукция, то есть подстановка конкретного Y в операцию R'(Y) для вычисления X.
Так как не всякая функция R имеет однозначную обратную функцию R', то это ведет к неудобным последствиям (то Вася, то не Вася), отсюда: считать это абдуктивным выводом ошибочно. Именно поэтому я передавал привет древнегреческим философам, не надо мыслить также как они.
Если быть точным, то вот это индукция
Автор: Михайло
Сократ - человек (X) Сократ смертен (Y) Остальные люди такие же как Сократ (H) ================> Все люди смертны (R) |
|
Абдукция - это вот это:
0 -> H, то есть генерация гипотезы на пустом месте, но не всякой, а той, которая дополняет информацию до полноты.
[нет сведений]
===================>
Остальные люди такие же как Сократ (H)
Далее логично произвести индукцию X,Y,H -> R(H), хотя это необязательно.