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.

Slides:



Advertisements
Similar presentations
The Euthyphro dilemma.
Advertisements

Natural Language Processing Lecture 2: Semantics.
Resolution.
Semantics (Representing Meaning)
CAS LX 502 Semantics 10b. Presuppositions, take
Ambiguous contents? Arvid Båve, Higher seminar in Theoretical Philosophy, FLoV, Gothenburg University, 8 May 2013.
ASPECTS OF LINGUISTIC COMPETENCE 5 SEPT 11, 2013 – DAY 7 Brain & Language LING NSCI Harry Howard Tulane University.
Basic Verb Tenses.
Lecture 11: Binding and Reflexivity.  Pronouns differ from nouns in that their reference is determined in context  The reference of the word dog is.
CAS LX 502 8a. Formal semantics Truth and meaning The basis of formal semantics: knowing the meaning of a sentence is knowing under what conditions.
Albert Gatt LIN 1080 Semantics Lecture 13. In this lecture We take a look at argument structure and thematic roles these are the parts of the sentence.
POSTER TEMPLATE BY: Chinese ‘dou’ and Cumulative Quantification Yanyan Sui & Lucas Champollion University of Pennsylvania {yanyans,
Linguistic Theory Lecture 8 Meaning and Grammar. A brief history In classical and traditional grammar not much distinction was made between grammar and.
LING 364: Introduction to Formal Semantics Lecture 9 February 9th.
Week 5a. Binding theory CAS LX 522 Syntax I. Structural ambiguity John said that Bill slipped in the kitchen. John said that Bill slipped in the kitchen.
Introduction to Semantics To be able to reason about the meanings of utterances, we need to have ways of representing the meanings of utterances. A formal.
CS 4705 Semantics: Representations and Analyses. What kinds of meaning do we want to capture? Categories/entities –IBM, Jane, a black cat, Pres. Bush.
Knowledge Representation using First-Order Logic (Part II) Reading: Chapter 8, First lecture slides read: Second lecture slides read:
Predicate Logic. Universal Quantifier Everything of a certain kind has a certain property (for every, for all)
The meaning of requirements Vahid Jalali October 2007 Amirkabir university of technology, Department of computer engineering and information technology,
Week 13a. QR CAS LX 522 Syntax I. Quantifiers We interpret Bill saw everyone as We interpret Bill saw everyone as For every person x, Bill saw x. For.
Week 14b. PRO and control CAS LX 522 Syntax I. It is likely… This satisfies the EPP in both clauses. The main clause has Mary in SpecIP. The embedded.
Meaning and Language Part 1.
Week 6a. Case and checking (with a little more  -Theory) CAS LX 522 Syntax I.
Predicates and Quantifiers
February 2009Introduction to Semantics1 Logic, Representation and Inference Introduction to Semantics What is semantics for? Role of FOL Montague Approach.
Participles A participle is a form of a verb that acts as an adjective. –The crying woman left the movie theater. –The frustrated child ran away from home.
1 What does “meaning” mean? Linguistics lecture #3 November 2, 2006.
CAS LX 502 Semantics 5b. Pronouns, assignments, and quantifiers 5.7(.1), 6.1.
Lecture 13 Ling 442. Exercises (part 1) (1) p. 173 Classify the predicates into four different types. a.The door [creaked open]. b.Sam [got the joke]
Unit 5 : PREDICATES.
Lecture 7 Natural Language Determiners Ling 442. exercises 1. (a) is ambiguous. Explain the two interpretations. (a)Bill might have been killed. 2. Do.
1 Predicate (Relational) Logic 1. Introduction The propositional logic is not powerful enough to express certain types of relationship between propositions.
Lecture 17 Ling 442. Exercises 1.What is the difference between (a) and (b) regarding the thematic roles of the subject DPs. (a)Bill ran. (b) The tree.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
Rules, Movement, Ambiguity
(CSC 102) Lecture 8 Discrete Structures. Previous Lectures Summary Predicates Set Notation Universal and Existential Statement Translating between formal.
Lecture 18 Ling 442. Exercises (part 1) 1.Explain the difference between grammatical relations and thematic roles. 2.Provide some examples of verbs with.
The meaning of Language Chapter 5 Semantics and Pragmatics Week10 Nov.19 th -23 rd.
Time is a universal, non-linguistic concept with three divisions: past, Present and future. Tense is a linguistic concept. It is the correspondence between.
CAS LX a. Discourse Representation Theory 10.9.
Lectures 8-9 Ling 442. Exercises (1) Reconstruct the original English sentence for each: 1.|birds  fly| > ½ |birds| 2.dog  bite  {} 3.student  study_hard.
Formal Methods in SE Lecture 16 Formal Methods in SE Qaisar Javaid Assistant Professor.
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
For Friday Read chapter 8 Homework: –Chapter 7, exercises 2 and 10 Program 1, Milestone 2 due.
Lecture 16 Ling 442. exercises 1.What is the difference between an event sentence and a state sentence in a discourse context? E.g. (a) and (b) a.Mary.
3 Phonology: Speech Sounds as a System No language has all the speech sounds possible in human languages; each language contains a selection of the possible.
Predicate Logic One step stronger than propositional logic Copyright © Curt Hill.
SYNTAX 1 NOV 9, 2015 – DAY 31 Brain & Language LING NSCI Fall 2015.
Lecture 1 Ling 442.
Lecture 10 (de re/de dicto) Ling 442. Exercises Translate the following into the logical language w/ restricted quantifiers. 1.Every dog that has a bone.
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
Lecture 12 Ling Exercises (part 1) 1.Provide two scenarios for the two readings of the definite DP in the following sentence (and say which is.
Propositional Logic. Assignment Write any five rules each from two games which you like by using propositional logic notations.
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.
Week 12. NP movement Text 9.2 & 9.3 English Syntax.
Lecture 3 Ling 442. exercises 1.What is the difference between implicature and entailment? 2.What is the difference between presuppositions and entailments?
Sentences as Arguments
English Syntax Week 12. NP movement Text 9.2 & 9.3.
Semantics (Representing Meaning)
Representations of Meaning
CSC 594 Topics in AI – Applied Natural Language Processing
CS201: Data Structures and Discrete Mathematics I
ENG 3306 Raising and Control I.
ENGL221 Introduction to Linguistic Analysis
CS201: Data Structures and Discrete Mathematics I
Simple Tenses.
Structure of a Lexicon Debasri Chakrabarti 13-May-19.
Syntax Lecture 12: Extended VP.
Presentation transcript:

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. 2.Do you find the following ambiguous? If so, say what readings are available for each. (a)Jones almost ran to the store. (b)Jones almost killed Bill.

Neo-Davidsonian developments Davidson: the main predicate gets an event argument (as well as nominal arguments).  e[hit (j, b, e)] Neo-Davidsonian: the main predicate (like verb/adj) is a one-place event predicate. We then posit “thematic roles” as two-place predicates relating events and individuals.  e[hit (e) & agent (j, e) & patient (b, e)]

Adding tense and DP quantifiers If tense is represented as an operator, that can be included in the representation. Nominal quantifiers can also be included. 1.John left. 2.Past  e[Leave (e) & Agent (j, e)] 3.Every student left. (4) or (5) 4.Past [every x: student (x)]  e [Leave (e) & Agent (x, e)] 5.Past  e [[every x: student (x)] [Leave (e) & Agent (x, e)]] 6.[every x: student (x)] Past  e [ [Leave (e) & Agent (x, e)]]

Events and perception verbs (36) Jones saw Lina shake the bottle.  e  e[see (e) & experiencer (j, e) & stimulus (e’, e) & shake (e) & agent (l, e) & patient (the_bottle, e)] It makes sense to say that with perception verbs, what the subject/agent sees is an event.

Incremental themes (part 1) Verbs like eat, destroy, etc. describe events that apply to the object theme in an incremental fashion (at least in idealized circumstances). The thematic role  incremental theme (ITH)

Incremental themes (part 2) Atelic (= unbounded) event sentence/predicate For any event e such that e verifies  e[eat(e) &  x[apples (x) & Agent (m, e) & ITH(x, e)], all substantially large subevents e 1 of e also verify the same sentence. [subinterval property] Telic (= bounded) event sentence/predicate For any event e such that e verifies  e[eat(e) &  x[apple (x) & Agent (m, e) & ITH(x, e)], all proper sub-event e 1 fail to verify the same sentence. [no subinterval property]

Incremental themes (part 3) What this means is that a sub-event of eating apples is also an eating-apples event, but no proper sub-event of a eating-an-apple event is an eating-an-apple event. The question is how we obtain this fact compositionally.

Incremental themes (part 4) The same structural relationship holds between a DP that describes a “delimited” object (a/the apple) and a DP that describes a “non-delimited” object (apples). That is, proper-portions of “apples” are “apples”. But no proper-portions of “an apple” are (instances of) “an apple”

Formalization (1) apple = {x | x is an apple} apples = {x | x is “apples” (any amount of apple)} For any e  apple and subpart e 1 of e, e 1  apple For any e  apples and substantially large subpart e 1 of e, e 1  apples

Formalization (2) If  is ITH and if  (e, x) = true, for any proper sub-event e 1 of e, there is exactly one proper-part x 1 of x such that  (e 1, x 1 ) = true This means that Mary eats an apple does not have the subinterval property and is a telic sentece. Mary eats apples, on the other hand, has the subinterval property and is an atelic sentence.

Formalization (3) Suppose that e 1 and x 1 verify  e[eat(e) &  x[apple (x) & Agent (m, e) & ITH(x, e)]. Now ask if for some arbitrary proper sub- event e 2 of e 1, the conditions are verified. The incremental theme x 2 of e 2 is found, and x 2 counts as “apples”. So the sentence has the subinterval property and is an atelic sentence (activity).

Incremental themes (part 6) Suppose that e 1 and x 1 verify  e[eat(e) &  x[apples (x) & Agent (m, e) & ITH(x, e)]. Now ask if for some arbitrary proper sub- event e 2 of e 1, the conditions are verified. The incremental theme x 2 of e 2 is found, but x 2 does not counts as “(an) apple”. So the sentence fails to have the subinterval property and is a telic predicate (accomplishment).

Some extra stuff Some interesting questions raised by students

Scope of quantifiers revisited 1.[An apple in every basket] is rotten. every basket > an apple (makes sense) an apple > every basket (makes no sense) 2.[An apple that is located in every basket] is rotten. every basket > an apple (makes sense, but this sentence does not have this reading --- scope island) But this constraint seems to be violated in (3). 3.[every apple that is located in a basket] is rotten. You seem to get both every apple > a basket and a basket > every apple. Solution: indefinites may be ambiguous independently of syntactic scope: referential vs. quantificational indefinites. Put simply, a basket in (3) is regarded as a “name” when it receives a “wide scope” reading.

Determiners and Presuppositions We said that strong determiners (and perhaps all determiners) involve existential presuppositions. The restricted quantifier notation can easily indicate the existential presupposition. 1.  x [CN(x)  VP(x)] is defined only if CN ≠ . This is a non-compositional rule that is ad hoc. 2.every x: CN(x) is defined only if CN ≠  This is perfectly legitimate.