|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Логика Данна-Белнапа, её «родственники» и формальное моделирование аргументациистатья
- Автор: Беликов А.А.
- Журнал: РАЦИО.ru
- Том: 18
- Номер: 1
- Год издания: 2017
- Первая страница: 36
- Последняя страница: 48
- Аннотация: В работе рассматриваются различные подходы к применению семантики Данна-Белнапа в формальном моделировании аргументативных рассуждений. Среди данных подходов нами выделяется два из них: подход А. Бохмана, основанный на понятии би-секвенциальных отношений, и подход Д. В. Зайцева, основанный на парадигме обобщенных истинностных значений. Главным результатом работы является применение логик ETL и NFL к формальному моделированию аргументативных рассуждений. Данные логики могут быть сформулированы в семантике Д. В. Зайцева, где связка отрицания определяется как отрицание де Моргана. Таким образом, в данной работе подвергается критике тезис о том, что выбор отрицания де Моргана для аргументативной логики приводит к системе FDE.
- Добавил в систему: Беликов Александр Александрович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Ratio_2017_1_04_Belikov.pdf | 590,7 КБ | 25 марта 2018 [belikov_sasha@bk.ru] |