A Dialogical Interpretation of Cut-Elimination and Its Application to Argumentation Theory
摘要
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.