Эпистемическая логика

«Я знаю, что ничего не знаю» - сказал Сократ. Но подождите: если он знает это, то он знает хоть что-то! Парадокс? Эпистемическая логика позволяет точно анализировать такие головоломки - и строить системы, которые рассуждают о знании.

• **Криптография и протоколы**: доказательства с нулевым разглашением — как доказать, что знаешь пароль, не раскрывая его?
• **Распределённые системы**: консенсус требует, чтобы все узлы «знали», что другие узлы «знают» — это формализуется как общее знание C_G
• **AI и теория игр**: моделирование агентов требует рассуждений о том, что агент знает о знаниях других агентов

Эпистемическая логика

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

Термин происходит от греческого ἐπιστήμη (epistēmē) - «знание», «наука». Эпистемология - философская дисциплина о природе знания.

Базовые операторы эпистемической логики:

Ключевая идея: знание и вера - это **отношения между агентом и пропозицией**, и они подчиняются определённым логическим законам. Например, если я знаю, что P, и знаю, что P → Q, то я знаю, что Q.

Оператор знания K

**Оператор K** (Knowledge) формализует понятие знания. Интуитивно K_a φ означает, что агент a имеет **достоверную, обоснованную информацию** о том, что φ истинно.

Классические аксиомы знания (система S5):

**Аксиома T** - главное различие между знанием и верой. Вера может быть ложной (B_a φ, но ¬φ), а знание - нет.

Семантика Крипке для знания: K_a φ истинно в мире w, если φ истинно во всех мирах, которые агент a считает возможными из w. Чем больше миров исключает агент - тем больше он знает.

Оператор веры B

**Оператор B** (Belief) формализует веру или убеждение. В отличие от знания, вера может быть **ложной** - агент может искренне верить в то, что не соответствует действительности.

Аксиомы веры (система KD45):

**Аксиома D** - минимальное требование рациональности: агент не может одновременно верить в P и в ¬P. Однако он может верить в P, когда на самом деле ¬P.

Justified True Belief

Классическое определение знания в философии: **знание = обоснованное истинное убеждение** (Justified True Belief, JTB). Агент знает φ, если: 1. φ истинно 2. агент верит в φ 3. у агента есть обоснование для веры в φ.

**Проблема Геттье** (1963): Эдмунд Геттье показал контрпримеры, где все три условия выполнены, но мы не склонны говорить о знании. Случайное совпадение обоснованной веры и истины - не знание.

Знаменитый пример Геттье:

После Геттье философы предложили дополнительные условия: отсутствие «дефектеров» (условий, которые подорвали бы обоснование), причинная связь между фактом и верой, надёжность источника знания. Дебаты продолжаются.

Ключевые идеи

• **K_a φ** — агент a знает φ. Знание фактивно: K_a φ → φ (нельзя знать ложь)
• **B_a φ** — агент a верит φ. Вера нефактивна: можно верить в ложь
• **JTB**: знание = истина + вера + обоснование. Но проблема Геттье показывает, что этого недостаточно
• Эпистемическая логика использует семантику Крипке: знание в мире w = истина во всех «эпистемически возможных» мирах

Связанные темы

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

• Модальная логика — Эпистемические операторы - частный случай модальных; используют ту же семантику Крипке
• Деонтическая логика — Аналогичная структура: O (должен) vs K (знает), но разные интерпретации

Вопросы для размышления

• Можно ли знать, что ты чего-то не знаешь? Формула K_a ¬K_a φ — противоречива ли она?
• Если два человека знают одно и то же, знают ли они, что другой тоже это знает? Когда это важно?
• Как бы вы формализовали фразу «все знают, что все знают, что...» (общее знание)?

Связанные уроки

• ml-12