ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
В рамках доклада исследуются две логические теории с так называемым оператором «циклического отрицания». Данная конструкция позволяет сформулировать особую логическую связку, которая может симулировать характеристические свойства классического отрицания, не будучи при этом классическим отрицанием в полном смысле слова. Кроме того, в докладе отмечается, что то же самое циклическое отрицание позволяет симулировать некоторые свойства других логических объектов – модальных операторов необходимости и возможности, в частности тех их свойств, которыми данные операторы характеризуются в контексте минимальной модальной логики K. Наконец, в докладе обсуждается вопрос о том, может ли вообще оператор циклического отрицания претендовать на роль формальной экспликации понятия отрицания.