Cover not available

In:Exploring Dialogue: Selected essays on argumentation by Erik C. W. Krabbe with contributions by Jan Albert van Laar
Edited by Erik C.W. Krabbe and Jan Albert van Laar
[Argumentation in Context 23] 2026
► pp. 238–268

Chapter 14
Formal systems of dialogue rules

This content is being prepared for publication; it may be subject to changes.
Article outline
  • 1.A survey of some options in constructing a formal system of dialogue rules
    • 1.1Material versus formal dialogues
    • 1.2The choice of a language: Rules for logical constants
    • 1.3Initial positions: Attacks on elementary statements
    • 1.4Ending a dialogue: Winning and losing
    • 1.5How to curb repetitive behavior: Structural rules
    • 1.6Chains of arguments
  • 2.A system of dialogue rules that yields intuitionistic logic
    • 2.1Preliminaries
    • 2.2From strategies to deductions
    • 2.3From deductions to strategies
  • 3.Equivalence of Ei and other types of system
    • 3.1From Ei to E
    • 3.2From E to D
  • Final remarks
  • Notes
  • References
References (30)
References
Barth, E. M. and E. C. W. Krabbe. 1982. From Axiom to Dialogue. A Philosophical Study of Logics and Argumentation, Walter de Gruyter, Berlin. Google Scholar logo with link to Google Scholar
Beth, E. W. 1962. Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic, Reidel, Dordrecht.Google Scholar logo with link to Google Scholar
Felscher, W. 1982. ‘Dialogues as a Foundation for Intuitionistic Logic’, preprint to appear in: D. M. Gabbay and F. Günthner (eds.), Handbook of Philosophical Logic, III, Reidel, Dordrecht, forthcoming.Google Scholar logo with link to Google Scholar
1983. ‘Dialogues, Strategies, and Intuitionistic Provability’, preprint.Google Scholar logo with link to Google Scholar
Gethmann, C. F. (ed.): 1980. Theorie des wissenschaftlichen Argumentierens, Suhrkamp, Frankfurt-on-Main.Google Scholar logo with link to Google Scholar
(ed.): 1982. Logik und Pragmatik. Zum Rechtfertigungsproblem logischer Sprachregeln, Suhrkamp, Frankfurt-on-Main.Google Scholar logo with link to Google Scholar
Haas, G. 1980. ‘Hypothesendialoge, konstruktiver Sequenzenkalkül und die Rechtfertigung von Dialograhmenregeln’, in: C. F. Gethmann (ed.), (1980) pp. 136–161.Google Scholar logo with link to Google Scholar
Hamblin, C. L. 1970. Fallacies, Methuen, London.Google Scholar logo with link to Google Scholar
Kamlah, W. and P. Lorenzen. 1973. Logische Propädeutik. Vorschule des vernünftigen Redens, 2nd ed., Bibliographisches Institut, Mannheim, etc. (1st ed.: 1967).Google Scholar logo with link to Google Scholar
Kindt, W. 1970. Dialogspiele (Diplomarbeit), Freiburg.Google Scholar logo with link to Google Scholar
1972. Eine abstrakte Theorie von Dialogspielen (Inaugural Dissertation), Freiburg.
Krabbe, E. C. W. 1982. Studies in Dialogical Logic (dissertation), Groningen.
1982a. ‘Modal Dialectics’, in: Krabbe (1982), pp. 206–245.Google Scholar logo with link to Google Scholar
1982b. ‘Essentials of the Dialogical Treatment of Quantifiers’, in: Krabbe (1982), pp. 249–257.Google Scholar logo with link to Google Scholar
1982c. ‘Formal Dialectics as Immanent Criticism of Philosophical Systems’, in: E. M. Barth and J. L. Martens (eds.), Argumentation. Approaches to Theory Formation. Containing the Contributions to the Groningen Conference on the Theory of Argumentation, October 1978. John Benjamins, Amsterdam, pp. 233–243. Reprinted in Krabbe (1982), pp. 70–79. Google Scholar logo with link to Google Scholar
1985. ‘Noncumulative Dialectical Models and Formal Dialectics,’ to appear in the Journal of Philosophical Logic. An earlier version appeared in Krabbe (1982), pp. 177–205.Google Scholar logo with link to Google Scholar
Lorenz, K. 1961. Arithmetik und Logik als Spiele (Inaugural Dissertation), Kiel. Selections reprinted in: P. Lorenzen and K. Lorenz (1978), pp. 17–95.
1968. ‘Dialogspiele als semantische Grundlage von Logikkalkülen’, Archiv fur mathematische Logik und Grundlagenforschung 11, 32–55 and 73–100. Reprinted in: P. Lorenzen and K. Lorenz (1978), pp. 96–162. Google Scholar logo with link to Google Scholar
1973. ‘Die dialogische Rechtfertigung der effektiven Logik’, in: F. Kambartel and J. Mittelstrass (eds.), Zum normativen Fundament der Wissenschaft, Athenäum, Frankfurt-on-Main, pp. 250–280. Reprinted in: P. Lorenzen and K. Lorenz (1978), pp. 179–209.Google Scholar logo with link to Google Scholar
Lorenzen, P. 1960. ‘Logik und Agon’, in: Atti del XII Congresso di Filosofia (Venezia, 12–18 Settembre 1958), IV: Logica, linguaggio e comunicazione, Sansoni, Florence, pp. 187–194. Reprinted in: P. Lorenzen and K. Lorenz (1978), pp. 1–8.Google Scholar logo with link to Google Scholar
1962. Metamathematik, Bibliographisches Institut, Mannheim, etc.Google Scholar logo with link to Google Scholar
1967. Formale Logik, 3rd expanded ed., Walter de Gruyter, Berlin. Google Scholar logo with link to Google Scholar
1969. Normative Logic and Ethics, Bibliographisches Institut, Mannheim, etc.Google Scholar logo with link to Google Scholar
Lorenzen, P. and K. Lorenz. 1978. Dialogische Logik, Wissenschaftliche Buchgesellschaft, Darmstadt.Google Scholar logo with link to Google Scholar
Lorenzen, P. and O. Schwemmer. 1975. Konstruktive Logik, Ethik und Wissenschaftstheorie, 2nd. ed., Bibliographisches Institut, Mannheim, etc. (1st ed., 1973).Google Scholar logo with link to Google Scholar
Mayer, G. 1981. Die Logik im Deutschen Konstruktivismus. Die Rolle formaler Systeme im Wissenschaftsaufbau der Erlanger und Konstanzer Schule (Inaugural Dissertation), München.
Schütte, K. 1968. Vollständige Systeme modaler und intuitionistischer Logik, Springer, Berlin, etc. Google Scholar logo with link to Google Scholar
Stegmüller, W. and M. Varga von Kibéd. 1984. Strukturtypen der Logik, Springer, Berlin, etc., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, III. Google Scholar logo with link to Google Scholar
Thiel, Chr. 1978. ‘Duality Lost? Transforming Gentzen Derivations into Winning-Strategies for Dialogue Games’, Teorema 8, 57–66. University of Valencia.Google Scholar logo with link to Google Scholar
1980. ‘Über Ursprung und Problemlage des argumentationstheoretischen Aufbaus der Logik’, in: C. F. Gethmann (ed.), (1980), pp. 117–135.Google Scholar logo with link to Google Scholar
Mobile Menu Logo with link to supplementary files background Layer 1 prag Twitter_Logo_Blue