Двухсторонняя логика подтверждения и опровержения

А. А. Беликов

Аннотация


В данной работе предлагается логическая теория, оперирующая не одним, а двумя отношениями типа следования — отношением подтверждения и отношением опровержения. Эта теория может быть положена в основу структурированного подхода к аргументации, что позволяет произвести обобщение понятия аргумента и отношения «атаки».

Полный текст:

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

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2024 А. А. Беликов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.