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

Непротиворечивость полезна. Непогрешимость чаще всего существует в собственном пересказе.

Два документа и один несчастный замок

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

— В одном документе запрещено то, что в другом требуется, — сказала Ирина.

— Документы создавали разные отделы.

— Замок от этого не стал двумя замками.

Закон непротиворечия в классической логике выражают схемой: не могут одновременно быть истинными P и не-P в одном и том же смысле. Символически: ¬ (P ∧ ¬P). Знак ¬ читается «не», знак ∧ — «и». Формула не ругает людей за сомнения. Она сообщает, какие два утверждения нельзя совместно принять как истинные при фиксированном понимании.

«Дверь открыта» и «дверь не открыта» противоречат друг другу, если речь об одной двери, одном моменте, одном значении слова «открыта». «Вчера была открыта, сегодня закрыта» не образует противоречия. «Для посетителей закрыта, для обслуживания доступна» может описывать разные режимы. «Приоткрыта» заставляет уточнить, как определено бинарное состояние в модели.

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

Противоречие, противоположность и середина

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

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

«Хороший» и «плохой» тоже не всегда образуют пару P и не-P. Между ними может быть «средний», а оценки могут относиться к разным свойствам. Хороший инженер может быть плохим докладчиком. Хороший докладчик может полчаса объяснять, почему не является инженером, так убедительно, что ему дадут возглавить лабораторию.

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

Когда изменения честны

В понедельник Ирина считала вероятной ошибку контроллера. Во вторник, увидев новый журнал, предпочла версию неверной конфигурации.

— Вы непоследовательны, — сказал директор.

— Последовательна в способе проверки. Поэтому изменила результат.

— Но вчера было иначе.

— Да. Вчера у нас не было сегодняшних данных. Прошлое довольно строго соблюдает это правило.

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

Есть и практическая двойственность: «Я хочу сменить работу и боюсь её менять». Это не формальное противоречие. Желание получить новое и желание избежать риска могут сосуществовать. Логическая запись «хочу уйти» и «не хочу уходить» иногда чрезмерно грубо описывает разные мотивы, сроки и условия.

Софья предлагала разворачивать такие фразы: «Хочу уйти из нынешней ситуации, но пока не хочу принимать конкретный риск». Тогда вместо обвинения человека в нелогичности появляется задача: какие условия изменят решение? Финансовый резерв? Другая вакансия? Разговор с руководителем? Иногда то, что называют внутренним противоречием, оказывается плохо составленным списком требований.

Что действительно показывает найденное противоречие

Представим набор утверждений: всякое открытие двери требует команды контроллера; в рассматриваемый интервал контроллер не выдавал команд; дверь открылась. Совместно эти три положения несовместимы в данной модели. Но логика не сообщает автоматически, какое из них ошибочно.

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

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

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

Взрыв, от которого не разлетается мебель

В классической логике из противоречивого набора посылок выводимо любое заключение. Это называют принципом взрыва. Речь не о психологии: человек, запутавшийся в показаниях, не получает сверхспособность доказывать всё на свете. Речь о свойствах определённой формальной системы.

Короткая демонстрация устроена так. Пусть приняты P и ¬P. Из P можно получить P или Q. Если теперь использовать ¬P и правило исключения одной альтернативы, получается Q. А Q мы могли выбрать произвольно. Поэтому наличие противоречия разрушает обычную функцию классической теории — отличать то, что следует, от того, что не следует.

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

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

Небольшой разбор большого скандала

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

Логическая оценка содержания и оценка добросовестности автора не совпадают. Два уточнённых утверждения могут быть совместимы, а первоначальный отчёт всё равно вводить в заблуждение. Человек способен сказать буквальную правду так, чтобы слушатель почти неизбежно сделал неверный вывод. Этим занимаются не только мошенники. Иногда этим занимается фраза «почти готово».

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

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

Семнадцать секунд

Ирина свела часы журналов к единому времени. Оказалось, команду на открытие выдали за двадцать секунд до отметки датчика. Противоречие «команды не было, но дверь открылась» исчезло: вначале сравнивали разные интервалы.

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

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

Марк прочитал дважды.

— Хорошо, — сказал он. — Теперь у нас есть документ, который заранее согласен с любым будущим.

Глава 4. Третьего не дано, но вы предложили не те два

Ложная дилемма — это когда вам показывают две двери и прячут коридор.

Либо с нами, либо чайник

На совещании директор поставил вопрос ребром:

— Либо мы доверяем системе, либо отказываемся от автоматизации.

Ирина предложила третий вариант: исправить конфигурацию и проверить требования. Директор счёл его уходом от принципиального выбора.

— Вы за прогресс или против?

— Я за проверку. Прогресс пока может посидеть, ему никто не угрожает.

Закон исключённого третьего в классической логике относится к паре P и ¬P: P или не-P. Он не говорит, что любая названная человеком пара исчерпывает все возможности. «Доверять безоговорочно» и «отказаться навсегда» — не точные отрицания друг друга. Между ними помещаются испытания, ограниченное применение, резервный режим, изменение требований и ещё несколько вполне обитаемых решений.

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

Истина и знание об истине

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

Точно так же «не доказано P» не равно «доказано не-P». Если не установлено, что датчик неисправен, это ещё не доказывает его исправность. Если не нашли подтверждения версии, это не всегда означает, что нашли её опровержение. И наоборот: отсутствие опровержения не выдаёт версии сертификат истины.

В работе полезно иметь не только два статуса предмета, но и несколько статусов знания: подтверждено, опровергнуто, не проверено, данные конфликтуют. Это организация информации, а не обязательно новая логическая теория. Иногда таблица с колонкой «неизвестно» делает для здравого смысла больше, чем плакат «думай позитивно» на всю стену.

Директор хотел, чтобы в отчёте каждая строка была либо зелёной, либо красной. Серый цвет казался ему нерешительным.

— Если данных нет, что ставить? — спросила Ирина.

— Зелёный, пока не доказано обратное.

— Тогда ваша система измеряет не состояние оборудования, а оптимизм составителя.

Пограничные слова

С предложением «этот человек высокий» труднее, чем с ключом в конкретном ящике. Что считать высоким? Для какой группы? По какому порогу? Если критерий не зафиксирован, спор может идти о границах понятия, а не о фактическом росте.

Можно договориться: в данной задаче высоким считаем человека ростом не менее 190 сантиметров. Тогда для измеренного роста появляется ясный порог, хотя остаются точность измерения и округление. Но такое соглашение не доказывает, что в обычной речи существует естественная пропасть между 189,9 и 190 сантиметрами.

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

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

Когда «или» не выгоняет соседний вариант

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

В классической логике стандартное P ∨ Q — включающее «или»: истинно хотя бы одно, возможно оба. Исключающее «либо одно, либо другое, но не оба» требует дополнительного условия. Ошибка перевода возникает, когда читатель слышит один смысл, а составитель использует другой.

На двери мастерской висело: «Вход в каске или защитных очках». Посетитель в каске без очков решил, что соответствует правилу. Автор таблички на самом деле хотел потребовать оба средства защиты. Здесь проблема не в посетителе, который недостаточно вдохновился безопасностью. Союз выразил другую структуру требования.

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

Третья возможность как инструмент

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

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

Ищите альтернативы, которые совместимы с данными и имеют понятный механизм. Затем спрашивайте, что между ними различает наблюдение. Если все версии предсказывают один и тот же результат, этот результат не очень помогает выбрать. Если одна ожидает запись в журнале, а другая — отсутствие такой записи, появляется проверка.

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

Разбор у закрытого шкафа

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

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

Теперь попробуйте отрицать фразу «Все двери закрыты». Не «все открыты», а «хотя бы одна не закрыта». Когда отрицание касается группы, оно не обязано переворачивать каждый элемент. Иногда достаточно одного скромного контрпримера, который стоит в коридоре и хлопает на сквозняке.

Решение, которое не нравилось цветовой гамме

Бюро предложило временно отключить автоматическое открывание в тестовом режиме, оставить остальные функции и провести отдельные испытания. Это был не полный отказ от системы и не полное доверие ей.

— Полумера, — сказал директор.

— Мера, соответствующая тому, что мы знаем, — ответила Ирина.

Она добавила в отчёт серую строку: «Причина появления сообщения на центральном экране не установлена». И именно эта строка оказалась самой полезной. Изучая её, Марк заметил: открытие двери и появление надписи могли иметь разные причины.

До этого все обсуждали одно происшествие. Возможно, перед ними лежало два.

Глава 5. Основание, которое не помещается в слово «потому»

После слова «потому» иногда начинается объяснение, а иногда — ремонт самооценки.

Четвёртый закон с особым характером

— Я уверен в Денисе, потому что знаю людей, — сказал директор.

— А откуда вы знаете, что хорошо знаете людей? — спросила Софья.

— Я редко ошибаюсь.

— Как вы это проверяли?

— Обычно всё потом подтверждается.

— А случаи, когда не подтверждается?

— Значит, люди изменились.

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

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

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

Для нашей практической работы достаточно более скромной дисциплины: соразмерять утверждение и подтверждение, различать виды оснований и не выдавать отсутствие объяснения за готовое объяснение. Скромность формулировки здесь не мешает силе метода. Иногда мысль становится полезнее, когда из неё выпускают лишний пафос.

Причина не равна доказательству

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

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

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

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

Три подписи не превращают копию в три факта

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

— Источников три, — настаивал он.

— Адресов три. Источник один, — сказал Марк.

Количество пересказов нельзя автоматически считать количеством независимых наблюдений. Утверждение, которое прошло через десять каналов, может по-прежнему опираться на одного человека, один ошибочный датчик или один неверно понятый документ. Иногда информационный шум — это эхо, получившее собственные визитки.

Независимость требует уточнения. Два свидетеля могут наблюдать событие отдельно, но потом обсудить его и согласовать воспоминания. Два прибора могут быть разными, но получать время от одного неисправного источника. Две экспертизы могут использовать общий исходный файл. Формальное различие исполнителей ещё не обеспечивает независимость ошибок.

При оценке основания спрашивают: откуда взялось сообщение, что именно наблюдалось, где появилась интерпретация, может ли ошибка повторяться из общего источника? Это полезно не только следователю. Когда три сайта сообщают одну новость одинаковыми словами, вполне возможно, что перед нами одна новость и два упражнения по копированию.

Достаточно для чего

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

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