Необходимость и возможность

«Обязательно придёт» и «возможно придёт» - не просто разные степени уверенности. Это разные модальности, разные способы связи утверждения с реальностью. Модальная логика формализует различие между тем, что есть, что должно быть, и что могло бы быть.

• **Юриспруденция:** «Должен был предвидеть» vs «мог предвидеть» — разные стандарты ответственности с разными модальностями
• **Контрфактуалы:** «Если бы я не опоздал...» — рассуждения о несуществующих возможностях, формализуемые через возможные миры
• **Верификация программ:** Модальная логика CTL/LTL для проверки, что система «всегда» или «когда-нибудь» достигнет состояния

Необходимость

**Модальная логика** расширяет классическую логику операторами **необходимости** (□) и **возможности** (◇). Классическая логика говорит, истинно ли утверждение. Модальная - могло ли быть иначе, должно ли быть так, возможно ли другое развитие.

**Необходимость (□p):** «Необходимо p» - p истинно во всех возможных мирах, при всех обстоятельствах. 2+2=4 необходимо истинно: нет мира, где это ложно. «Снег белый» - контингентно (могло быть иначе).

**Аналитическое vs синтетическое:** Необходимые истины часто аналитические - верны по определению терминов. «Холостяк не женат» - из определения «холостяк = неженатый мужчина». Но есть и необходимые синтетические истины (спорный вопрос в философии).

Возможность

**Возможность (◇p):** «Возможно p» - p истинно хотя бы в одном возможном мире. «Возможно, что я сейчас в Париже» - есть мир, где это так, хотя в нашем мире я не в Париже. Возможность - модальная двойственность к необходимости.

**Двойственность операторов:** - ◇p ≡ ¬□¬p (возможно p ≡ не необходимо не-p) - □p ≡ ¬◇¬p (необходимо p ≡ не возможно не-p) Это аналог De Morgan для кванторов: □ как ∀ (все миры), ◇ как ∃ (существует мир).

**Виды возможности:** Логическая (непротиворечивость), метафизическая (как мир мог бы быть), физическая (совместимо с законами природы), эпистемическая (совместимо с тем, что мы знаем). «Путешествие во времени» - логически возможно, физически спорно.

Модальные операторы

**Модальные операторы** □ и ◇ добавляются к пропозициональной логике, создавая формулы вида □(P → Q), ◇(P ∧ Q), □P → □□P. Интерпретация зависит от типа модальности: алетическая (истина), деонтическая (долг), эпистемическая (знание), темпоральная (время).

**Системы модальной логики:** Разные аксиомы дают разные системы: - **K:** Базовая - □(P→Q) → (□P→□Q) - **T:** K + □P → P (что необходимо - истинно) - **S4:** T + □P → □□P (необходимое необходимо необходимо) - **S5:** S4 + ◇P → □◇P (возможное необходимо возможно)

**Почему разные системы?** Для алетической модальности (логическая необходимость) подходит S5 - если что-то возможно, это факт, неизменный от мира к миру. Для эпистемической - S4 (знание не обязательно знает, что оно возможно). Для деонтической - другие правила.

Возможные миры

**Семантика возможных миров** (Крипке) - способ интерпретации модальных операторов. «Мир» - полное описание того, как могла бы быть реальность. □p истинно в мире w, если p истинно во всех мирах, достижимых из w. ◇p - если p истинно хотя бы в одном достижимом мире.

**Отношение достижимости R:** Не все миры «видят» друг друга. Мир w₁ достижим из w₀, если w₁ - альтернатива, которую w₀ «рассматривает как возможную». Свойства R (рефлексивность, транзитивность, симметрия) определяют аксиомы системы.

**Свойства R и аксиомы:** Рефлексивность (wRw) даёт аксиому T. Транзитивность (wRv, vRu → wRu) даёт 4. Симметрия (wRv → vRw) даёт B. S5 - когда R эквивалентность (все миры достижимы друг из друга).

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

• **Необходимость (□)** — истинность во всех возможных мирах; **возможность (◇)** — истинность хотя бы в одном
• **Двойственность:** ◇p ≡ ¬□¬p; □p ≡ ¬◇¬p — аналог De Morgan для кванторов по мирам
• **Разные системы** (K, T, S4, S5) соответствуют разным свойствам отношения достижимости
• **Семантика Крипке:** миры + отношение достижимости + оценка — формальная интерпретация модальных операторов

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

Модальная логика связана с:

• Деонтическая логика — Модальность обязательства: □ = должен, ◇ = разрешено
• Кванторы — □ как ∀ по мирам, ◇ как ∃ по мирам
• Временная логика — □ = всегда, ◇ = когда-нибудь (в будущем/прошлом)

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

• Какие из ваших убеждений вы считаете необходимыми истинами, а какие — контингентными? По какому критерию?
• Когда вы говорите «это невозможно», имеете в виду логическую, физическую или практическую невозможность?
• Как изменилось бы ваше мышление, если бы вы систематически различали «истинно» и «необходимо истинно»?

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

• ml-12