Continuations and the nature of quantification

Christian Barker

    Research output: Contribution to journalArticle

    Abstract

    This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail.

    Original languageEnglish (US)
    Pages (from-to)211-242
    Number of pages32
    JournalNatural Language Semantics
    Volume10
    Issue number3
    StatePublished - 2002

    Fingerprint

    quantification
    semantics
    grammar
    programming language
    language
    syntax
    Quantification
    Continuation

    ASJC Scopus subject areas

    • Linguistics and Language

    Cite this

    Continuations and the nature of quantification. / Barker, Christian.

    In: Natural Language Semantics, Vol. 10, No. 3, 2002, p. 211-242.

    Research output: Contribution to journalArticle

    Barker, C 2002, 'Continuations and the nature of quantification', Natural Language Semantics, vol. 10, no. 3, pp. 211-242.
    Barker, Christian. / Continuations and the nature of quantification. In: Natural Language Semantics. 2002 ; Vol. 10, No. 3. pp. 211-242.
    @article{3ce8a2d5735a45a79f2925792007fcf3,
    title = "Continuations and the nature of quantification",
    abstract = "This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail.",
    author = "Christian Barker",
    year = "2002",
    language = "English (US)",
    volume = "10",
    pages = "211--242",
    journal = "Natural Language Semantics",
    issn = "0925-854X",
    publisher = "Springer Netherlands",
    number = "3",

    }

    TY - JOUR

    T1 - Continuations and the nature of quantification

    AU - Barker, Christian

    PY - 2002

    Y1 - 2002

    N2 - This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail.

    AB - This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail.

    UR - http://www.scopus.com/inward/record.url?scp=21644489030&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=21644489030&partnerID=8YFLogxK

    M3 - Article

    VL - 10

    SP - 211

    EP - 242

    JO - Natural Language Semantics

    JF - Natural Language Semantics

    SN - 0925-854X

    IS - 3

    ER -