David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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.
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] Philosophical Explorations.
Myriam Bras & Laure Vieu (eds.) (2001). Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories. Elsevier.
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
Reinhard Muskens (1996). Combining Montague Semantics and Discourse Representation. Linguistics and Philosophy 19 (2):143 - 186.
Added to index2009-01-28
Total downloads34 ( #95,542 of 1,726,249 )
Recent downloads (6 months)5 ( #147,227 of 1,726,249 )
How can I increase my downloads?