Эпистемическая логика: знание, убеждение и ошибки рассуждения

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

Суть: что исследует эпистемическая логика

Обычная логика высказываний рассматривает, например, предложение «дверь закрыта». Эпистемическая логика добавляет к нему отношение познающего субъекта: «Анна знает, что дверь закрыта» или «Анна полагает, что дверь закрыта». В формальных записях часто применяют операторы K для знания и B для убеждения. Выражение K(А,p) обозначает «А знает, что p», где p — некоторое утверждение. Это обозначение модели, а не измерение уверенности.

Один из стандартных принципов знания — если субъект знает p, то p истинно. Схема K(А,p) → p выражает фактивность знания: ошибочное убеждение не считается знанием в обычном философском смысле. Такая схема корректна в системах, где отношение эпистемической доступности рефлексивно; не любая произвольно заданная модальная система включает её автоматически. Другая схема, K(А, p → q) → (K(А,p) → K(А,q)), формализует распределение знания по импликации в стандартной нормальной модальной логике.

Отличие: знание, убеждение и модальность

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

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

Пример: что действительно следует из сведений

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

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

Оговорка: три типичные ошибки

1. «Логика доказывает, что человек действительно знает всё, что следует из известного». Неверно: стандартные идеализированные модели часто предполагают логическую всеведущесть агента. Для реальных людей это чрезмерно сильное допущение; существуют более тонкие модели ограниченного рассуждения.
2. «Если p истинно, то агент знает p». Это обратная, в общем случае неверная схема. Истинность факта не означает его известности: расположение ключа в примере существовало и до сообщения наблюдателю.
3. «Эпистемическая логика и психология памяти изучают одно и то же». Нет: первая прежде всего исследует следование формальных утверждений о знании и информации, а вторая — реальные механизмы познания.

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

Источник: Stanford Encyclopedia of Philosophy — Epistemic Logic; для границы с более широким понятием — Modal Logic.