CiteULike is a free online bibliography manager. Register and you can start organising your references online.

From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy) Export

(31 July 1993)

Citation Format

[Posts]

View FullText article


incognito's tags for this article

formal language lib-musil logic model natural representation semantics theory

X Reviews [Write a review of this article]

X Find related articles from these CiteULike users

X Find related articles with these CiteULike tags

X Posting History

X Abstract

This is the first textbook that approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference. The book has been carefully designed for the classroom. It is aimed at students with varying degrees of preparation, including those without prior exposure to semantics or formal logic. Moreover, it should make DRT easily accessible to those who want to learn about the theory on their own. Exercises are available to test understanding as well as to encourage independent theoretical thought. The book serves a double purpose. Besides a textbook, it is also the first comprehensive and fully explicit statement of DRT available in the form of a book. The first part of the book develops the basic principles of DRT for a small fragment of English (but which has nevertheless the power of standard predicate logic). The second part extends this fragment by adding plurals; it discusses a wide variety of problems connected with plural nouns and verbs. The third part applies the theory to the analysis of tense and aspect. Many of the problems raised in Parts Two and Three are novel, as are the solutions proposed. For undergraduate and graduate students interested in linguistics, theoretical linguistics, computational linguistics, artificial intelligence and cognitive science. Suitable for students with no previous exposure to formal semantics or logic.


X BibTeX record

X RIS record


Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.