# 对话逻辑与论辩框架

> 【EN】Dialogical logic is a dialogue-based approach to logic and argumentation rooted in a research tradition that goes back to dialectics in Greek Antiquity, when problems were approached through dialogues in which opposing parties discussed a thesis through questions and answers. The dialogical framework was first worked out in its modern form by Paul Lorenzen and Kuno Lorenz in the context of constructive mathematics and logic, and inspired many “dialogical logics” that follow more or less the initial program, thus creating what can be called traditions in dialogical logic. This entry focuses on the developments of dialogical logic in the Lorenzen and Lorenz tradition, which developed in the 1990s and 2000s into a fruitful framework for the study, comparison, and combination of various non-classical systems, giving rise to what has been called dialogical pluralism . … 【中】词条介绍对话逻辑。它以对话为基础处理逻辑与论辩，源自古希腊辩证法中以问答讨论论题的做法；现代形式由洛伦岑与洛伦茨在构造性数学与逻辑的背景下首次建立，并启发了众多后继系统，形成了若干不同的对话逻辑传统。文章概述对话逻辑、策略层面、形式性、基本模态逻辑的对话，并给出局部规则与实例、形成对话与实质对话。

- ID: m13244
- 分类: structure
- 领域: 逻辑学

## 定义

对话逻辑是一种以对话为基础处理逻辑与论辩的进路，其传统可上溯至古希腊的辩证法：那时人们以问答的方式讨论一个论题，对立的双方就此展开辩难。其现代形式由洛伦岑与洛伦茨在构造性数学与逻辑的背景下建立。 脚手架作用：- 论辩建模：把主张与反驳改写为攻防回合，看清谁的压力更大。 - 策略设计：为立场寻找无论对手如何应对都能获胜的应对方案。 - 有效性重解：用是否存在必胜策略判定论证成立，而非静态模型。

## 机制

对话逻辑把公式为真改写为：论证者拥有一套无论对手如何应对都能获胜的策略。双方轮流提出与攻击断言，按局部规则决定谁可以攻击哪一句、如何防守；有效性不再由模型给出，而由是否存在必胜策略来定义，这一构造性解释与直觉主义逻辑天然相合。

## 练习

1) 把待证命题写成主张，明确正反双方立场；2) 按规则轮流攻击与防守，记录每步选择；3) 检查是否存在应对所有攻击的必胜策略；4) 若无，找出对手的必胜路线，说明主张不能成立。

## 脚手架用法

- 论辩建模：把主张与反驳改写为攻防回合，看清谁的压力更大。 - 策略设计：为立场寻找无论对手如何应对都能获胜的应对方案。 - 有效性重解：用是否存在必胜策略判定论证成立，而非静态模型。

[阅读网页](https://thinkingmodels.site/entries/detail/m13244)