Towards an application of proof theory to argumentation theory, we investigate the framework of Lorenzen dialogue. Building on our previous studies on a sequent calculus representation of Lorenzen dialogue and a proof-construction style representation of cut-elimination, we propose a Lorenzen dialogical interpretation of cut-elimination. We then explore how Lorenzen dialogue for cut-elimination can be understood as a form of persuasion dialogue aimed at resolving conflicts of opinion between two individuals.

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

A Dialogical Interpretation of Cut-Elimination and Its Application to Argumentation Theory

  • Ryo Takemura

摘要

Towards an application of proof theory to argumentation theory, we investigate the framework of Lorenzen dialogue. Building on our previous studies on a sequent calculus representation of Lorenzen dialogue and a proof-construction style representation of cut-elimination, we propose a Lorenzen dialogical interpretation of cut-elimination. We then explore how Lorenzen dialogue for cut-elimination can be understood as a form of persuasion dialogue aimed at resolving conflicts of opinion between two individuals.