Аргументативное следование, немонотонность и релевантность
Article Sidebar
Main Article Content
Аннотация
В статье исследуется специфика аргументативного следования. В числе важных его характеристик выделяются требование истинности аргументов (или, по крайней мере, их непротиворечивости) и модифицируемость, предполагающая потенциальную опровержимость аргументативных рассуждений в свете критики и/или новой информации. На основании этих соображений предлагается семантическая трактовка аргументативного следования как некоторого ограничения классического: к стандартному определению следования добавляется условие, обеспечивающее непротиворечивость исходных аргументов — наличие приписывания значений переменным, при котором множество формул, составляющих посылки аргументативного рассуждения, совместимо по истинности. Это неформально обосновываемое условие приводит к модифицируемости следования. Добавление к исходному множеству посылок произвольной информации (возможно, противоречивой или противоречащей принятым ранее посылкам) становится недопустимым. Далее в статье строится исчисление выводимостей, формализующее введенное понятие аргументативного следования, и доказывается его семантическая адекватность. Построенная логика служит основой для релевантизированного варианта формализации аргументативного следования, к определению которого добавляется условие не-тавтологичности заключения.
Скачивания
Article Details
Copyright (c) 2025 Дмитрий Владимирович Зайцев
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Литература
Koons, 2022 – Koons R. Defeasible Reasoning // The Stanford Encyclopedia of Philosophy (Summer 2022 Edition) / E.N. Zalta (ed.). URL: https://plato. stanford.edu/archives/sum2022/entries/reasoning-defeasible/ (дата обращения: 17.02.2025).
Priest, 1999 – Priest G. Negation as cancellation, and connexive logic // Topoi. 1999. Vol. 18. No. 6. P. 141–148.
Routley, Routley, 1985 – Routley R., Routley V. Negation and Contradiction // Rivista Columbiana de Matem´aticas. 1985. Vol. 19. P. 201–231.
Shramko et al., 2017 – Shramko Ya., Zaitsev D., Belikov A. First-degree entailment and its relatives // Studia Logica. 2017. Vol. 105. No. 6. P. 1291–1317.
Smiley, 1959 – Smiley T.J. Entailment and Deducibility // Proceedings of the Aristotelian Society. 1959. Vol. 59. P. 233–254.