Authors
Paul Piwek
Open University (UK)
Abstract
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 Philosophy   Artificial Intelligence   Semantics   Logic
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-008-9069-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,133
Through your library

References found in this work BETA

Fallacies.C. L. Hamblin - 1970 - Vale Press.
Logic and Conversation.H. Paul Grice - 1975 - In Maite Ezcurdia & Robert J. Stainton (eds.), The Semantics-Pragmatics Boundary in Philosophy. Broadview Press. pp. 47.
Fallacies.C. L. Hamblin - 1970 - Revue Philosophique de la France Et de l'Etranger 160:492-492.

View all 23 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Meaning and Dialogue Coherence: A Proof-Theoretic Investigation.Paul Piwek - 2007 - Journal of Logic, Language and Information 16 (4):403-421.
Variation on a Theme of Schutte.D. Probst & G. Jager - 2004 - Mathematical Logic Quarterly 50 (3):258.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
Provability Algebras and Proof-Theoretic Ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.

Analytics

Added to PP index
2015-09-25

Total views
25 ( #436,056 of 2,448,174 )

Recent downloads (6 months)
1 ( #451,050 of 2,448,174 )

How can I increase my downloads?

Downloads

My notes