Albert Gatt LIN3021 Formal Semantics Lecture 5. In this lecture Modification: How adjectives modify nouns The problem of vagueness Different types of.

Slides:



Advertisements
Similar presentations
Artificial Intelligence
Advertisements

S3 Useful Expressions.
Copyright © 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 18 Sampling Distribution Models.
Copyright © 2010, 2007, 2004 Pearson Education, Inc. Chapter 18 Sampling Distribution Models.
Copyright © 2010, 2007, 2004 Pearson Education, Inc. Chapter 18 Sampling Distribution Models.
CAS LX 502 Semantics 10b. Presuppositions, take
Foreknowledge and free will God is essentially omniscient. So assuming that there are facts about the future, then God knows them. And it’s impossible.
CAS LX 502 Semantics 4b. Events and modification
Albert Gatt LIN3021 Formal Semantics Lecture 9. In this lecture Noun phrases as generalised quantifiers: some further concepts.
L41 Lecture 2: Predicates and Quantifiers.. L42 Agenda Predicates and Quantifiers –Existential Quantifier  –Universal Quantifier 
Albert Gatt LIN1180/LIN5082 Semantics Lecture 2. Goals of this lecture Semantics -- LIN 1180 To introduce some of the central concepts that semanticists.
Introduction to Ethics Lecture 8 Moore’s Non-naturalism
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 LIN3021 Formal Semantics Lecture 10. In this lecture We shift our focus to events, and ask: How should we think of events in natural language?
Copyright © 2010 Pearson Education, Inc. Chapter 18 Sampling Distribution Models.
Albert Gatt LIN1180 – Semantics Lecture 10. Part 1 (from last week) Theories of presupposition: the semantics- pragmatics interface.
Comp 205: Comparative Programming Languages Semantics of Imperative Programming Languages denotational semantics operational semantics logical semantics.
CAS LX 502 Semantics 1b. The Truth Ch. 1.
Ontological arguments Concept of God: perfect being –God is supposed to be a perfect being. –That’s just true by definition. –Even an atheist can agree.
Let remember from the previous lesson what is Knowledge representation
Thirteen conditional expressions: letting programs make “decisions”
1 Relational Algebra and Calculus Yanlei Diao UMass Amherst Feb 1, 2007 Slides Courtesy of R. Ramakrishnan and J. Gehrke.
Lecture 6. Hypothesis tests for the population mean  Similar arguments to those used to develop the idea of a confidence interval allow us to test the.
Meaning and Language Part 1.
Middle Knowledge, Truth-Makers, and the Grounding Objection.
Algebra Problems… Solutions
Copyright © Cengage Learning. All rights reserved.
Copyright © 2012 Pearson Education. All rights reserved Copyright © 2012 Pearson Education. All rights reserved. Chapter 10 Sampling Distributions.
Albert Gatt LIN 3098 Corpus Linguistics. In this lecture Some more on corpora and grammar Construction Grammar as a theoretical framework Collostructional.
CAS LX 502 Semantics 3a. A formalism for meaning (cont ’ d) 3.2, 3.6.
LIN1180/LIN5082 Semantics Lecture 3
1 Relational Algebra and Calculus Chapter 4. 2 Relational Query Languages  Query languages: Allow manipulation and retrieval of data from a database.
Programming with Alice Computing Institute for K-12 Teachers Summer 2011 Workshop.
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross Set 24 By Herbert I. Gross and Richard A. Medeiros next.
Scientific writing style Exact  Word choice: make certain that every word means exactly what you want to express. Choose synonyms with care. Be not.
CAS LX 502 8b. Formal semantics A fragment of English.
Copyright © 2009 Pearson Education, Inc. Chapter 18 Sampling Distribution Models.
Introduction to Philosophy Lecture 5 The Ontological Argument By David Kelsey.
Formal Semantics Chapter Twenty-ThreeModern Programming Languages, 2nd ed.1.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Unit 5 : PREDICATES.
Presupposition and Entailment James Pustejovsky September 23, 2005.
Identity. Identify of Objects  What a thing is, what makes it what it is, its properties  The problem  If an object really changes, there can't literally.
Introduction to Philosophy Lecture 14 Minds and Bodies #3 (Jackson) By David Kelsey.
1 Relational Algebra and Calculas Chapter 4, Part A.
Copyright © 2008 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 18 Sampling Distribution Models.
Entity Theories of Meaning. Meaning Talk Theory should make sense of meaning talk Theory should make sense of meaning talk What sorts of things do we.
Interpreting Language (with Logic)
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
LECTURE 2: SEMANTICS IN LINGUISTICS
Mixed Numbers and Percents © Math As A Second Language All Rights Reserved next #7 Taking the Fear out of Math 275%
Rules, Movement, Ambiguity
1 Comparing multiple tests for separating populations Juliet Popper Shaffer Paper presented at the Fifth International Conference on Multiple Comparisons,
Multiplying Decimals © Math As A Second Language All Rights Reserved next #8 Taking the Fear out of Math 8.25 × 3.5.
1 Psych 5510/6510 Chapter 13 ANCOVA: Models with Continuous and Categorical Predictors Part 2: Controlling for Confounding Variables Spring, 2009.
Lecture 2 (Chapter 2) Introduction to Semantics and Pragmatics.
Adding and Subtracting Decimals © Math As A Second Language All Rights Reserved next #8 Taking the Fear out of Math 8.25 – 3.5.
Multiplication of Common Fractions © Math As A Second Language All Rights Reserved next #6 Taking the Fear out of Math 1 3 ×1 3 Applying.
Lecture 1 Ling 442.
CAS LX 502 9b. Formal semantics Pronouns and quantifiers.
Albert Gatt LIN3021 Formal Semantics Lecture 3. Aims This lecture is divided into two parts: 1. We make our first attempts at formalising the notion of.
Meaning and Language Part 1. Plan We will talk about two different types of meaning, corresponding to two different types of objects: –Lexical Semantics:
Copyright © 2010, 2007, 2004 Pearson Education, Inc. Chapter 18 Sampling Distribution Models.
Sampling Distribution Models
Language, Logic, and Meaning
Sampling Distribution Models
Structural relations Carnie 2013, chapter 4 Kofi K. Saah.
Introduction to Semantics
How to Think Logically.
Validity and Soundness, Again
Presentation transcript:

Albert Gatt LIN3021 Formal Semantics Lecture 5

In this lecture Modification: How adjectives modify nouns The problem of vagueness Different types of adjectives

Part 1 Adjectival modifiers

Predicates vs. modifiers Intuitively, there’s a difference between these two cases: Jacqui is tall. Jacqui is a tall woman. The first is an example of predication, of the sort we’ve already considered. tall(j) In the second, we also have a form of predication, but: the predicate seems to be composed of tall and woman. We predicate the complex property tall+woman of Jacqui.

Taking A+N combinations apart We might think of standard adjectival modification along the following lines: If x is a tall woman, then it follows that: X is tall and X is a woman This is what the phrase entails Extensionally: [[tall]] M = {y | y is tall} [[woman]] M = {z | z is a woman} [[tall woman]] M = [[tall]] M  [[woman]] M So tall woman denotes the set of things which are both tall and women (in a given model).

A note on intersection There are many adjectives that can be analysed extensionally in terms of intersection. But there are also adjectives that resist this analysis: former president fake gun...

Taking A+N combinations apart So A+N (at least for adjectives like tall), could be thought of in terms of set intersection, extensionally speaking. Can we therefore analyse the adjectival modifier as a kind of predicate here? What is it saturated by?

Adjectival predicates In functional terms, the adjectival predicate can be thought of as: something that expects an individual (saturation), and returns a truth value just in case the individual is tall. In type-theoretic terms, we have: This works well for simple predicative examples like Jacqui is tall. TRUE FALSE

Adjectival modifiers In A+N constructions like tall woman, what seems to be happening is: 1. tall expects some other property (woman) 2. It combines with this property to yield a “bigger” property. 3. This bigger property can then be predicated of an individual. TRUE FALSE TRUE FALSE + [[woman]] [[tall]]

Adjectival modifiers The problem is that tall as we’ve analysed it so far expects an individual. Its open “slot” is for something of type e. But woman is not of type e. It’s a predicate, of type How is the other property combined with it? TRUE FALSE TRUE FALSE We can’t fit a property into an individual-sized hole!

The point of the argument so far So far, the only semantic process we’ve considered is predication. i.e. Saturation of a property by an individual But it seems that if we’re dealing with A+N constructions, we shouldn’t think of the A as a predicate anymore. It’s the entire A+N that functions as a predicate.

A solution (take 1) We could think of this not as predication, but as a completely new semantic process, which in some sense “overlays” the meanings of two predicates to create a complex predicate. TRUE FALSE TRUE FALSE Individual (type e) [[woman]] [[tall]]

Problems: vagueness and context We seem to be missing out on some important intuitions here. In saying Jacqui is a tall woman it seems fairly clear that the meaning of tall depends on what exactly we’re talking about. Tall could be glossed as something like “greater than average height of a particular class” In other words, a tall woman is “tall for a woman” If Jacqui was compared to a set of buildings, she’d still be a tall woman.

Virtues and failures of take 1 So our initial analysis has the following main virtue: Parsimony: we don’t posit two different analyses of tall, one for the case where it’s used predicatively, another for when it’s used attributively (as a modifier of a noun) Tall remains a predicate of type But it also has the following flaw: We miss out on the linguistically relevant fact that tall somehow exhibits dependency on the noun it modifies. This isn’t just a property of vague adjectives. In talking about a dead cat, we are after all talking about something that is both dead and a cat. So in some sense, we’d like to “slot” the meaning of the noun into the meaning of the adjective.

Take 2 Suppose we think of tall in tall woman as slightly different from predicative tall. Let’s say that, in this usage, tall is of a different type. Rather than an individual-sized hole, it’s got a property-sized hole. TRUE FALSE TRUE FALSE [[tall]] (attributive)[[woman]]

Take 2 continued We can think of attributive tall as something which: Expects another property (of type ) to saturate it. Returns a meaning something like the following: Take the meaning of woman and apply it to some x to saturate the predicate Take the result and apply tall to it. TRUE FALSE TRUE FALSE [[tall]] (attributive)[[woman]]

Take 2 continued Note that tall in this kind of usage is no longer of type It’s not a function from individuals to truth values. Rather, it’s of type, > I.e. Something that takes a predicate and returns a new predicate. Alternatively: a function from a set-denoting expression to another set-denoting expression TRUE FALSE TRUE FALSE [[tall]] (attributive)[[woman]]

Take 2 continued Observe that if we think of attributive tall as, >, we have introduced a higher-order notion into our formal language. We are no longer dealing with a simple predicate (that applies to individuals), but with a predicate that applies to predicates.

Questions arising So now we have two alternative analyses for tall: As a simple predicate ( ) in Jacqui is tall As a function from predicates to predicates (, >) in Jacqui is a tall woman. This raises the question of whether we should think of these as two different lexical entries. We won’t resolve this issue here, but it’s worth noting that we don’t have to. We could think of one of them as the basic type and assume an operation that, in a given context, changes that type to another type. Formally, this process is known as type-shifting or type coercion.

Virtues and failures of take 2 The main problem with this analysis is that we’re positing a kind of ambiguity. We’re effectively saying that adjectives can have two interpretations, depending on the context they’re in. (We should avoid proliferation unless it’s absolutely necessary) But the advantage is that we now have a picture that seems to match our intuitions: In tall woman, we’re talking about women who are tall, not just tall things. This could be advantageous in vague cases.

Vagueness Consider these different worlds or situations: Jacqui finds herself in a roomful of tall people. Some of the women are taller than her. Do we still want to say that Jacqui is a tall woman? Jacqui finds herself surrounded by tall buildings (all of which are way taller than she is) Do we still want to say that Jacqui is a tall woman? Consider: Jacqui is a tall woman. Jacqui is a footballer. Does it follow that Jacqui is a tall footballer?

Vagueness Vague modifiers seem to require a standard of comparison. [[tall N]] = “tall compared to the average N” The above examples suggest that this interpretation is quite robust and (often) independent of the other things in context to which an individual might be compared. This is an advantage of the, > analysis: tall is directly predicated of the set of things which are women only. (Compare to the “overlay” analysis)

Formalising the analysis Remember: x is a tall P  x is tall and x is P (Take some predicate P and some variable x, apply P to x and apply tall to x) TRUE FALSE TRUE FALSE The attributive adjective tall A nominal predicate P

Running through an example Jacqui is a tall woman We apply lambda conversion, first with woman: And then with Jacqui:

Composing the meaning of tall woman tall, > the attributive meaning of tall requires that we first saturate it with a predicate P of type

Composing the meaning of tall woman tall, > woman the attributive meaning of tall requires that we first saturate it with a predicate P of type

Composing the meaning of tall woman tall, > woman tall woman the attributive meaning of tall requires that we first saturate it with a predicate P of type The outcome of the composition is a new predicate of type

The composition is recursive tall, > woman tall woman beautiful, > beautiful tall woman

Part 2 Some other interesting kinds of adjectives

Intersectivity A simple example: [[dead]] M = {y | y is dead} [[woman]] M = {z | z is a woman} [[dead woman]] M = [[dead]] M  [[woman]] M Observe that: If x is a dead woman and x is a surgeon, then x is a dead surgeon. If x is a A-N, then x is a A and x is a N. In general, for this simple class of intersective adjectives, we have that: X is an A-N (Jacqui is a dead footballer) X is a B (Jacqui is a surgeon) X is an AB (Jacqui is a dead surgeon)

But... This doesn’t seem to generally hold: Jacqui is a skilful footballer. Jacqui is a former captain. Jacqui is a fake footballer.

Skilful – a case of subsectivity? Jacqui is a skilful footballer. Jacqui is a skilful footballer Jacqui is a violinist ??Jacqui is a skilful violinist. It seems that with adjectives like skilful, we can’t think in terms of intersection/conjunction: If x is an A-N, it doesn’t follow that [x is an A & x is a N] So intersection won’t really work here.

Skilful Suppose we think of skilful N as a subset of those things which are N. Jacqui is a skilful footballer  Jacqui belongs to that subset of footballers who are skilful. So, extensionally:

The case of former Subsectivity won’t work with former, though. This seems to behave differently from both simple intersective adjectives (dead) and subsective adjectives (skilful). Intersectivity fails: If Jacqui is a former captain, she’s not both former and a captain Subsectivity fails too: If Jacqui is a former captain, she doesn’t belong to a subset of the things which are captains. (Arguably, former captains don’t belong to the set of captains anymore)

The case of fake The adjective fake also presents problems: Fake footballers aren’t footballers, so intersectivity fails. Since fake footballers aren’t footballers, subsectivity fails too. In order to analyse the meaning of fake, former and similar adjectives, we need more machinery than we’ve introduced so far.

Summary We’ve distinguished between: Modification Predication Focusing on adjectives, we looked at two ways in which modification can be analysed. We also considered some interesting linguistic issues that adjectives raise: Intersectivity (dead, tall) Vagueness (tall) Subsectivity (skilfull) Non-subsectivity and non-intersectivity (former, fake)