Двухсторонняя логика подтверждения и опровержения
Аннотация
В данной работе предлагается логическая теория, оперирующая не одним, а двумя отношениями типа следования — отношением подтверждения и отношением опровержения. Эта теория может быть положена в основу структурированного подхода к аргументации, что позволяет произвести обобщение понятия аргумента и отношения «атаки».
Полный текст:
PDFЛитература
Anderson A., Belnap N., Dunn J. M. Entailment: The Logic of Relevance and Necessity, Vol. II / ed. by A. Anderson, N. Belnap, J. M. Dunn. Princeton University Press, 1992.
Besnard P., Hunter A. A logic-based theory of deductive argument. Artificial Intelligence 128.1–2, 2001, p. 203–235.
Dung P. M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77.2, 1995, p. 321–357.
Rumfitt I. Yes and no. Mind 106.436, 2000, p. 781–823.
DOI: https://doi.org/10.52119/LPHS.2024.26.37.001
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2024 А. А. Беликов
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.