|Abstract||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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Johan Bos (2004). Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13 (2):139-157.
Gerhard Heyer (1988). Generic Generalisations, Discourse Representation Structures, and Knowledge Representation. In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
Myriam Bras & Laure Vieu (eds.) (2001). Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories. Elsevier.
Varol Akman (1995). 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] .
Reinhard Muskens (1995). Tense and the Logic of Change. In [Book Chapter].
Reinhard Muskens (1996). Combining Montague Semantics and Discourse Representation. Linguistics and Philosophy 19 (2):143 - 186.
Added to index2009-01-28
Total downloads26 ( #53,527 of 722,700 )
Recent downloads (6 months)1 ( #60,006 of 722,700 )
How can I increase my downloads?