对话逻辑

对话逻辑（dialogical logic），哲学-哲学-逻辑学-逻辑，逻辑理论的一个分支。用对话的方式去解释逻辑公式的有效性。对话逻辑的研究传统可以追溯到古希腊。当时，逻辑被认为是系统研究对话的，即对话双方就某个中心问题如何交替论证。现代意义上的对话逻辑，源自构造性的数学，使用游戏理论设计对话游戏，为诸多的逻辑系统提供语义解释。