Лекция 6. Гипотезы и проверки: как не гадать

Мы умеем локализовать место и докапываться до корня. Но чем на каждом шаге отличается диагност от паникёра, который тычет наугад? Способом думать. Диагност работает гипотезами: выдвигает предположение о причине, выводит из него проверяемое следствие и ставит опыт — подтвердилось или нет. Это, по сути, научный метод в миниатюре, применённый к сломавшейся вещи. Именно он отделяет рассуждение от гадания: гадальщик пробует починку за починкой в надежде на удачу, а диагност каждый раз спрашивает «если я прав, что я должен увидеть?» — и идёт смотреть. Сегодня разберём эту петлю «гипотеза — проверка»: как выдвигать хорошие версии, как строить проверки, которые действительно что-то решают, и почему опровергать свою догадку важнее, чем подтверждать.

1. Гадание против гипотезы

Со стороны гадание и работа гипотезами похожи: и там, и там человек что-то предполагает и что-то делает. Разница — в наличии проверяемого предсказания. Гадальщик рассуждает так: «наверное, дело в детали Х — заменю-ка её». Заменил — заработало? Повезло. Не заработало? Пробую деталь Y. Это перебор наугад: каждая попытка — выстрел вслепую, и, даже когда «попал», непонятно почему. Диагност рассуждает иначе: «если причина в детали Х, то на выходе должен быть вот такой признак; проверю признак, не трогая деталь». Он сперва проверяет догадку наблюдением, а меняет уже наверняка.

Ключевое слово — предсказание. Гипотеза, в отличие от простой догадки, всегда влечёт следствие: если она верна, то что-то определённое должно быть истинным, что можно проверить отдельно. Именно это превращает предположение в инструмент. «Дело в перегреве» — пока просто догадка; «если дело в перегреве, то сбой уйдёт, когда я остужу устройство» — уже гипотеза с проверкой. Разница огромна на практике: гадание меняет детали и надеется, часто ломая по дороге исправное; работа гипотезами сначала проверяет, потом чинит наверняка. Поэтому первое, чему учится диагност, — не хвататься за отвёртку по первому подозрению, а превращать подозрение в предсказание и проверять его. Как устроен этот цикл — разберём дальше.

2. Петля диагноста

Работа гипотезами — это цикл, петля, по которой диагност ходит круг за кругом, пока не найдёт причину. На схеме показаны её четыре шага. Наблюдаю: собираю улики — что именно сломано, при каких условиях, что рядом. Выдвигаю гипотезу: на основе улик предполагаю причину — «похоже, дело в том-то». Предсказываю следствие: спрашиваю себя, а что должно быть верно, если моя гипотеза права, — какой признак, симптом, результат обязан присутствовать. Проверяю: иду и смотрю, есть этот признак или нет.

Дальше — развилка, и в ней вся соль. Если предсказание сбылось — гипотеза подтвердилась, причина найдена (или сильно сузилась). Если не сбылось — гипотеза опровергнута, и это тоже ценно: одну версию можно вычеркнуть и выдвинуть следующую. Петля замыкается, и мы идём на новый круг с новой гипотезой — но уже умнее, ведь одна версия отпала. Так, круг за кругом, поле подозрений сужается, пока не останется истинная причина. Заметьте: этот цикл — та же логика, что движет наукой (наблюдение, гипотеза, предсказание, эксперимент), только в масштабе одной поломки. И работает она не только с техникой: врач так ставит диагноз, детектив так раскрывает дело, учёный так познаёт мир. Освоив петлю «наблюдаю — предполагаю — предсказываю — проверяю», вы получаете универсальный движок разгадывания, а не только починки. Дальше рассмотрим её главные шаги подробнее — начиная с самого важного, с предсказания.

3. Предсказание — сердце проверки

Самый важный и самый упускаемый шаг петли — предсказание. Именно оно превращает гипотезу в нечто проверяемое. Без предсказания гипотеза бесполезна: если из неё не следует ничего, что можно пойти и проверить, то её нельзя ни подтвердить, ни опровергнуть, а значит, и толку от неё нет. Хорошая гипотеза всегда высовывает наружу «крючок» — конкретное следствие, за которое можно ухватиться и проверить.

Строится предсказание по схеме «если… то…»: если причина в этом, то должно наблюдаться то-то. «Если проблема в засоре трубы, то давление до засора должно быть нормальным, а после — упавшим». «Если сайт тормозит из-за базы данных, то при отключённой базе он должен летать». «Если ребёнок кашляет из-за аллергии, то вне дома, где нет аллергена, кашель должен утихать». Видите структуру? Каждое предсказание указывает конкретное наблюдение, которое либо подтвердит гипотезу, либо убьёт её. Чем острее и конкретнее предсказание, тем полезнее проверка: расплывчатое «должно стать как-то по-другому» ничего не решает, а чёткое «давление после засора должно упасть ниже такого-то» — решает. Поэтому, выдвинув гипотезу, не бросайтесь сразу её «лечить» — сначала спросите себя: а что из неё следует? что я должен увидеть, если она верна, и, важнее, чего я не должен увидеть? Ответ и подскажет, какую проверку ставить.

4. Проверка, которая различает

Не всякая проверка одинаково полезна. Самые ценные — те, что различают версии: их исход указывает, какая из конкурирующих гипотез верна. На это стоит смотреть при выборе, что проверять.

Как показывает схема, идеальная проверка устроена так: если признак есть — права одна версия, если нет — другая. Как бы она ни легла, вы вычёркиваете одну из гипотез, то есть гарантированно узнаёте что-то определённое. А вот проверка, при которой обе версии предсказывают один и тот же результат, — пустая трата времени: что бы вы ни увидели, обе гипотезы останутся в игре, и вы не сдвинетесь ни на шаг. Отсюда практический навык: перед каждой проверкой спросите себя — а что мне скажут её разные исходы? Если и «да», и «нет» одинаково совместимы со всеми моими версиями, проверку делать незачем, придумайте другую — ту, что разведёт версии. Это, по сути, знакомое нам половинное деление, но перенесённое с узлов системы на пространство гипотез: хорошая проверка делит множество версий примерно пополам, отсекая разом много неверных. Диагноста узнают не по числу проверок, а по их качеству: он делает мало проверок, но каждая режет неизвестность. Прежде чем что-то проверять или менять, привыкните спрашивать: какую версию это подтвердит, а какую убьёт? Если ответ «никакую» — не тратьте на это силы.

5. Пытайся опровергнуть

Теперь самое контринтуитивное и самое важное правило работы с гипотезами: старайтесь свою догадку не подтвердить, а опровергнуть. Звучит странно — мы же хотим найти причину, зачем рушить собственную версию? Но именно попытка опровержения делает проверку надёжной. Дело в коварной особенности нашего ума: полюбив гипотезу, мы бессознательно ищем то, что её подтверждает, и не замечаем того, что ей противоречит. Это называется склонностью к подтверждению, и она — злейший враг диагноста (о ней и других ловушках ума будет отдельная лекция).

Почему опровержение сильнее подтверждения? Потому что подтверждающее наблюдение часто совместимо и с другими причинами, а опровергающее — убивает гипотезу наверняка. Если вы думаете «дело в перегреве» и видите, что устройство тёплое, — это слабое подтверждение: тёплым оно может быть и по невинным причинам. А вот если вы остудили его, а сбой остался, — перегрев отпал железно. Поэтому сильная проверка — та, что нацелена сломать гипотезу: «что я должен увидеть, если моя догадка НЕверна, — и не вижу ли я этого?». Честный диагност специально ищет улики против своей любимой версии, а не только за неё. Если версия выдержала серьёзную попытку её опровергнуть — вот теперь ей можно верить. Это и есть научная честность в миниатюре: не влюбляться в догадку, а подвергать её самому суровому испытанию. Тот, кто ищет только подтверждения, рано или поздно «подтвердит» неверную причину и починит не то; тот, кто пытается опровергнуть, отсеивает ложное и добирается до истинного.

6. Дешёвые и решающие проверки

Ещё два практических соображения о том, какие проверки ставить первыми, — они экономят массу времени. Первое: при прочих равных начинайте с дешёвых проверок. У каждой проверки есть цена — время, усилия, риск что-то повредить или разобрать. Глупо начинать с той, ради которой надо разбирать полсистемы, если есть быстрый взгляд, отсекающий половину версий. Сначала — то, что проверяется легко и быстро; дорогое и сложное оставляйте на потом, когда версий останется мало.

Второе: цените проверки по количеству информации — насколько сильно каждая сужает круг. Лучшая проверка — та, что и дёшева, и решает много (отсекает разом много версий). Иногда эти два соображения тянут в разные стороны: самая информативная проверка дорога, а дешёвая мало что решает. Тогда диагност взвешивает: обычно выгоднее сделать пару дешёвых, отсекающих очевидное, а уж потом, если надо, пойти на дорогую и решающую. Полезно перед серией проверок мысленно прикинуть: вот мои версии, вот возможные проверки — какая последовательность быстрее всего доведёт до ответа? Это планирование окупается: хаотичный перебор проверок так же расточителен, как хаотичный перебор деталей. И держите список: какие гипотезы выдвинуты, какая проверка что исключила. В сложном случае легко забыть, что уже отвергнуто, и ходить по кругу; простая запись версий и результатов держит расследование в порядке и не даёт проверять одно дважды.

7. Как применять

Соберём в практику. Столкнувшись с проблемой, не хватайтесь за отвёртку — запустите петлю гипотез. Наблюдайте и собирайте улики. Выдвиньте несколько версий причины (не одну — сразу несколько, чтобы не влюбиться в первую). Для каждой сформулируйте предсказание по схеме «если верна, то должно быть то-то». Выберите проверку, которая различает версии, желательно дешёвую и решающую, и спросите себя, что скажут её разные исходы. Проверяйте, стараясь не подтвердить, а опровергнуть. По результату вычёркивайте отпавшие версии и идите на новый круг, пока не останется подтверждённая причина. И ведите короткий список версий и того, что каждая проверка исключила.

И, как весь курс, это мышление бесценно за пределами техники — по сути, это и есть научный, трезвый способ разбираться в чём угодно. Спорите, кто прав, — сформулируйте, какое наблюдение различило бы версии, и поищите его, вместо того чтобы обмениваться убеждениями. Не понимаете, почему что-то в жизни идёт не так, — выдвиньте несколько гипотез и придумайте, чем бы их проверить, а не цепляйтесь за первую. Приняли решение — спросите, а что я должен увидеть, если оно верное, и что — если ошибочное, и следите за этими признаками. Привычка превращать мнение в проверяемое предсказание и честно искать опровержение — один из самых мощных мыслительных навыков вообще, далеко выходящий за ремонт вещей. В следующей лекции возьмём один из сильнейших источников хороших гипотез — вопрос «что изменилось?»: как недавние перемены почти всегда указывают на причину.

Итоги

• Диагност работает гипотезами, а не гаданием: гадальщик пробует починки наугад, диагност превращает догадку в проверяемое предсказание и ставит опыт. Ключ — предсказание, следствие «если верно, то…».
• Петля диагноста: наблюдаю → выдвигаю гипотезу → предсказываю следствие → проверяю → подтвердилось (причина найдена) или нет (версия долой, новый круг). Это научный метод в масштабе одной поломки.
• Предсказание — сердце проверки: гипотеза без проверяемого следствия бесполезна. Чем острее «если… то…», тем полезнее проверка.
• Лучшая проверка различает версии: её исход указывает, какая гипотеза верна. Проверка, где все версии дают один результат, — пустая. Хорошая проверка делит поле версий пополам.
• Пытайся опровергнуть, а не подтвердить: опровержение убивает гипотезу наверняка, подтверждение часто совместимо и с другими причинами. Ищи улики против своей любимой версии — склонность к подтверждению обманчива.
• Начинай с дешёвых и решающих проверок, планируй их последовательность и веди список версий и того, что каждая исключила, чтобы не ходить по кругу.

Вопросы для самопроверки

1. Чем работа гипотезами отличается от гадания? Что превращает догадку в гипотезу?
2. Опишите петлю диагноста. Почему опровержение гипотезы — тоже ценный результат?
3. Что такое «проверка, которая различает версии», и почему проверка с одинаковым исходом для всех версий бесполезна?
4. Почему пытаться опровергнуть свою гипотезу надёжнее, чем подтверждать? При чём тут склонность к подтверждению?
5. Возьмите задачу с несколькими возможными причинами, сформулируйте гипотезы с предсказаниями и придумайте различающую проверку.

Литература

• Карл Поппер. «Логика научного открытия» — почему опровержение сильнее подтверждения.
• Дэвид Аганс. «Отладка. 9 незыблемых правил» — «строй гипотезы и проверяй их».
• Ричард Фейнман. «Характер физических законов» — метод догадки, следствия и проверки на живых примерах.

Это шестая лекция курса «Траблшутинг». В следующей возьмём один из сильнейших источников хороших гипотез — вопрос «что изменилось?»: почему недавние перемены почти всегда указывают на причину и как этим пользоваться. А выстроить гипотезы и проверки для своей задачи всегда можно вместе с Фреди.