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