Formal systems of dialogue rules
Synthese 63 (3):295 - 328 (1985)
Abstract
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.DOI
10.1007/bf00485598
My notes
Similar books and articles
The Einstein-podolsky-Rosen paradox re-examined.David H. Sharp - 1961 - Philosophy of Science 28 (3):225-233.
Dialogue Foundations.Wilfrid Hodges & Erik C. W. Krabbe - 2001 - Aristotelian Society Supplementary Volume 75:17-49.
Is there a burden of questioning?Douglas Walton - 2003 - Artificial Intelligence and Law 11 (1):1-43.
Analytics
Added to PP
2009-01-28
Downloads
65 (#185,730)
6 months
2 (#299,675)
2009-01-28
Downloads
65 (#185,730)
6 months
2 (#299,675)
Historical graph of downloads
Citations of this work
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.
References found in this work
From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation.Else Margarete Barth & Erik C. W. Krabbe - 1982 - Berlin and New York: De Gruyter.
From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation.E. M. Barth - 1982 - Berlin and New York: W. De Gruyter.
Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (1-2):32-55.
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.