Type-shifting and beyond Henriëtte de Swart Barcelona, May 2005.

Slides:



Advertisements
Similar presentations
1 Yoad Winter – Technion/Utrecht (Joint work with Sela Mador-Haim – Technion/UPenn) Spatial Meaning and Quantification SALT paper downloadable at:
Advertisements

Syntax Lecture 2: Categories and Subcategorisation.
First-Order Logic (and beyond)
Semantics (Representing Meaning)
The Meaning of Language
Cognitive Linguistics Croft & Cruse 9
Week 3b. Merge, feature checking CAS LX 522 Syntax I.
Statistical NLP: Lecture 3
Linguistic Theory Lecture 8 Meaning and Grammar. A brief history In classical and traditional grammar not much distinction was made between grammar and.
1 Bare predication Bert Le Bruyn 1. 2 I am linguist.a.
Definiteness and Indefiniteness Semantic structures Utrecht, Feb 2009.
Type-shifting and indefinites Henriëtte de Swart Barcelona, May 2005.
Language and Logic: tools for the semantic study of natural language Henriëtte de Swart Barcelona, May 2005.
Bare arguments Semantic Structures ‘10. Carlson (1977) Semantic Structures ‘10.
1 Introduction to Computational Linguistics Eleni Miltsakaki AUTH Fall 2005-Lecture 2.
Null Instantiation Nina Jagtiani and Chris Sams  7420 Fall 2006.
Incorporation Henriëtte de Swart Barcelona, May 2005.
Type shifting and coercion Henriëtte de Swart November 2010.
Meaning and Language Part 1.
Introduction to Logic for Artificial Intelligence Lecture 2 Erik Sandewall 2010.
French grammar and grammatical analysis
WEAK NOUN PHRASES: SEMANTICS AND SYNTAX Barbara H. Partee University of Massachusetts, Amherst.
Lecture 19 Ling 442. Exercises 1.Provide logical forms for the following: (a)Everything John does is crazy. (b)Most of what happened to Marcia is funny.
11 CS 388: Natural Language Processing: Syntactic Parsing Raymond J. Mooney University of Texas at Austin.
Section 1.3: Predicates and Quantifiers
February 2009Introduction to Semantics1 Logic, Representation and Inference Introduction to Semantics What is semantics for? Role of FOL Montague Approach.
Debbie Mueller Mathematical Logic Spring English sentences take the form Q A B Q is a determiner expression  the, every, some, more than, at least,
2004/3/21 A spider kills another spider - generic-if and quantification - Ikumi Imani & Itaru Takarajima Nagoya Gakuin University {imani,
1 Features and Unification Chapter 15 October 2012 Lecture #10.
1 LIN 1310B Introduction to Linguistics Prof: Nikolay Slavkov TA: Qinghua Tang CLASS 14, Feb 27, 2007.
LIN1180/LIN5082 Semantics Lecture 3
Syntax Lecture 8: Verb Types 1. Introduction We have seen: – The subject starts off close to the verb, but moves to specifier of IP – The verb starts.
A small semantics quiz. 2 Guess the determiner P Q  x(P(x)&Q(x)) 2. P Q  x(Plural(x)&P(x)&Q(x)) 3. P Q  x(P(x)  Q(x)) 4. P Q  x(P(x)&  y(P(y)
Continuous Discontinuity in It-Clefts Introduction Tension between the two approaches Our proposal: TAG analysis Equative it-cleft: It was Ohno who won.
‘Weakly referential’ Bare NPs in Chinese Shen Yuan Fudan University, Shanghai
UNIT 7 DEIXIS AND DEFINITENESS
1 LIN 1310B Introduction to Linguistics Prof: Nikolay Slavkov TA: Qinghua Tang CLASS 24, April 3, 2007.
A Cross-Lingual ILP Solution to Zero Anaphora Resolution Ryu Iida & Massimo Poesio (ACL-HLT 2011)
Markus Egg, Alexander Koller, Joachim Niehren The Constraint Language for Lambda Structures Ventsislav Zhechev SfS, Universität Tübingen
Lecture 7 Natural Language Determiners Ling 442. exercises 1. (a) is ambiguous. Explain the two interpretations. (a)Bill might have been killed. 2. Do.
Computational Semantics Day 5: Inference Aljoscha.
1 Predicate (Relational) Logic 1. Introduction The propositional logic is not powerful enough to express certain types of relationship between propositions.
Linguistic Essentials
Semantic Construction lecture 2. Semantic Construction Is there a systematic way of constructing semantic representation from a sentence of English? This.
Interpreting Language (with Logic)
LECTURE 2: SEMANTICS IN LINGUISTICS
Rules, Movement, Ambiguity
Self-organising Logic of Structures as an Element of the Multi-layered Language Description Maciej Piasecki G4.19 Research Group Institute of Informatics.
1 LIN 1310B Introduction to Linguistics Prof: Nikolay Slavkov TA: Qinghua Tang CLASS 16, March 6, 2007.
Unit 4: REFERRING EXPRESSIONS
CAS LX a. Discourse Representation Theory 10.9.
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
Albert Gatt LIN3021 Formal Semantics Lecture 8. In this lecture Noun phrases as generalised quantifiers.
Natural Language Processing Slides adapted from Pedro Domingos
LTAG Semantics for Questions Aleksandar Savkov. Contents Introduction Hamblin’s idea Karttunen’s upgrade Goals of the paper Scope properties of wh-phrases.
A semantic intro. Intuition I 3 John is playing guitar. individual predicate proposition.
A small semantics quiz. 2 Guess the determiner P Q  x(P(x)&Q(x)) 2. P Q  x(Plural(x)&P(x)&Q(x)) 3. P Q  x(P(x)  Q(x)) 4. P Q  x(P(x)&  y(P(y)
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
Pauline Jacobson,  General introduction: compositionality, syntax/semantics interface, notation  The standard account  The variable-free account.
Aguilar-Guevara & Zwarts. Facts 3 Standard test: VP ellipsis John went to the hospital and Mary too. John went to the house and Mary too.
Lec. 10.  In this section we explain which constituents of a sentence are minimally required, and why. We first provide an informal discussion and then.
SYNTAX.
Lecture 2: Categories and Subcategorisation
Introduction to Logic for Artificial Intelligence Lecture 2
Statistical NLP: Lecture 3
CS201: Data Structures and Discrete Mathematics I
Linguistic Essentials
Predicates and Quantifiers
CS201: Data Structures and Discrete Mathematics I
Structure of a Lexicon Debasri Chakrabarti 13-May-19.
Presentation transcript:

Type-shifting and beyond Henriëtte de Swart Barcelona, May 2005

Advantages of GQ Unified type for all NPs:,t> Unified interpretation for all NPs: PQ(P). Unified type for all Determiners:,,t>>>. Unified interpretation for all Dets: P Q Det(P)(Q).

Disadvantages of GQ theory Not fine-grained enough to account for traditional classifications in terms of quantificational, predicative, referential. Type-shifting (Partee 1987) has been proposed as a possible way to merge insights from GQ theory with other views.

Reference to individuals Partee ‘triangle’: quantificational NPs (‘strong’) denote in type,t> only; other NPs denote in type e or as well. Type-shifting analyses: availability of a type reading for indefinites after application of Partee’s BE operation. BE provides property denotation for weak NPs and definites, not for strong NPs.

Applications Empirical phenomena in which type denotations are relevant: Intensional verbs (seek) ‘Light verbs’ (have) and scrambling Existential contexts (there is/are) Discourse anaphora Incorporation Predicative constructions (to be (a) linguist) Generic reference

Evaluation Intensional verbs, ‘light’ verbs, existential contexts: restricted distribution of NPs (only weak NPs). Lexical treatment in terms of an argument of type justified. Question: how do we extend the property approach to weak readings of NPs in general?

Combinatorics Assume: all weak NPs have a type denotation. Do weak readings of NPs in ‘normal’ contexts have a type denotation? If so, how do they combine with a verb that also takes GQs? Susan ate an apple/two apples/no apples/ every apple/neither apples/most apples

Lexical ambiguity Transitive verbs have a denotation (i) as a relation between two individuals and (ii) as a relation between an individual and a property (van Geenhoven 1998, van Geenhoven & McNally 2005). Eat 1 : y x Eat(x,y) Eat 2 : P x  y  Eat(x,y  P(y)) Derives narrow scope for weak NPs.

Evaluation I Advantage: we can maintain function application as only combinatory rule. Disadvantage (i): systematic ambiguity throughout the lexicon. But maybe: lexical rule deriving two interpretations (VG&McN 2005).

Evaluation II Disadvantage (ii): how to extend to monotone decreasing quantifiers (no existential closure!). But: lexical decomposition (McNally 1998, Van Geenhoven & McNally 2005). However: is lexical decomposition always correct and desirable? E.g. few interpreted as not many.

Closure operations I Alternative: maintain uniform interpretation of transitive verb as relation between two individuals. Enrich combinatorics: allows other modes of composition besides function application. Heim (1982): existential closure. De Swart (2001): existential, universal and exact existential closure.

Closure operations II De Swart (2001): Existential closure applies to properties that are derived from mon  quantifiers (a, some, three, at least five, many, …). Universal closure applies to properties that are derived from mon  quantifiers (no, at no more than three, most five, few,.).

Existential closure  C for predicative NPs derived from mon  quantifiers: For Q a predicate of type, and P min a predicative NP of type, which denotes a minimal property derived from a mon  quantifier:  C:  x Q(x)(P min )   C  x(Q(x)  P(x))

Universal closure  C for predicative NPs derived of mon  quantifiers: For Q a predicate of type and P max a predicative NP denoting a maximal property, derived from a mon  quantifier, the combination of Q and P max introduces universal quantification:  C: x Q(x)(P max )   C  x(Q(x)  P(x))

Evaluation I Advantages: no lexical ambiguity of verbs, no lexical decomposition of NPs, no asymmetric treatment of mon  and mon  NPs (rule based). Disadvantage (i): how are monotonicity properties of the underlying NP recoverable, lexical rule?

Evaluation II Disadvantage (ii): complication in combinatorics (function application + three closure rules). But: recent accounts of e.g. incorporation also allow combinatory rules other than function application.

Discussion I What is the class of expressions that has a type denotation? Largest class: all weak NPs (= all NPs that have a non-empty denotation after application of Partee’s type-shift BE, cf. Zimmermann 1993, McNally 1998, van der Does & de Hoop 1998); definites. Relevant for: intensional verbs, ‘light’ verbs, existential contexts, weak readings of NPs in ‘normal contexts.’

Discussion II Class of indefinites that licenses discourse anaphora, and escapes from scope islands: a N, two N, some N; not no N, at least/at most two N, etc. Discourse anaphora: A student i came in. She i had a question. Every student i came in. #She i had a question about the exam.

Discourse Representation theory A student came in. Indefinites introduce discourse referents. Embedding into model: existential closure. She asked a question. New information added to already introduced dr. u Student(u) Came_in(u) u,v,w Student(u) Came_in(u) Ask(w,v) u = w

Quantifiers in DRT Every student came. #She asked a question. dr u not available as antecedent for she. u Student(u) Came_in(u) v = ?? Ask(v) v 

Plurals and anaphora Two students i came to see me. They i had a question about the exam. Exactly two students i came to see me. #They i had a question about the exam. Most students i came to see me. #They i had a question about the exam. Quantificational NPs can take A  B as their antecedent (‘refset’), but not simply A.

Plural indefinites Two students i came to see me. They i had a question about the exam. U, v, W Student(U) Two(U) Came_in(U). Question(v) U=W Ask(W,v)

Scope islands I If a cousin of mine dies, I’ll inherit a fortune. ‘I have a cousin such that, if he dies, I’ll inherit a fortune.’ If every/no cousin of mine dies, I’ll inherit a fortune.  For every/no cousin of mine, if he dies, I’ll inherit a fortune.

Scope islands II If three cousins of mine die, I’ll inherit a fortune. ‘I have three cousins, such that, if they (all die), I’ll inherit a fortune.’  ‘I have three cousins, and for each of them, if he dies, I’ll inherit a fortune’ No escape from scope islands for true quantifiers, only for indefinites.

Choice function approach Choice function approach: Reinhart (1997), Winter (1997), Kratzer (1998). Indefinites like a cousin of mine, three cousins of mine, etc. denote choice functions: expressions of type,e> The choice function picks an individual from a set. The choice function gets existential closure outside of the scope island.

Choice functions denoting expressions Denote choice functions: singular indifinites like a cousin of mine; plural indefinites like three cousins of mine. Do not denote choice functions: other weak quantifiers such as at least/at most three/no students of mine; strong quantifiers.

Relations between choice functions and DRT Roughly: equivalence between choice function approach and DRT (Farkas 2002). Same set of expressions. Same interpretation: introduce set of individuals, select one that satisfies descriptive content.

Note on bare plurals Bare plurals introduce discourse anaphora: I bought books i on semantics. They i are very good. Bare plurals do not denote choice functions (they never take wide scope!): If cousins of mine die, I will inherit a house.

Bare plurals in DRT Mary bought apples i. They i were nice. Bare plural introduces plural dr m, U, V Apples(U) Bought(m,U) Nice(V) U=V

Narrow scope Bare plurals have narrow scope: (i) because they directly refer to kinds (Carlson 1977) (ii) because they always denote properties (Van Geenhoven 1996). (iii) because their discourse referent is accomodated, and accomodation is ‘local’ (Farkas & de Swart 2003).

Lexical ambiguity Transitive verbs have a denotation (i) as a relation between two individuals and (ii) as a relation between an individual and a property (van Geenhoven 1998, van Geenhoven & McNally 2005). Eat 1 : y x Eat(x,y) Eat 2 : P x  y  Eat(x,y  P(y)) Derives narrow scope for weak NPs.

Thematic arguments in DRT Farkas and de Swart (2003): enrich DRT. Distinction between thematic arguments and discourse referents. Common nouns, verbs: lexical expressions that involve thematic arguments. Determiners: introduce discourse referents by instantiating thematic arguments.

Instantiation I A student left. Input syntactic structure: [ S [ DP [ D a [ NP student(z)]][ VP leave(x)]] u [ S [ DP [ D u [ NP student(z)]][ VP leave(x)]] Introduction of dr by determiner

Instantiation II u [ S [ DP [ D u [ NP student(u)]][ VP leave(x)]] D-instantiation u [ S [ DP [ D u [ NP student(u)]][ VP leave(u)]] A-instantiation Final output: same as in ‘standard’ DRT.

Plurals in FdS I Plural morphology on noun introduces presupposition that a plural dr exists. Two cats are asleep. K K’ u x [ S [ DP [ D two [ NPpl cats(x)]][ VP are asleep(z)]] plural(u x ) K assertion; K’presupposition (vdSandt 91)

Plurals in FdS II Determiner two introduces dr + condition of cardinality K K’ v x u x Two(v x ) [ S [ DP [ D two [ NPpl cats(x)]][ VP are asleep(z)]] plural(u x )

Plurals in FdS III Plural determiner: binding of presupposition upon D-instantiation; K’ resolved against K. v x Two(v x ) Plural(v x ) Cat(v x ) Asleep(v x )

Bare plurals in FdS I Cats were playing in the garden. Assume: full argument position requires introduction of discourse referents. Prediction: bare singulars are blocked (thematic argument only). Bare plurals OK, for presupposition on existence of plural dr accomodated.

Bare plurals in FdS II Cats were playing in the garden. K K’ u x [ S [ NPpl cats(x)][ VP play(z)]] plural(u x ) K assertion; K’ presupposition

Bare plurals in FS III Presupposition resolution by accomodation Result: bare plurals OK in full argument position. u x Plural(u x ) [S [NPpl cats(x)][VP play(z)]]

Scope effects Resolution by binding: dr can be instantiated anywhere in the DRS (‘free’ scope of indefinites). Resolution by accomodation: accomodated is always ‘local’; occurs in the (sub) DRS in which we find presupposition on plural dr. Result: accomodation leads to narrow scope of bare plurals.

Cross-linguistic variation Bare plurals OK in full argument position in languages that allow accomodation. English: accomodation freely allowed. French: no accomodation; no bare plurals; plural indefinite article des required. Spanish: both accomodation (bare plurals) and plural indefinite article unos.

Consequence French plural indefinite article des: just like un, i.e. required for the introduction of a discourse referent (de Swart 2005) Resolution of plural presupposition by binding predicts free scope. Si des cousins à moi meurent, je serai riche. If indef_pl cousins of mine die, I will be rich.

Questions about Spanish Do bare plurals and NPs with unos both license discourse anaphora? Is there a contrast between bare plurals and unos in the possibility of the plural getting free scope (e.g. scope out of scope islands)? More in general: relation between unos NPs and bare plurals, distribution of labor?