Артикларк о пользе разума
Однажды в кабинет директора департамента согласований Артикларка привели трёх специалистов. Все трое — в наручниках из собственных регламентов, все трое — с одинаковой формулировкой на устах и с разными представлениями в головах.
— Чем провинились сии отроки? — спросил Артикларк.
— Договорились, стервецы, — пояснил секретарь. — Все трое подписали «система должна быть надёжной». Один понимал надёжность как устойчивость к отказам. Второй — как предсказуемость поведения. Третий — как возможность восстановления после повреждения. В итоге — три архитектуры, два скандала и один сломанный сервер.
— Постой, — сказал Артикларк. — Их трое?
— Трое, вашество.
— И формулировка одна?
— Одна.
— И подписали все трое?
— Все трое.
Артикларк почесал затылок.
— Занятно. В ином тексте про скрытое непонимание и двух специалистов хватило бы, чтобы породить три понимания. А тут — трое живых, и каждый со своим. Это, я так понимаю, не баг, а иллюстрация?
— Иллюстрация, владыко. Скрытое непонимание. Самое опасное. Пока формулировка общая — все согласны. Как только надо выбрать архитектуру — начинается мордобитие.
— Так они что, не поняли друг друга?
— Поняли, вашество. Друг друга — поняли. А вот систему — каждый по-своему. И ведь согласились же! На словах. На бумаге. Под протокол.
Артикларк откинулся в кресле.
— Значит, первый урок: совпадение названий ещё не есть совпадение содержания. Слово «надёжность» — это обозначение. А представление о надёжности — это система отношений. И если вы думали, что общий словарь решит проблему, вы думали как те, кто считает, что единство требует одинаковости.
— А разве не требует? — удивился секретарь.
— Не требует, — сказал Артикларк. — Устойчивость сложной системы определяется не устранением различий, а способностью организовать отношения между ними. Совместимость не обязательно требует унификации. Это вам любой транслятор понятий подтвердит. Если, конечно, он не механический переводчик слов, а настоящий — который выявляет, сопоставляет и преобразует смысловые структуры.
Три специалиста переглянулись. Первый — тот, что понимал надёжность как устойчивость к отказам, — робко спросил:
— И что нам теперь делать?
— А что вы сделали, когда обнаружили, что ваши понятийные аппараты различаются?
— Начали спорить, чей правильный, — сказал второй.
— А третий? — спросил Артикларк.
— А третий вообще промолчал, — сказал секретарь. — Но потом выяснилось, что он понимал надёжность как отсутствие проверок. Чтобы не сломать — не трогать.
— Вот это, — сказал Артикларк, — самое опасное. Молчаливое третье понимание. Пока двое спорят, третий уже построил свою архитектуру — и она работает ровно до первого отказа.
Он повернулся к специалистам.
— Надо было не спорить, чей правильный, а установить, какие элементы ваших представлений соответствуют друг другу, в каких условиях это соответствие сохраняется и где перестаёт работать. Транслятор понятий, господа, не обязан утверждать, что два понятия тождественны. Он может установить, что они совпадают в одной области, различаются в другой и не имеют прямого соответствия в третьей. И это, между прочим, информативнее формального равенства, которое скрывает реальные ограничения.
— Так что ж, — спросил второй, — нам теперь не договариваться?
— Договариваться, — сказал Артикларк. — Но не так, как вы. Вы договорились на уровне обозначений. А надо — на уровне оснований. Понимание — это не совпадение внутренних состояний. Это установление достаточно надёжных соответствий между системами представлений для определённых целей. И критерий тут — не «мы согласились», а «мы проверили на новых случаях и зафиксировали границы».
— А если не получится? Если различие неустранимо?
— Тогда, — сказал Артикларк, — вы хотя бы честно обозначите, что именно осталось непонятым. Различие, которое удалось обнаружить и корректно описать, перестаёт быть полностью скрытым. Это уже немало. Не всякое различие можно устранить. Но не всякое различие и нужно устранять.
Секретарь кашлянул.
— Так что с ними делать, вашество? Всыпать по первое число за скрытое непонимание?
— А вот это уже интересный вопрос. Скрытое непонимание — не преступление. Это состояние. Наказывать за состояние — глупо. Наказывать надо за то, что они приняли внешнюю согласованность за доказательство внутреннего тождества и на этом основании сломали сервер. И отдельно — за молчаливого третьего, который понимал надёжность как «не трогать». Вот он-то и есть главный виновник.
Он повернулся к специалистам.
— Вы чем вообще думали, когда соглашались с формулировкой, не проверив основания?
— Разумом, — сказал первый.
— Вот именно, — сказал Артикларк. — Разумом. А разум — это не «я уверен, что понимаю». Разум — это способность исследовать основания этой уверенности и обнаруживать пределы собственного понимания. И, добавлю, способность заметить, что вас трое, а формулировка одна — и что это уже повод для беспокойства.
Он встал.
— Отпустите их. Выпороть на конюшне перед строем — за то, что подписали не глядя. Поставить коленями на горох — за то, что спорили о правильном вместо того, чтобы сопоставить различающееся. И вернуть им их регламенты.
— Дык, они же опять того... Договариваться будут...
— А и пёс с ними — пускай договариваются. Коли не дураки — построят транслятор понятий на троих. А коли дураки — хотя бы перестанут ломать серверы. Разум всяко лучше, чем единомыслие.
— А коли не построят?
— А и то не во зло. Не всякое различие можно устранить. Но различие, которое удалось обнаружить, уже не так опасно, как то, которое вы приняли за согласие. А трое, которые честно признали, что понимают по-разному, — уже не толпа. Уже сообщество.
---