|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Обоснование выводимых правил в нетранзитивной логике Уирастатья
- Автор: Шангин В.О.
- Сборник: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г
- Год издания: 2021
- Место издания: «Русское общество истории и философии науки» Москва
- Первая страница: 64
- Последняя страница: 68
- Аннотация: Алан Уир предложил трехзначную нетранзитивнуюлогику NC3 в виде системы натурального вывода с зависимостями (типа Суппеса-Леммона). Особенностью отношения следования вNC3 является двунаправленность: в нем различаются совпадающиев классической логике сохранение истинности от посылок к заключению и сохранение ложности от заключения к посылкам. В результате следование в NC3 нетранзитивно: точнее говоря, оно обладает ограниченной, а не обобщенной транзитивностью. На уровне системы натурального вывода для NC3 A. Уир предложил ограничивать применение только некоторых правил исключения логическихсвязок: применение правила разрешено, если все формулы, от которых зависят посылки данных правил, детерминированы. В статьемы предлагаем новое обоснование для выводимых правил уировскойсистемы.
- Добавил в систему: Шангин Василий Олегович