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