Очевидно. Но неверно. Логика

Цепочка оснований и место остановки

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

В конкретной задаче есть принятые исходные данные, определения, результаты измерений, правила и допущения. Их надёжность может опираться на другие процедуры. Мы не проверяем всю историю науки перед тем, как пользоваться линейкой, однако можем проверить, подходит ли линейка к задаче и не сломана ли она.

В формальной теории часть утверждений принимают как аксиомы. Дальнейшие доказательства показывают, что следует из них по установленным правилам. Аксиома не обязана быть «настолько очевидной, что спорить нельзя». Её роль определяется устройством теории. Разные наборы исходных положений могут задавать разные теории.

В практическом анализе полезно отмечать точку остановки: «Мы принимаем достоверность этих записей на основании такой-то проверки». Если позже появятся основания сомневаться, можно вернуться именно к этому месту. Непроверяемая уверенность похожа на дом, в котором вместо фундамента написано «не трогать».

Бремя обоснования без судебного молотка

Тот, кто предлагает принять существенное утверждение, обычно должен объяснить, почему его следует принять. Фраза «а вы докажите, что это не так» не делает положительную версию доказанной. Если кто-то утверждает, что чайник перестал кипятить из-за невидимого философа, отсутствие доказанного отсутствия философа не поможет приготовить чай.

Однако бремя обоснования зависит от контекста. В споре есть уже принятые сведения, профессиональные стандарты, распределённые обязанности, разные последствия ошибок. Нельзя превратить удобное правило в универсальный способ никогда не отвечать на вопросы. Если вы оспариваете хорошо подтверждённое утверждение, ваши возражения тоже нуждаются в содержании.

Различайте просьбу об основании и бесконечный скептический тормоз. «Как проверяли прибор?» — конкретный вопрос. «А вдруг все приборы мира подделаны?» — логическая возможность, но без дополнительных оснований она редко улучшает диагностику. Здоровое сомнение помогает выбирать проверки. Беспредметное сомнение умеет только отменять возможность остановиться.

Проверьте отчёт

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

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

Третий пример: «Этот вариант лучший, потому что его выбрало большинство». Большинство действительно доказывает большинство голосов, если подсчёт верен. Качество варианта зависит от критерия, информированности участников и устройства выбора. Иногда коллектив ошибается единодушно. Ошибка от этого получает хороший протокол, но не становится истиной.

Основание для следующего вопроса

Марк наконец поговорил с охранником. Тот не видел Дениса ночью. Он увидел идентификатор ключа, узнал, кому ключ обычно выдаётся, и пересказал это как личное присутствие сотрудника.

Директор потребовал немедленно обвинить охранника в ложных показаниях. Софья остановила его:

— Мы только что разобрали, как возникает поспешный вывод. Не обязательно тут же повторять демонстрацию на другом человеке.

Нужно было установить, что охранник действительно наблюдал, что понял и как сформулировал сообщение. Ошибка, небрежность и намеренный обман — разные объяснения. Ни одно не следовало выбирать из раздражения.

В конце разговора охранник вспомнил странную деталь: ключ Дениса накануне использовали при обучении системы. До этого деталь казалась ему несущественной.

Ирина попросила схему тестового режима. Впервые за день у неё появилась не просто версия, а конкретное место для проверки.

Глава 6. Если чайник, то кипяток. Но не наоборот

Стрелка в рассуждении — не двусторонний проезд только потому, что вам нужно обратно.

Доступ как семейное проклятие

Правило павильона звучало так: если предъявлен действующий служебный ключ и разрешён вход в данное время, контроллер подаёт команду на открытие. Директор запомнил сокращённо: действующий ключ открывает дверь.

Потом он сократил ещё раз: дверь открылась — значит, воспользовались ключом. А затем доработал до персонального результата: воспользовались ключом Дениса — значит, пришёл Денис. Три сокращения сэкономили слова и уничтожили две проверки.

Софья заметила, что примерно так возникают бытовые обвинения. «Если человек заботится, он перезвонит». «Он не перезвонил». «Он не заботится». Даже если форма кажется знакомой, исходное правило слишком сильное: человек может быть без связи, занят неотложным делом, забыть или неверно понять ожидание. До применения логики нужно проверить универсальность самого условия.

Дедукция не отвечает за обещания, которые мы от её имени выдали миру. Если посылка «каждый заботящийся всегда звонит вовремя» неверна, аккуратная схема не спасёт заключение о чужих чувствах.

Материальная импликация без мистики

В классической логике P → Q называют импликацией. Она ложна только в случае, когда P истинно, а Q ложно. При остальных сочетаниях она истинна. Её удобно понимать как запрет комбинации «условие выполнено, следствие не выполнено».

Пусть P — «эта заявка срочная», Q — «эта заявка зарегистрирована». Правило «если заявка срочная, она зарегистрирована» нарушается срочной незарегистрированной заявкой. Несрочная зарегистрированная заявка не нарушает правило. Несрочная незарегистрированная — тоже. О последних двух случаях правило ничего положительного не требует.

Здесь часто удивляет, что импликация истинна при ложном P независимо от Q. Это свойство выбранной истинностной связки, а не универсальный перевод всех оттенков человеческого «если». Условные обещания, причинные утверждения и рассуждения о том, что было бы при иных обстоятельствах, требуют дополнительного анализа.

Фраза «если Луна сделана из сыра, то мой зонтик синий» в материальном понимании может оказаться истинной при ложном условии. Но это не делает её содержательным объяснением зонтика. Логическая связка проверяет сочетания истинностных значений, а не обеспечивает смысловую связь между любыми двумя предложениями.

Ирина сравнила это с договором, в котором запрещена одна комбинация действий. Если комбинация не возникла, нарушение данного пункта не зафиксировано. Это ещё не значит, что весь договор прекрасен и стороны счастливы. Просто конкретный запрет не был нарушен.

Достаточное и необходимое

Если P → Q, то P является достаточным условием Q в рамках принятого правила. Q является необходимым условием P. Например, принадлежность к квадратам достаточна для принадлежности к прямоугольникам. Быть прямоугольником необходимо для того, чтобы быть квадратом. Но не каждый прямоугольник квадрат.

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

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

Директор сказал, что все эти тонкости бюрократичны. Ирина напомнила, что дверь как раз открылась из-за тонкости размером с пропущенное условие времени. Некоторые «формальности» имеют петли, замки и материальную стоимость.

Два надёжных хода

Первый: если P, то Q; P; следовательно, Q. Это modus ponens, утверждение основания. Если каждый просроченный ключ отклоняется; данный ключ просрочен; значит, его отклонят — при принятии посылок.

Второй: если P, то Q; не-Q; следовательно, не-P. Это modus tollens, отрицание следствия. Если всякий завершённый отчёт содержит итоговую подпись, а в данном отчёте итоговой подписи нет, значит, он не завершён — опять же при условии, что исходное правило действительно без исключений.

Здесь особенно важно не превращать наблюдение в точное отрицание автоматически. «Я не увидел подпись» отличается от «подписи нет». Возможно, документ неполный, подпись на другой странице или вы смотрели не ту версию. Логическая схема принимает то, что вы подали на вход. Она не умеет тайно проверять зрение.

Есть два соблазнительных неверных хода. Утверждение следствия: если P, то Q; Q; значит, P. И отрицание основания: если P, то Q; не-P; значит, не-Q. Из «при дожде двор мокрый» и мокрого двора нельзя строго вывести дождь: двор могли помыть. Из отсутствия дождя нельзя вывести сухость: остаётся тот же старательный дворник.

Человеку особенно нравится первый неверный ход, потому что он похож на диагностику. Признак есть — значит, причина найдена. Диагностика действительно часто движется от следствия к возможной причине, но тогда это поиск и сравнение гипотез, а не гарантированная дедукция. Врач, инженер и следователь умеют работать в таком направлении именно потому, что не обязаны объявлять первую подходящую причину единственной.

Контрапозиция и перестановка мебели

В классической логике P → Q равносильно ¬Q → ¬P. Это контрапозиция. Если каждый квадрат является прямоугольником, то всё, что не является прямоугольником, не является квадратом. Мы меняем порядок и отрицаем оба утверждения.

Простое обращение Q → P не равносильно исходному. И «противоположная» по виду запись ¬P → ¬Q тоже обычно не равносильна. На словах все три операции звучат как «сказать наоборот», что чрезвычайно удобно для путаницы.

Полезно проверять направление на вложенных кругах. Круг квадратов находится внутри круга прямоугольников. Из маленького можно перейти в большой. Из большого в маленький нельзя без дополнительного признака. За пределами большого вы автоматически за пределами маленького. А вот вне маленького внутри большого места ещё много.

С жизненными условными фразами нужна осторожность. «Если я устал, то выпью чай» может выражать намерение, привычку или обещание в определённом контексте, а не строгое универсальное правило. Не стоит ловить близкого на формальной контрапозиции фразы, которую он произнёс, снимая обувь. Можно выиграть импликацию и проиграть вечер.

Упражнение на испорченную инструкцию

Инструкция утверждает: «Если режим тестирования активен, уведомление отмечено буквой Т». В журнале есть уведомление с буквой Т. Обязательно ли активен тестовый режим? Нет. Буква могла появляться и по другому условию. Нужно либо исключить другие основания, либо иметь двустороннее правило.

Теперь уведомление не отмечено буквой Т. Что следует? Если инструкция точна и применима к данному уведомлению, тестовый режим не активен. Это отрицание следствия. Но если мы не уверены, что поле журнала сохранилось полностью, практический вывод слабее: могли быть потеряны данные.

Третий случай: тестовый режим не активен. Можно ли утверждать, что буквы Т нет? Нет, это отрицание основания. В исходной инструкции не сказано, что буква появляется исключительно при тесте.

Четвёртый: инструкция дополнена фразой «И ни при каких иных режимах буква Т не появляется». Теперь по Т можно вывести тестовый режим, а по его отсутствию — отсутствие Т. Дополнительная посылка делает дополнительную работу. Она не была бесплатным приложением к первой фразе.

Что именно пропустили

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

Это объясняло возможный механизм открытия. Ещё нужно было подтвердить, что именно этот сценарий запустился, какая версия конфигурации действовала и какие записи его сопровождали. Хорошая версия не перестаёт нуждаться в проверке оттого, что инженеру наконец стало интересно.

— Значит, Денис ни при чём? — спросил директор.

— Из найденного этого пока не следует, — ответил Марк. — Следует, что ваша первоначальная цепочка не доказана и у нас есть проверяемый технический механизм.

Директор вздохнул. Ему хотелось получить фамилию. Логика выдавала условия. Для эмоциональной разрядки это был явно не лучший сервис.

Глава 7. Таблица, которая не уважает должности