Оглавление [Скрыть]
Отношение доступности
-
Определение отношения доступности
- Отношение доступности играет ключевую роль в реляционной семантике модальной логики.
- Истинность модальной формулы зависит от отношения доступности между возможным миром и другими возможными мирами.
-
Пример использования отношения доступности
- Формула ◊P будет истинной в мире w, если wR v, где v совместим с доступной информацией.
- Если wR v не выполняется, то ◊P будет ложным, если только P не выполняется в другом мире u, где wR u.
-
Концептуальная мотивация
- Модальные высказывания в естественном языке зависят от определенных, но не всех альтернативных сценариев.
- Отношение доступности формализует, что wR v, если v совместим с доступной информацией на w.
-
Применение в различных областях
- В эпистемологии доступность используется для описания знания отдельного человека, когда он не знает исключающей информации.
- В деонтической логике wR v означает, что v является морально идеальным с учетом моральных стандартов w.
- В информатике возможные миры могут быть представлены как состояния, а отношение доступности как программа, которая переводит компьютер из одного состояния в другое.
-
Теория модального соответствия
- Математическое исследование связи достоверности с условиями отношений доступности известно как теория модального соответствия.
-
Ссылки на литературу
- Упомянуты работы Герла Г., Фителсона, Брауна и Крипке, которые касаются теории модальной логики и возможных миров.