Journal of Logic, Language and Information

, Volume 16, Issue 4, pp 403–421

Meaning and Dialogue Coherence: A Proof-theoretic Investigation


DOI: 10.1007/s10849-007-9046-1

Cite this article as:
Piwek, P. J of Log Lang and Inf (2007) 16: 403. doi:10.1007/s10849-007-9046-1


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.


Coherence Dialogue modelling Natural deduction Multi-agent Inference Proof-theoretic semantics 

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.Centre for Research in ComputingThe Open UniversityMilton KeynesUK

Personalised recommendations