Formal systems of dialogue rules

Synthese 63 (3):295 - 328 (1985)
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 ending a dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00485598
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,233
Through your library
References found in this work BETA
Fallacies.C. L. Hamblin - 1970 - Vale Press.
Dialogues, Strategies, and Intuitionistic Provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.
Noncumulative Dialectical Models and Formal Dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.

View all 7 references / Add more references

Citations of this work BETA
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
I Guess.Jim Mackenzie - 1987 - Australasian Journal of Philosophy 65 (3):290 – 300.

Add more citations

Similar books and articles
The Einstein-Podolsky-Rosen Paradox Re-Examined.David H. Sharp - 1961 - Philosophy of Science 28 (3):225-233.
The Nature of Probability.Patrick Suppes - 2010 - Philosophical Studies 147 (1):89 - 102.
The Logical Study of Science.Johan Benthem - 1982 - Synthese 51 (3):431 - 472.
Is There a Burden of Questioning?Douglas Walton - 2003 - Artificial Intelligence and Law 11 (1):1-43.
Noemata and Their Formalization.Wojciech Krysztofiak - 1995 - Synthese 105 (1):53 - 86.
Dialogue Foundations.Wilfrid Hodges & Erik C. W. Krabbe - 2001 - Aristotelian Society Supplementary Volume 75:17-49.
Formal Systems of Dialogue Rules.Erick C. W. Krabbe - 1984 - Synthese 58 (2):295 - 328.

Monthly downloads

Added to index


Total downloads

44 ( #118,800 of 2,172,874 )

Recent downloads (6 months)

1 ( #324,901 of 2,172,874 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums