Вопреки распространенному убеждению о сущности дедуктивного метода, Холмс первым делом обращает внимание не на детали, а на общие гипотезы.
В обсуждаемом сюжете он рассматривает две версии, с его точки зрения, имеющие наибольший вероятностный вес, «бандиты» (версия 1) и «домочадцы» (версия 2).
Откуда берётся вторая версия?
Это элементарно. Из криминалистического опыта Холмса, конечно. (И из колонки криминальной хроники в The Times, которую любил почитывать сэр Артур Конан Дойл.)
Ему, как и любому реальному сыщику, хорошо известно, что большинство преступлений против личности совершаются вследствие конфликтов между близкими и/или родственниками. «Домашние» убийства происходят чаще, чем убийства с участием посторонних лиц.
Значит, приоритет у версии 2, а не у версии 1.
Выбрав наиболее вероятную версию, Холмс устанавливает, в общем и целом, её соответствие наблюдаемым условиям. И, не тратя время на другие, исследует (проверяет) только это предположение.
Поскольку в итоге все доказательства и улики подтвердили версию 2, она (по решению Холмса) была признана истиной и (по замыслу Конана Дойла) оказалась истиной на самом деле.
Шаблонное мышление Холмса можно описать также в терминах бинарной логики.
После того, как сыщик с Бейкер-стрит в уме ранжирует гипотезы и оставляет самую вероятную, он создает бинарную оппозицию элементов: «да» и «нет». Получаются пары: «домашнее убийство» и «не домашнее убийство»; «домочадцы» и «не домочадцы».
Далее, в соответствие с правилами Буля, надо произвести «логическое умножение». Получается истинное высказывание или основная версия: «Домашние» убийства совершаются домочадцами.
Далее, в соответствие с правилами Буля, надо произвести «логическое умножение». Получается истинное высказывание или основная версия: «Домашние» убийства совершаются домочадцами.
Ложные высказывания, т.е. другие версии (не «домашние» убийства совершаются домочадцами; «домашние» убийства совершаются не домочадцами; не «домашние» убийства совершаются не домочадцами), отбрасываются. (Заметим, что одно из этих ложных высказываний «домашние убийства совершаются не домочадцами» по содержанию включает в себя версию, которую исследуют полицейские: «Бандиты совершают домашние убийства». )
Выбранная Холмсом основная версия мысленно подкрепляется статистическим анализом (вероятность, стремящаяся к 100%), поэтому оговорка «чаще всего» в дедуктивной/бинарной логике устраняется.
Это необходимо для дальнейших вычислений, чтобы произвести «логическое сложение» основной версии с результатами исследования уликами и свидетельствами. Которые тоже подчинены бинарной логике: «подтверждает основную версию» или «не подтверждает основную версию».
По сюжету рассказа общий баланс оказался в пользу «подтверждает», так что первоначальная гипотеза сыщика стала истиной.
Таким образом, Шерлок Холмс дедуктивный автомат, перерабатывающий оформленные в бинарных оппозициях данные.
Приведенный пример абдуктивного рассуждения для расследования убийства в Эбби-Грейндж, на первый взгляд, выглядит громоздко в сравнении с методом Холмса.
Пусть вас это не смущает.
Не будем забывать, что речь идёт о художественном произведении. В то время как действительность полна нюансов и оттенков.
Реальные детективы начали бы с того же, что и Шерлок Холмс исследовали бы наиболее вероятную в данных обстоятельствах версию. Но параллельно изучались бы и другие гипотезы (отсюда это неуверенное «чаще всего»). Которые могли быть проверены как индуктивно, так и дедуктивно.
Однако, если б убийство в Эбби-Грейндж было совершено не домочадцами и не бандитами (т.е. произошёл нетипичный случай), реальные сыщики продолжили бы расследование и, рано или поздно, преуспели. А, вот, знаменитый детектив растерялся бы. Ведь тогда пришлось генерировать новые гипотезы: воображать, фантазировать. Чего он явно делать не любил.
Всё, что мы сказали о приёмах логического рассуждения, обобщено в таблице 6.
Мендель применил бинарную логику для подходящего в данном случае объекта: общая закономерность в передаче между поколениями основного и альтернативного признака. Бинарная кодировка действительно многое объясняет в механизме генетического наследования.
Холмс использовал бинарную логику для объяснения сложных объектов. Таких, как мотивы и поступки людей. В выдуманных литературных сюжетах это работает, а в реальной жизни нет. Что, судя по всему, отлично понимал и сам Конан Дойл, которому его персонаж довольно быстро наскучил.
Поэтому Грегор Мендель умница, а Шерлок Холмс тупица.
Computor и Computer
Несмотря на то, что на рубеже XIX и XX столетий научный авторитет механической парадигмы оставался на очень высоком уровне, идея вычисляемой дискретности постепенно и неотступно завоевывала своё место под солнцем.
Биологи «вдруг» обнаружили, что в описанных Грегором Менделем закономерностях есть полезный смысл, а образованная публика зачитывалась историями о приключениях Шерлока Холмса.
В физике, как мы обсуждали в предыдущей главе, одна за другой стали появляться корпускулярные модели атома; а Эйнштейн объяснил фотоэффект, исходя из дискретной природы света.
В математике у новой парадигмы была своя история.
Джордж Буль, попытавшись облечь законы мышления в математическую форму, указал на возможность вывода аксиом общих истин, на которые впоследствии можно опереться при построении цепочки доказательств.
В подглаве о бинарной логике мы обозначили одну из таких аксиом: закон снятия двойного отрицания. В математике этот закон преобразуется в порядок доказательств, известный как «доказательство от противного».
Например, требуется доказать, что 17 нечётное число.
Допустим, что 17 чётное число (отрицание). По определению чётных чисел, 17 должно делиться на 2 без остатка. Выполнив деление, получаем остаток. Значит, 17 не является чётным числом (отрицание отрицания) и является нечётным числом (снятие двойного отрицания = истина).
Допустим, что 17 чётное число (отрицание). По определению чётных чисел, 17 должно делиться на 2 без остатка. Выполнив деление, получаем остаток. Значит, 17 не является чётным числом (отрицание отрицания) и является нечётным числом (снятие двойного отрицания = истина).
На самом деле, конечно, нечётность числа 17 следует из его определения: доказательство от противного кажется лишним. Но тут важно зафиксировать, как работают аксиомы в математике и в логике. Иногда, для более сложных случаев, удобнее идти в обход.
Математик Георг Кантор в 1891 году предложил первую версию теории множеств. Об этой теории мы поговорим подробнее в главе 6. А здесь укажем на некоторые её особенности в связи с бинарной логикой.
Вообще для бинарной логики существует простейшее множество {0; 1}, в котором всего два элемента: 0 и 1. Из этого множества можно построить четыре бинарные последовательности: 1,1; 0,1; 1,0; 0,0.
В теории множеств последовательность элементов и их значение не играет никакой роли. Например, множества {0; 1} и {1; 0} равны (эквивалентны).
В логике и в генетике, как мы убедились, это не так. Важно не только сочетание элементов, но и смысл, который мы им присваиваем (например, «1» может быть «истиной» или «рецессивным признаком»).
Однако важнейшее достоинство теории множеств состоит в её универсальности.
Множества могут быть любыми: конечными, как {0; 1}, и бесконечными если, например, взять ряд натуральных чисел. Из этого, более мощного, множества можно построить те же четыре бинарные последовательности.
Следовательно, одни множества являются подмножествами других множеств: более мощных, конечных и бесконечных. Тогда, например, все возможные логические высказывания есть подмножество всех высказываний на данном языке, а все гены человека подмножество всех генов человечества.
Некоторые математики были настолько очарованы теорией множеств, что посчитали возможным создать универсальную аксиоматическую математику (и логику заодно). Их назвали «формалистами».
К ним принадлежал, например, великий математик Давид Гильберт, попытавшийся обосновать тезис о существовании в математике абсолютных истин и/или аксиом. Если б замысел Гильберта удался, то вывод математических теорем в наши дни стал бы рутинным заданием в младшей школе.
С формальным подходом не согласились «интуиционисты», посчитавшие абстракции вроде бесконечных множеств бесполезными развлечениями и требовавшие конструирования цепочек непротиворечивых доказательств любых математических объектов.
Такой взгляд, в частности, выражал другой величайший математик Анри Пуанкаре. Начальной точкой рассуждений он признавал догадку. Которая выносилась на суд коллег-учёных и, если они с ней соглашались, становилась конвенцией. Само собой, что конвенция никакой абсолютной истиной не является (это результат договорённости, подобно тому, как Джордж Буль предлагал прежде всякого исследования определить, что считать фактом). Но это несущественно, так как догадка в любом случае будет подвергнута проверке.
Таким образом, у формалистов закон снятия двойного отрицания и доказательство от противного считались аксиомами, а у интуиционистов не считались таковыми.
Условно говоря: спорили о том, можно или нельзя при разборе классического силлогизма опровергнуть/вычислить высказывание «Все не люди не смертны». При том, что «Все люди смертны» истина.
Или: число 17 нечётное по определению (мы договорились считать его таковым), или оно нечётное, потому что это можно доказать от противного (принимаем закон снятия двойного отрицания как абсолютную истину).
Дискуссия заставила математиков задуматься над более серьёзной проблемой: говоря о вычислимой или невычислимой истине, что мы подразумеваем под вычислением?
Состоит ли математика в действительности из дискретных кусочков-высказываний, которые мы комбинируем в разнообразные аксиомы и теоремы?
Или, скажем, под законом снятия двойного отрицания есть более фундаментальный, логический или математический, закон?
В 1931 году математический вундеркинд Курт Гёдель обнародовал свою знаменитую «теорему о неполноте арифметики».
Её следствия, в общем и целом, дали ответы на сформулированные выше вопросы. А эти ответы, в свою очередь, обеспечили неизбежность создание главного символа цифровой парадигмы компьютера.