Argumentative consequence, non-monotony, and relevance

##plugins.themes.bootstrap3.article.main##

Dmitry V. Zaitsev

Abstract

The paper explores the particularities of argumentative consequence relation. Among its important characteristics are soundness (where sound argument is an argument that is both valid and has true premises) and defeasibility. The latter property suggests the possibility for argumentative reasoning to be defeated in the light of potential of criticism and/or additional information. Based on these considerations, a semantic interpretation of argumentative consequence relation is proposed as a kind of restriction of the classical one by the additional requirement for the set of premises to be satisfiable, which presupposes the existense of a truth-value assignment for the variables that makes all the premises true. This informally generated condition leads to defeasibility of the consequence relation. Adding arbitrary information to the original set of premises (either self-contradictory, or contradicting previously accepted premises) becomes prohibited. Hereinafter I propose a consequence system formalizing the introduced above concept of argumentative (semantic) consequence, and prove its semantic adequacy. This system in turn serves as a basis for further relevantization of the first degree semantic consequence relation enriched with an extra requirement for a conclusion to be non-tautological.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Theory and Practice of Argumentation

References

Anderson, Belnap, 1975 – Anderson A.R., Belnap N.D. Entailment. The Logic of Relevance and Necessity. Vol. 1. Princeton, NJ: Princeton University Press, 1975. 543 p.
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.