Formal systems of dialogue rules

Synthese 63 (3):295 - 328 (1985)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,363

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Noemata and their formalization.Wojciech Krysztofiak - 1995 - Synthese 105 (1):53 - 86.
Is there a burden of questioning?Douglas Walton - 2003 - Artificial Intelligence and Law 11 (1):1-43.
The logical study of science.Johan Benthem - 1982 - Synthese 51 (3):431 - 472.
The nature of probability.Patrick Suppes - 2010 - Philosophical Studies 147 (1):89 - 102.
Formal systems of dialogue rules.Erick C. W. Krabbe - 1984 - Synthese 58 (2):295 - 328.

Analytics

Added to PP
2009-01-28

Downloads
65 (#185,730)

6 months
2 (#299,675)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.
Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
Dialogical connexive logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.

View all 15 citations / Add more citations

References found in this work

Fallacies.Charles Leonard Hamblin - 1970 - London, England: Vale Press.
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.

View all 10 references / Add more references