Journal of Logic, Language and Information 16 (4):403-421 (2007)
This paper presents a novel proof-theoretic account of dialogue coherence. It focuses on an abstract class of cooperative information-oriented dialogues and describes how their structure can be accounted for in terms of a multi-agent hybrid inference system that combines natural deduction with information transfer and observation. We show how certain dialogue structures arise out of the interplay between the inferential roles of logical connectives (i.e., sentence semantics), a rule for transferring information between agents, and a rule for information flow between agents and their environment. The order of explanation is opposite in direction to that adopted in game-theoretic semantics, where sentence semantics (or a notion of valid inference) is derived from winning dialogue strategies. That approach and the current one may, however, be reconcilable, since we focus on cooperative dialogue, whereas the game-theoretic tradition concentrates on adversarial dialogue.
|Keywords||dialogue natural deduction coherence dialogue structure inference|
|Categories||categorize this paper)|
References found in this work BETA
Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert B. Brandom - 1994 - Harvard University Press.
Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning.Douglas Walton & Erik C. W. Krabbe - 1995 - State University of New York Press.
From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation.E. M. Barth - 1982 - W. De Gruyter.
Citations of this work BETA
Similar books and articles
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Queiroz Ruy J. G. B. De - 2008 - Studia Logica 90 (2):211 - 247.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
Added to index2009-01-28
Total downloads62 ( #80,692 of 2,146,489 )
Recent downloads (6 months)4 ( #185,113 of 2,146,489 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.