|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О проблеме симуляции паранепротиворечивых и параполных отрицанийстатья Исследовательская статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Григорьев О.М., Беликов А.А.
- Журнал: Вестник Московского университета. Серия 7: Философия
- Том: 48
- Номер: 4
- Год издания: 2024
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 56
- Последняя страница: 73
- Аннотация: В работе исследуется возможность семантического моделирования таких унарных связок, чья двойная итерация была бы способна симулировать свойства других унарных связок: классического, паранепротиворечивого, параполного и парадефинитного отрицаний. В частности, нами предлагается несколько разновидностей формальной семантики, в рамках которой унарная связка типа отрицания ~ удовлетворяет критериям парадефинитного отрицания, а ее двойная итерация, то есть ~~, ведет себя в точности как отрицание в параполной трехзначной логике Клини.
- Добавил в систему: Беликов Александр Александрович