This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Computational Semantics in Discourse: Underspecification, Resolution, and Inference.Johan Bos - 2004 - Journal of Logic, Language and Information 13 (2):139-157.
Generic Generalisations, Discourse Representation Structures, and Knowledge Representation.Gerhard Heyer - 1988 - In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories.Myriam Bras & Laure Vieu (eds.) - 2001 - Elsevier.
Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-Theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. [REVIEW]Varol Akman - 1995 - Philosophical Explorations.
Combining Montague Semantics and Discourse Representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Added to index2009-01-28
Total downloads49 ( #101,820 of 2,146,869 )
Recent downloads (6 months)4 ( #184,910 of 2,146,869 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.