Абдуктивный вывод Холмс жестко отделяет от гадания на том основании, что последнее по своей природе не выводом из фактов, более того не нуждается в них и никогда не стремится к их установлению. Согласно первому правилу «науки дедукции» выдвижению версии обязательно должен предшествовать процесс поиска и анализа фактов. «Но это не просто догадка? (вопрос Уотсона Холмсу. – В. С.) – Разумеется, нет. Я никогда не гадаю. Очень дурная привычка: действует гибельно на способность логически мыслить» (Знак четырех).
2.2. «Наука дедукции» как искусство дедукции необходимых следствий
Изобретателем теории дедукции считается древнегреческий философ и логик Аристотель (384–322 до н. э.). Созданная им теория силлогизма представляет исторически первую теорию дедуктивного вывода. Аристотелю мы обязаны пониманием основного назначения дедукции – вывода необходимых следствий, а также ее основного закона.
Вывод необходимых следствий, называемых заключением, из какой-либо мысли, называемой посылкой, проводится, как правило, для: (1) развития ее содержания; (2) объяснения с ее помощью каких-нибудь фактов; (3) извлечения решающих для ее обоснования предсказаний.
Допустим, дана посылка «это число равно 4». Сформулируем два следствия – «это число справедливое» и «это число четное». На вопрос, какое из них следует признать необходимым относительно приведенной посылки, большинство читателей (за исключением, может быть, последователей Пифагора), ответят – второе. Этот ответ будет верным, потому что из отрицания первого следствия не следует с необходимостью ни истинность, ни ложность посылки. А из отрицания второго следствия необходимо следует ложность посылки.
Приведем наши рассуждения в более строгой форме:
Если это число равно 4, то оно несправедливое; но оно несправедливое; следовательно, данное число может быть равным как 4, так и любому другому числу.
Если это число равно 4, то оно четное; но оно нечетное; следовательно, это число не равно 4.
Законом дедукции, следовательно, служит следующее требование: