Formal systems of dialogue rules

  title={Formal systems of dialogue rules},
  author={Erik C. W. Krabbe},
  • E. Krabbe
  • Published 1 June 1985
  • Philosophy
  • Synthese
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… 

Dialogues as a Dynamic Framework for Logic

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

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

  • C. Fermüller
  • Philosophy
    Paul 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

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

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

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

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

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

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

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



Dialogues as a Foundation for Intuitionistic Logic

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

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.

From axiom to dialogue