03.01.2015 Views

Exclusive Company: Only and the Dynamics of Vertical Inference ...

Exclusive Company: Only and the Dynamics of Vertical Inference ...

Exclusive Company: Only and the Dynamics of Vertical Inference ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Journal <strong>of</strong> Semantics 13: 1-40 © Oxford University Press 1996<br />

<strong>Exclusive</strong> <strong>Company</strong>: <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong><br />

<strong>Inference</strong><br />

LAURENCE R. HORN<br />

Yale University<br />

Abstract<br />

The semantics <strong>of</strong> only says this: it asserts that no proposition from <strong>the</strong> set <strong>of</strong> relevant contrasts<br />

C o<strong>the</strong>r than <strong>the</strong> one expressed by its sister sentence a is true. There is in addition an<br />

implicature that a is in fact true. There is an industry devoted to <strong>the</strong> issue <strong>of</strong> whe<strong>the</strong>r <strong>the</strong> latter<br />

ingredient is an implicature (conversational or conventional), a presupposition, or part <strong>of</strong> <strong>the</strong><br />

truth-conditions . . . For our purposes, we don't need to decide.<br />

(von Fintel 1994: 133)<br />

The goal <strong>of</strong> this paper is to find out whe<strong>the</strong>r for our purposes, we do. 1<br />

1 SYMMETRICALISM AND ITS DISCONTENTS<br />

The lion's market share in this industry has always been controlled by <strong>the</strong><br />

conjunctionalists. For Peter <strong>of</strong> Spain <strong>and</strong> his fellow scholastics, (ia) entails <strong>the</strong><br />

conjunction <strong>of</strong> (ib) <strong>and</strong> (ic) <strong>and</strong> thus entails each <strong>of</strong> <strong>the</strong>m singly.<br />

(1) a. <strong>Only</strong> God can make a tree.<br />

b. God can make a tree.<br />

c. No one distinct from God can make a tree.<br />

The 'only' particle, solus or tantum, is an EXPONIBLE to be expounded or<br />

unpacked into 'an affirmative copulative proposition whose first part is <strong>the</strong><br />

same proposition without only'—<strong>the</strong> 'PRAEIACENS ' or PREJACENT—'<strong>and</strong> whose<br />

second part is a negative proposition denying <strong>the</strong> predicate <strong>of</strong> all o<strong>the</strong>rs apart<br />

from <strong>the</strong> subject' (Tractatus Exponibilium 21 ff, in Mullally 1945: 106-7).<br />

Peter's analysis has been co-sponsored or endorsed by a wide range <strong>of</strong><br />

twelfth-, thirteenth-, fourteenth- <strong>and</strong> twentieth-century scholars, 2 from<br />

Burley (cf. Pinborg 198 r; De Ryck 1985), William <strong>of</strong> Sherwood (cf. O'Donnell<br />

1941; Kretzmann 1968), Ockham (1980: 133), Billingham <strong>and</strong> Alnwick (cf. De<br />

Ryck 1982) to Kuroda (1969: 348), Lak<strong>of</strong>f (1970), Taglicht (1984), van der<br />

Auwerea (1985), Keenan & Stavi (1986), Krifka (1992), Moser (1992), Burton-<br />

Roberts (1993), <strong>and</strong> von Fintel (1993). A related proposal is elaborated in two<br />

papers in this journal by Jay Atlas (1991, 1993); on Atlas's account, (2a) unpacks<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


2 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

not simply into <strong>the</strong> Petrine conjunction in (2b), but into <strong>the</strong> more complex<br />

representation <strong>of</strong> (2c).<br />

(2) a. <strong>Only</strong> Muriel voted for Hubert.<br />

b. Fa & ~3y(y # a & Fy)<br />

(e.g. 'Muriel voted for Hubert <strong>and</strong> nobody o<strong>the</strong>r than Muriel did'<br />

c. 3xVy[(x-y«Fy)&(Fy-y-a)]<br />

e.g. 'Exactly one individual, <strong>and</strong> no one o<strong>the</strong>r than Muriel, voted for<br />

Hubert'<br />

Since it is a consequent <strong>of</strong> his account, one he regards as a virtue, that (ia) entails<br />

(ib) as well as (ic), I'll regard it for now as a variant species <strong>of</strong> <strong>the</strong> same<br />

symmetricalist genus.<br />

But if only sentences have positive entailments, how do we account for <strong>the</strong><br />

data in (3)-(5), which seem to dem<strong>and</strong> an asymmetric <strong>the</strong>ory on which <strong>the</strong><br />

negative exponent as in (ic) is somehow more equal than its positive<br />

counterpart (ib) Note for starters that <strong>the</strong> pattern in (3) (see Horn 1969, 1970,<br />

1972) shows that <strong>the</strong> prejacent can be suspended with <strong>the</strong> help <strong>of</strong> an epistemic<br />

rider, while <strong>the</strong> exclusionary clause—like any true god-fearing entailment—<br />

cannot be. 3<br />

(3) a. <strong>Only</strong> Kim can pass <strong>the</strong> test, <strong>and</strong> it's possible even she can't.<br />

b. #<strong>Only</strong> Kim can pass <strong>the</strong> test, (<strong>and</strong>/but) it's possible that someone else<br />

can.<br />

c. #Everyone passed, but (for all I know/it's possible that} someone didn't.<br />

d. All <strong>the</strong> world is queer save <strong>the</strong>e <strong>and</strong> me, <strong>and</strong> even thou art a little queer,<br />

(attributed to Robert Owen on separating from his business partner in<br />

1828)<br />

e. All <strong>the</strong> world is queer save me <strong>and</strong> <strong>the</strong>e, <strong>and</strong> sometimes I think <strong>the</strong>e is a<br />

little queer.<br />

(attributed to 'an unidentified Quaker speaking to his wife')<br />

f. —<strong>Only</strong> Kim can pass. [us. #Kim <strong>and</strong> only Kim can pass.]<br />

—Yes, that's true. %And (what's more/in fact), maybe even she can't.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

Notice <strong>the</strong> epistemic qualifier that must in general be present when suspending<br />

<strong>the</strong> prejacent: we can't normally say that only Kim can pass <strong>the</strong> test, <strong>and</strong> perhaps<br />

she can't. But <strong>the</strong> contrast between (3a, b) is undeniable, <strong>the</strong> latter as anomalous<br />

as any attempt to remove an entailment recognized by <strong>the</strong> speaker, as in (3c).<br />

Fur<strong>the</strong>r, <strong>the</strong>re are attested citations in which an exception is canceled without<br />

benefit <strong>of</strong> an epistemic rider, such as that in (3d), a variant <strong>of</strong> <strong>the</strong> Bartlett's<br />

familiar quotation in (3c). The exclusive counterpart <strong>of</strong> <strong>the</strong>se exceptives would<br />

be something like '<strong>Only</strong> you <strong>and</strong> I are sane <strong>and</strong> sometimes I wonder about you'.<br />

I find <strong>the</strong> exchange in (31") imaginable as well, although intuitions apparently<br />

differ here.


Laurence R. Horn 3<br />

As we shall see in more detail below, only subjects license negative polarity<br />

items (such as those boldfaced below) in <strong>the</strong> predicate, as in a classic example<br />

cited by Klima (1964:311) as evidence for <strong>the</strong> [+ affective] status <strong>of</strong> only.<br />

(4) <strong>Only</strong> young writers ever accept suggestions with any sincerity.<br />

Fur<strong>the</strong>r, fronted only phrases (with an adverbial, PP, or NP object in focus)<br />

trigger inversion, a property that in modern English is confined to phrases <strong>of</strong><br />

negative character. The examples in ($c-f) are lifted fromjacobsson (1951: 50-<br />

55), Jacobson (1964: 309-10), <strong>and</strong> Visser (1969: §1436).<br />

(5) a. <strong>Only</strong> in Montreal can die-hard film buffs expect to see not only one but<br />

three films from Mongolia.<br />

(New York Times article on <strong>the</strong> Montreal Festival des filmes du monde,<br />

13 August 1995)<br />

b. <strong>Only</strong> in New York can one seek shelter from a storm under takeout<br />

mussels in white wine sauce.<br />

(New York Times Metropolitan Diary, 20 July 1994)<br />

c. <strong>Only</strong> in stories does a dropped glass betray agitation.<br />

(Graham Greene)<br />

d. <strong>Only</strong> thus can <strong>the</strong> corruption <strong>of</strong> society be checked.<br />

e. <strong>Only</strong> one feature did I notice in <strong>the</strong> l<strong>and</strong>scape, a large, white villa ...<br />

f. <strong>Only</strong> a year before he had built himself a mansion in Kensington.<br />

Smith (1922) notes <strong>the</strong> minimal pair in (se-f), where narrow-scope only fails to<br />

license inversion in <strong>the</strong> latter case, but this is <strong>the</strong> same point made by Klima<br />

(1964) <strong>and</strong> o<strong>the</strong>rs with respect to <strong>the</strong> classic pairs in (5'):<br />

(5') a. Not even two years ago could you swim <strong>the</strong>re.<br />

(—you couldn't swim <strong>the</strong>re even 2 years ago)<br />

a'. Not even two years ago, you could swim <strong>the</strong>re,<br />

(—you could swim <strong>the</strong>re not even 2 years ago)<br />

(Klima 1964: 300)<br />

b. In not many years will Christmas fall on Sunday,<br />

b'. In not many years Christmas will fall on Sunday.<br />

(Klima 1964: 301)<br />

c. In no clo<strong>the</strong>s does Robin look attractive,<br />

c'. In no clo<strong>the</strong>s, Robin looks attractive.<br />

(sex-neutral adaptation <strong>of</strong> examples from C. Bird cited byjackend<strong>of</strong>f<br />

1972: 364)<br />

Fur<strong>the</strong>r, inversion in <strong>the</strong> wide-scope contexts exemplified in (sa-e) is<br />

obligatory: 'In <strong>the</strong> course <strong>of</strong> fairly extensive reading in more recent literature, I<br />

have not come across a single example <strong>of</strong> straight order after only modifying a<br />

whole clause' (Jacobsson 1951: 54).<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


4 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

In exhibiting <strong>the</strong> behavioral symptoms <strong>of</strong> downward monotonic expressions,<br />

only a phrases are for most speakers differentiated from <strong>the</strong> corresponding<br />

non-monotonic a <strong>and</strong> only a conjunctions. Thus compare: 4<br />

(5") a. Tonight <strong>and</strong> only tonight, <strong>the</strong> opalescent squid will mate. In a frenzy<br />

<strong>the</strong>y seize each o<strong>the</strong>r, coupling again <strong>and</strong> again ...<br />

(Voice-over from 3-D IMAX movie Into <strong>the</strong> Deep)<br />

b. %Tonight <strong>and</strong> only tonight will <strong>the</strong> opalescent squid mate.<br />

In <strong>the</strong> light <strong>of</strong> <strong>the</strong>se diagnostics, we might consider casting aside <strong>the</strong><br />

symmetric conjunctive <strong>the</strong>ory in favor <strong>of</strong> one <strong>of</strong> a range <strong>of</strong> asymmetric analyses<br />

which agree that <strong>the</strong> relation <strong>of</strong> (ia) to (ib) is not logical entailment while<br />

differing on just what if anything it is. On <strong>the</strong> analysis in (6),<br />

(6) Horn (1969): only (x — a, Fx)<br />

Presupposes: Fa<br />

Asserts: ~3y(y ^ a & Fy)<br />

whose silver anniversary <strong>the</strong> world recently celebrated, (7a) presupposes ra<strong>the</strong>r<br />

than entailing (7b), thus preserving <strong>the</strong> distinction between <strong>the</strong> negativeasserting<br />

only Muriel sentence <strong>and</strong> its truly conjunctive Muriel <strong>and</strong> only Muriel<br />

counterpart in (7d).<br />

(7) a. <strong>Only</strong> Muriel voted for Hubert.<br />

b. Muriel voted for Hubert.<br />

c. Nobody distinct from Muriel voted for Hubert.<br />

d. Muriel <strong>and</strong> only Muriel voted for Hubert.<br />

On this view, <strong>the</strong> suspension, polarity, <strong>and</strong> inversion facts <strong>of</strong> (3)-(i) would<br />

follow from <strong>the</strong> premise that <strong>the</strong>se properties are associated with <strong>the</strong> negative<br />

assertion or entailment <strong>of</strong> <strong>the</strong> only sentence. A number <strong>of</strong> subsequent analyses<br />

(e.g. Konig 1991; Barker 1993) have essentially followed <strong>the</strong> same line, which is<br />

also echoed in <strong>the</strong> o<strong>the</strong>rwise ra<strong>the</strong>r divergent analyses <strong>of</strong> negative polarity<br />

phenomena in Ladusaw (1980) <strong>and</strong> Linebarger (1981, 1987). 5<br />

Some asymmetricalists have pushed <strong>the</strong> presuppositional envelope fur<strong>the</strong>r<br />

into <strong>the</strong> pragmatics, deriving (7b) as a non-truth-conditional aspect <strong>of</strong> conventional<br />

meaning—a conventional implicature or pragmatic presupposition—or<br />

even as a conversational implicature. On such accounts, <strong>the</strong> positive component<br />

<strong>of</strong> only is not part <strong>of</strong> what is said but part <strong>of</strong> what is implicated in an utterance<br />

like (7a). Thus in Horn (1979), <strong>the</strong> positive component <strong>of</strong> meaning contributed<br />

by only is taken to be a non-truth-conditional constraint on <strong>the</strong> appropriate<br />

assertion <strong>of</strong> (7a); <strong>the</strong> notion appealed to (with some reservations) is that <strong>of</strong><br />

conventional implicature, a la Grice (1975) <strong>and</strong> Karttunen & Peters (1979). 6 The<br />

same position is endorsed in Rooth (1985), Krifka (1993), <strong>and</strong> Fre<strong>the</strong>im (1995).<br />

More radically, <strong>the</strong> positive component can be taken to represent not a<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


Laurence R. Horn 5<br />

conventional but a conversational implicature. McCawley (1981: 227) is <strong>the</strong><br />

first to argue explicitly that <strong>the</strong> use <strong>of</strong> (7a) conversationally implicates (7b): if <strong>the</strong><br />

speaker knew that nobody voted for Hubert, it would be a violation <strong>of</strong> <strong>the</strong><br />

Quantity maxim (Grice 1975) to assert (7a) (cf. Horn 1992 in defense <strong>of</strong> this<br />

view <strong>and</strong> Atlas 1993 m opposition).<br />

The most asymmetric <strong>the</strong>ory <strong>of</strong> all would <strong>of</strong> course be one on which <strong>the</strong><br />

logical form <strong>of</strong> (7a) is just that <strong>of</strong> (7c), with <strong>the</strong> positive component excised. This<br />

is in fact Theory G, <strong>the</strong> line urged by Geach (1962: 187) in Reference <strong>and</strong><br />

Generality on which no relation whatever obtains between <strong>the</strong> only expression<br />

<strong>and</strong> its positive counterpart. Thus 'F (some a)' is not deducible from 'F (only a)'<br />

ei<strong>the</strong>r as an entailment or as a non-truth-conditional aspect <strong>of</strong> conventional<br />

force; nor is <strong>the</strong>re any pragmatic inference involved. Geach's argument from<br />

logical convenience—'It is formally much more convenient to treat <strong>the</strong><br />

exclusive proposition as having precisely <strong>the</strong> exclusive force <strong>of</strong> its supposed<br />

second [negative] component'—appears to fly in <strong>the</strong> face <strong>of</strong> intuition, entailing<br />

as it does that '"F (only 0)" will thus be true when "F( )" is true <strong>of</strong> nothing at<br />

all', rendering <strong>Only</strong> Hilary could reform health care vacuously true.<br />

2 MORE EVIDENCE FOR ASYMMETRY: THE CASE OF<br />

ONLY IF<br />

Before inspecting <strong>the</strong>se asymmetricalist approaches for flaws, it's worth noting<br />

that <strong>the</strong> distribution <strong>and</strong> meaning <strong>of</strong> only if reinforce <strong>the</strong> conclusion that <strong>the</strong><br />

positive component <strong>of</strong> only clauses is not simply entailed, or else A only ifB<br />

would be equivalent to A if <strong>and</strong> only ifB. As McCawley has observed, A only ifB<br />

is better paraphrased by 'Not A if not B' than by 'If A <strong>the</strong>n B' (or by 'B if A'); he<br />

points out that (8a) is equivalent not to (8b) but ra<strong>the</strong>r to (8c) (McCawley 1981:<br />

49-54; cf. also McCawley 1974 <strong>and</strong> 1993: 81-8 <strong>and</strong>, independently, Barker<br />

I993)- 7<br />

(8) a. You're in danger only if <strong>the</strong> police start tapping your phone.<br />

b. If you're in danger <strong>the</strong> police start tapping your phone. [^(^a)]<br />

c. If <strong>the</strong> police don't start tapping your phone you're not in danger.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

Crucially, as observed by Geis (197 3), van der Auwera (1985), Lycan (1991), <strong>and</strong><br />

von Fintel (1994) in addition to McCawley <strong>and</strong> Barker, only if is compositional,<br />

its meaning a function <strong>of</strong> <strong>the</strong> meaning <strong>of</strong> only plus <strong>the</strong> meaning <strong>of</strong> if. Following<br />

Geis <strong>and</strong> McCawley, we can read only ifB as 'under no circumstances o<strong>the</strong>r than<br />

B\ in <strong>the</strong> same way that only on Sundays is read as 'on no days o<strong>the</strong>r than<br />

Sundays', so that (9a) amounts to <strong>the</strong> negative conditional in (9b). On <strong>the</strong> related<br />

account <strong>of</strong> Lycan (1991: 126-7), (9 a ) i s analyzed into (9c).


6 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

(9) a. I'll go only if you go.<br />

b. I won't go if you don't go.<br />

c. I'll go only in (<strong>the</strong> event that/events in which} you go.<br />

(— I'll go in no event o<strong>the</strong>r than one in which you go)<br />

And so, not surprisingly, we have <strong>the</strong> parallel suspension <strong>and</strong> cancellation<br />

effects via <strong>the</strong> epistemic riders <strong>of</strong> <strong>the</strong> type <strong>of</strong> (10):<br />

(10) a. He goes to church only on Sunday, <strong>and</strong> not even <strong>the</strong>n if <strong>the</strong>re's a football<br />

game on television.<br />

b. He'll go to church only if you do, <strong>and</strong> not even <strong>the</strong>n if...<br />

c. I'll go only if you do. And maybe not even <strong>the</strong>n.<br />

In ei<strong>the</strong>r case, a switch to an overt conjunction yields a contradiction with <strong>the</strong><br />

cancellation clause:<br />

(10') a. #He goes to church on Sunday <strong>and</strong> only on Sunday, <strong>and</strong> not even <strong>the</strong>n<br />

if <strong>the</strong>re's a football game on television.<br />

b. #He'll go to church if <strong>and</strong> only if you do, <strong>and</strong> not even <strong>the</strong>n if...<br />

c. # I'll go if <strong>and</strong> only if you do. And maybe not even <strong>the</strong>n.<br />

The inversion <strong>and</strong> polarity facts pattern accordingly: 8<br />

(11) a. If you build it, <strong>the</strong>y will come. (. . .*will <strong>the</strong>y come)<br />

b. <strong>Only</strong> if you build it will <strong>the</strong>y come. (. . .*<strong>the</strong>y will come)<br />

c. If <strong>and</strong> only if you build it, <strong>the</strong>y will come. (. . .%will <strong>the</strong>y come) 9<br />

b'. <strong>Only</strong> <strong>the</strong>n will <strong>the</strong>y come.<br />

(. . .*<strong>the</strong>y will come)<br />

c'. Then <strong>and</strong> only <strong>the</strong>n, <strong>the</strong>y will come. (. . .%will <strong>the</strong>y come)<br />

Note <strong>the</strong> contrast with non-negative adverbials (as in (11'))<br />

(11') Even (if you build it/<strong>the</strong>n), <strong>the</strong>y will come.<br />

(.. .*will <strong>the</strong>y come)<br />

<strong>and</strong> with overtly conjoined a <strong>and</strong> only a conditionals (as in (1 ic) <strong>and</strong> (12)).<br />

(12) a. <strong>Only</strong> if George works hard can he ever hope to pass.<br />

(Barker 1993: 256)<br />

b. *If George works hard (he can/can he) ever hope to pass.<br />

c. If <strong>and</strong> only if George works hard (*he can/%can he) ever hope to pass.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

Curiously, <strong>the</strong> parallelism between if <strong>and</strong> only if on <strong>the</strong> one h<strong>and</strong> <strong>and</strong> Muriel<br />

<strong>and</strong> only Muriel on <strong>the</strong> o<strong>the</strong>r is supported by <strong>the</strong> conjunctionalist van der<br />

Auwera (1985 <strong>and</strong> personal communication, 14 June 1994), who argues that<br />

just as 'Horn's old example' (7a) is equivalent to (yd), so too if <strong>and</strong> only if is<br />

essentially just a stylistic/pragmatic/discourse variant <strong>of</strong> <strong>the</strong> semantically <strong>and</strong><br />

truth-conditionally identical only if. In <strong>the</strong> light <strong>of</strong> <strong>the</strong> contrasting patterns we<br />

have observed here, that conclusion is ruled out <strong>and</strong>, given <strong>the</strong> parallelism with


Laurence R. Horn 7<br />

'ordinary' only sentences, a conjunctionalist account <strong>of</strong> <strong>the</strong> latter is equally<br />

untenable. 10<br />

By way <strong>of</strong> summary we can <strong>of</strong>fer a State <strong>of</strong> <strong>the</strong> Industry report, with a display<br />

<strong>of</strong> <strong>the</strong> competing <strong>the</strong>ories on only ranked in order <strong>of</strong> increasing asymmetry:<br />

(1) a. <strong>Only</strong> God can make a tree.<br />

b. God can make a tree.<br />

c. No one distinct from God can make a tree.<br />

Theory C/C A , <strong>the</strong> conjunction analysis: (ia) entails <strong>the</strong> conjunction <strong>of</strong> (ib) <strong>and</strong><br />

(ic).<br />

Theory P, <strong>the</strong> presupposition analysis: (ia) entails (ic); (ia) semantically/<br />

logically presupposes (ib). If (ib) is false, (ia) is nei<strong>the</strong>r true nor false.<br />

Theory PP, <strong>the</strong> pragmatic presupposition or conventional implicature<br />

analysis: as in P except (a) pragmatically presupposes/conventionally implicates<br />

(ib). (ib) is non-truth-conditional but semantic condition on <strong>the</strong> appropriate<br />

utterance <strong>of</strong> (ia).<br />

Theory M, McCawley's conversational implicature analysis: (ia) entails (ic); a<br />

speaker uttering (ia) normally (but not necessarily) conversationally implicates<br />

Theory G, Geach's pure negative analysis: (ia) entails (ic); no representation <strong>of</strong><br />

any relation between (ia) <strong>and</strong> (ib).<br />

On <strong>the</strong> last four <strong>the</strong>ories, <strong>the</strong> prejacent (ib) does not follow from (ia) by classic<br />

entailment; on <strong>the</strong> last three, it does not represent a truth-conditional<br />

inference, <strong>and</strong> on <strong>the</strong> latter two it has no semantic status whatsoever.<br />

3 THE SYMMETRICALISTS STRIKE BACK: POLARITY<br />

AND MONOTON1CITY<br />

In recent work, Jay Atlas has subjected <strong>the</strong> last three approaches to a wi<strong>the</strong>ring<br />

critique on <strong>the</strong> grounds that we must <strong>of</strong> course reject any analysis that takes a<br />

sentence like <strong>Only</strong> Hillary could reform health care to be true—<strong>and</strong> merely<br />

misleading—on <strong>the</strong> grounds that nobody could reform health care. As (13a)<br />

shows, <strong>the</strong> putative prejacent implicature staunchly resists cancellation.<br />

(13) a. #<strong>Only</strong> Hillary could reform health care, <strong>and</strong> even she couldn't,<br />

b. #1 love only you, but (maybe) I don't love you ei<strong>the</strong>r.<br />

Of my acknowledgement (Horn 1992: 182) that Theory M predicts <strong>the</strong><br />

semantic coherence <strong>of</strong> (13b), Atlas retorts (1993: 314 <strong>and</strong> fn. on 317):<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

[This] consequence strikes me as so outrageously counter-intuitive as to be a reductio <strong>of</strong> <strong>the</strong><br />

<strong>the</strong>ory. The idea that simultaneously / love only you could be true while / love you is false just


8 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

seems crazy to me ... I just have a very hard time with Horn's <strong>the</strong>ory about <strong>the</strong> truthconditions<br />

oil love only you.<br />

Fur<strong>the</strong>r, Adas denies that only NP subjects are monotone decreasing (or<br />

downward entailing), given <strong>the</strong> lack <strong>of</strong> any valid inference from (14a) to (14b).<br />

(14) a. <strong>Only</strong> Socrates entered <strong>the</strong> race.<br />

b. <strong>Only</strong> Socrates entered <strong>the</strong> race early.<br />

This observation actually dates back seven centuries to Peter <strong>of</strong> Spain, who<br />

notes (in <strong>the</strong> Tractatus Syncategoremata, Mullally 1945: 33) that no entailment<br />

goes through ei<strong>the</strong>r way in (14):<br />

(14') a. y- <strong>Only</strong> Aristotle moves.-*\<br />

b. ^»-<strong>Only</strong> Aristotle runs. -^<br />

But Peter didn't have polarity or inversion to worry about. How does Atlas<br />

account for <strong>the</strong> downward or negative effects associated with only NP The<br />

suspension facts he disputes, along with <strong>the</strong> putative compositionality <strong>of</strong> only if.<br />

The inversion facts he does not acknowledge. And as for polarity licensing,<br />

Atlas maintains on <strong>the</strong> basis <strong>of</strong> <strong>the</strong> contrast between (15a) <strong>and</strong> <strong>the</strong> more<br />

marginal or unacceptable (15b-d)<br />

(15) a. <strong>Only</strong> John ever suspected David Alex<strong>and</strong>er.<br />

b. *<strong>Only</strong> Bill wants Sam to finish <strong>the</strong> report until Friday.<br />

c. "<strong>Only</strong> Phil will give Lucy a red cent.<br />

d. <strong>Only</strong> I was all that keen to go to <strong>the</strong> party.<br />

that—contrast to popular opinion, including that <strong>of</strong> virtually everyone who has<br />

considered <strong>the</strong> issue, from Klima 11 to, amazingly, both Ladusaw <strong>and</strong><br />

Linebarger—only NP does not in fact license NPIs:<br />

I do not find <strong>the</strong> syntactic observation that only triggers Negative Polarity Items sufficiently<br />

well-grounded, <strong>and</strong> so I do not believe that <strong>the</strong>re is yet sufficient ground to take only to be a<br />

negative lexical item. (Atlas 1993: 31 3)<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

In fact, though, popular opinion is correct, as <strong>the</strong> data in (16) show.<br />

(16) a. (Of all her friends,) <strong>Only</strong> Phil would lift a finger to help Lucy.<br />

b. <strong>Only</strong> your wife gives a hoot about what happens to you.<br />

(McCawley 1981: 83)<br />

c. My nose <strong>and</strong> my lungs are only alive at all because <strong>the</strong>y are part <strong>of</strong> my<br />

body <strong>and</strong> share its common life.<br />

(C. S. Lewis, Mere Christianity, cited injacobsson 1951)<br />

<strong>Only</strong> NP is indeed a polarity licenser, although as a non-overt negator <strong>and</strong> a<br />

non-anti-additive quantifier in <strong>the</strong> sense <strong>of</strong> Zwarts (1986) <strong>and</strong> van der Wouden<br />

(1994), not every polarity item will freely occur within its scope. In this respect,


Laurence R. Horn 9<br />

OM/y-initial phrases are quite parallel to ano<strong>the</strong>r quantifier whose downward<br />

monotonic status is widely conceded, NPs <strong>of</strong> <strong>the</strong> form few + CN.<br />

The data in (17) review <strong>the</strong> non-discrete nature <strong>of</strong> polarity licensing; note<br />

that both semantic <strong>and</strong> morphological considerations come into play. 12<br />

(17) a. John didn't realize that<br />

he had swallowed any marbles.<br />

*Mary loved him anymore.<br />

*Ralph arrived until midnight.<br />

b. If<br />

c.<br />

you had ever done a thing like that...<br />

*John were here anymore ...<br />

*John had arrived until midnight...<br />

#<strong>Only</strong> Chris slept a wink last night.<br />

Nobody but Chris slept a wink last night.<br />

Nobody slept a wink last night but Chris.<br />

Whe<strong>the</strong>r or not it is a full-fledged downward monotonic operator on its<br />

own semantic merits, only NP patterns with <strong>the</strong> downward-entailers <strong>and</strong> in<br />

contrast with <strong>the</strong> truly non-monotonic NP <strong>and</strong> only NP, which triggers few if<br />

any polarity, inversion, or cancellation effects. And while <strong>the</strong> intuitions on (13)<br />

<strong>and</strong> (14) <strong>of</strong> Peter <strong>of</strong> Spain <strong>and</strong> Jay <strong>of</strong> California cannot be simply dismissed, it's<br />

worth reviewing some evidence, especially an elegant argument due to <strong>the</strong><br />

thirteenth-century logician Walter Burley, suggesting that only phrases may in<br />

fact be more downward monotonic than <strong>the</strong>y appear.<br />

For Ladusaw (1980: 165-6), <strong>the</strong> assumed polarity-triggering effect <strong>of</strong> only<br />

phrases follows from <strong>the</strong>ir downward monotonicity, as seen in (18):<br />

(18) a. <strong>Only</strong> Qohn] F had ever read anything about phrenology,<br />

b. <strong>Only</strong> John walks — <strong>Only</strong> John walks slowly.<br />

Recall that while upward monotonic quantifiers license inferences from subsets<br />

to supersets, as in (19a), downward monotonic quantifiers license inferences<br />

from supersets to subsets, as in (19b). Non-monotonic quantifiers, typically<br />

analyzable as conjunctions <strong>of</strong> quantifiers <strong>of</strong> mixed monotonicity types (e.g.<br />

exactly n — at least n + at most n) license inferences in nei<strong>the</strong>r direction.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

(19) a. Some Greeks voted for Bill.<br />

b. No Greeks voted for Bill.<br />

c. Exactly 756 Greeks voted for Bill.<br />

Some Greeks voted.<br />

No Greeks voted.<br />

Exactly 756 Greeks voted.<br />

(20) mont: some men, many women, Hillary, most Democrats, all linguists, everyone,<br />

<strong>the</strong> tallest 30-year-old, (at least) 10 cats. ..<br />

monl: no men, few women, at most 10 chickens, not every doctor, nobody. . .


io <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

As recognized by Barwise & Cooper (1981: 193), quantifiers with <strong>the</strong> same<br />

monotonicity orientation combine with <strong>and</strong>, excluding but, as seen in (21),<br />

(21) a man <strong>and</strong> three women few violins <strong>and</strong> no cellos<br />

some students <strong>and</strong> every pr<strong>of</strong>essor no men <strong>and</strong> very few women<br />

most men <strong>and</strong> any FC women no dogs <strong>and</strong> hardly any NP i cats<br />

while monotonicity-discordant quantifiers most combine with but:<br />

(20) John {# <strong>and</strong>/but] no woman<br />

few women {# <strong>and</strong>/but) many men<br />

most <strong>of</strong> <strong>the</strong> dogs {# <strong>and</strong>/but) few <strong>of</strong> <strong>the</strong> cats<br />

(vs. most <strong>of</strong> <strong>the</strong> dogs [<strong>and</strong>/#but] a few <strong>of</strong> <strong>the</strong> cats<br />

Crucially, only phrases pattern as downward monotonic quantifiers:<br />

(23) many men {# <strong>and</strong>/but) only 3 women<br />

no men {<strong>and</strong>/#but} only 3 women<br />

4 CONVERSION AND EXISTENTIAL IMPORT<br />

But in fact only phrases must be downward monotonic, given <strong>the</strong> converse<br />

relation between only <strong>and</strong> all, recognized since <strong>the</strong> medievals:<br />

(24) a. Tantum animal est homo convertitur in istam: omnis homo est animal, per<br />

istam regulam: Exclusiva affirmativa convertitur in universalem P<br />

(John <strong>of</strong> Holl<strong>and</strong>, in Bos 1985: 27)<br />

b. only (A, B) (only As are Bs) « all Bs are As ~ B c A<br />

The interdefinability <strong>of</strong> exclusives <strong>and</strong> universals appears in a variety <strong>of</strong> traditional<br />

sources, e.g. Peter <strong>of</strong> Spain's Tactatus Exponibilium (Mullally 1945: 106-7),<br />

<strong>and</strong> is exploited, defended, or assumed—<strong>of</strong>ten in <strong>the</strong> form <strong>of</strong> <strong>the</strong> subset relation<br />

in (24b))—by a bevy <strong>of</strong> moderns, including Lobner (1987), Chierchia &<br />

McConnell-Ginet (1990: 427), de Mey (1991), Johnson-Laird & Byrne (1991:<br />

128), Higginbotham (1994: 459-63), <strong>and</strong> von Fintel (1994, 1995), enough <strong>of</strong> a<br />

quorum to challenge <strong>the</strong> assertion that '<strong>the</strong>se days, those who adopt this analysis<br />

are few <strong>and</strong> far between' (von Fintel 1994: 13 5).<br />

Given this convertibility, to say that only Democrats supported Clinton is to<br />

say that all Clinton-supporters were Democrats. But, as has been recognized for<br />

a couple <strong>of</strong> millennia (cf. Horn 1989: Section 1.1.3 for summary <strong>and</strong> Moravcsik<br />

1991 for a new look), <strong>the</strong>re is an existential inference, generally assumed to hold<br />

in <strong>the</strong> pragmatics, that is characteristically associated with <strong>the</strong> assertion <strong>of</strong> a<br />

universal. 14 Thus we can infer that (for all <strong>the</strong> speaker knows) <strong>the</strong>re were indeed<br />

Clinton-supporters; o<strong>the</strong>rwise <strong>the</strong> ^//-statement would be too uninformative<br />

to assert. 15<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


Laurence R. Horn 11<br />

(25) <strong>Only</strong> Democrats supported Clinton -*• All Clinton-supporters were<br />

/ Democrats<br />

(II) / ^<br />

Democrats supported Clinton<br />

\^-— There were Clinton-supporters<br />

..There were Democrats who were Clinton-supporters<br />

But now we obtain <strong>the</strong> conclusion that <strong>the</strong>re were indeed Democrats who<br />

supported Clinton, which is in fact <strong>the</strong> strongest positive proposition licensed<br />

by (25). Ano<strong>the</strong>r way to put <strong>the</strong> same point is that it's just as true, but just as<br />

uncooperative, to assert (25) if you know that nobody supported Clinton as it is<br />

to assert that all John's children are bald on <strong>the</strong> grounds that John is childless. 16<br />

For a conjunctionalist, <strong>the</strong> unpacking <strong>of</strong> (25) yields <strong>the</strong> indefinite proposition<br />

Democrats supported Clinton, which as a stage-level predication (see Carlson<br />

1977) can be read existenrially. But, as von Fintel (1994: 139 ff.) points out, no<br />

such reading is possible when we shift to individual-level predicates. Thus (26a)<br />

does not entail (26b), which amounts essentially to <strong>the</strong> universal claim in (26c).<br />

The speaker <strong>of</strong> (26a) is at most committed to <strong>the</strong> weaker exitential claim that<br />

<strong>the</strong>re are pr<strong>of</strong>essors who are confident, i.e. to (26d).<br />

(26) a. <strong>Only</strong> pr<strong>of</strong>essors are confident.<br />

b. Pr<strong>of</strong>essors are confident.<br />

c. All pr<strong>of</strong>essors are confident.<br />

d. Some pr<strong>of</strong>essors are confident.<br />

Such cases thus provide a difficulty for <strong>the</strong> conjunctive analysis, even assuming<br />

<strong>the</strong> coherence <strong>of</strong> an entailment analysis for corresponding stage-level predications,<br />

as in (25) or in (26').<br />

(26') a. <strong>Only</strong> pr<strong>of</strong>essors are available,<br />

b. Pr<strong>of</strong>essors are available.<br />

The point carries over, mutatis mut<strong>and</strong>is, from bare plurals to definite NPs in<br />

<strong>the</strong> focus <strong>of</strong> only. When Thomas Wolfe stipulated sixty years ago in his<br />

eponymous story that 'only <strong>the</strong> dead know Brooklyn', he wasn't committing<br />

himself to <strong>the</strong> claim in (27b), which seems to suggest that <strong>the</strong> whole ghostly<br />

crue—in particular Aristotle—knows Brooklyn.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

(27) a. <strong>Only</strong> <strong>the</strong> dead know Brooklyn,<br />

b. The dead know Brooklyn.<br />

Nor does (27a) entail <strong>the</strong> truth <strong>of</strong> a generic (ra<strong>the</strong>r than strictly universal)<br />

reading <strong>of</strong> (27b). Ra<strong>the</strong>r, <strong>the</strong> commitment is merely existential, as is clear from<br />

<strong>the</strong> opening sentence <strong>of</strong> <strong>the</strong> narrative: 'Dere's no guy livin' dat knows Brooklyn<br />

t'roo <strong>and</strong> t'roo, because it'd take a lifetime just to find his way aroun' duh f—<br />

town' (Wolfe 1935: 91).


12 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

Thus, a claim about only + CN is simply not equivalent to a claim about all<br />

<strong>and</strong> only <strong>the</strong> members <strong>of</strong> a given set, a fact rendered explicitly in (28a),<br />

excerpted from an Internet posting on lactose intolerance:<br />

(28) a. <strong>Only</strong> humans <strong>and</strong> not even all humans are genetically equipped to<br />

drink milk into adulthood,<br />

b. Humans are genetically equipped to drink milk into adulthood.<br />

The corresponding claim in <strong>the</strong> prejacent, (28b), is not interpreted existentially<br />

but universally or at least generically, <strong>and</strong> again represents a stronger commitment<br />

than is licensed by <strong>the</strong> assertion <strong>of</strong> (28a).<br />

Of course, an individual-level only predication may be consistent with <strong>the</strong><br />

corresponding all <strong>and</strong> only statement, as in (29), but <strong>the</strong> point is that (29b, c) are<br />

not valid consequences <strong>of</strong> (29a), even though <strong>the</strong>y happen to be true. What<br />

follows from (29a) is not (29b) or (29c), but (29d). 17<br />

(29) a. <strong>Only</strong> birds have fea<strong>the</strong>rs.<br />

b. All birds have fea<strong>the</strong>rs.<br />

c. All <strong>and</strong> only birds have fea<strong>the</strong>rs.<br />

d. All fea<strong>the</strong>red things are birds.<br />

In recognizing <strong>the</strong> mutual convertibility <strong>of</strong> exclusives <strong>and</strong> universals, we<br />

obtain <strong>the</strong> equivalences <strong>of</strong> (30), preserving monotonicity orientations for <strong>the</strong><br />

corresponding argument positions as indicated. 18<br />

(30) a. only As are Bs all BsareAs every (B)(A)<br />

*— DE environments —'<br />

non-DE environments —I<br />

Finessing <strong>the</strong> issue <strong>of</strong> existential import, only behaves like an upward monotone<br />

determiner that combines with a focus argument to form a downward<br />

monotone quantifier, while every /all is a downward monotone determiner that<br />

combines with a restrictor to form an upward monotone quantifier. We can<br />

represent <strong>the</strong> correspondence in (30) schematically by three-dimensionalizing<br />

<strong>the</strong> traditional Aristotelian square <strong>of</strong> opposition:<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


Laurence R. Horn 13<br />

only P is S<br />

AU<br />

only non-P is S<br />

E<br />

/<br />

/<br />

isP<br />

/<br />

.'TT<br />

some S is P<br />

/<br />

1<br />

P also is S<br />

not only non-P is S<br />

no S is P<br />

UE<br />

no<br />

/<br />

some S is not P<br />

not all S is P<br />

/<br />

/<br />

O<br />

not <<br />

But it is far from clear that only is ever actually a determiner. Note that even<br />

if it is a determiner when it takes a common noun focus, as in (29a), this analysis<br />

fails to extend to <strong>the</strong> cross-categorial only operator that combines with or<br />

modifies full NPs (including proper names, descriptions, <strong>and</strong> pronouns), VPs,<br />

PPs, <strong>and</strong> adverbs. Note in particular that only combines with <strong>the</strong> in ei<strong>the</strong>r order.<br />

only <strong>the</strong> N, <strong>the</strong> only N. Although <strong>the</strong> conjoinability <strong>of</strong> only with all in contexts<br />

like (29c) seems to testify to its Det-hood, all <strong>and</strong> only may not be a determiner<br />

here, as von Fintel (1995) has noted: cf. All <strong>and</strong> only <strong>the</strong> migratory birds. ..<br />

The category status <strong>of</strong>only/ CN is <strong>of</strong> <strong>the</strong>oretical interest in that if only is<br />

a determiner in this frame it st<strong>and</strong>s as <strong>the</strong> unique counter-example to an<br />

o<strong>the</strong>rwise striking generalization that all natural language determiners are<br />

conservative (Keenan & Stavi 1986).<br />

Conservativity is defined as in (31) <strong>and</strong> illustrated in (31'):<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

(31) a determiner D is CONSERVATIVE iff [D(A)(B) ~ D(A)(A n B)]<br />

(31') a. No ravens are white «• No ravens are white ravens<br />

b. Most owners are greedy ** Most owners are greedy owners<br />

c. <strong>Only</strong> willows weep T 4 <strong>Only</strong> willows are weeping willows<br />

<strong>Only</strong> is not conservative because <strong>the</strong> biconditional in (31 'c) is only valid left-toright:<br />

only willows are willows that weep but not only willows weep. But if only<br />

is never a determiner, always combining with full NPs including those with<br />

null determiners as in (29a) <strong>and</strong> (31 'c), <strong>the</strong> problem for <strong>the</strong> conservativity<br />

universal is dissolved; see Thijsse (1983); Chierchia & McConnell-Ginet (1990:


14 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

426-8); van Ben<strong>the</strong>m (1991: fn. 4); <strong>and</strong> von Fintel (1995) for arguments to this<br />

effect.<br />

De Mey (1991), on <strong>the</strong> o<strong>the</strong>r h<strong>and</strong>, argues that only is a determiner in<br />

sentences like (31 'c). Even if de Mey is essentially correct, however, <strong>the</strong>re is<br />

ano<strong>the</strong>r take on <strong>the</strong> question. 19 As van Ben<strong>the</strong>m (1986: 8) observes,<br />

conservativity is motivated by '<strong>the</strong> privileged role <strong>of</strong> <strong>the</strong> first argument in a<br />

determiner statement: it "sets <strong>the</strong> stage"'. But in an only sentence like (31 'c), it is<br />

not only plus its focus argument that 'sets <strong>the</strong> stage', as <strong>the</strong> principle <strong>of</strong><br />

conversion shows. If (31) represents traditional conservativity, let us say that<br />

every natural language determiner is ei<strong>the</strong>r traditionally conservative or NEO-<br />

CONSERVATIVE in <strong>the</strong> sense defined in (32) <strong>and</strong> illustrated in (32'):<br />

(32) a determiner D is NEO-CONSERVATIVE iff [D(A)(B) •• D(A B)(B)]<br />

(32') <strong>Only</strong> willows weep


Laurence R. Horn 15<br />

In addition to universals, comparatives, <strong>and</strong> various overt <strong>and</strong> implicit<br />

negations (Alnwick <strong>and</strong> Billingham obviously knew <strong>the</strong>ir Fauconnier <strong>and</strong><br />

Ladusaw), <strong>the</strong> set <strong>of</strong> terms with 'negative vim' (termini habentes vim negationis)<br />

crucially includes exclusives.<br />

Similar inferential mechanisms are found in Ockham <strong>and</strong> date back to<br />

anonymous authors <strong>of</strong> <strong>the</strong> late twelfth <strong>and</strong> early thirteenth centuries. The key<br />

idea for our purposes is that expressions with vis negationis block upward<br />

inferences <strong>and</strong> allow downward ones within <strong>the</strong>ir scope. Thus a position like<br />

that <strong>of</strong> <strong>the</strong> restrictor <strong>of</strong> universals licenses inferences from superior to inferior,<br />

from set to subset, if all humans are rational, <strong>the</strong>n all women (but not<br />

necessarily all animals) are rational; but a position like that <strong>of</strong> <strong>the</strong> predicate or<br />

nuclear scope <strong>of</strong> universals licenses inferences in <strong>the</strong> opposite, upward<br />

direction: if all humans speak a complex language, it follows that all humans<br />

speak a language, but not that <strong>the</strong>y all speak a complex Indo-European<br />

language.<br />

It seems to have been Walter Burley who first recognized that <strong>the</strong> inference<br />

patterns associated with omnis obtain in <strong>the</strong> corresponding (opposite) positions<br />

<strong>of</strong> tantum. The valid ser-subset consequences in <strong>the</strong> exclusive pair <strong>of</strong> (33a, b)<br />

matches that in <strong>the</strong> restrictor <strong>of</strong> <strong>the</strong> universal in (33c, d). 21<br />

(33) a. Tantum Sor[tes] videt animal. '<strong>Only</strong> Socrates sees an animal'<br />

b. Tantum Sor[tes] videt asinus. '<strong>Only</strong> Socrates sees an ass'<br />

c. Omnis homo est animal. 'Every man is an animal'<br />

d. Omnis albus homo est animal. 'Every white man is an animal'<br />

(Burley, 'De exclusivis': Pinborg 1981; De Rijk 1985; emphasis added)<br />

For Burley, <strong>the</strong> oddness <strong>of</strong> <strong>the</strong> downward inference from (33a) to (33b) in <strong>the</strong><br />

case where <strong>the</strong> animal Socrates sees is an ox ra<strong>the</strong>r than an ass is no more<br />

problematic than <strong>the</strong> well-established downward inference from (33c) to (33d),<br />

which remains valid in <strong>the</strong> absence <strong>of</strong> white men. The issue <strong>of</strong> existential<br />

import is to be h<strong>and</strong>led similarly in both cases. And while, as we saw, Petrus<br />

Hispanus <strong>and</strong> Atlas Pomonensis reject <strong>the</strong> inference from (34a) to (34d) (see<br />

(14), (14') above), Burley derives it by double conversion: (34a) converts to (34b),<br />

which licenses <strong>the</strong> downward inference <strong>of</strong> (34c), which converts back to (34d).<br />

(34) a. Tantum horn movetur. => b. Omne movens est homo.<br />

'<strong>Only</strong> a man is moving' 'Every moving [thing] is a man'<br />

u<br />

d. Tantum homo currit.


16 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

make a tree <strong>and</strong> <strong>the</strong> set <strong>of</strong> tree-makers is non-null, <strong>the</strong>n <strong>the</strong> truth <strong>of</strong> <strong>the</strong><br />

prejacent follows. No specific rule—entailment, presupposition, implicature—<br />

need be stipulated for deriving (35 b) from (35 a).<br />

(35) a. <strong>Only</strong> God can make a tree.<br />

b. God can make a tree.<br />

c. No one o<strong>the</strong>r can God can make a tree.<br />

d. {x I x can make a tree} / 0<br />

On this view, we correctly predict that when 1 ask who's coming <strong>and</strong> you<br />

answer 'only John', all I must presuppose—all my model <strong>of</strong> <strong>the</strong> context must<br />

accommodate—is that someone is coming, not thatjohn is: (36c) but not (36d) is<br />

jiven'. 22<br />

(36) a. —Who's coming tonight<br />

b. —<strong>Only</strong> John (is coming).<br />

c. Someone is coming.<br />

d. John is coming.<br />

A neo-Burleyan approach also fares better than its market competitors in<br />

capturing <strong>the</strong> appropriate intuitions for <strong>the</strong> following context. In September<br />

1994,1 place a wager with you, staking $100 on <strong>the</strong> proposition that only Seattle<br />

will win more than 60 games in <strong>the</strong> upcoming regular season for <strong>the</strong> National<br />

Basketball Association. Now consider <strong>the</strong> following four possible scenarios on<br />

how season <strong>and</strong> bet play our, <strong>the</strong> last column reflects my sense <strong>of</strong> <strong>the</strong> proper<br />

resolution <strong>of</strong> <strong>the</strong> wager.<br />

(37) SCENARIOS Theories Theory P Theories Intuition<br />

C/C A<br />

PP/M/G<br />

Seattle wins 62 games;<br />

every o<strong>the</strong>r team wins < 60 W W W W<br />

Seattle wins 62 games,<br />

Orl<strong>and</strong>o wins 61 L L L L<br />

No team wins more than<br />

60 games<br />

San Antonio wins 62, every<br />

o<strong>the</strong>r team wins < 60<br />

[=ACTUAL RESULTS]<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

The first two scenarios are straightforward: when <strong>the</strong> prejacent holds, all<br />

<strong>the</strong>ories correctly predict that I win <strong>the</strong> bet if <strong>the</strong> exclusion holds <strong>and</strong> lose if it<br />

fails. But only <strong>the</strong> neo-Burleyan <strong>the</strong>ory allows us to distinguish <strong>the</strong> existential<br />

failure in <strong>the</strong> third case, where no accommodation is possible, from <strong>the</strong> mere<br />

falsity <strong>of</strong> <strong>the</strong> prejacent in <strong>the</strong> fourth, where accommodation <strong>of</strong> <strong>the</strong> existential<br />

proceeds unimpeded. 23


Laurence R. Horn 17<br />

6 CONVERSION AND NPI LICENSING<br />

Now imagine a language just like medieval Latin, but with grammatical<br />

correlates <strong>of</strong> vertical inference, say <strong>the</strong> licensing <strong>of</strong> polarity items <strong>and</strong> inversion.<br />

Call such a language English.<br />

The interdefinability <strong>of</strong> only <strong>and</strong> all allows a semantic account <strong>of</strong> polarity<br />

licensing that avoids <strong>the</strong> empirical pitfalls <strong>of</strong> a strictly configurational account.<br />

For <strong>the</strong> construction grammarians Fillmore, Kay & O'Connor (1988: 529), nonsubject<br />

only is not a polarity trigger. Similarly, for Progovac (1993, 1994), only<br />

licenses NPIs only from Comp position as in (38a, b). On her analysis, <strong>the</strong><br />

apparent subject only phrase in (38a) is itself raised to Comp at LF, whencethrough<br />

Spec-Head Agreement in Comp—it will license an abstract polarity<br />

operator which in turn licenses NPIs. Where no such raising to Comp is<br />

possible, as in (38c, d) only is not a trigger:<br />

(38) a. [n> <strong>Only</strong> Mary showed any respect for <strong>the</strong> visitors]<br />

b. [ CP <strong>Only</strong> to his girlfriend [ c did [jpjohn give any flowers]]]<br />

c. *John gave only his girlfriend any flowers.<br />

d. *John told Mary about any books.<br />

This analysis successfully distinguishes only from overt negation, <strong>the</strong> direct NPI<br />

licensor, whence <strong>the</strong> minimal pair in (39a, b); <strong>the</strong> latter contrasts with <strong>the</strong> NPIlicensing<br />

only phrase that appears in S-structure subject (LF Comp) position in<br />

(39c) (from Klima (1964: 311)).<br />

(39) a. His sister will not expect him to write any more novels.<br />

b. *His sister will only expect him to write any more novels.<br />

c. <strong>Only</strong> his sister will expect him to write any more novels.<br />

But Progovac's approach cannot account for <strong>the</strong> contrasts presented in (40)-<br />

(45), which show that non-Comp only can indeed license NPIs, provided that<br />

<strong>the</strong>y are located outside <strong>the</strong> semantic focus <strong>of</strong> only. (The relevant NPIs are in<br />

boldface, <strong>and</strong> <strong>the</strong> focus <strong>of</strong> only in small caps.)<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

(40) a. There was only ever ONE GLOVE <strong>the</strong>re that I saw.<br />

(Los Angeles police lieutenant Frank Spengler, OJ. case court<br />

testimony, 16 March 1993)<br />

a'. I've only ever gone <strong>the</strong>re ONCE.<br />

b. I only go <strong>the</strong>re {SOMETIMES/*EVER}.<br />

(41) r.. I only eat any meat WHEN I'M DEPRESSED.<br />

b. I eat meat only WHEN I'M DEPRESSED ABOUT (SOMETHING/*ANYTHING)<br />

(42) a. <strong>Only</strong> ONCE have I ever been <strong>the</strong>re.<br />

b. *<strong>Only</strong> EVER {do I go <strong>the</strong>re/have I been <strong>the</strong>re).


18 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

(43) a. <strong>Only</strong> WHEN I'M DEPRESSED do I ever eat any meat.<br />

b. *<strong>Only</strong> when I'm EVER DEPRESSED ABOUT ANYTHING do I eat meat.<br />

(44) a. He only bo<strong>the</strong>red to write WHEN HE NEEDED MONEY.<br />

a'. *He only BOTHERED TO WRITE, [i.e. he never called]<br />

a". <strong>Only</strong> WHEN HE NEEDED MONEY did he bo<strong>the</strong>r to write.<br />

b. You only lift a finger to help WHEN YOU WANT SOMETHING.<br />

b'. *You only LIFT A FINGER TO HELP.<br />

b". <strong>Only</strong> WHEN YOU WANT SOMETHING do you lift a finger to help.<br />

(45) a. The only one who said a word was CHRIS.<br />

b. # Chris only SAID A WORD (literal only; no'NPI idiom'reading)<br />

The contexts in which NPIs are acceptable do indeed license downward<br />

inferences in <strong>the</strong> Burley-Ladusaw sense—if we ignore existential import. 24<br />

Thus if I eat meat only when I'm depressed, <strong>the</strong>n it follows that in particular I<br />

eat pork (if I eat it at all) only when I'm depressed, but not that I eat meat only<br />

when I'm depressed about linguistics.<br />

Crucially, <strong>the</strong> argument <strong>of</strong> only that corresponds to <strong>the</strong> restrictor <strong>of</strong> a universal<br />

is a downward, superior-to-inferior-inference licensing, <strong>and</strong> NPIfriendly<br />

environment, regardless <strong>of</strong> its syntactic position. 25 And regardless <strong>of</strong> its<br />

morphology as well; thus, in (46b), where A is a singleton set, <strong>the</strong> relevant B<br />

position surfaces not as a st<strong>and</strong>ard restrictor-<strong>of</strong>-universal but is instead<br />

introduced by <strong>the</strong> determiner <strong>the</strong> only, which semantically amounts to <strong>the</strong><br />

converse <strong>of</strong> adverbial only:<br />

(46) a. <strong>Only</strong> As are Bs ~ All Bs are As<br />

b. <strong>Only</strong> A (Bs/is a B) ~ The only {B/B'er} is A<br />

As expected, NPIs are licenced in this context, but not just any NPI. 26<br />

In <strong>the</strong> context <strong>of</strong> (47), we find pronominal all <strong>and</strong> <strong>the</strong> only thing occurring<br />

interchangeably as heads <strong>of</strong> an NPI-hosting relative clause. 27<br />

(47) a. The only thing he ever does anymore is complain,<br />

b. All he ever does anymore is complain.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

According to <strong>the</strong> line pursued here, <strong>the</strong> relation between an only predication<br />

<strong>and</strong> its prejacent—treated variously over <strong>the</strong> centuries as an entailment, a<br />

presupposition, a conventional or conversational implicature, <strong>and</strong> a Geachian<br />

ghost—is reconstructed as an indirect deduction from an existential premise.<br />

The linguistic correlates <strong>of</strong> downward entailment can be attributed to <strong>the</strong><br />

convertibility <strong>of</strong> only predications <strong>and</strong> <strong>the</strong> corresponding universals, each<br />

downward-inferential in <strong>the</strong> corresponding (restrictor) argument.<br />

But while conversion is always possible, <strong>the</strong> strongest case for only phrases<br />

defining strict downward inferential patterns are those where only takes<br />

common noun or adverbial focus. De Mey (1991: 102-4) points to <strong>the</strong> crucial


Laurence R. Horn 19<br />

role <strong>of</strong> <strong>the</strong> semantic type <strong>of</strong> OM/V'S focus in determining <strong>the</strong> content <strong>of</strong> <strong>the</strong><br />

expression. He acknowledges that <strong>the</strong> non-semantic line he tentatively<br />

endorses for <strong>the</strong> existential proposition is most convincing for common noun<br />

subjects as in (46a), less so for proper names as in (46b), <strong>and</strong> least <strong>of</strong> all for<br />

cardinal foci as in (46c).<br />

(49) a. <strong>Only</strong> students read books.<br />

b. <strong>Only</strong> John slept.<br />

c. <strong>Only</strong> three pilots slept.<br />

Indeed, McCawley (1993: 587) himself, <strong>the</strong> progenitor <strong>of</strong> Theory M, acknowledges<br />

<strong>the</strong> acceptability contrasts in <strong>the</strong> exchanges <strong>of</strong> (50) <strong>and</strong> concedes that he<br />

is unable to account for this variation.<br />

(50) a. —Did only Sou<strong>the</strong>rners vote for Hubert<br />

—Yes, indeed only Lyndon did.<br />

b. —Did only Muriel vote for Hubert<br />

-{Yes/()No), indeed no one did.<br />

c. —Did only Muriel, Ed, <strong>and</strong> Lyndon vote for Hubert<br />

—Yes, indeed only Muriel <strong>and</strong> Ed did.<br />

You don't have to be an Atlas to hold up (50c) as anomalous. 28 As in (13)<br />

above, or <strong>the</strong> cleft <strong>of</strong> (51) (adapted from Frege's dictum),<br />

(51) It is only in <strong>the</strong> context <strong>of</strong> a sentence that a word has (any) meaning.<br />

<strong>the</strong> inference to <strong>the</strong> prejacent in such contexts strongly resists cancellation, yet<br />

here too <strong>the</strong> point <strong>of</strong> <strong>the</strong> only sentence is to assert <strong>the</strong> exclusion, whence <strong>the</strong> NPI<br />

licensing effect.<br />

7 BARELY HALF RIGHT-OR ALMOST HALF WRONG<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

Scalar orientation, as reflected by polarity distribution <strong>and</strong> related diagnostics,<br />

is evidently parasitic on—ra<strong>the</strong>r than identifiable with—strict entailment-based<br />

downward monotonicity. This conclusion is supported by <strong>the</strong> behavior <strong>of</strong> <strong>the</strong><br />

scalar adverbs almost <strong>and</strong> barely. The pattern in (52) indicates that almost is in<br />

some sense <strong>the</strong> more negative member <strong>of</strong> <strong>the</strong> pair.<br />

(52) a. s- The Celtics almost won <strong>the</strong> game.<br />

b. / The Celtics barely won <strong>the</strong> game, -v<br />

c. v*-*- The Celtics won <strong>the</strong> game.


20 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

(53) a. #He almost {budged/slept a wink/touched a drop/spoke to anyone),<br />

b. He barely {budged/slept a wink/touched a drop/spoke to anyone).<br />

This result is especially problematic for Linebarger's <strong>the</strong>ory <strong>of</strong> polarity, on<br />

which an NPI is sanctioned in a given frame in <strong>the</strong> absence <strong>of</strong> overt negation if<br />

it occurs in a proposition p that entails or implicates some o<strong>the</strong>r overtly<br />

negative proposition whose truth in turn 'virtually guarantees' <strong>the</strong> truth <strong>of</strong> p:<br />

(54) The Negative Implicature (NI) account <strong>of</strong> NPI licensing<br />

(Linebarger 1991: 166; cf. Linebarger 1981, 1987)<br />

a. Basic constraint:<br />

A negative polarity item NPI contributes to a sentence S expressing a<br />

proposition P <strong>the</strong> CONVENTIONAL IMPLICATURE that <strong>the</strong> following<br />

condition will be satisfied in <strong>the</strong> context <strong>of</strong> <strong>the</strong> utterance:<br />

•P entails or implicates some proposition NI, which may be identical to<br />

P; in <strong>the</strong> LF <strong>of</strong> some sentence S' expressing this negative implicatum NI,<br />

NPI occurs in <strong>the</strong> immediate scope <strong>of</strong> negation.<br />

b. Conditions on <strong>the</strong> saliency <strong>of</strong> NI:<br />

i) The AVAILABILITY requirement: The speaker must be actively<br />

attempting to convey NI by <strong>the</strong> utterance <strong>of</strong> S.<br />

ii) The STRENGTH requirement: The truth <strong>of</strong> NI itself must virtually<br />

guarantee <strong>the</strong> truth <strong>of</strong> P.<br />

iii) The FOREGROUND requirement: If NI ^ P, <strong>the</strong> representation <strong>of</strong> NPI<br />

may not occur as background information in ei<strong>the</strong>r P or NI, nor<br />

may NI itself serve as background to P.<br />

For (5 5a) <strong>the</strong> strength requirement is presumably not met by (5 5b), but it's hard<br />

to see how <strong>the</strong> truth <strong>of</strong> (55c) could fail to guarantee that <strong>of</strong> (55a), since <strong>the</strong> two<br />

are evidently truth-conditionally identical, as Atlas (1984) has observed.<br />

($5) a. He almost finished.<br />

b. He didn't finish.<br />

c. He didn't quite finish.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

But <strong>the</strong>n (56a) should provide as happy a home for an NPI as (56c) does:<br />

(56) a. He almost finished {some/*any} <strong>of</strong> <strong>the</strong> essays.<br />

b. He didn't finish any <strong>of</strong> <strong>the</strong> essays.<br />

c. He didn't quite finish any <strong>of</strong> <strong>the</strong> essays.<br />

Clearly this is not <strong>the</strong> case.<br />

On <strong>the</strong> o<strong>the</strong>r h<strong>and</strong>, barely passes <strong>the</strong> tests for what we might call downward<br />

quasi-entailment, <strong>the</strong> facts in (52) notwithst<strong>and</strong>ing. If he's barely alive, he's<br />

barely ambulatory, ignoring <strong>the</strong> case in which he's not ambulatory at all. But if<br />

he's almost alive, it doesn't follow that he's almost ambulatory; no downward


Laurence R. Horn 21<br />

inference is licensed. If she's barely studied linguistics, she's barely studied<br />

syntax, but not vice versa. Again, almost yields an upward ra<strong>the</strong>r than downward<br />

inference. But not an upward entailment, at least not if <strong>the</strong> relation in (57) is<br />

semantic.<br />

(57) They almost won >- They didn't win<br />

In fact, as has been demonstrated in a number <strong>of</strong> studies (Horn 1972; Ducrot<br />

i973;Sadock 1981; Atlas 1984; Fillmore etal. i988;Lundquist&Jarvella 1994),<br />

it's not clear just what it is. For Sadock (1981), [almost p] is true iff p is true in a<br />

world not very different from <strong>the</strong> real world; it conversationally implicates<br />

(ra<strong>the</strong>r than entailing or conventionally implicating) —>p. On <strong>the</strong> related <strong>and</strong><br />

considerably earlier account <strong>of</strong> Ducrot (1973), [presque p] has a positive<br />

assertion (p is 'non loin' from being true) <strong>and</strong> a negative presupposition (p is<br />

false), while [a peine p] has <strong>the</strong> reverse characterization <strong>and</strong> is in fact virtually<br />

identical to [presque non-p]. 29 What is clear from Ducrot's account <strong>and</strong> from<br />

<strong>the</strong> patterns in (58) <strong>and</strong> (59) is <strong>the</strong> constrast between <strong>the</strong> upward scalar orientation<br />

<strong>of</strong> almost <strong>and</strong> <strong>the</strong> downward orientation <strong>of</strong> barely.<br />

(58) The tank is<br />

almost half empty -*•[<br />

U— barely y half full<br />

almost half full—»J~ 1/2 'j-«— barely half empty<br />

J 1/2 j<br />

(59) a. Good news—My printer is almost functional!<br />

b. Bad news—My printer is barely functional!<br />

If our tank in (58) is almost half empty (or barely half full), we'd better stop to<br />

fill it, even though it contains more gasoline than if it's almost half full (or<br />

barely half empty). Similarly, I take comfort from <strong>the</strong> report that my printer is<br />

almost functional <strong>and</strong> bemoan <strong>the</strong> news that it's barely functional, even though<br />

it's in <strong>the</strong> latter case that it actually works.<br />

In each case <strong>the</strong> point <strong>of</strong> <strong>the</strong> almost sentence is to assert a positive predication<br />

even at <strong>the</strong> cost <strong>of</strong> conceding a negative, while barely has just <strong>the</strong> reverse effect.<br />

Following Stalnaker (1974, 1978), I assume that an ASSERTION is a potentially<br />

controversial proposal to increment <strong>the</strong> context by adding <strong>the</strong> content <strong>of</strong> <strong>the</strong><br />

assertion to <strong>the</strong> store <strong>of</strong> what is already presupposed, where a PRESUPPOSITION is<br />

a proposition whose truth is ei<strong>the</strong>r already established in <strong>the</strong> common ground<br />

or can be ACCOMMODATED to it:<br />

The RULE OF ACCOMMODATION for presupposition (Lewis 1979: 340):<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

If at time 1 something is said that requires presupposition P to be acceptable, <strong>and</strong> if P is not<br />

presupposed just before (, <strong>the</strong>n—ceteris paribus <strong>and</strong> within certain limits—presupposition P<br />

comes into existence at (.


22 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

Note that even if <strong>the</strong> assertion <strong>of</strong> <strong>the</strong> upward-orientated (56a) semantically<br />

commits <strong>the</strong> speaker to <strong>the</strong> negative proposition in (56c), <strong>the</strong> latter is not part <strong>of</strong><br />

<strong>the</strong> point <strong>of</strong> <strong>the</strong> utterance <strong>and</strong> thus plays no role in <strong>the</strong> computation <strong>of</strong> polarity<br />

licensing.<br />

The downward orientation <strong>of</strong> barely <strong>and</strong> only expressions follows from <strong>the</strong><br />

dynamic content <strong>of</strong> <strong>the</strong>se expressions, while <strong>the</strong>ir positive inference is at most<br />

an inert aspect <strong>of</strong> meaning to be accommodated. Converging evidence for this<br />

conclusion is provided by a variety <strong>of</strong> constructions, including <strong>the</strong> asymmetry<br />

in <strong>the</strong> scalar suspenders displayed in (60) (see Horn 1970, 1972, 1989: Ch. 4).<br />

(60) a. He's {barely/only} 16, if that,<br />

b. # He's almost 16, if that.<br />

Since Karttunen & Peters (1979), one st<strong>and</strong>ard technique for distinguishing<br />

what is (conventionally) implicated from what is said focuses on <strong>the</strong> interaction<br />

<strong>of</strong> <strong>the</strong> diagnosed material with <strong>the</strong> scope <strong>of</strong> higher illocutionary, attitudinal, or<br />

epistemic predicates. In <strong>the</strong> frames <strong>of</strong> (61), <strong>the</strong> prejacent—<strong>the</strong> proposition that<br />

Hillary trusts Bill—behaves as though it's outside <strong>the</strong> scope <strong>of</strong> what is said, or<br />

more specifically what is hypo<strong>the</strong>sized, discovered, regretted, or asked. 30<br />

(61) a. If [only Hillary trusts Bill], all is well.<br />

b. I just discovered that only Hillary trusts Bill.<br />

c. It's too bad that only Hillary trusts Bill.<br />

d. I know Hillary trusts Bill, but does ONLY Hillary trust Bill<br />

e. #1 know nobody besides Hillary trusts Bill, but does only Hillary trust<br />

Bill<br />

In particular, as seen in <strong>the</strong> contrast between (6id, e), once <strong>the</strong> discourse model<br />

contains <strong>the</strong> exclusion, <strong>the</strong> only sentence is pragmatically deviant—whence <strong>the</strong><br />

anomaly <strong>of</strong> (62). 31<br />

(62) #1 know that nobody besides Kim is coming, but<br />

I wonder if only Kim is coming.<br />

I just found out only Kim is coming.<br />

if [only Kim is coming], we'll be all right.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

The contrasts in (63) speak to <strong>the</strong> same point, in particular <strong>the</strong> distribution <strong>of</strong><br />

but vs. <strong>and</strong>, reflecting contrastive vs. shared orientation <strong>of</strong> <strong>the</strong> connected<br />

clauses. The non-monotonic conjunctions in (63b, d), lacking scalar<br />

orientation, block contrastive but. (See Horn 1991 for extensive discussion <strong>of</strong><br />

informationally redundant affirmation.)<br />

(63) a. <strong>Only</strong> Muriel voted for Hubert, but {she did/#nobody else did).<br />

b. Muriel <strong>and</strong> only Muriel voted for Herbert, but {#she did/#nobody else<br />

did).


Laurence R. Horn 23<br />

c. —<strong>Only</strong> {Lee/3} passed <strong>the</strong> test.<br />

—Yes, but {Lee/3} did pass it.<br />

d. —{Lee <strong>and</strong> only Lee/3 <strong>and</strong> only 3} passed <strong>the</strong> test.<br />

—#Yes, but {Lee/3} did pass it.<br />

The patterns for almost <strong>and</strong> barely are parallel, as seen in (64):<br />

(64.) a. almost {but/# <strong>and</strong>} not quite (cf. Sadock 1981)<br />

b. The Knicks almost won <strong>the</strong> title in 1994 {but/#<strong>and</strong>} <strong>the</strong>y didn't win.<br />

c. The Knicks barely won <strong>the</strong> East in 1994 {but/#<strong>and</strong>} <strong>the</strong>y did win.<br />

d. The real is only <strong>the</strong> base. But it is <strong>the</strong> base. (Wallace Stevens)<br />

The same opposition emerges within <strong>the</strong> <strong>the</strong>ory <strong>of</strong> argumentation<br />

elaborated by Anscrombre & Ducrot (1983: 20 ff.; cf. also Ducrot 1973;<br />

Lundquist & Jarvella 1994, <strong>and</strong> <strong>the</strong> cautionary comments <strong>of</strong> Konig 1991: 194,<br />

n. 5). In <strong>the</strong> frame <strong>of</strong> (65), <strong>the</strong> downward-asserting scalar particles in <strong>the</strong> family<br />

<strong>of</strong> a peine <strong>and</strong> seulement are rhetorically harmonic with <strong>the</strong> negative quantifier<br />

in <strong>the</strong> subject position <strong>and</strong> so exclude mais, while a contrastive connective is<br />

m<strong>and</strong>ated for <strong>the</strong> rhetorically opposed upward-asserting presque:<br />

(65) a. Peu d'automobilistes depassent le 120, (a peine/#presque) 20%.<br />

'Few drivers exceed 120 [kph], (barely/#almost) 20%'<br />

b. Peu d'automobilistes depassent le 120, (mais (qu<strong>and</strong> meme))<br />

{presque/#a peine} 20%.<br />

'Few drivers exceed 120, (but (even so)) {almost/#barely} 20% did'<br />

Our analysis oionly bears a kinship with Israel's (1994,199 5) pragmatic scalar<br />

model for polarity phenomena <strong>and</strong> <strong>the</strong>re are also some preliminary but<br />

promising results from psycholinguistic studies by Johnson-Laird & Byrne<br />

(1991) <strong>and</strong> by Moxey <strong>and</strong> Sanford <strong>and</strong> <strong>the</strong>ir colleagues (Moxey & Sanford 1986,<br />

i993;Sanford etal. 1994) supporting <strong>the</strong> distinction between what is asserted or<br />

more generally posed as against what is sup posed as inert material to be accommodated.<br />

Finally, we come around once more to Theory C A , Atlas's amendment to <strong>the</strong><br />

conjunctionalist doctrine, on which (2a) is assigned <strong>the</strong> logical form in (2c).<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

(2) a. <strong>Only</strong> Muriel voted for Hubert<br />

c. 3xVy[(x — y •* Fy) & (Fy — y — a)]<br />

e.g. 'Exactly one individual, <strong>and</strong> no one o<strong>the</strong>r than Muriel, voted for<br />

Hubert'<br />

It will be recalled that on his account (Atlas 1991,1993), <strong>the</strong> prejacent—here, <strong>the</strong><br />

proposition that Muriel voted for Hubert—is entailed. Atlas insists that <strong>the</strong><br />

prejacent is 'not just presupposed', supporting this position with an argument<br />

drawn from Taglicht that I see as somewhat equivocal.<br />

Atlas (1991: 134) endorses Taglicht's observation (1984: 88) that (66a) is 'hard


24 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

to reconcile with <strong>the</strong> claim that <strong>the</strong> positive proposition in on/y-sentences is not<br />

part <strong>of</strong> <strong>the</strong> assertion'.<br />

(66) a. Each <strong>of</strong> <strong>the</strong>m stuck to one drink; Bill drank only whiskey <strong>and</strong> Harry<br />

drank only beer.<br />

b. Bill drank only whiskey.<br />

c. Bill drank whiskey <strong>and</strong> Bill drank nothing o<strong>the</strong>r than whiskey.<br />

Ra<strong>the</strong>r, to assert (66a), <strong>and</strong> thus to assert (66b), amounts to asserting <strong>the</strong><br />

conjunction in (66c). 'Surely' Atlas concurs, '<strong>the</strong>re is something correct in<br />

Taglicht's observation. His example strongly suggests that Bill drank whiskey is<br />

not just presupposed.'<br />

Now it is clear that when (66b) is uttered within <strong>the</strong> enriched context <strong>of</strong><br />

(66a)—where <strong>the</strong> common ground contains <strong>the</strong> proposition that Bill consumed<br />

exactly one (type <strong>of</strong>) drink—<strong>the</strong> conjunction in (66c) is indeed entailed, but this<br />

does not in itself guarantee that (66c) is semanrically entailed by <strong>the</strong> logical<br />

form <strong>of</strong> (66b). 32<br />

In any case, As Atlas insightfully observes, <strong>the</strong> fact that it is only topical NPs<br />

that induce presuppositions, combined with <strong>the</strong> fact that <strong>the</strong> focus <strong>of</strong> only<br />

cannot be topical, yields <strong>the</strong> prediction that <strong>the</strong> prejacent cannot be a presupposition.<br />

At <strong>the</strong> same time, he argues (1991: 139), 'in asserting <strong>Only</strong> a is F, we do<br />

not <strong>the</strong>reby assert a isF.. . What we do entails a is F, but it does not "say" it'<br />

(emphasis in original). 33<br />

The position on which Atlas alights is thus not entirely at odds with <strong>the</strong> one<br />

defended here, although we differ in many respects, some <strong>of</strong> which have<br />

already been touched on here. 34 In particular, while Atlas is certainly correct in<br />

claiming that (2a) does not 'say' that Muriel voted for Hubert, <strong>the</strong>re is no reason<br />

to believe that it 'says' that exactly one individual did so ei<strong>the</strong>r. Ra<strong>the</strong>r, we have<br />

argued, <strong>the</strong> assertion <strong>of</strong> (2a) requires an accommodation <strong>of</strong> <strong>the</strong> existential<br />

proposition that <strong>the</strong> set <strong>of</strong> voters for Hubert was non-empty, which—combined<br />

with <strong>the</strong> asserted exclusion—yields <strong>the</strong> inference that this set was <strong>the</strong> singelton<br />

{Muriel}.<br />

Fur<strong>the</strong>r, as a referee notes, <strong>the</strong> representation proposed by Atlas fails to<br />

generalize naturally to cases <strong>of</strong> only with plural subjects. Indeed, it is not<br />

obvious how <strong>the</strong> logical form <strong>of</strong> (2c) extends to any instances <strong>of</strong> <strong>the</strong> cross-categorial<br />

operator that do not conform to <strong>the</strong> only a is F schema. 35<br />

Returning to Burley <strong>and</strong> friends, how do we explain <strong>the</strong> tension between <strong>the</strong><br />

symmetric two-conjunct unpacking <strong>of</strong> only <strong>and</strong> <strong>the</strong> insight that only, as <strong>the</strong><br />

converse <strong>of</strong> all, licenses downward inferences in <strong>the</strong> predicate Thus Ockham<br />

(Summa Logicae, Part II, Chapter 17) explicitly endorses both claims:<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

• Every exclusive proposition has two exponents: one affirmative <strong>and</strong> <strong>the</strong> o<strong>the</strong>r negative. For<br />

example, '<strong>Only</strong> a man is an animal' has <strong>the</strong>se exponents: 'A man is an animal' <strong>and</strong> 'Nothing<br />

o<strong>the</strong>r than a man is an animal'. (Ockham 1980: 133)


Laurence R. Horn 25<br />

• There is a valid consequence from an exclusive proposition to a universal proposition with<br />

<strong>the</strong> terms transposed, <strong>and</strong> conversely ... Therefore this consequence is valid: '<strong>Only</strong> what is<br />

necessary is true; <strong>the</strong>refore everything true is necessary'. (Ockham 1980: 141)<br />

The scholastics' willingness to overlook <strong>the</strong>ir inconsistent insights on only<br />

reflects <strong>the</strong> st<strong>and</strong>ard analytical practice for a wide range <strong>of</strong> complex operators.<br />

In each case, <strong>the</strong> components <strong>of</strong> <strong>the</strong> analysis are in effect laid out on <strong>the</strong><br />

refectory table <strong>and</strong> treated as conjoined, even where asymmetries would seem<br />

to emerge. This tradition can be traced back at least to Aristotle's modal logic,<br />

with his treatment <strong>of</strong> one sense <strong>of</strong> possible as a two-sided operator, akin to what<br />

we would now call contingency: if a thing may be, it may also not be (De Int.,<br />

22b20, Pr. An., 32ai8-28; see Horn 1972, 1989 for discussion). While this<br />

analysis did not survive into <strong>the</strong> modal logic <strong>of</strong> <strong>the</strong> scholastics, analogous twosided<br />

treatments emerged for a variety <strong>of</strong> o<strong>the</strong>r operators <strong>and</strong> predicates.<br />

Thus, on Peter <strong>of</strong> Spain's account <strong>of</strong> exponibles (Mullally 1945: 104-29),<br />

time-axis predications like that <strong>of</strong> (67a) <strong>and</strong> comparatives like that <strong>of</strong> (68 a) are<br />

unpacked into <strong>the</strong> simple conjunctions <strong>of</strong> (67b) <strong>and</strong> (68b) respectively.<br />

(67) a. Socrates ceases to be white.<br />

b. 'Socrates is not now white <strong>and</strong> immediately before this was white'<br />

(Peter <strong>of</strong> Spain, Treatise on Exponibles, line 167 ff.)<br />

(68) a. Socrates is more white than <strong>the</strong> ass.<br />

b. 'Socrates is white <strong>and</strong> <strong>the</strong> ass is white but <strong>the</strong> ass is not equally as white<br />

as Socrates'<br />

(Peter <strong>of</strong> Spain, Treatise on Exponibles, line 229 ff.)<br />

For <strong>the</strong> Stoics, Boethius, Peter <strong>of</strong> Spain, <strong>and</strong> a majority <strong>of</strong> <strong>the</strong> late medievals<br />

(as documented in Bochenski 1961: 119-20, 197 <strong>and</strong> Ashworth 1974: 161-2),<br />

<strong>the</strong> principal or only reading <strong>of</strong> or is as a 'proper', 'complete', or 'strong' disjunction,<br />

one whose disjuncts cannot both be true: p orq, taken 'properly', amounts<br />

to <strong>the</strong> assertion that ei<strong>the</strong>r p is true <strong>and</strong> q false, or p is false <strong>and</strong> q true. This too is<br />

essentially a conjunctive analysis, as on <strong>the</strong> st<strong>and</strong>ard definition <strong>of</strong> so-called<br />

exclusive disjunction: 36<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

(69) p@q~(pvq)&~(p&q)<br />

Particularly interesting in this two-sided vein is Peter <strong>of</strong> Spain's treatment <strong>of</strong><br />

'reduplicatives', causal connectives like inquantum 'ins<strong>of</strong>ar as' or secundum quod<br />

'according as'. After suggesting a perceptive analysis that incorporates <strong>the</strong> first<br />

explicit invocation <strong>of</strong> presupposition in <strong>the</strong> Western canon—<br />

The first rule is that a reduplicative word presupposes \praesupponit] a given predicate to inhere<br />

in a certain subject <strong>and</strong> denotes [JeMoJaf] that what it is directly attached to is <strong>the</strong> cause <strong>of</strong> that<br />

inherence. (Peter <strong>of</strong> Spain, Treatise on Exponibles, line 105, in Mullally 1945: 112-13)


26 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

—at crunch-rime, Peter once again retreats to a straightforward conjunctive<br />

analysis on which (70a) is simply unpacked into a conjunction <strong>of</strong> <strong>the</strong> clauses in<br />

( 7 ob-d).<br />

(70) a. Man in so far as he is rational is tearful.<br />

b. Man is rational.<br />

c. Man is tearful.<br />

d. Every rational [thing] is tearful.<br />

It is against <strong>the</strong>se conjunctive analysf that <strong>the</strong> treatment <strong>of</strong> what we might<br />

call 'two-sided only' must be understood—<strong>and</strong> that <strong>of</strong> two-sided all as well. As<br />

we have seen, <strong>the</strong> traditional account <strong>of</strong> universals is as bilateral as <strong>the</strong><br />

traditional account <strong>of</strong> exclusives; both <strong>Only</strong> A is B (<strong>Only</strong> As areBs) <strong>and</strong> EveryBis<br />

A (All Bs are As) are taken to entail <strong>the</strong> existence <strong>of</strong> Bfs) while excluding <strong>the</strong><br />

possibility <strong>of</strong> any non-A B(s). 37 But even as <strong>the</strong> scholastics accepted <strong>the</strong><br />

unpacking <strong>of</strong> Tantum/Solus homo est rationalis into a conjunction <strong>of</strong>'homo est<br />

rationalis' + 'nichil aliud ab homine est rationale', <strong>the</strong>re are some suggestions<br />

that <strong>the</strong>se two components may not be on all fours:<br />

It is asked why 'alone' [solus] is called an exclusive ra<strong>the</strong>r than an inclusive; for when someone<br />

says 'Socrates alone is running', Socrates is included under running but <strong>the</strong> o<strong>the</strong>rs are excluded.<br />

It must be said that it is because <strong>the</strong> inclusion occurs not as a result <strong>of</strong> <strong>the</strong> force <strong>of</strong> <strong>the</strong> word but<br />

as a result <strong>of</strong> <strong>the</strong> statement as it is before <strong>the</strong> 'alone' is inserted into it. The exclusion, on <strong>the</strong><br />

o<strong>the</strong>r h<strong>and</strong> ... does occur as a result <strong>of</strong> <strong>the</strong> force <strong>of</strong> <strong>the</strong> word ['alone']. (William <strong>of</strong> Sherwood,<br />

Treatise on Syncategorematic Words, XI.6, in Kretzmann 1968: 71-2; cf. also St. Thomas Aquinas<br />

(Pegis 1945) on only in Sutntna Theologica, la, q. 31, arts. 3, 4)<br />

As we saw above in our exploration <strong>of</strong> <strong>the</strong> whiskey <strong>and</strong> Zantac examples, <strong>the</strong><br />

context in which only occurs may indeed entail inclusion, but not necessarily<br />

because <strong>of</strong> <strong>the</strong> presence <strong>of</strong> only.<br />

If <strong>the</strong> Williams <strong>of</strong> Ockham <strong>and</strong> Sherwood, Walter Burley, <strong>and</strong> <strong>the</strong>ir<br />

colleagues had only taken <strong>the</strong> trouble to consult Grice on implicature, Lewis on<br />

accommodation, <strong>and</strong> Stalnaker on assertion <strong>and</strong> presupposition, <strong>the</strong> reign <strong>of</strong><br />

<strong>the</strong> conjunctive analysis might have been far shorter-lived <strong>and</strong> <strong>the</strong> industry<br />

devoted to explicating <strong>the</strong> relation between an only sentence <strong>and</strong> its prejacent<br />

counterpart might have emitted fewer pollutants into <strong>the</strong> scholarly atmosphere.<br />

Yet it must be conceded that <strong>the</strong> atmospheric conditions in <strong>the</strong> conjunctionalist<br />

heyday had charms <strong>of</strong> its own, as Ockham's Summa Logicae makes clear.<br />

After cataloguing various 'improper' senses <strong>of</strong> only, those which are taken with<br />

restricted scope ('no more than [within a fixed domain]') as opposed to <strong>the</strong><br />

purely exclusive 'proper' sense, 38 Ockham (1980: 137) remarks that<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

These are <strong>the</strong> senses, <strong>the</strong>n, in which <strong>the</strong> exclusive expression can be taken improperly. And<br />

perhaps <strong>the</strong>re are still o<strong>the</strong>r senses in which it can be taken improperly. But since <strong>the</strong>y are not<br />

as widely used as <strong>the</strong> ones we have dealt with, I will leave <strong>the</strong>m to <strong>the</strong> specialists.


Laurence R. Horn 27<br />

A glorious picture indeed: monasteries crammed to <strong>the</strong> spires with specialists<br />

on only, labouring away on <strong>the</strong> fine points <strong>of</strong> <strong>the</strong> semantics <strong>of</strong> exclusive<br />

propositions. Those were <strong>the</strong> days!<br />

LAURENCE R. HORN<br />

Deft, <strong>of</strong> Linguistics<br />

Yale University<br />

P.O. Box 208236 Yale Station<br />

New Haven, CT 06520-8236<br />

e-mail: lhorn@yalevm.ycc.yale.edu<br />

Received: 04.08.95<br />

Revised version received: 28.11.95<br />

APPENDIX<br />

The licensor that shouldn't be<br />

I have concentrated in <strong>the</strong> text on trying to<br />

demonstrate that <strong>the</strong> non-focus B position in<br />

exclusive predications <strong>of</strong> <strong>the</strong> form <strong>Only</strong> A is<br />

B, <strong>Only</strong> As are B(s), corresponding to <strong>the</strong><br />

restrictor <strong>of</strong> <strong>the</strong> corresponding universal in<br />

All Bs are A, Every B is A, is downwardinferential<br />

(although not necessarily strictly<br />

downward entailing). But since <strong>the</strong> nuclear<br />

scope <strong>of</strong> a universal is not downward inferential,<br />

we would expect <strong>the</strong> focus <strong>of</strong> only not to<br />

be ei<strong>the</strong>r (see <strong>the</strong> cube <strong>of</strong> opposition on p. 13).<br />

And given that <strong>the</strong> former position does not<br />

license NPIs ("All my friends have ever eaten any<br />

squid), we would expect <strong>the</strong> latter not to.<br />

The first <strong>of</strong> <strong>the</strong>se expectations is satisfied,<br />

but <strong>the</strong> second is not. Contra Ladusaw (1980:<br />

165-6), who takes only as well as only NP to<br />

define a downward entailing context, Linebarger<br />

(1981, 1987) shows that <strong>the</strong> first argument<br />

or focus position <strong>of</strong> subject-modifying<br />

only is not downward entailing; (Aia) does<br />

not entail (Aib). Inexplicably, this does not<br />

seem to bo<strong>the</strong>r <strong>the</strong> NPIs that frolic happily<br />

within this context, as (Aic) shows.<br />

(Ai) a. <strong>Only</strong> people who have had a debilitating<br />

illness <strong>the</strong>mselves can appreciate<br />

what an ordeal this was.<br />

b. <strong>Only</strong> people who have had polio can<br />

appreciate what an ordeal this was.<br />

c. <strong>Only</strong> [people who have ever had a<br />

debilitating illness <strong>the</strong>mselves] ...<br />

Indeed, <strong>the</strong> focus <strong>of</strong> only—if we are careful to<br />

make sure that <strong>the</strong> relevant material is in <strong>the</strong><br />

focus—represents an upward entailing<br />

context, precisely as does <strong>the</strong> nuclear scope <strong>of</strong><br />

universals. Thus <strong>the</strong>re is no downward<br />

entailment from (A2a) to (A2b), but <strong>the</strong>re is<br />

an upward one in <strong>the</strong> opposite direction. 39<br />

(A2) a. <strong>Only</strong> faculty can vote.<br />

b. <strong>Only</strong> F[tenured faculty] can vote.<br />

One more diagnostic that supports <strong>the</strong><br />

ascription <strong>of</strong> opposed vertical orientations for<br />

<strong>the</strong> two positions in only predications is provided<br />

by <strong>the</strong> distribution <strong>of</strong> assertionnarrowing<br />

(<strong>and</strong> implicature-suspending)<br />

indeed or what's more constructions.<br />

(A3) <strong>Only</strong> people who have had a debilitating<br />

illness <strong>the</strong>mselves can appreciate<br />

what an ordeal this was—(indeed/what's<br />

more/in factj, only people who've had<br />

polio can truly appreciate it.<br />

Similarly, if only [tenured faculty] can vote<br />

on a given matter, <strong>the</strong>n a fortiori only faculty<br />

can vote on ir, correspondingly, we get <strong>the</strong><br />

scalar patterns in (A4): 40<br />

(A4) a. <strong>Only</strong> faculty can vote on this matter;<br />

indeed, only tenured faculty can.<br />

b. #<strong>Only</strong> tenured faculty can vote on<br />

this matter, indeed, only faculty can.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


28 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

c. #<strong>Only</strong> tenured faculty can vote on<br />

promotions; indeed, only tenured<br />

faculty can vote on promotions to<br />

full pr<strong>of</strong>essor.<br />

d. <strong>Only</strong> tenured faculty can vote on<br />

promotions to full pr<strong>of</strong>essor, indeed,<br />

only tenured faculty can vote on<br />

(any) promotions.<br />

which on semantic grounds should be DE<br />

only in <strong>the</strong>ir nuclear scope. Thus if not every<br />

Catholic priest is a bachelor, it follows that<br />

not every priest is a bachelor, but not vice<br />

versa (<strong>the</strong> married <strong>and</strong> spinster priests may all<br />

be Episcopalians). But while <strong>the</strong> restrictor <strong>of</strong><br />

not all, not every is a UE position, it also allows<br />

NPIs within a relative clause:<br />

Nor is Linebarger's discovery <strong>of</strong> <strong>the</strong> non-DEness<br />

<strong>of</strong> <strong>the</strong> focus <strong>of</strong> only a new one: <strong>the</strong><br />

fourteenth-century tracts <strong>of</strong> Alnwick <strong>and</strong><br />

BiUingham both cite Tantum homo currit; igitur<br />

tantum animal currit as a valid instance <strong>of</strong> <strong>the</strong><br />

upward 'ab inferiori ad superius' inference<br />

(DeRijkio82:8, 51). 41<br />

What, <strong>the</strong>n, explains <strong>the</strong> acceptability <strong>of</strong><br />

NPIs in <strong>the</strong> upward-oriented environment <strong>of</strong><br />

(Aic) I would maintain that polarity items<br />

are possible in this context not because <strong>of</strong> <strong>the</strong><br />

semantic properties <strong>of</strong> only but in spite <strong>of</strong><br />

<strong>the</strong>m. 42 Given minimal pairs like those in<br />

(Aj)smd(As'),<br />

(A5) a. <strong>Only</strong> <strong>the</strong> students who had ever read<br />

anything about polarity passed,<br />

b. <strong>Only</strong> <strong>the</strong> students who hadn't ever<br />

read anything about polarity passed.<br />

(A6) a. <strong>Only</strong> <strong>the</strong> guests who had seen any <strong>of</strong><br />

<strong>the</strong> suspects were questioned,<br />

b. <strong>Only</strong> <strong>the</strong> guests who hadn't seen any<br />

<strong>of</strong> <strong>the</strong> suspects were excused.<br />

<strong>the</strong>re is no point in seeking to extend DE-ness<br />

to cover only as has been suggested for determiners<br />

like most <strong>and</strong> few (see note 39), for<br />

adversatives like sorry <strong>and</strong> glad (cf. Ladusaw<br />

1980; Linebarger 1987; Krifka 1990), <strong>and</strong> for<br />

<strong>the</strong> only <strong>and</strong> related superlative triggers<br />

discussed in note 26. The above pairs illustrate<br />

<strong>the</strong> untenability <strong>of</strong> <strong>the</strong> assumption,<br />

made explicitly by Krifka (1990: 174) <strong>and</strong><br />

tacitly by o<strong>the</strong>rs, that triggering proceeds<br />

algorithmically, with an NPI licensed just in<br />

case it falls within <strong>the</strong> scope <strong>of</strong> an odd<br />

number <strong>of</strong> downward entailing NPI licensors.<br />

43<br />

It's worth noting that ano<strong>the</strong>r site where<br />

unlicensed NPIs show up is in <strong>the</strong> restrictor<br />

<strong>of</strong> determiners <strong>of</strong> <strong>the</strong> form not all, not every.<br />

(A7) a. Not all <strong>the</strong> guests who ate any <strong>of</strong> <strong>the</strong><br />

contaminated squid became ill.<br />

b. Not everyone who has ever been to<br />

Groningen works on polarity.<br />

It appears that <strong>the</strong> downward or negative<br />

property <strong>of</strong> only or not all with respect to one<br />

argument position is somehow illicitly<br />

extended to <strong>the</strong> inappropriate (UE) argument.<br />

In any case, it must be recognized from <strong>the</strong><br />

data in (4o)-(45) that not just any position<br />

within <strong>the</strong> focus <strong>of</strong> only licenses polarity<br />

items; <strong>the</strong> licensing is best when <strong>the</strong> NPI<br />

occurs within a restrictive relative within<br />

subject only phrases. Moreover, not just any<br />

NPI occurs in <strong>the</strong>se environments. As seen in<br />

(A8), only <strong>the</strong> most permissive NPIs, any <strong>and</strong><br />

ever, show up here, <strong>and</strong> in particular <strong>the</strong> minimizers<br />

that are licensed by <strong>the</strong> only (see note<br />

26) are blocked within <strong>the</strong> focus <strong>of</strong> only:<br />

(A8) a. <strong>Only</strong> those travelers who (get any<br />

sleep/#sleep a wink) on <strong>the</strong> plane<br />

will enjoy <strong>the</strong>ir layover in Amsterdam.<br />

b. <strong>Only</strong> (those) students who have<br />

ever smoked any hashish . . .<br />

#been to Europe in years.. .<br />

# missed so much as one question<br />

eaten {any/#all that much) squid<br />

The only student to<br />

#<strong>Only</strong> those students who<br />

move a muscle<br />

lift a finger<br />

drink a drop<br />

say a word<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


Laurence R. Horn 29<br />

Our focus-<strong>of</strong>-on/y NPIs are subject to<br />

ano<strong>the</strong>r restriction, one whose exposition<br />

requires a bit <strong>of</strong> background. Heim (1984.) has<br />

observed a subtle contrast in polaritytriggering<br />

within <strong>the</strong> downward-entailing<br />

context defined by <strong>the</strong> restrictor <strong>of</strong> universals.<br />

She notes that <strong>the</strong> moderately restrictive<br />

minimizer NPIs in (A9) can only occur when<br />

<strong>the</strong>re is perceived to be a meaning connection<br />

between <strong>the</strong> subject <strong>and</strong> predicate:<br />

(A9) a. Every restaurant that charges so<br />

much as a (single) dime for iceberg<br />

lettuce ought to be closed down,<br />

b. £very restaurant that charges so<br />

much as a (single) dime for iceberg<br />

lettuce actually has four stars in <strong>the</strong><br />

h<strong>and</strong>book.<br />

This requirement is relaxed for sufficiently<br />

permissive NPIs:<br />

(A 10) a. Every restaurant that I have ever<br />

been to happens to have four stars,<br />

b. Every restaurant that advertises in<br />

any <strong>of</strong> <strong>the</strong>se papers happens to have<br />

four stars.<br />

Now it appears that while <strong>the</strong> focus <strong>of</strong> only<br />

admits just <strong>the</strong> liberal NPIs any <strong>and</strong> ever, as<br />

seen in (A8), <strong>the</strong>se items are constrained in<br />

our environment in <strong>the</strong> same way that <strong>the</strong><br />

stricter minimizers are in Heim's, while <strong>the</strong><br />

items semantically restricted in Heim's<br />

environment do not occur at all within <strong>the</strong><br />

focus <strong>of</strong> only. The crucial distinctions are <strong>the</strong><br />

one between (An) <strong>and</strong> (A 12) on <strong>the</strong> one h<strong>and</strong><br />

<strong>and</strong> that between (Ai 1) <strong>and</strong> (A13) on <strong>the</strong><br />

o<strong>the</strong>rs. 44<br />

(Ail) a. <strong>Only</strong> those students who have any<br />

siblings need to complete <strong>the</strong><br />

survey.<br />

b. <strong>Only</strong> those students who have ever<br />

been to Europe need to complete<br />

<strong>the</strong> survey.<br />

(A 12) a. #<strong>Only</strong> those students who have<br />

even a single sibling need to complete<br />

<strong>the</strong> survey.<br />

b. #<strong>Only</strong> those students who so much<br />

as glance at anyone else's sheet need<br />

to re-take <strong>the</strong> exam.<br />

(A 13) a. #<strong>Only</strong> those students who have<br />

any siblings happen to have passed<br />

<strong>the</strong> exam.<br />

b. #<strong>Only</strong> those students who have<br />

ever been to Europe happen to have<br />

passed <strong>the</strong> exam.<br />

Thus Heim's generalization applies in<br />

attenuated fashion for <strong>the</strong> environment<br />

defined by <strong>the</strong> focus <strong>of</strong> only, <strong>the</strong> declencheur<br />

malgrelui.<br />

One possible approach to <strong>the</strong> licensing<br />

properties <strong>of</strong> only (as suggested by a referee)<br />

would take only sentences like (A 14) to<br />

represent not <strong>the</strong> converse <strong>of</strong> <strong>the</strong> universal<br />

A14b) per se, but ra<strong>the</strong>r that <strong>of</strong> its doubly<br />

complemented counterpart (A 14c).<br />

(A 14) a. <strong>Only</strong> B's are A's<br />

b. All A's are B's.<br />

c. No non-B's are non-A's.<br />

This suggestion is consonant with<br />

McCawley's argument (1974 et seq) cited<br />

above for taking A only ifB to translate not if<br />

A <strong>the</strong>n B but ra<strong>the</strong>r if not-B <strong>the</strong>n nol-A. In<br />

addition, Johnson-Laird & Byrne (1991: 128)<br />

provide experimental evidence to support <strong>the</strong><br />

claim that while <strong>Only</strong> <strong>the</strong> bakers are athletes <strong>and</strong><br />

All <strong>the</strong> athletes are bakers have <strong>the</strong> same truth<br />

conditions, <strong>the</strong> two converses differ in <strong>the</strong><br />

mental representations or models speakers<br />

assign to <strong>the</strong> two sentences, with <strong>the</strong> only<br />

versions processed as inherently more negative:<br />

The assertion containing 'only' makes<br />

explicit right from <strong>the</strong> start not merely<br />

that some bakers are athletes but also<br />

that anyone who is not a baker is not an<br />

athlete. Hence, <strong>the</strong> two models are<br />

equivalent in content, but <strong>the</strong> equivalence<br />

is not immediately apparent<br />

because <strong>the</strong> initial model for 'all' makes<br />

explicit just <strong>the</strong> affirmative information,<br />

whereas <strong>the</strong> model <strong>of</strong>'only' makes<br />

explicit both affirmative <strong>and</strong> negative<br />

information.<br />

Relating (A 14a) directly to (A 14c), ra<strong>the</strong>r than<br />

to <strong>the</strong> logically equivalent (A 14b), <strong>of</strong>fers a<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


3o <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

promising tool for exploring why only NP<br />

statements, beyond sharing downward<br />

orientation <strong>of</strong> universal restrictors, appear to<br />

be somehow more 'negative' than <strong>the</strong> corresponding<br />

all statements, while at <strong>the</strong> same time<br />

providing a new beachhead for <strong>the</strong> assault on<br />

<strong>the</strong> focus-<strong>of</strong>-on/y licensing problem.<br />

NOTES<br />

1 This paper has had several previous<br />

incarnations since its origin in Horn<br />

(1992: 178-83). I would like to acknowledge<br />

<strong>the</strong> audiences <strong>of</strong> <strong>the</strong>se earlier<br />

presentations—at SALT II (Columbus) in<br />

1992, at Rutgers <strong>and</strong> CUNY in 1993, at<br />

Groningen in 1994, at <strong>the</strong> LSA (New<br />

Orleans), MIT, <strong>and</strong> <strong>the</strong> Ottawa Conference<br />

on Negation in 1995—for <strong>the</strong>ir<br />

observations, hints, <strong>and</strong> objections. I am<br />

especially grateful to Jay Atlas, Barbara<br />

Abbott, Jack Hoeksema, Bill Ladusaw, •<br />

Jim McCawley, Victor Sanchez Valencia,<br />

Kai von Fintel, <strong>and</strong> <strong>the</strong> two Journal <strong>of</strong><br />

Semantics referees for <strong>the</strong>ir generous analytic<br />

<strong>and</strong> bibliographic suggestions <strong>and</strong><br />

complaints. Given <strong>the</strong> analysis to be presented<br />

herein, I can safely assert that only<br />

<strong>the</strong> author is responsible for any remaining<br />

defects.<br />

2 I am indebted to Victor Sanchez Valencia<br />

for directing me to many <strong>of</strong> <strong>the</strong> medieval<br />

sources cited here <strong>and</strong> below. The earliest<br />

one ei<strong>the</strong>r <strong>of</strong> us has been track down in<br />

<strong>the</strong> current connection is Abelard (1079-<br />

1142), whose analysis <strong>of</strong> (i) into <strong>the</strong><br />

conjunction in (ii) appears in Tractatus III<br />

(Topica) <strong>of</strong> his Dialeclica (Abelard 1970:<br />

332-3)-<br />

(i) Socrates tantum est Socrates.<br />

(ii) Socrates est Socrates et nulla alia res<br />

est Socrates.<br />

3 Altmann (1977: 311-17) <strong>and</strong> Reis (1977:<br />

56-8) note similar suspension effects in<br />

German:<br />

(i) Nur Hans mag Bier, und moglicherweise<br />

nicht einmal er.<br />

'<strong>Only</strong> Hans wants beer, <strong>and</strong> possibly<br />

not even he [does]'<br />

(ii) Hans verdient nur 1000—und moglicherweise<br />

sogar noch weniger.<br />

'Hans earns only 1000, <strong>and</strong> possibly<br />

even less'<br />

4 The facts are actually somewhat more<br />

complex. For many speakers a <strong>and</strong> only a<br />

sequences do trigger inversion; for some,<br />

<strong>the</strong>y license negative polarity items as<br />

well. Perhaps one relevant factor for <strong>the</strong><br />

permissivists is that <strong>the</strong> syntactically<br />

closer conjunct is <strong>the</strong> negative one, so that<br />

<strong>the</strong> semantic non-monotonicity <strong>of</strong> <strong>the</strong><br />

conjoined phrase may be overridden by<br />

<strong>the</strong> proximity <strong>of</strong> its negative component<br />

to <strong>the</strong> diagnostics in question. (The<br />

impossibility <strong>of</strong> <strong>Only</strong> XP <strong>and</strong> XP phrases,<br />

as discussed in Horn 1969, 1991, makes<br />

this hypo<strong>the</strong>sis difficult to test.) If this line<br />

is correct, inversion in contexts like that<br />

<strong>of</strong> ($"b) is subject to an effect parallel to<br />

<strong>the</strong> role <strong>of</strong> <strong>the</strong> Closest Conjunct Principle<br />

(see Morgan 1972) in determining<br />

number agreement in English. It should<br />

be noted that even speakers in <strong>the</strong> liberal<br />

inversion <strong>and</strong> polarity dialects distinguish<br />

<strong>the</strong> suspension <strong>and</strong> cancellation properties<br />

<strong>of</strong> <strong>the</strong> prejacent <strong>of</strong> only a from that <strong>of</strong><br />

<strong>the</strong> corresponding a <strong>and</strong> only a sequences.<br />

(See note 9 below for related considerations.)<br />

5 I read Thomas Aquinas (Summa Theologica<br />

la, q. 31, arts 3,4 in Pegis 1945: 311-<br />

14) as endorsing an asymmetric position<br />

on only, although I confess that with Peter<br />

<strong>of</strong> Spain, who later became Pope John<br />

XXI, figuring among <strong>the</strong> conjuncrionalist<br />

host, <strong>the</strong> presence <strong>of</strong> a saint on my side <strong>of</strong><br />

<strong>the</strong> ledger would provide moral support.<br />

Be that as it may, Peter's analysis did<br />

precede his election to <strong>the</strong> papacy, thus,<br />

whe<strong>the</strong>r or not <strong>the</strong> conjuncrionalist<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


doctrine is correct, <strong>the</strong>re are no grounds<br />

to assume its infallibility.<br />

6 In <strong>the</strong> midst <strong>of</strong> a twelve-page exposition<br />

<strong>of</strong> <strong>the</strong> formal properties <strong>of</strong> <strong>the</strong>ir conventional<br />

implicature analysis for even, loo,<br />

<strong>and</strong> also, Karttunen & Peters (1979: 32)<br />

provide <strong>the</strong> following characterization <strong>of</strong><br />

only, reproduced here in its entirety: 'The<br />

case <strong>of</strong> only is more complicated,<br />

although it also involves a distinction<br />

between focus <strong>and</strong> scope.' It should be<br />

clear from <strong>the</strong> current presentation that I<br />

can sympathize with <strong>the</strong>ir diffidence.<br />

Indeed, I seek here to bite <strong>of</strong>f only a small<br />

corner <strong>of</strong> <strong>the</strong> only nur, for comprehensive<br />

cross-linguistic expositions <strong>of</strong> <strong>the</strong> synchronic<br />

<strong>and</strong> diachronic properries <strong>of</strong> <strong>the</strong><br />

form <strong>and</strong> meaning <strong>of</strong> exclusives <strong>and</strong> o<strong>the</strong>r<br />

focus particles, see Konig 1991 <strong>and</strong><br />

Nevalainen 1991.<br />

7 Based on <strong>the</strong> behavior <strong>of</strong> counterfactual<br />

conditionals, McCawley (1993: 546) ultimately<br />

determines that A only ifB is best<br />

paraphrased by 'Not A unless B\ The difference<br />

between <strong>the</strong> two versions <strong>of</strong> his<br />

analysis need not concern us here.<br />

8 Lycan (1991: 133) actually takes inversion<br />

in cases like (1 ib) (<strong>and</strong> presumably in<br />

those like (5)) to constitute a negative<br />

polarity item, 'caused by <strong>the</strong> not within<br />

only', but, given <strong>the</strong> difference in patterning<br />

between <strong>the</strong> diagnostics mentioned<br />

above, it seems safer to take <strong>the</strong>se two<br />

phenomena as related but distinct.<br />

9 Not everyone rejects inversion <strong>and</strong> NPIs<br />

in <strong>the</strong> (1 ic, c') contexts; <strong>the</strong> caveat <strong>of</strong> note<br />

4 applies here as well. A referee contributes<br />

this attested example from Doonesbury:<br />

[Text <strong>of</strong> letter] Dear Guys,<br />

How has NAFTA affected <strong>the</strong> strip's<br />

production—S. B., Washington, D.C.<br />

[Mike <strong>and</strong> Zonker's response:]<br />

Excellent question, S.B. The strip is still<br />

written in American, but <strong>the</strong> art is<br />

completed by Mexican cartoonists who<br />

dream <strong>of</strong> a better life ...<br />

Next, <strong>the</strong> final inked drawings are<br />

shipped to Canada, where each piece is<br />

Laurence R. Horn 31<br />

signed ... And carefully checked for<br />

spelling! Then—<strong>and</strong> only <strong>the</strong>n—are <strong>the</strong><br />

strips rushed to your dairy case! (Trudeau<br />

1994; ellipses <strong>and</strong> boldface in original)<br />

Note <strong>the</strong> contrasrive emphasis on <strong>the</strong><br />

negative (only) conjunct; evidently some<br />

non-monotonic operators are less nonmonotonic<br />

than o<strong>the</strong>rs. It is also worth<br />

noting that <strong>the</strong> diverse environments— if<br />

<strong>and</strong> only if, <strong>the</strong>n <strong>and</strong> only <strong>the</strong>n, tonight <strong>and</strong><br />

only tonight—lend to pattern alike for a<br />

given speaker.<br />

10 For more on <strong>the</strong> relarion between only if<br />

<strong>and</strong> //conditionals, see von Fintel (1994,<br />

1995)-<br />

11 Indeed, only subjects were present at <strong>the</strong><br />

conception: 'As for <strong>the</strong> grammatical<br />

similarities <strong>of</strong> neg, wli, <strong>and</strong> only, <strong>the</strong>se<br />

will now be described as resulting from<br />

<strong>the</strong> presence <strong>of</strong> a common grammaticosemantic<br />

feature to be referred to as<br />

Affect(ive)' (Klima 1964: 313).<br />

12 'The constraints on occurrence <strong>of</strong> yet <strong>and</strong><br />

anymore are stronger than <strong>the</strong> constraints<br />

on ... any <strong>and</strong> ever, while . .. <strong>the</strong> constraints<br />

on negative polarity until are<br />

stronger still' (Horn 1970:318); see related<br />

work by Borkin, Ladusaw, Lawler,<br />

Linebarger, Ross, <strong>and</strong> now especially<br />

Hoeksema 1992 <strong>and</strong> van der Wouden<br />

1994, all demonstrating <strong>the</strong> variable<br />

nature <strong>of</strong> polarity effects. The overtness<br />

parameter for negative morphology in<br />

<strong>the</strong> licensing <strong>of</strong> polarity items <strong>and</strong> related<br />

diagnostics, as well as <strong>the</strong> parallel between<br />

only- <strong>and</strong> few- initial phrases, can be<br />

fur<strong>the</strong>r detected in <strong>the</strong> patterns <strong>of</strong>'Klima<br />

diagnostics' illustrated below:<br />

(i) (#<strong>Only</strong> Hillary/Nobody but<br />

Hilary), I don't think, has faith in <strong>the</strong><br />

plan,<br />

(i) (#Few people/Not many people), I<br />

don't think, have faith in <strong>the</strong> plan,<br />

(ii) (#<strong>Only</strong> Hillary/Nobody but Hillary)<br />

has faith in <strong>the</strong> plan, do <strong>the</strong>y<br />

(ii') (#Few senators/()Not many senators)<br />

have faith in <strong>the</strong> plan, do <strong>the</strong>y<br />

(iii) (#<strong>Only</strong> Democrats/Nobody but<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


32 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

Democrats) opposed NAFTA, not<br />

even those from strong labor<br />

districts.<br />

(iii')(#Few Republicans/Not many<br />

Republicans) opposed NAFTA, not<br />

even those . ..<br />

13 <strong>Only</strong> animal is man (<strong>Only</strong> animals are<br />

humans) is converted into this: Every<br />

human is (an) animal, by this rule: An<br />

affirmative exclusive is convened into a universal.<br />

14 The fact that only some universals—those<br />

with every or all, ra<strong>the</strong>r than any—tend to<br />

induce <strong>the</strong> existential inference might<br />

suggest that import is a conventional<br />

property <strong>of</strong> particular determiners. But<br />

<strong>the</strong>re is growing evidence that freechoice<br />

any is an end-<strong>of</strong>-scale indefinite<br />

<strong>and</strong> not a true universal, although its<br />

semantics mirrors that <strong>of</strong> universals in<br />

certain contexts: cf. Vendler 1967,<br />

Kadmon & L<strong>and</strong>man 1993, Lee & Horn<br />

1994, Jennings 1994: I9<strong>of</strong>£, <strong>and</strong> especially<br />

Haspelmath 1993. Moravcsik (1991)<br />

argues that <strong>the</strong> existential proposition is<br />

uninferrable just in case <strong>the</strong> universal<br />

statement has <strong>the</strong> force <strong>of</strong> a law-like<br />

generalization. I shall remain agnostic<br />

here on how existential import in universals<br />

should ultimately be treated; for our<br />

purposes, <strong>the</strong> essential point is <strong>the</strong> correlation<br />

<strong>of</strong> existential import in universals<br />

<strong>and</strong> in only statements.<br />

1 5 Aspects <strong>of</strong> <strong>the</strong> analysis presented here are<br />

prefigured in McCawley 1981: 226, de<br />

Mey 1991, <strong>and</strong> Hoeksema 1991. As<br />

pointed out by a referee, (25) would not<br />

be entirely vacuous even if it were known<br />

than nobody supported Clinton, but it<br />

would be a relatively unhelpful <strong>and</strong> inefficient<br />

way to report <strong>the</strong> emptiness <strong>of</strong> this<br />

set.<br />

16 This last proposition is <strong>of</strong> course <strong>the</strong><br />

classic presupposition-violator <strong>of</strong> Austin<br />

1962, <strong>and</strong> as such it figures in a curious<br />

claim <strong>of</strong>Jay Atlas's:<br />

My analysis also explains <strong>the</strong> linguistially<br />

anomalous character <strong>of</strong> ## # <strong>Only</strong> a is F<br />

<strong>and</strong> a is not F by showing that it is a logical<br />

contra-diction, not merely a contrapresupposition<br />

(as in Horn's [1969] analysis).<br />

Compare <strong>the</strong> less anomalous,<br />

contra-presupposition sentences: ##All<br />

John's children are bald <strong>and</strong> John is childless,<br />

# The king <strong>of</strong> France is bald <strong>and</strong> <strong>the</strong>re is no king<br />

ojFrance/he doesn't exist. (Atlas 1991: 139)<br />

For Atlas's Theory C A , as we noted above,<br />

<strong>the</strong> first <strong>of</strong> <strong>the</strong>se three anomalies involves<br />

an entailmcnt (<strong>the</strong> only clause entailing<br />

<strong>the</strong> prejacent, which thus cannot be<br />

negated without contradiction), but it's<br />

not clear why <strong>the</strong> third doesn't also<br />

involve a contradicted entailment.<br />

Whe<strong>the</strong>r or not existence is presupposed<br />

(or conventionally implicated) in singular<br />

expressions, it is in any case entailed in<br />

positive descriptions; a better 'less anomalous,<br />

contra-presupposition sentence'<br />

would have been The king <strong>of</strong> France isn't<br />

bald—because <strong>the</strong>re is no king <strong>of</strong> France. And<br />

what <strong>of</strong> Atlas's leniency toward <strong>the</strong><br />

second <strong>of</strong> his three defendants I see no<br />

reason why <strong>the</strong> universal case isn't exactly<br />

as intolerable as <strong>the</strong> only one preceding it;<br />

indeed, <strong>the</strong>y are bad to <strong>the</strong> same extent<br />

<strong>and</strong> (1 argue) for <strong>the</strong> same reason. I just<br />

have a very hard time with Atlas's <strong>the</strong>ory<br />

<strong>of</strong> <strong>the</strong> truth conditions <strong>of</strong> All John's children<br />

are bald.<br />

17 Note that (29c) is technically false, but<br />

<strong>the</strong>n so is (29a), given <strong>the</strong> existence <strong>of</strong><br />

fea<strong>the</strong>r-beds <strong>and</strong> parkas. Here, as elsewhere,<br />

<strong>the</strong> universe <strong>of</strong> discourse from<br />

which alternatives to <strong>the</strong> focus <strong>of</strong> only are<br />

drawn is tacitly restricted (cf. William <strong>of</strong><br />

Ockham [Kretzmann i968];Rooth 1985).<br />

18 As a referee observes, <strong>the</strong> equivalences in<br />

(30a, b) finesse <strong>the</strong> very real differences<br />

between <strong>the</strong> collective all <strong>and</strong> <strong>the</strong> distributive<br />

every in English, on which see<br />

Vendler 1967. Depending on <strong>the</strong> semantic<br />

properties <strong>of</strong> <strong>the</strong> focus <strong>of</strong> only, ei<strong>the</strong>r<br />

every or all provides <strong>the</strong> more appropriate<br />

converse.<br />

19 I am inebted to Kai von Fintel for (his<br />

attempt at) clarifying my thinking on this<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


Laurence R. Horn 33<br />

20 The reference to 'preposed negation'<br />

alludes to <strong>the</strong> well-known fact that it is<br />

only when material falls within <strong>the</strong> scope<br />

<strong>of</strong> <strong>the</strong> relevant operator that (what would<br />

now be called) scale reversal occurs:<br />

compare Non animal currit; ergo non homo<br />

currit vs. Homo non currit; ergo animal non<br />

currit (see William <strong>of</strong> Sherwood's Syncategoremata,<br />

in O'Donnell 1941: 73).<br />

21 For Burley, <strong>the</strong> correspondence between<br />

universals <strong>and</strong> exclusives can also be<br />

expressed within supposition <strong>the</strong>ory (cf.<br />

Sanchez 1994): <strong>the</strong> A position in (30)<br />

(focus <strong>of</strong> on/y/nuclear scope <strong>of</strong> all) is said<br />

to have suppositio confusa et distributiva,<br />

while <strong>the</strong> downward-inference-licensing<br />

B position has suppositio (mere) confusa.<br />

22 I am indebted to Roger Schwarzchild,<br />

who called my attention to <strong>the</strong> exchange<br />

in (36a, b) <strong>and</strong> to <strong>the</strong> fact that <strong>the</strong> problem<br />

it poses for <strong>the</strong> traditional presupposirional<br />

approach to <strong>the</strong> prejacenr inference .<br />

(a problem noted by Anita Mittwoch,<br />

personal communication to Schwarzchild)<br />

is dispelled by <strong>the</strong> current analysis.<br />

23 Theory P correctly predicts anomalymore<br />

precisely, a truth-value gap—in <strong>the</strong><br />

former case (while <strong>the</strong> conjuncrionalist<br />

account renders <strong>the</strong> wagered preposition<br />

simply false <strong>and</strong> <strong>the</strong> implicature <strong>the</strong>ories<br />

render it true) but comes a cropper in <strong>the</strong><br />

latter, while Theories C/C A , PP, <strong>and</strong> G<br />

score in <strong>the</strong> fourth scenario but drop <strong>the</strong><br />

ball in <strong>the</strong> third.<br />

24 The A position constituting <strong>the</strong> focus <strong>of</strong><br />

only is upward entailing <strong>and</strong> should never<br />

trigger NPIs. Life is not that simple,<br />

however, this matter is considered in <strong>the</strong><br />

Appendix.<br />

25 The unacceptability <strong>of</strong> (38c)—if indeed it<br />

is unacceptable (judgments vary)—cannot<br />

be predicted semantically, but if <strong>the</strong><br />

present analysis is right, it can't be<br />

attributed to <strong>the</strong> non-LF-Comphood <strong>of</strong><br />

<strong>the</strong> only phrase ei<strong>the</strong>r, pace Progovac.<br />

Instead, it appears to involve a parochial<br />

structural or functional constraint on<br />

licensing from indirect object position, as<br />

seen from <strong>the</strong> acceptability <strong>of</strong> (ii):<br />

(i) *John gave only HIS GIRLFRIEND any<br />

flowers. (-(38c))<br />

(ii) John gives only FLOWERS to any <strong>of</strong> his<br />

girlfriends.<br />

See Horn & Lee (1995) for a fuller critique<br />

<strong>of</strong> Progovac's configurarional <strong>the</strong>ory <strong>of</strong><br />

polarity.<br />

26 As Hoeksema (1986) has observed (cf. also<br />

van der Wouden 1994; 76-7,136), <strong>the</strong> only<br />

patterns with superlative triggers (<strong>the</strong><br />

X-est. . .). There is etymological support<br />

for this relationship: Hoeksema notes that<br />

Dutch de enigste functions as a 'lowbrow<br />

variant' <strong>of</strong> st<strong>and</strong>ard de enige '<strong>the</strong> only<br />

(one)', <strong>and</strong> we can add <strong>the</strong> onliest—attested<br />

by various non-st<strong>and</strong>ard American <strong>and</strong><br />

British dialects—as a parallel. Both <strong>the</strong> only<br />

<strong>and</strong> superlatives license a subset <strong>of</strong> NPIs,<br />

essentially any, ever, <strong>and</strong> what Hoeksema<br />

calls <strong>the</strong> 'domain-settlers', i.e. those that<br />

define a domain <strong>of</strong> quantification within<br />

which an extreme scalar value can be<br />

picked out:<br />

(i) The only one who could ever reach<br />

me was <strong>the</strong> hard-lovin' son <strong>of</strong> a<br />

preacher man<br />

The first rime ever I saw your face...<br />

Jay is <strong>the</strong> {only/youngest} linguist to<br />

have ever eaten any squid souffle,<br />

<strong>the</strong> first rime in years you've been<br />

(*all that) happy to see me ...<br />

<strong>the</strong> youngest woman who {has yet<br />

climbed/'need climb} Mt. Everest<br />

Hoeksema observes that while <strong>the</strong> triggers<br />

in <strong>the</strong> class <strong>of</strong> <strong>the</strong> only/<strong>the</strong> first/<strong>the</strong><br />

A-est do not define a strict D£ environment—if<br />

Kim is <strong>the</strong> youngest American<br />

to have {ever/yet} climbed Mt. Everest, it<br />

doesn't follow that Kim is <strong>the</strong> youngest<br />

American to have climbed Mt. Everest<br />

with a 500 pound gorilla strapped to her<br />

back—<strong>the</strong>y do conform to a weakened<br />

version <strong>of</strong> monotonicity or DE-ness,<br />

necessitating an extra premise:<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


34 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

(ii)<br />

X is <strong>the</strong> (A-est/only) Y<br />

X is aZ<br />

all Z are Y<br />

. .X is <strong>the</strong> {A-est/only) Z<br />

27 This interchangeabiliry evidently applies<br />

cross-linguistically. When <strong>the</strong> ill-fated<br />

defense witness Rosa Lopez in <strong>the</strong> O.J.<br />

Simpson murder case was interrogated by<br />

<strong>the</strong> prosecutor about <strong>the</strong> time period<br />

during which she had seen <strong>the</strong> infamous<br />

white Bronco parked innocently by <strong>the</strong><br />

curbside, her response—rendered by her<br />

English interpreter as 'All I said was it was<br />

after 10:00'—actually began 'Yo solamente<br />

dije . . .'<br />

28 And in fact, as we would predict, <strong>the</strong><br />

acceptability <strong>of</strong> <strong>the</strong> CN focus case <strong>of</strong> (50a)<br />

hinges on <strong>the</strong> satisfaction <strong>of</strong> existential<br />

import. The effect <strong>of</strong> <strong>the</strong> scalar indeed is to<br />

streng<strong>the</strong>n <strong>the</strong> exclusionary assertion, up<br />

to but not reaching <strong>the</strong> zero set:<br />

(i) — Did only Democrats support <strong>the</strong><br />

President<br />

— Yes, indeed [only nor<strong>the</strong>rn<br />

Democrats did/only Ted did/<br />

#no one did).<br />

(ii) — <strong>Only</strong> mammals can underst<strong>and</strong> a<br />

syntactically complex language.<br />

— Yes, indeed only {humans/<br />

#vertebrates) can.<br />

(iii) — <strong>Only</strong> mammals can underst<strong>and</strong><br />

<strong>the</strong> semantics <strong>of</strong> quantification.<br />

— #Yes; indeed none <strong>of</strong> THEM can<br />

ei<strong>the</strong>r.<br />

29 See also in this vein <strong>the</strong> claim<br />

Fermatically sealed in <strong>the</strong> margins <strong>of</strong><br />

Fillmore, Kay & O'Connor (1988: 529):<br />

'There is independent evidence that barely<br />

may be analyzed semantically as "almost<br />

not", but space does not permit reviewing<br />

it here.'<br />

30 It must be allowed that in certain contexts<br />

both Petrine conjuncts do indeed fall<br />

within <strong>the</strong> scope <strong>of</strong> a proposirional<br />

attitude predicate. Thus <strong>the</strong> utterance <strong>of</strong> a<br />

sentence like (i) may be taken to express<br />

<strong>the</strong> corresponding conjunction in (ii),<br />

(i) Mary will be upset if only Bill makes<br />

it to her dinner party,<br />

(ii) Mary will be upset if Bill <strong>and</strong> only Bill<br />

makes it to her dinner party.<br />

i.e. as suggesting that Mary is apprehensive<br />

about an evening alone with Bill: if<br />

no one shows up at all she will cheerfully<br />

pop a pizza into her microwave <strong>and</strong> a tape<br />

into her VCR. I have suggested elsewhere<br />

(Horn 1992: 182-3) tnat ^is case requires<br />

an invocation <strong>of</strong> <strong>the</strong> notion <strong>of</strong> explicature<br />

or pragmatic enrichment (a la Sperber &<br />

Wilson 1986; Carston 1988), so that <strong>the</strong><br />

prejacent, while not constituting part <strong>of</strong><br />

<strong>the</strong> linguistic meaning contributed by<br />

only, enters into <strong>the</strong> determination <strong>of</strong><br />

what is said <strong>and</strong> hence into <strong>the</strong> (enriched)<br />

proposirional content.<br />

31 The behavior <strong>of</strong> <strong>the</strong> prejacent in <strong>the</strong><br />

contexts <strong>of</strong> (62) contrasts crucially with<br />

that <strong>of</strong> a meaning component which is<br />

normally presupposed but may in <strong>the</strong><br />

appropriate context be promoted to a<br />

dynamic aspect <strong>of</strong> content. Thus (as first<br />

pointed out by Karttunen 1973) while a<br />

change-<strong>of</strong>-state predication like that <strong>of</strong> (i)<br />

normally induces a presupposition about<br />

that past (as in (ia)) <strong>and</strong> makes an assertion<br />

about <strong>the</strong> present (as in (ib)),<br />

(i) Kim has stopped smoking.<br />

a. Kim used to smoke.<br />

b. Kim does not smoke now.<br />

this can be reversed in a particular context<br />

as in (ii), where <strong>the</strong> normally presupposed<br />

proposition (ia) is successfully brought<br />

within <strong>the</strong> scope <strong>of</strong> <strong>the</strong> illocutionary<br />

operator, a move that does not succeed<br />

for <strong>the</strong> prejacent <strong>of</strong> <strong>the</strong> only clause in (62).<br />

(ii) I know that Kim doesn't smoke now,<br />

but<br />

I wonder if Kim has STOPPED<br />

smoking (within <strong>the</strong> last six<br />

months).<br />

I just found out that Kim has<br />

stopped smoking.<br />

if [Kim has stopped smoking], I<br />

want to interview her for my<br />

study.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


Laurence R. Horn 35<br />

32 Since writing this paragraph, it has come<br />

to my attention that <strong>the</strong> same argument is<br />

made by Delgado Lavin (1993: 6). Our<br />

conclusion here is prefigured by De<br />

Morgan, who attributes <strong>the</strong> tendency to<br />

infer not all. .. from an assertion <strong>of</strong> some<br />

... to <strong>the</strong> principle that '<strong>the</strong> common<br />

usage <strong>of</strong> mankind inclines to partition',<br />

even in <strong>the</strong> natural, if fallacious, inference<br />

<strong>of</strong> an affirmative conclusion from<br />

negative premises. To make his case, De<br />

Morgan (1862: 277) underlines <strong>the</strong> telltale<br />

deductive adverb in <strong>the</strong> old Mo<strong>the</strong>r<br />

Goose rhyme:<br />

Jack Sprat could eat no fat,<br />

His wife could eat no lean;<br />

And so betwixt <strong>the</strong>m both,<br />

They licked <strong>the</strong> platter clean.<br />

'Two abstinences', De Morgan remarks,<br />

'make complete consumption.' But not,<br />

we need hardly add, by virtue <strong>of</strong> <strong>the</strong><br />

semantics <strong>of</strong> <strong>the</strong> purely negative determiners.<br />

3 3 Even in a more blatantly enriched context<br />

than Taglicht's, one in which <strong>the</strong><br />

prejacent is a trivially entailed tautology,<br />

<strong>the</strong> exclusive predication does not<br />

ASSERT this tautology. The sentiment <strong>of</strong><br />

Abelard's Socrates tantum est Socrates (see<br />

note 2) now appears in <strong>the</strong> guise <strong>of</strong> a commercial<br />

slogan for an anti-ulcerative prescription<br />

medicine: <strong>Only</strong> Zantac is Zantac.<br />

The point <strong>of</strong> <strong>the</strong> advertiser is clearly not<br />

to say or assert that Zantac is identical to<br />

itself but to assert that nothing else is<br />

identical to it or shares its relevant<br />

properties.<br />

34 Recall that Atlas's assumption <strong>of</strong> an<br />

entailed prejacent results in his denial <strong>of</strong><br />

downward inferenriality <strong>of</strong> only XP, <strong>and</strong><br />

correspondingly in his failure to appreciate<br />

<strong>the</strong> significance <strong>of</strong> <strong>the</strong> monotonicity<br />

effects (polarity licensing, inversion triggering,<br />

suspension, illocurionary scope)<br />

associated with exclusives. Since Atlas<br />

evidently accepts <strong>the</strong> st<strong>and</strong>ard nonconjunctive<br />

line on universals, he is also<br />

incapable <strong>of</strong> capturing <strong>the</strong> Burleyan<br />

insight recognizing <strong>the</strong> conversion <strong>of</strong> only<br />

AisBOallBisA.<br />

35 While I have for <strong>the</strong> most part concentrated<br />

my own forces on count-nounfocus<br />

only, <strong>the</strong> converse analysis extends<br />

naturally to all those varieties <strong>of</strong> only<br />

familiar from <strong>the</strong> literature (see e.g. Horn<br />

1969; Rooth 1985). Thus, if I like only<br />

spicy food, <strong>the</strong>n everything I like that is<br />

food is spicy (with <strong>the</strong> implication that I<br />

like some food). If I like only spicy food,<br />

<strong>the</strong>n everything I like is food that is spicy<br />

(with <strong>the</strong> implication that 1 like something).<br />

If 1 only like spicy food, <strong>the</strong>n every<br />

relation that I have with spicy food is (no<br />

more than) liking. Space precludes a more<br />

detailed exposition, but I see no impediment<br />

to a straightforward adaptation <strong>of</strong><br />

Rooth's (1985) cross-categorial alternative<br />

semantics for capturing our conception<br />

<strong>of</strong> what is said by ... only. . .<br />

36 My use <strong>of</strong> @ for 'rwo-sided' or exclusive<br />

disjunction is designed to recall Latin aut.<br />

This notation is prompted by <strong>the</strong> claim <strong>of</strong><br />

Quine (1952: 5), Geach (1972: 15), <strong>and</strong><br />

o<strong>the</strong>rs that aut was unambiguously<br />

exclusive, as against <strong>the</strong> inclusive disjunction<br />

expressed by Lat. vel, <strong>the</strong> etymon <strong>of</strong><br />

<strong>the</strong> classical V connective <strong>of</strong> <strong>the</strong> prepositional<br />

calculus. This empirical claim is,<br />

however, demonstrably incorrect; cf.<br />

Horn 1989: Chapter 4 <strong>and</strong> Jennings 1994<br />

for discussion.<br />

37 The conjunctive character <strong>of</strong> both all <strong>and</strong><br />

only is explicit in Peter Tartaret's square<br />

<strong>of</strong> opposition (c. 1480) for exclusive propositions,<br />

reproduced in Bochenski 1961:<br />

234-36.<br />

38 I have set aside this issue <strong>of</strong> scalar (—'no<br />

greater than') vs. pure exclusive (—'no<br />

o<strong>the</strong>r than') underst<strong>and</strong>ings <strong>of</strong> only (cf.<br />

Horn 1969, Konig 1991, <strong>and</strong> Delgado<br />

Lavin 1993 for discussion) as orthogonal<br />

to those that have concerned us here,<br />

although I would argue, as does Konig,<br />

that <strong>the</strong> distinction can be treated pragmatically.<br />

39 In this respect, only differs from ano<strong>the</strong>r<br />

unexpected polarity licenser, <strong>the</strong> deter-<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


36 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

miner few (Few students who have any<br />

problems. . .). Few is not strictly DE in its<br />

restrictor: if few pr<strong>of</strong>essors are wealthy, it<br />

doesn't follow that few pr<strong>of</strong>essors who<br />

bought stock in Netscape <strong>the</strong> week it<br />

opened are wealthy. But few does define a<br />

limited DE environment in <strong>the</strong> sense <strong>of</strong><br />

Heim (1984: 100-4), wno makes a similar<br />

point with respect to most. Crucially, <strong>the</strong><br />

determiners^u; <strong>and</strong> most, unlike only, are<br />

not UE, as <strong>the</strong>ir behavior in frames like<br />

those <strong>of</strong> (A2) <strong>and</strong> (A4a, b) shows.<br />

40 Note that <strong>the</strong> UE determiners some <strong>and</strong><br />

many pattern with only in (A4a, b) while<br />

DE determiners—all, no, not all—yield <strong>the</strong><br />

opposite distribution.<br />

41 Thus <strong>the</strong> medievals were able to predict<br />

that <strong>the</strong> A argument position in TantumA<br />

est B allows upward inferences <strong>and</strong> <strong>the</strong> B<br />

argument downward ones (see Burley's<br />

derivation <strong>of</strong> (34d)). But in fact <strong>the</strong> same<br />

tradition universally took such exclusives<br />

to represent garden variety exponibles,<br />

equivalent to <strong>the</strong> conjunction [A est B] et<br />

[nichil aliud ab A est B]. There is an obvious<br />

tension between, on <strong>the</strong> one h<strong>and</strong>, <strong>the</strong><br />

ubiquitous definition <strong>of</strong> only statements<br />

as static (non-monotonic) conjunctions<br />

which shouldn't license vertical inferences<br />

in ei<strong>the</strong>r position <strong>and</strong>, on <strong>the</strong> o<strong>the</strong>r,<br />

<strong>the</strong>ir recognition that lantum behaves as<br />

though it's left upward <strong>and</strong> right downward<br />

monotonic, precisely as <strong>the</strong> converse<br />

<strong>of</strong> omnis should be. Thus, <strong>the</strong><br />

inference patterns we have attested here<br />

were both essentially captured <strong>and</strong> systematically<br />

excluded by <strong>the</strong> scholastics.<br />

42 On <strong>the</strong> approach to <strong>the</strong> acceptability <strong>of</strong><br />

NPIs within <strong>the</strong> focus <strong>of</strong> only advocated<br />

in Israel 1994, it is not what a sentence<br />

like (Ale) says but what it presupposes that<br />

accounts for its licensing properties.<br />

Crucially, Israel takes this presupposition<br />

to have universal force: All people who have<br />

(ever) had a debilitating disease <strong>the</strong>mselves . .<br />

If <strong>the</strong> arguments I have presented are<br />

correct, no such derived licensing is tenable,<br />

since <strong>Only</strong> As are Bs presupposes not<br />

All As are Bs, but ra<strong>the</strong>r <strong>the</strong> existential<br />

proposition that Bs exist, which in turn<br />

yields <strong>the</strong> inferences that (some) As are Bs.<br />

Any streng<strong>the</strong>ning <strong>of</strong> this inference to a<br />

generic or a universal, as we have seen,<br />

depends on epistemically relevant<br />

properties <strong>of</strong> <strong>the</strong> predicate <strong>and</strong>/or <strong>the</strong><br />

particular context.<br />

43 O<strong>the</strong>r multiply-negative pairs exhibit <strong>the</strong><br />

same promiscuity:<br />

(i) None <strong>of</strong> <strong>the</strong> guests who had seen any<br />

<strong>of</strong> <strong>the</strong> suspects were excused.<br />

None <strong>of</strong> <strong>the</strong> guests who hadn't seen<br />

any <strong>of</strong> <strong>the</strong> suspects were questioned,<br />

(ii) There's no one here who hasn't<br />

already eaten any <strong>of</strong> <strong>the</strong> infected<br />

meat.<br />

There's no one here who hasn't yet<br />

eaten some <strong>of</strong> <strong>the</strong> infected meat.<br />

44 The anomalous examples <strong>of</strong> (Al 3) are salvageable<br />

if a causal connection can be<br />

forged between <strong>the</strong> condition in <strong>the</strong> first<br />

clause <strong>and</strong> <strong>the</strong> effect in <strong>the</strong> predicate, a<br />

task rendered more difficult by <strong>the</strong> anticausal<br />

content <strong>of</strong> happen to.<br />

Atlas, Jay David (1991), 'Topic/comment,<br />

presupposition, logical form <strong>and</strong> focus<br />

stress implicatures: <strong>the</strong> case <strong>of</strong> focal par-<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014<br />

REFERENCES<br />

Abelard, Peter (1970), Dialectica 2nd revised<br />

edition (L. M. de Rijk, ed.), Van Gorcum,<br />

Assen.<br />

AJtmann, Hans (1977), Die Gradpartikeln im<br />

Deutschen, Niemeyer, Tubingen.<br />

Anscombre, Jean-Claude & Ducrot, Oswald<br />

(1983), L'Argumentation dans la langue,<br />

Pierre Mardaga, Bruxelles.<br />

Ashworth, E J. (1974), Language <strong>and</strong> Logic in <strong>the</strong><br />

Post-Medieval Period, D. Reidel, Dordrecht.<br />

Atlas, Jay David (1984), 'Comparative adjectives<br />

<strong>and</strong> adverbials <strong>of</strong> degree', Linguistics &<br />

Philosophy, 7, 347-77-


Laurence R. Horn 37<br />

tides only <strong>and</strong> also', Journal <strong>of</strong> Semantics, 8,<br />

127-47.<br />

Atlas, Jay David (1993), 'The importance <strong>of</strong><br />

being "only": testing <strong>the</strong> neo-Gricean<br />

versus neo-entailment paradigms', Journal<br />

<strong>of</strong> Semantics, 10, 301-18.<br />

Austin, J. L. (1962), How to Do Things with<br />

Words, Harvard University Press, Cambridge,<br />

MA.<br />

Barker, Stephen J. (1993), 'Conditional<br />

excluded middle, conditional assertion,<br />

<strong>and</strong> "only if", Analysis, 53, 254-61.<br />

Barwise, Jon & Cooper, Robin (1981),<br />

De exclusivis: an edition', Vivarium, 23, 23-<br />

54-<br />

Ducrot, Oswald (1973), La Preuve et le dire,<br />

Maison Mame, Paris.<br />

Fillmore, Charles, Paul Kay & O'Connor<br />

Mary (1988), 'Regularity <strong>and</strong> idiomaticity<br />

in grammatical constructions: <strong>the</strong> case <strong>of</strong><br />

let alone', Language, 64, 501-38.<br />

Fre<strong>the</strong>im, T. (1995), 'Pragmatic implications<br />

<strong>of</strong> "not until" in Norwegian', paper presented<br />

at <strong>the</strong> 15 th Sc<strong>and</strong>inavian Conference<br />

<strong>of</strong> Linguistics.<br />

Geach, P. T. (1962), Reference <strong>and</strong> Generality,<br />

'Generalized quantifiers <strong>and</strong> natural Cornell University Press, Ithaca.<br />

language', Linguistics <strong>and</strong> Philosophy, 4, Geach, P. T. (1972), Logic Matters, University<br />

159-219.<br />

Bochenski, 1. M. (1961), A History <strong>of</strong> Formal<br />

Logic, trans, by Ivo Thomas from <strong>the</strong> 1956<br />

German edition, University <strong>of</strong> Notre<br />

Dame Press, Notre Dame.<br />

Bos, E. P. (198 5), John <strong>of</strong> Holl<strong>and</strong>: Four Tracts on<br />

Logic, Nijmegen, Ingenium.<br />

Burton-Roberts, Noel (1993), 'On preservation<br />

under negation', Newcastle-Durham<br />

Working Papers in Linguistics I, 18-42.<br />

Carlson, Gregory (1977), 'Reference to kinds<br />

in English', unpublished Ph.D. dissertation,<br />

University <strong>of</strong> Massachusetts.<br />

Carston, Robyn (1988), implicature, explicature,<br />

<strong>and</strong> truth-<strong>the</strong>oretic semantics', in R.<br />

Kempson (ed.), Menial Representations,<br />

Cambridge University Press, Cambridge,<br />

155-81.<br />

Chierchia, Gennaro & McConnell-Ginet,<br />

Sally (1990), Meaning <strong>and</strong> Grammar, MIT<br />

Press, Cambridge, MA.<br />

Delgado Lavin, E. (1993), '<strong>Only</strong> <strong>and</strong> only-if<br />

conditionals', unpublished MS, Universidad<br />

del Pais Vasco, Victoria, Spain.<br />

de Mey, Sjaak (1991), '"<strong>Only</strong>" as a determiner<br />

<strong>and</strong> generalized quantifier', Journal <strong>of</strong><br />

Semantics 8, 91-106.<br />

De Morgan, Augustus (1862), On <strong>the</strong> Syllogism<br />

<strong>and</strong> O<strong>the</strong>r Logical Writings, P. Heath (ed.)<br />

(1966), Routledge & Kegan Paul, London.<br />

De Rijk, L. M. (ed.) (1982), Some 14th Century<br />

Tracts on <strong>the</strong> Prbationes Terminorum<br />

(Ingenium, Nijmegen.)<br />

De Rijk, L. M. (1985), 'Wal<strong>the</strong>r Burley's tract<br />

<strong>of</strong> California Press, Berkeley.<br />

Geis, Michael (1973), 'If <strong>and</strong> unless', in B. J.<br />

Kachru et al (eds), Issues in Linguistics: Papers<br />

in Honor <strong>of</strong> Henry <strong>and</strong> Renee Kahane, University<br />

<strong>of</strong> Illinois Press, Urbana.<br />

Grice, H. P. (1975), 'Logic <strong>and</strong> conversation',<br />

in P. Cole & J. L. Morgan (eds), Syntax <strong>and</strong><br />

Semantics y Speech Acts, Academic Press,<br />

New York.<br />

Haspelmath, Martin (1993), A Typological<br />

Study <strong>of</strong> Indefinite Pronouns. PhD dissertation,<br />

Freie Universitat Berlin.<br />

Heim, Irene (1984), 'A note on negative<br />

polarity <strong>and</strong> downward entailingness', Proceedings<br />

<strong>of</strong> <strong>the</strong> North Eastern Linguistic Society,<br />

14, 98-107.<br />

Higginbotham, James (1994), 'Mass <strong>and</strong><br />

count quantifiers', Linguistics <strong>and</strong> Philosophy,<br />

17, 447-80.<br />

Hoeksema,Jack (1986), 'Monotonie en superlatieven',<br />

in C. Hoppenbrouwers etal. (eds)<br />

Proeven van Taalwelenschap, TABU, Groningen.<br />

Hoeksema, Jack (1991), 'The semantics <strong>of</strong><br />

exception phrases', in J. van der Does <strong>and</strong> J.<br />

van Eijck (eds), Generalized Quantifier<br />

Theory <strong>and</strong> Applications, Dutch Network<br />

for Language, Logic <strong>and</strong> Information,<br />

Amsterdam, 245-71.<br />

Hoeksema, Jacob (1992), 'Negative polarity<br />

items in discourse', paper presented at <strong>the</strong><br />

First International Conference on Literary<br />

Semantics, University <strong>of</strong> Kent at Canterbury.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


38 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

Horn, Laurence (1969), 'A presuppositional<br />

analysis <strong>of</strong> only <strong>and</strong> even', CLS, 5, 97-108.<br />

Horn, Laurence (1970), 'Ain't it hard (anymore)'<br />

CLS, 6, 318-27.<br />

Horn, Laurence (1972), 'On che semantic<br />

properties <strong>of</strong> logical operators in English',<br />

UCLA dissertation', distributed by Indiana<br />

University Linguistics Club (1976).<br />

Horn, Laurence (1979), '<strong>Only</strong>, even, <strong>and</strong> conventional<br />

implicature', LSA Paper, Los<br />

Angeles.<br />

Horn, Laurence (1989), A Natural History <strong>of</strong><br />

Negation, University <strong>of</strong> Chicago Press,<br />

Chicago.<br />

Horn, Laurence (1991), 'Given as new. when<br />

redundant affirmation isn't', Journal <strong>of</strong><br />

Pragmatics, 15, 305-28.<br />

Horn, Laurence, (1992), 'The said <strong>and</strong> <strong>the</strong><br />

unsaid', SALTII, 163-92.<br />

Horn, Laurence & Lee, Young-Suk (1995),<br />

'Progovac on polarity: review article on Ljiljana<br />

Progovac, Negative <strong>and</strong> Positive Polarity'<br />

(Cambridge University Press, Cambridge,<br />

1993),/ <strong>of</strong> Linguistics, 31,401 -24.<br />

Israel, Michael (1994), 'Polarity sensitivity as<br />

lexical semantics', unpublished MS,<br />

University <strong>of</strong> Californa at San Diego, to<br />

appear in Linguistics <strong>and</strong> Philosophy.<br />

Israel, Michael (1995), 'Negative polarity <strong>and</strong><br />

phantom reference', BLS 21.<br />

Jackend<strong>of</strong>f, Ray S. (1972), Semantic Interpretation<br />

in Generative Grammar, MIT Press,<br />

Cambridge, MA.<br />

Jacobson, Sven (1964), Adverbial Positions in<br />

English (Uppsala dissertation), AB Studentbok,<br />

Stockholm.<br />

Jacobsson, Bengt (1951), Inversion in English,<br />

Almqvist & Wiksells, Uppsala.<br />

Jennings, R. E. (1994), The Genealogy <strong>of</strong> Disjunction,<br />

Oxford University Press, New<br />

York.<br />

Johnson-Laird, P. N. & Byrne, R. M.J. (1991),<br />

Deduction, Lawrence Erlbaum, Hove.<br />

Kadmon, Nirit & Fred L<strong>and</strong>man (1993), Any.<br />

Linguistics & Philosophy 16: 353-422.<br />

Karttunen, Lauri (1973), 'STOP: is <strong>the</strong>re a<br />

presupposition' Unpublished MS, MSSB<br />

Workshop on <strong>the</strong> Semantics <strong>of</strong> Natural<br />

Language, Ann Arbor.<br />

Karttunen, Lauri & Peters, S. (1979), 'Conventional<br />

implicature', in C.-K. Oh &<br />

D. A. Dinneen (eds) Syntax <strong>and</strong> Semantics<br />

11: Presupposition, Academic Press, New<br />

York, 1-56.<br />

Keenan, Edward L. & Stavi, Jonathan (1986),<br />

'A semantic characterization <strong>of</strong> natural<br />

language determiners', Linguistics <strong>and</strong><br />

Philosophy, 9, 253-326.<br />

Klima, Edward (1964), 'Negation in English',<br />

In J. A. Fodor & J.J. Katz (eds), Prentice-<br />

Hall, Englewood Cliffs, 246-323.<br />

Konig, Ekkehard (1991), The Meaning <strong>of</strong> Focus<br />

Particles, Routledge, London.<br />

Kretzmann, Norman (1968), William <strong>of</strong> Sherwood's<br />

Treatise on Syncategorematic Words,<br />

University <strong>of</strong> Minnesota Press, Minneapolis.<br />

Krifka, Manfred (1990), 'Some remarks on<br />

polarity items' in D. Zaefferer (ed.), Semantic<br />

Universals <strong>and</strong> Universals <strong>of</strong> Semantics,<br />

Foris, Dordrecht, 150-89.<br />

Krifka, Manfred (1992), 'A framework for<br />

focus-sensitive quantification', SALT II,<br />

215-36.<br />

Krifka, Manfred (1993), 'Focus <strong>and</strong> presupposition<br />

in dynamic intepretation'.yowrna/<br />

<strong>of</strong> Semantics, 10, 269-300.<br />

Kuroda, S.-Y. (1969), 'Attachment transformations',<br />

in D. Reibel & S. Schane (eds),<br />

Modern Studies in English, Prentice-Hall,<br />

Englewood Cliffs, 331-51.<br />

Ladusaw, William (1980), Polarity Sensitivity as<br />

Inherent Scope Relations, Garl<strong>and</strong>, New<br />

York.<br />

Lak<strong>of</strong>f, George (1970), 'Repartee', Foundations<br />

<strong>of</strong> Language, 6, 389-422.<br />

Lewis, David (1979), 'Scorekeeping in a<br />

language game',/ Phil. Logic, 8, 330-59.<br />

Linebarger, Marcia (1981), The Grammar <strong>of</strong><br />

Negative Polarity, IULC, Bloomington.<br />

Linebarger, Marcia (1987), 'Negative polarity<br />

<strong>and</strong> grammatical representation', Linguistics<br />

<strong>and</strong> Philosophy, 10, 325-87.<br />

Linebarger, Marcia (1991), 'Negative polarity<br />

as linguistic evidence', Papers from <strong>the</strong> Parasession<br />

on Negation, CLS 27, 165-88.<br />

Lobner, Sebastian (1987), 'Quantification as a<br />

major module <strong>of</strong> natural language seman-<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


Laurence R. Horn 39<br />

tics', in J. Groenendijk et al. (eds), Studies in<br />

Discourse Representation Theory <strong>and</strong> Generalized<br />

Quantifiers, Dordrecht, Reidel, 53-85.<br />

Lundquist, Lita & Jarvella, Robert J. (1994),<br />

'Ups <strong>and</strong> downs in scalar inferences', Journal<br />

<strong>of</strong> Semantics, 11, 33-54.<br />

Lycan, William G. (1991), 'Even <strong>and</strong> even if,<br />

Linguistics <strong>and</strong> Philosophy, 14, 115-50.<br />

McCawley, James D. (1974), 'If 2nd only if.<br />

Linguistic Inquiry, 5, 632-35.<br />

McCawley, James D. (1981), Everything that<br />

Linguists Have Always Wanted to Know about<br />

Logic but Were Ashamed to Ask, University<br />

<strong>of</strong> Chicago Press, Chicago.<br />

McCawley, James D. (1993), Everything that<br />

Linguists Have Always Wanted to Know about<br />

Logic but Were Ashamed to Ask, 2nd edition,<br />

University <strong>of</strong> Chicago Prss, Chicago.<br />

Moravcsik, Julius (1991), '"All A's are B's":<br />

form <strong>and</strong> content'', Journal ojPragmatics, 16,<br />

427-41.<br />

Morgan, Jerry (1972), 'Verb agreement as a<br />

rule <strong>of</strong> English', CLS 8, 278-86.<br />

Moser, Megan (1992), 'The negation relation',<br />

University <strong>of</strong> Pennsylvania dissertation.<br />

Moxey, Linda & S<strong>and</strong>ford, Anthony (1986),<br />

'Quantifiers <strong>and</strong> focus', Journal <strong>of</strong> Semantics,<br />

5, 189-205.<br />

Moxey, Linda & S<strong>and</strong>ford Anthony (1993),<br />

Communicating Quantities: A Psychological<br />

Perspective, Lawrence Erlbaum, Hove.<br />

Mullally, Joseph P. (1945), The Summulae<br />

Logicales <strong>of</strong> Peter <strong>of</strong> Spain, University <strong>of</strong><br />

Notre Dame Press, Notre Dame.<br />

Nevalainen, Terttu (1991), But, <strong>Only</strong>, Just:<br />

Focusing Adverbial Change in Modern English<br />

t$oo-tgoo, Memoires de la Societe Neophilologique<br />

de Helsinki, Tome LI.<br />

Ockham, William <strong>of</strong> (1980), Ockham's Theory<br />

<strong>of</strong> Propositions: Part II <strong>of</strong> <strong>the</strong> Summa Logicae,<br />

trans, by AJ. Freddoso & H. Schuurman,<br />

University <strong>of</strong> Notre Dame Press, Notre<br />

Dame.<br />

O'Donnell, J . R. (1941), 'The syncategoremata<br />

<strong>of</strong> William <strong>of</strong> Sherwood', Mediaval<br />

Studies, 3, 46-93.<br />

Pegis, A. C. (ed.) (1945), Basic Writings <strong>of</strong> Saint<br />

Thomas Aquinas, R<strong>and</strong>om House, New<br />

York.<br />

Pinborg, Jan (1981), 'Walter Burley on<br />

exclusives', in H. A. G. Braakhuis et al.<br />

(eds), English Logic <strong>and</strong> Semantics, Ingenium,<br />

Nijmegen, 305-26.<br />

Progovac, Ljiljana (1993), 'Negative polarity:<br />

entailment <strong>and</strong> binding', Linguistics <strong>and</strong><br />

Philosophy, 16, 149-80.<br />

Progovac, Ljiljana (1994), Negative <strong>and</strong> Positive<br />

Polarity: A Binding Approach, Cambridge<br />

University Press, Cambridge.<br />

Quine, W. V. O. (1952), Methods <strong>of</strong> Logic,<br />

Routledge & Kegan Paul, London.<br />

Reis, Marga (1977), Prasuppositionen und Syntax,<br />

Niemeyer, Tubingen.<br />

Rooth, Mats (1985), 'Association with focus',<br />

University <strong>of</strong> Massachusetts dissertation.<br />

Sadock, Jerrold (1981), 'Almost', in P. Cole<br />

(ed.), Radical Pragmatics, Academic Press,<br />

New York, 257-71.<br />

Sanchez Valencia, Victor (1994), 'Monotoniciry<br />

in medieval logic', Language <strong>and</strong> Cognition,<br />

4, 161-74, Yearbook 1994 <strong>of</strong> <strong>the</strong><br />

research group for <strong>the</strong>oretical <strong>and</strong> experimental<br />

linguistics <strong>of</strong> <strong>the</strong> University <strong>of</strong><br />

Groningen.<br />

Sanford, Anthony, Moxey, Linda & Paterson,<br />

Kevin (1994), 'Psychological studies <strong>of</strong><br />

quantifiers', Journal <strong>of</strong> Semantics, II, 153-<br />

70.<br />

Smith, Arvid (1922), 'Strodda anmarkningar<br />

till engelska syntaxen', Moderna Sprdk, 16,<br />

80-123.<br />

Sperber, Dan & Wilson, Deirdre (1986),<br />

Relevance, Harvard University Press,<br />

Cambridge, MA.<br />

Stalnaker, Robert (1974), 'Pragmatic presuppositions',<br />

in M. K. Munitz & P. Unger<br />

(eds), Semantics <strong>and</strong> Philosophy, New York<br />

University Press, New York<br />

Stalnaker, Robert (1978), 'Assertion', Syntax<br />

<strong>and</strong> Semantics Q: Pragmatics, Academic Press,<br />

New York.<br />

Taglicht, Josef (1984), Message <strong>and</strong> Emphasis:<br />

On Focus <strong>and</strong> Scope in English, Longman,<br />

London.<br />

Thijsse, Elias (1983), 'On some proposed universals<br />

<strong>of</strong> natural language', In A. ter<br />

Meulen (ed.), Studies in Model<strong>the</strong>oretic<br />

Semantics, Foris, Dordrecht, 10-36.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014


40 <strong>Only</strong> <strong>and</strong> <strong>the</strong> <strong>Dynamics</strong> <strong>of</strong> <strong>Vertical</strong> <strong>Inference</strong><br />

Trudeau, G. B. (1994), Syndicated 'Doonesbury<br />

cartoon strip, 12 January 1994. tions', Natural Language Semantics, I, 123-<br />

von Fintel, Kai (1993), 'Exceptive construc-<br />

van Ben<strong>the</strong>m, Johan (1986), Essays in Logica 48.<br />

Semantics, Foris, Dordrecht.<br />

von Fintel, Kai (1994), 'Restrictions on quantifier<br />

domains', University <strong>of</strong> Massachu-<br />

van Ben<strong>the</strong>m, Johan (1991), 'Linguistic<br />

universals in logical semantics', in Semantic setts dissertation.<br />

Universals <strong>and</strong> Universal Semantics, Foris, von Fintel, Kai (1995), 'A note on bare plurals,<br />

Berlin, 17-36.<br />

bare conditionals, <strong>and</strong> only', unpublished<br />

van der Auwera, Johan (1985), '<strong>Only</strong> if', MS, MIT, to appear in MIT Working Papers<br />

Logique et Analyse, 28, 61-74.<br />

in Linguistics.<br />

van der Wouden, Ton (1994), 'Negative contexts',<br />

University <strong>of</strong> Groningen disserta-<br />

Brooklyn', From Death to Morning, Charles<br />

Wolfe, Thomas (1935), '<strong>Only</strong> <strong>the</strong> dead know<br />

tion.<br />

Scribner's Sons, New York, 91-7.<br />

Vcndler, Zeno (1967), Linguistics in Philosophy, Zwarts, Frans (1986), 'Categoriale gramm-<br />

Cornell University Press, Ithaca.<br />

Visser, F. Th. (1969), An Historical Syntax <strong>of</strong> <strong>the</strong><br />

English Language, E. J. Brill, Leiden.<br />

atica en Algebraische Semantiek', Ph.D.<br />

dissertation, University <strong>of</strong> Gronigen.<br />

Downloaded from http://jos.oxfordjournals.org/ by guest on September 12, 2014

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!