<p>The general nature of reasoning is that of resolving the conflict between a formula and opposing formulae, e.g., its negation, which together will result in an inconsistency. This resolution process becomes more challenging when the premises themselves are conflicting. Nevertheless, if we accept that reasoning is about handling conflict then reasoning with inconsistency should be a natural and primary logical concept. This paper studies Argumentation Logic (AL) as a paraconsisent logic that naturally applies to logical reasoning under any set of premises, consistent or not. It presents AL as an inherently paraconsistent logical framework where the non-paraconsistent case of reasoning, i.e., reasoning with consistent premises, appears as a special limiting case of the paraconsistent logic.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the Paraconsistency of Argumentation Logic

  • Antonis Kakas

摘要

The general nature of reasoning is that of resolving the conflict between a formula and opposing formulae, e.g., its negation, which together will result in an inconsistency. This resolution process becomes more challenging when the premises themselves are conflicting. Nevertheless, if we accept that reasoning is about handling conflict then reasoning with inconsistency should be a natural and primary logical concept. This paper studies Argumentation Logic (AL) as a paraconsisent logic that naturally applies to logical reasoning under any set of premises, consistent or not. It presents AL as an inherently paraconsistent logical framework where the non-paraconsistent case of reasoning, i.e., reasoning with consistent premises, appears as a special limiting case of the paraconsistent logic.