David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
E. M. Barth (1982). From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation. W. De Gruyter.
Walter Felscher (1985). Dialogues, Strategies, and Intuitionistic Provability. Annals of Pure and Applied Logic 28 (3):217-254.
C. L. Hamblin (1970/1993). Fallacies. Vale Press.
Erik C. W. Krabbe (1985). Noncumulative Dialectical Models and Formal Dialectics. Journal of Philosophical Logic 14 (2):129 - 168.
Christian Thiel (1978). ¿ La dualidad perdida? Transformación de las derivaciones de Gentzen en estrategias de ganancia para juegos dialógicos. Teorema 8 (1):57-66.
Citations of this work BETA
Nicolas Clerbout (2014). First-Order Dialogical Games and Tableaux. Journal of Philosophical Logic 43 (4):785-801.
Jim Mackenzie (1987). I Guess. Australasian Journal of Philosophy 65 (3):290 – 300.
Similar books and articles
David H. Sharp (1961). The Einstein-Podolsky-Rosen Paradox Re-Examined. Philosophy of Science 28 (3):225-233.
Patrick Suppes (2010). The Nature of Probability. Philosophical Studies 147 (1):89 - 102.
Johan Benthem (1982). The Logical Study of Science. Synthese 51 (3):431 - 472.
Douglas Walton (2003). Is There a Burden of Questioning? Artificial Intelligence and Law 11 (1):1-43.
Lauri Carlson (1988). Quantified Hintikka-Style Epistemic Logic. Synthese 74 (2):223 - 262.
Wojciech Krysztofiak (1995). Noemata and Their Formalization. Synthese 105 (1):53 - 86.
Wilfrid Hodges & Erik C. W. Krabbe (2001). Dialogue Foundations. Aristotelian Society Supplementary Volume 75:17 - 49.
Erick C. W. Krabbe (1984). Formal Systems of Dialogue Rules. Synthese 58 (2):295 - 328.
Added to index2009-01-28
Total downloads15 ( #124,718 of 1,679,364 )
Recent downloads (6 months)1 ( #183,761 of 1,679,364 )
How can I increase my downloads?