Логика
Паранепротиворечивые логики
База данных содержит: «Клиент A заплатил» и «Клиент A не заплатил» (ошибка ввода). В классической логике отсюда следует... что угодно, включая «Луна из сыра». Система становится бесполезной. Паранепротиворечивые логики позволяют изолировать противоречие и продолжить работу.
- **Базы знаний**: слияние данных из разных источников часто создаёт противоречия. Система должна продолжать отвечать на запросы
- **Юридические системы**: законы могут противоречить друг другу. Суд должен вынести решение, несмотря на конфликт
- **AI-ассистенты**: обучающие данные содержат противоречивую информацию. Модель должна давать осмысленные ответы
Паранепротиворечивая логика
**Паранепротиворечивая логика** - семейство логик, в которых наличие противоречия **не разрушает всю систему**. В классической логике из противоречия следует всё (ex contradictione quodlibet). Паранепротиворечивые логики блокируют этот вывод.
Название: para- (около, рядом с) + непротиворечивость. Логика «рядом с непротиворечивостью» - терпит противоречия, но не разваливается.
Зачем нужна такая логика? В реальности мы постоянно работаем с противоречивой информацией:
Что означает «паранепротиворечивая»?
Толерантность к противоречиям
**Толерантность к противоречиям** - ключевое свойство паранепротиворечивых логик. Система может содержать A и ¬A одновременно, но это не обязывает принять любое B.
Сравним классическую и паранепротиворечивую логики:
**Принцип локализации**: противоречие в одной части базы знаний не должно заражать всю систему. Паранепротиворечивые логики обеспечивают эту изоляцию.
Какие правила вывода модифицируются? Главная мишень - **дизъюнктивный силлогизм**: A ∨ B, ¬A ⊢ B. В паранепротиворечивых логиках он ограничивается или отменяется.
Какое правило вывода модифицируется в паранепротиворечивых логиках?
Проблема explosion
**Explosion** (взрыв) - принцип классической логики: из противоречия следует что угодно. Латинское название - **ex contradictione quodlibet** (ECQ) или **ex falso quodlibet**.
Почему explosion - проблема? В реальных рассуждениях противоречия возникают из-за ошибок, неполной информации, конфликтующих источников. Если каждое противоречие делает систему бесполезной - мы не можем работать с реальностью.
**Четырёхзначная логика Белнапа** популярна в CS: значение может быть «известно как истина», «известно как ложь», «противоречиво» (оба), «неизвестно» (ни одно). Это естественно для баз знаний.
Почему explosion (ECQ) считается проблемой?
Диалетеизм
**Диалетеизм** - философская позиция, утверждающая, что некоторые противоречия **истинны**: существуют высказывания, которые одновременно истинны и ложны (true contradictions, dialetheia).
Главный защитник диалетеизма - Грэм Прист (Graham Priest). Его Logic of Paradox (LP) - формальная система, в которой диалетеи логически корректны.
Диалетеизм - радикальная позиция. Большинство логиков отвергают истинные противоречия, но принимают паранепротиворечивость как инструмент для работы с неидеальной информацией.
Применения: автоматическое рассуждение с противоречивыми базами знаний, revision theory of truth, формализация парадоксов, юридическое рассуждение при конфликте норм.
Паранепротиворечивые логики «отменяют» закон непротиворечия
Паранепротиворечивые логики блокируют explosion, но не обязательно принимают все противоречия
Большинство паранепротиворечивых логик - инструменты для работы с неидеальной информацией. Они не утверждают, что противоречия хороши или желательны - только что система должна продолжать работать при их наличии.
Что утверждает диалетеизм?
Ключевые идеи
- **Паранепротиворечивость** — способность системы терпеть противоречия, не разваливаясь
- **Explosion (ECQ)**: A ∧ ¬A ⊢ B — из противоречия следует что угодно. Паранепротиворечивые логики блокируют это
- **Диалетеизм** — радикальный тезис: некоторые противоречия истинны (true contradictions)
- Практика: LP, четырёхзначная логика Белнапа, релевантная логика — инструменты для работы с противоречивой информацией
Связанные темы
Паранепротиворечивость связана с другими неклассическими логиками:
- Парадокс лжеца — Главный мотивирующий пример для диалетеизма
- Модальная логика — Паранепротиворечивые модальные логики исследуют «возможные противоречия»
Вопросы для размышления
- Если база данных содержит противоречие, что лучше: отказать в ответе, дать оба ответа, или выбрать один? Почему?
- Можете ли вы придумать ситуацию, где принятие истинного противоречия было бы полезнее, чем его устранение?
- Чем отличается «противоречие в данных» от «противоречия в реальности»? Имеет ли это различие смысл?