Split Scope, Summative Existentials, and the Semantics of “Bare Quantifiers”
Chris Kennedy University of Chicago University of Vienna 22 June, 2015
Split Scope, Summative Existentials, and the Semantics of Bare - - PowerPoint PPT Presentation
Split Scope, Summative Existentials, and the Semantics of Bare Quantifiers Chris Kennedy University of Chicago University of Vienna 22 June, 2015 Introduction: Two semantic analysis of bare quantifiers Numerals (and their
Chris Kennedy University of Chicago University of Vienna 22 June, 2015
Qat,t(Sat) (cf. Szabó, 2011)
Qat,t(Sat) (cf. Szabó, 2011)
(1) How many cars did Kim decide to buy?
cars?
Qat,t(Sat) (cf. Szabó, 2011)
(1) How many cars did Kim decide to buy?
cars?
(2) a. Kim has more cars than she has children. b. * Kim has more cars than she has three children.
Qat,t(Sat) (cf. Szabó, 2011)
(1) How many cars did Kim decide to buy?
cars?
(2) a. Kim has more cars than she has children. b. * Kim has more cars than she has three children. (3) a. American families on average have 2.3 children.
Qat,t(Sat) (cf. Szabó, 2011)
(1) How many cars did Kim decide to buy?
cars?
(2) a. Kim has more cars than she has children. b. * Kim has more cars than she has three children. (3) a. American families on average have 2.3 children.
(4)
They sought no friends amongst the neighbors, despising them all. a. It is not the case that they tried to find friends amongst the neighbors. b. * There are no friends amongst the neighbors such that they tried to find them.
A “Fregean” Analysis: second-order properties of individuals.
(5) [ [three] ] = λPe,t.#{x | P(x)} = 3 (6)
A “Fregean” Analysis: second-order properties of individuals.
(5) [ [three] ] = λPe,t.#{x | P(x)} = 3 (6)
A “Fregean” Analysis: second-order properties of individuals.
(5) [ [three] ] = λPe,t.#{x | P(x)} = 3 (6)
A “De-Fregean” analysis: second-order properties of degrees.
(7) [ [three] ] = λPd,t.max{n | P(n)} = 3 (8)
A “Fregean” Analysis: second-order properties of individuals.
(5) [ [three] ] = λPe,t.#{x | P(x)} = 3 (6)
A “De-Fregean” analysis: second-order properties of degrees.
(7) [ [three] ] = λPd,t.max{n | P(n)} = 3 (8)
It’s not clear how to implement the Fregean analysis
(9) threeet,t λx Kime reade,et
t!
xe bookse,t
It’s not clear how to implement the Fregean analysis
compositional:
(9)
t
threeet,t
e, t
Kime
e,et
reade,et bookse,t
And type-shifting doesn’t work:
(10)
[no] ] = λP.{x | P(x)} = ∅
[no*] ] = λPλQ.[ [no] ](λz.P(z) ∧ Q(z)) c.
t et, t
no*et,et,t friendse,t
et
theye soughte,et
On the other hand, it is clear how to implement the de-Fregean analysis:
mereology (total ordering)
numbers/cardinalities, weights, temperatures, ...)
terms and individual-denoting terms in the syntax
(11) a. Kim is exactly two meters tall. b. * Kim is exactly Lee tall. c. Kim is exatly as tall as Lee.
(11) a. Kim is exactly two meters tall. b. * Kim is exactly Lee tall. c. Kim is exatly as tall as Lee. (12) a. Kim weighs 40 kilos. b. = Kim weighs Lee. c. Kim weighs as much as Lee.
(11) a. Kim is exactly two meters tall. b. * Kim is exactly Lee tall. c. Kim is exatly as tall as Lee. (12) a. Kim weighs 40 kilos. b. = Kim weighs Lee. c. Kim weighs as much as Lee. (13) a. Kim read two more books than Lee. b. * Kim read Vagueness in Context and Thinking about Mathematics more books than Lee. c. Kim read as many more books than Lee as Stewart has written since 2000.
In examples in which a numeral looks like a determiner, the degree position comes from an implicit relation between (plural) individuals and degrees: [ [MANY] ] = λnλx.#(x) = n
(14)
t
threedt,t
dt
λn
t
∃
et
Kime
e, et
reade,et
et et
nd
MANYd,et
bookse,t
The plan for today is to show:
Fregean analysis in addition, and there may even be a grammatical explanation for why it shows up when it does.
a more basic “proto-Fregean” one.
In the de-Fregean analysis, “two-sided” meanings are truth-conditional.
(15)
In e.g. an alternative in which numerals denote numbers, the semantics derives lower-bounded truth conditions, and two-sided interpretations are pragmatic.
(16)
But there is by now a huge about of “armchair” and experimental evidence showing that two-sided readings of numerals are preserved when implicatures of other scalar terms disappear.
◮ Interactions with negation
(König, 1991; Horn, 1992, ...)
◮ Interactions with modals
(Geurts, 2006; Breheny, 2008, ...)
◮ Acquisition studies
(Papafragou and Musolino, 2003; Musolino, 2004, ...)
◮ Adult behavioral studies
(Huang et al., 2013; Marty et al., 2013, ...)
◮ ...
(17)
it, and I finished it.
broken leg, and I easily made it to the summit.
smoke.
(17)
it, and I finished it.
broken leg, and I easily made it to the summit.
smoke. d. Neither of us have three kids. She has two and I have four.
In some examples, modals appear to require lower-bounded content; in others, they require two-sided content:
(18)
Adding in the implicature doesn’t get us what we want here:
(19) a. ⊗ Baseball(≥ 3) ∧ ¬Baseball(> 3)
Marty et al. (2013)
But we do sometimes get lower bounded readings, especially with universal root modals (Scharten, 1997):
(20)
drive a car.
in order to win the coin.
And conversely, we get upper bounded readings with existential modals:
(21)
and still win the blue ribbon.
Two (nominal de dicto) readings for examples with universal (root) modals, a two-sided one and a lower-bounded one:
(22) Dustin has to get three hits.
[max{n | ∃x[#(x) = n ∧ hits(x) ∧ get(x)(d)]} = 3]
max{n | ∃x[#(x) = n ∧ hits(x) ∧ get(x)(d)]} = 3
c1 c2 c3 w1 2 3 4 w2 3 4 5 w3 4 5 6 max 2 3 4
The analysis also derives two readings for examples with existential (root) modals, a two-sided one and an upper bounded one:
(23) Kim is allowed to enroll in three classes.
♦[max{n | ∃x[#(x) = n ∧ cls(x) ∧ enrl(x)(k)]} = 3]
max{n | ♦[∃x[#(x) = n ∧ cls(x) ∧ enrl(x)(k)]]} = 3
What about Horn’s (1972) original argument for one-sided truth conditions?
(24) Kim took four classes offered by Prof. Jones... a. ... if not five.
(25) Kim took most classes offered by Prof. Jones... a. ... if not all.
The de-Fregean semantics should entail an upper bound in (24a).
Partee (1987) defines a set of general type-shifting principles that regulate the distribution and interpetation of quantificational, predicative and referential expressions. Here are two of them:
(26)
BE maps e.g. quantificational indefinites or lifted proper names to properties; iota maps properties that hold of unique objects to singular terms.
(27) [ [four] ] = λP.max{n | P(n)} = 4 (28) BE([ [four] ]) = [λQλm.Q(λp.p = m)](λP.max{n | P(n)} = 4) = [λm.[λP.max{n | P(n)} = 4](λp.p = m)] (λ-conversion) = λm.max{n | [λp.p = m](n)} = 4 (λ-conversion) = λm.max{n | n = m} = 4 (λ-conversion) = λm.m = 4 (substitution of equivalents) (29) iota(BE([ [four] ])) = 4
Lowering four all the way to a singular term and saturating the degree argument introduced by MANY:
(30) a. e, t e, t iota(BE(four))d
MANYd,et
classeset
Lowering four to a degree property, restricting the degree argument
(31) a. d, et d, et BE(four)d,t
MANYd,et
classeset
Hofweber (2005):
(32) a. Sam ate four eggs. b. The number of eggs Sam ate is four. c. * John ate the number of eggs Sam ate apples.
Maybe the singular term variant of the numeral isn’t used in “ordinary” language?
(34)
dt, t, d, t, (d)
d, t, (d)
Maybe the singular term variant of the numeral isn’t used in “ordinary” language?
(34)
dt, t, d, t, (d)
d, t, (d)
d, t, *d
d, t, *d
d, t, *d (35)
[fewer than four] ]) = λn.n < 4
[at most four] ]) = λn.n ≤ 4
[between four and six] ]) = λn.4 ≤ n ≤ 6
iota is undefined for these properties!
(36) “I served with Jack Kennedy. I knew Jack Kennedy. Jack Kennedy was a friend of mine. Senator, you’re no Jack Kennedy.” — Lloyd Bentsen to Dan Quayle, October 5, 1988 (37) a. * You are a non-Jack Kennedy. b. * There is not a Jack Kennedy such that you are him. c. It is not the case that you are a Jack Kennedy.
(38) In my junior year of college, I took a J-term class that taught me basic PHP/MySQL, tools used to serve more dynamic web
that I could make a rudimentary PHP web app when I started working at Minnehaha full time after graduation (39) a. * I became a non-expert. b. * There is not an expert such that I became him. c. I didn’t become an expert.
(40) We need no new taxes. a. It must be the case that it is false that there are new taxes. b. It is false that it must be the case that there are new taxes.
(41)
will need three wins while Canada has to win no games in the next round.
wins. (42)
games in order to advance to the next round.
games that Canada wins.
(43)
vicariously through the rest of the drinking crowd.
(44)
imposed on drivers in Switzerland means that they may drink no alcohol at all before driving and basically consume only moderate amounts of alcohol at any other time.
NPI need
(45) a. There need be no split scope. b. * There need be split scope. (46) a. It is false that it must be the case that there is split scope. b. * It must be the case that it is false that there is split scoope.
(47b) is the meaning of (47a); scoping the entire nominal content above the modal doesn’t really make sense.
(47) a. There need be no split scope. b. ¬∃x[split-scope(x)]
The question is how to get derive this kind of meaning. The standard semantics for no is not helpful:
(48) [ [no] ] = λPλQ.¬∃x[P(x) ∧ Q(x)]
Existing analyses either literally “split” negation into its component parts (decomposition into ¬ and ∃), or introduce special kinds of quantification.
“What I would like to suggest instead is that scope-splitting (at least sometimes) is DegP-movement ... I question that there is a good analysis of scope-splitting that is a genuine alternative to DegP movement.” (Heim, 2001, pp. 225-226)
Heim doesn’t give an implementation of this idea, but here is one, which is a variant of the bare quantifier, de-Fegrean-style semantics I gave for numerals:
(49) [ [noDeg] ] = λQd,t.{n | Q(n)} = ∅ (50) There are no cats in this house. (51)
(52)
(53) Canada has to win no games. (54) a. have to [non [Canda win tn games]] b. [{n | ∃x[#(x) = n ∧ games(x) ∧ win(x)(c)]} = ∅] (55) a. non [have to [Canada win tn games]] b. {n | ∃x[#(x) = n ∧ games(x) ∧ win(x)(c)]} = ∅
(56) You may drink no alcohol. (57) a. may [non [you drink tn alcohol]] b. ♦[{n | ∃x[#(x) = n ∧ alcohol(x) ∧ drink(x)(u)]} = ∅] (58) a. non [may [you drink tn alcohol]] b. {n | ♦∃x[#(x) = n ∧ alcohol(x) ∧ drink(x)(u)]} = ∅
“...scope splitting arising with fewer/less comparatives should be considered distinct from scope splitting with NIs. [...] NIs ... do not exhibit morphology related to degree semantics. It does thus not seem justified to extend the analysis of scope splitting based on DegP movement to NIs (although it would be technically feasible).” (Penka, 2011, p. 162) It’s true that no is does not properly include degree morphology. But that’s becasue it can itself be a degree morpheme!
no can saturate degree positions in the syntax:
(59)
wave. (60)
and they were grave and beautiful. (JRRT; Fellowship)
(61)
museums.
And here too we see “split” readings:
(62)
too many times....
don’t go because I don’t think lecture is the way I learn best.... (63)
closed toes and heels. Heels or soles may be no higher than 2 inches....
[per] bottle.
◮ “Split-scope” phenomena generally show that expressions like
numerals and no denote “bare” quantifiers (Szabó, 2011).
◮ The patterns of interpretation we’ve seen here and others (e.g.
semantics and pragmatics of modified numerals; Kennedy (2015)) show that the right semantics for these expressions is the de-Fregean one.
Szabó (2011); Francez (2015):
(64) At this point in the race, there could be three winners:
(65)
(66) There could be three decisions from this meeting: (i) Case Closed (ii) A further review in 6 weeks’ time. (iii) Legal intervention. (67) Behan said there might be three outcomes of the charette regarding what to do with the Fox site:
(68) If they are thrown into the air, there can be three results: Head-Head; Head-Tail; Tail-Tail.
(69) Because the claims against the defendants were not tried in 16 separate cases, there should just be one judgment, Weaver, of Armstrong Teasdale, argued. He also said there could be three judgments in the case, with the bond for each capped at $50
lawsuits and originally asked Schaumann to enter three judgments, Weaver said.
The de-Fregean denotation can’t derive the summative reading, no matter where the numeral takes scope, or whether we lower it to a singular term:
(70) There could be three winners (in this race).
However, a Fregean bare quantifier semantics can derive the summative reading. It is the result of letting the numeral take scope over the modal:
(71) There could be three winners (in this race).
It seems that we need a Fregean bare quantifier semantics after all!
But we already saw that the Fregean semantics is compositionally problematic, because the numeral saturates the argument introduced by the noun.
(72) t threeet,t Ne,t
So why is it (evidently) ok in summative existentials?
As Francez (2015) shows, the pivot must be a relational noun like winner, result, outcome, etc.
(73) Kim is a spy, who is carrying a single object in her bag that is a disguised camera. We’re not sure which object it is, but we know
As Francez (2015) shows, the pivot must be a relational noun like winner, result, outcome, etc.
(73) Kim is a spy, who is carrying a single object in her bag that is a disguised camera. We’re not sure which object it is, but we know
(74a-b) can be synonymous; (75a-b) cannot:
(74)
(75)
Non-relational nouns work as expected if we suppose that there has to (somehow) associate with an argument slot in the pivot:
(76) a. * there ... [threeet,t cameras e,t]t b. there ... [[threedt,t MANYd,et] camerase,t]e,t
Non-relational nouns work as expected if we suppose that there has to (somehow) associate with an argument slot in the pivot:
(76) a. * there ... [threeet,t cameras e,t]t b. there ... [[threedt,t MANYd,et] camerase,t]e,t
Hypothesis: in summative existentials, there (somehow) gets to associate with the second argument of the relation:
(77) a. there ... [threeet,t winners e,et]e,t b. there ... [[threedt,t MANYd,et]e,t camerase,et]e,et
I think this is consistent with Francez’ semantics for conditionals, if the relevant “association” principle is syntactic.
If this s on the right track, then need both the Fregean and de-Fregean bare quantifier denotations for numerals:
(78)
[three] ] = λPe,t.#{x | P(x)} = 3
[three] ] = λPd,t.max{n | P(n)} = 3
The Fregean meaning is going to be ruled out in most cases on compositional grounds, but becomes available in special cases, where saturating the individual argument of the noun doesn’t cause a problem for the rest of the composition.
If this s on the right track, then need both the Fregean and de-Fregean bare quantifier denotations for numerals:
(78)
[three] ] = λPe,t.#{x | P(x)} = 3
[three] ] = λPd,t.max{n | P(n)} = 3
The Fregean meaning is going to be ruled out in most cases on compositional grounds, but becomes available in special cases, where saturating the individual argument of the noun doesn’t cause a problem for the rest of the composition. A new question: Do we really need both denotations, or is there a way to unify them? They are awfully similar to each other.
The following denotation, adapted from The Foundations of Arithmetic, seems to get us what we want for both the individual and degree domains, given their respective mereologies:
(79)
[one] ] = λP.∃v[P(v) ∧ ¬∃v ′[P(v ′) ∧ v ′ > v]]
[succ(num)] ] = λP.∃v[P(v) ∧ [ [num] ](λv ′.P(v ′) ∧ v ′ = v)]
It’s not plausible to think that the denotation of every natural lg numeral is defined in terms of the denotation of its successor. But maybe we can see this as providing a conceptual basis for collapsing the Fregean and de-Fregean denotations into a single, type-neutral one?
Breheny, Richard. 2008. A new look at the semantics and pragmatics of numerically quantified noun phrases. Journal of Semantics 25:93–139. Francez, Itamar. 2015. Summative existentials. Unpublished ms., University of Chicago. Geurts, Bart. 2006. Take ‘five’. In Non-definiteness and plurality, ed. Svetlana Vogeleer and Liliane Tasmowski, 311–329. Amsterdam: Benjamins. Heim, Irene. 2001. Degree operators and scope. In Audiatur vox sapientae, ed. Caroline Féry and Wolfgang Sternefeld, 214–239. Berlin: Akademie-Verlag. Hofweber, Thomas. 2005. Number determiners, numbers, and arithmetic. The Philosophical Review 114:179–225. Horn, Laurence. 1972. On the semantic properties of logical operators in English. Doctoral Dissertation, University of California, Los Angeles. Horn, Laurence. 1992. The said and the unsaid. In Proceedings of Semantics and Linguistic Theory 2, ed. Chris Barker and David Dowty, 163–192. Columbus, OH: OSU Working Papers in Linguistics. Huang, Yi Ting, Elizabeth Spelke, and Jesse Snedeker. 2013. What exactly do numbers mean? Language Learning and Development 9:105–129. Kennedy, Christopher. 2015. A “de-Fregean” semantics (and neo-Gricean pragmatics) for modified and unmodified numerals. Semantics and Pragmatics 8:1–44. König, Ekkehard. 1991. Konzessive Konjunktionen (concessive conjunctions). chapter 28, 631–639. Berlin: de Gruyter. Marty, Paul, Emmanuel Chemla, and Benjamin Spector. 2013. Interpreting numerals and scalar items under memory load. Lingua 133:152–162. Musolino, Julien. 2004. The semantics and acquisition of number words: Integrating linguistic and developmental perspectives. Cognition 93:1–41. Papafragou, Anna, and Julien Musolino. 2003. Scalar implicatures: Experiments at the semantics-pragmatics
Partee, Barbara. 1987. Noun phrase interpretation and type shifting principles. In Studies in Discourse Representation and the Theory of Generalized Quantifiers, ed. Geroen Groenendijk, Dik de Jongh, and Martin Stokhof, 115–143. Dordrecht, Reidel, Netherlands: Foris. Penka, Doris. 2011. Negative indefinites. Oxford, UK: Oxford University Press. Scharten, Rosemarijn. 1997. Exhaustive interpretation: A discourse-semantic account. Doctoral Dissertation, Katholieke Universiteit Nijmegen. Szabó, Zoltan. 2011. Bare quantifiers. Philosophical Review 120:247–283.