Логика Данна-Белнапа, её «родственники» и формальное моделирование аргументации
- Страницы / Pages
- 36-48
Аннотация
В работе рассматриваются различные подходы к применению семантики Данна-Белнапа в формальном моделировании аргументативных рассуждений. Среди данных подходов нами выделяется два из них: подход А. Бохмана, основанный на понятии би-секвенциальных отношений, и подход Д.В. Зайцева, основанный на парадигме обобщенных истинностных значений. Главным результатом работы является применение логик ETL и NFL к формальному моделированию аргументативных рассуждений. Данные логики могут быть сформулированы в семантике Д.В. Зайцева, где связка отрицания определяется как отрицание де Моргана. Таким образом, в данной работе подвергается критике тезис о том, что выбор отрицания де Моргана для аргументативной логики приводит к системе FDE.
Abstract
I
Список литературы
Зайцев Д. В. Обобщенная релевантная логика и модели рассуждений. — Креативная экономика Москва, 2010. — С. 312. — ISBN 978-5-91292-054-7.
Зайцев Д. В., Григорьев О. М. Две истины-одна логика // Логические исследования. — 2011. — № 17.
46
Belnap N. A Useful Four-Valued Logic // Modern Uses of Multiple-Valued Logic / ed. by J. M. Dunn, G. Epstein. — D. Reidel, 1977a.
Belnap N. How a Computer Should Think // Contemporary Aspects of Philosophy / ed. by G. Ryle. — Oriel Press, 1977b.
Bochman A. Explanatory Nonmonotonic Reasoning. Vol. 4.—World Scienti c Publishing Co. Pte. Ltd., 2005. — (Advances in Logic).
Pietz A., Rivieccio U. Nothing but the truth // Journal of philosophical logic. — 2013. — Vol. 42, no. 1. — P. 125—135.
Shramko Y., Zaitsev D., Belikov A. First-Degree Entailment and its Relatives // Studia Logica. — 2017. — Dec. — Vol. 105, no. 6. — P. 1291—1317. — ISSN 1572-8730. — DOI: 10.1007/s11225-017-9747-7. — URL: https://doi.org/
10.1007/s11225-017-9747-7.
Zaitsev D., Shramko Y. Bi-facial truth: A case for generalized truth values // Studia Logica. — 2013. — Vol. 101, no. 6. — P. 1299—1318.