# Formal systems of dialogue rules

@article{Krabbe2004FormalSO, title={Formal systems of dialogue rules}, author={Erik C. W. Krabbe}, journal={Synthese}, year={2004}, volume={63}, pages={295-328} }

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The problem of…

## 47 Citations

### Dialogues as a Dynamic Framework for Logic

- Philosophy
- 2011

Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts…

### A Curious Dialogical Logic and its Composition Problem

- PhilosophyJ. Philos. Log.
- 2014

It is proved that the composition problem for N can be solved directly, and a tableaux system for N is introduced, which is a set N of dialogue rules which is well-justified from the dialogical point of view, but whose set of dialogically valid formulas is both non-trivial and non-standard.

### Connecting Sequent Calculi with Lorenzen-Style Dialogue Games

- PhilosophyPaul Lorenzen -- Mathematician and Logician
- 2021

It is illustrated that intuitions about resource-conscious reasoning are well served by translating sequent calculi into Lorenzen-style dialogue games, and suggested that these dialogue games may be understood as games of information extraction, where a sequent corresponds to the claim that a certain information package can be systematically extracted from a given bundle of such packages of logically structured information.

### Basic Notions for Dialogical Logic

- Philosophy
- 2018

The dialogical approach to logic is not a specific logical system; it is rather a general framework having a rule-based approach to meaning (instead of a truth-functional or a model-theoretical…

### Argumentation and Abduction in Dialogical Logic

- Philosophy
- 2017

This chapter advocates for a reconciliation of argumentation theory and formal logic in an agent-centered theory of reasoning, that is, a theory in which inferences are studied as human activities.…

### Proof Search in Multi-Agent Dialogues for Modal Logic

- Computer Science, Philosophy
- 2018

Constructive modal logics, as a combination of intuitionistic propositional logic and classical modalLogics, describe a family of modal systems which are, compared to the classical variant, more restrictive concerning the validity of formulas.

### The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting

- Philosophy
- 2018

The work of Roshdi Rashed has set a landmark in many senses, but perhaps the most striking one is his inexhaustible thrive to open new paths for the study of conceptual links between science and…

### Representation of formal dispute with astanding order

- PhilosophyArtificial Intelligence and Law
- 2004

It is shown that parts of the definition of a dispute may change within one logical system, and the notion of partial protocol specification (PPS) is introduced, showing the existence of self-undermining PPSs.

### Dialogical Connexive Logic

- PhilosophySynthese
- 2004

This paper introduces dialogical games with the help of a new connexive If-Then (“→”), the structural rules of which allow the Proponent to develop (formal) winning strategies not only for the above-mentioned Connexive theses but also for (a → b) → ¬(a →¬ b) and (a→ b)→ ¬ (¬ a → b).

### Some Remarks on the E-Rule in Dialogical Logic

- Philosophy
- 2012

We make a few observations on the E-rule of dialogical logic, which requires the Opponent to respond immediately to the Proponent’s moves. This rule is sometimes redundant, in that it can be added to…

## References

SHOWING 1-10 OF 13 REFERENCES

### Dialogues as a Foundation for Intuitionistic Logic

- Philosophy
- 2002

The principal content of this article is a (new) foundation for intuitionistic logic, based on an analysis of argumentative processes as codified in the concepts of a dialogue and a strategy for…

### Noncumulative dialectical models and formal dialectics

- PhilosophyJ. Philos. Log.
- 1985

In [2], on the other hand, the elements d, d’ of the set D in a dialectical structure represent possible dialectical situations of a specifiable dialectical subjectP and dRd’ is read accordingly.