The Open UniversitySkip to content

Meaning and Dialogue Coherence: A Proof-theoretic Investigation

Piwek, Paul (2007). Meaning and Dialogue Coherence: A Proof-theoretic Investigation. Journal of Logic, Language and Information, 16(4) pp. 403–421.

Full text available as:
PDF (Not Set) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1382Kb)
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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.

Item Type: Journal Article
ISSN: 1572-9583
Keywords: Logic, Semantics, Dialogue, Natural Deduction, Proof-theoretic Semantics, Agents, Communication, Information Exchange, Inference, Multi-agent Systems
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 9047
Depositing User: Paul Piwek
Date Deposited: 18 Sep 2007
Last Modified: 06 Dec 2014 09:58
Share this page:


Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340