Formal systems of dialogue rules
Synthese 58 (2):295 - 328 (1984)
| 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDavid 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).
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.
Erik C. W. Krabbe (1985). Formal Systems of Dialogue Rules. Synthese 63 (3):295 - 328.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,498 of 549,013 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
