Construction by description in discourse representation

N. van Leusen, R.A. Muskens

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    63 Downloads (Pure)

    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.
    Original languageEnglish
    Title of host publicationMeaning
    Subtitle of host publicationThe dynamic turn
    EditorsJ. Peregrin
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages33-65
    ISBN (Print)0080441874
    Publication statusPublished - 2003

    Publication series

    NameCurrent Research in the Semantics/Pragmatics Interface
    Number12

    Fingerprint

    discourse
    metalanguage
    model theory
    logic
    language
    syntax
    semantics
    linguistics

    Cite this

    van Leusen, N., & Muskens, R. A. (2003). Construction by description in discourse representation. In J. Peregrin (Ed.), Meaning: The dynamic turn (pp. 33-65). (Current Research in the Semantics/Pragmatics Interface; No. 12). Amsterdam: Elsevier.
    van Leusen, N. ; Muskens, R.A. / Construction by description in discourse representation. Meaning: The dynamic turn. editor / J. Peregrin. Amsterdam : Elsevier, 2003. pp. 33-65 (Current Research in the Semantics/Pragmatics Interface; 12).
    @inbook{2e82ab3c15f44240b0fa4081d15d19ef,
    title = "Construction by description in discourse representation",
    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.",
    author = "{van Leusen}, N. and R.A. Muskens",
    year = "2003",
    language = "English",
    isbn = "0080441874",
    series = "Current Research in the Semantics/Pragmatics Interface",
    publisher = "Elsevier",
    number = "12",
    pages = "33--65",
    editor = "J. Peregrin",
    booktitle = "Meaning",
    address = "Netherlands",

    }

    van Leusen, N & Muskens, RA 2003, Construction by description in discourse representation. in J Peregrin (ed.), Meaning: The dynamic turn. Current Research in the Semantics/Pragmatics Interface, no. 12, Elsevier, Amsterdam, pp. 33-65.

    Construction by description in discourse representation. / van Leusen, N.; Muskens, R.A.

    Meaning: The dynamic turn. ed. / J. Peregrin. Amsterdam : Elsevier, 2003. p. 33-65 (Current Research in the Semantics/Pragmatics Interface; No. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    TY - CHAP

    T1 - Construction by description in discourse representation

    AU - van Leusen, N.

    AU - Muskens, R.A.

    PY - 2003

    Y1 - 2003

    N2 - 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.

    AB - 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.

    M3 - Chapter

    SN - 0080441874

    T3 - Current Research in the Semantics/Pragmatics Interface

    SP - 33

    EP - 65

    BT - Meaning

    A2 - Peregrin, J.

    PB - Elsevier

    CY - Amsterdam

    ER -

    van Leusen N, Muskens RA. Construction by description in discourse representation. In Peregrin J, editor, Meaning: The dynamic turn. Amsterdam: Elsevier. 2003. p. 33-65. (Current Research in the Semantics/Pragmatics Interface; 12).