Консистентность¶

Консистентность — это свойство системы, теории, поведения или объекта быть непротиворечивым, внутренне согласованным и устойчивым во времени. Термин происходит от латинского consistere («стоять вместе, держаться») и используется в математике, логике, философии, информатике, праве, экономике и повседневном языке. В широком смысле консистентность означает отсутствие внутренних противоречий и предсказуемость: система, обладающая этим свойством, ведёт себя одинаково при одинаковых условиях.

¶Консистентность в математике и логике

В математической логике и теории доказательств консистентность (непротиворечивость) — центральное понятие. Формальная теория называется консистентной, если из её аксиом невозможно вывести одновременно некоторое утверждение и его отрицание. Иными словами, в теории не существует доказательства противоречия вида «A и не-A».

Ключевые результаты, связанные с этим понятием:

• Первая теорема Гёделя о неполноте (1931) — любая достаточно мощная непротиворечивая формальная теория содержит истинные утверждения, которые в ней недоказуемы.
• Вторая теорема Гёделя — такая теория не может доказать собственную непротиворечивость.
• Теорема Гентцена (1936) — непротиворечивость арифметики Пеано можно установить с помощью трансфинитной индукции до ординала ε₀.

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

¶Консистентность в философии

В философии консистентность выступает одним из критериев истинности теорий наряду с эмпирической подтверждаемостью и объяснительной силой. Рационалистическая традиция (Рене Декарт, Барух Спиноза) исходила из того, что противоречивое знание не может быть истинным: противоречие разрушает связность системы представлений.

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

¶Консистентность в информатике и программировании

В информатике понятие используется в нескольких значениях:

• Консистентность данных — свойство базы данных, при котором данные не противоречат друг другу и удовлетворяют заданным ограничениям (ключам, ссылочной целостности, бизнес-правилам). В распределённых системах проблема формализована теоремой CAP (Брюс Линдсей, 2002): одновременно обеспечить согласованность (consistency), доступность (availability) и устойчивость к разделению сети (partition tolerance) невозможно — при отказе сети приходится выбирать между C и A.
• Консистентное хэширование — метод распределения данных по узлам, при котором добавление или удаление узла затрагивает лишь небольшую часть ключей.
• Консистентное выполнение — в распределённых вычислениях гарантия, что система выглядит так, будто операции выполняются последовательно, хотя физически они могут выполняться параллельно.

¶Консистентность в праве и экономике

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

В экономике и инвестициях консистентность стратегии — устойчивость подхода управляющего во времени. Статистически значимая «консистентность доходности» (последовательное превышение рыночной доходности) считается редким явлением: исследования показывают, что управляющие, показавшие превосходство в одном периоде, как правило, не воспроизводят его в следующем.

¶Консистентность в повседневном языке

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

¶Смежные понятия

• Когнитивный диссонанс — состояние психологического дискомфорта, возникающего при обнаружении противоречия между установками, знаниями и поведением (Леон Фестингер, 1957). Механизмы его разрешения (изменение установки, рационализация, избегание противоречивой информации) часто снижают консистентность поведения.
• Коэрентность — близкое понятие из теории аргументации, означающее логическую связность аргументов и отсутствие противоречий между ними.

¶История термина

Слово «консистентный» вошло в европейские языки из латинского языка в эпоху Средневековья и первоначально использовалось в богословии для обозначения внутренней согласованности догматов. В математическую логику термин введён в XIX веке в связи с работами Готлоба Фреге, Георга Кантора и Давида Гильберта по основаниям математики. Классическое определение непротиворечивости формальной системы сформулировано в работах Курта Гёделя и Альонасо Чёрча (1930-е годы).

¶Источники

• Гёдель К. О неполноте формальных систем // Полное собрание сочинений. — М.: Прогресс, 1990.
• Фестингер Л. Теория когнитивного диссонанса. — СПб.: Питер, 2003.
• Клейни Г. Математическая логика. — М.: Мир, 1973.
• Гилберт Д. Основания геометрии. — М.: Наука, 1968.
• Кормен Т., Лейзерсон Ч., Ривест Р., Штейн К. Введение в алгоритмы. — М.: Вильямс, 2011.
• Гарсия-Молина Г., Ульман Дж., Уидом Дж. Системы баз данных. Полный курс. — М.: Вильямс, 2003.