Heim 1982, Kamp 1988, a.o.
Andrew has a child.
She is at school.
Andrew is a parent.
# She is at school.
Exactly one of the ten balls is not in the bag.
It is under the sofa.
Exactly nine of the ten balls are in the bag.
# It is under the sofa.
The requirement for an indefinite antecedent is sometimes called the Formal Link Condition.
The dynamic view: Content is influenced not just by what is said, but how it is said (Kamp 1981, Heim 1982).
In talking, we keep track not just of information concerning how things are, but also referential information concerning what/who the speaker intended to refer to.
Dynamic semantics enriches conversational contexts with referential information concerning intended reference (Irene Heim’s notion of a file).
Part of the dynamic thesis is that uttering a sentence with an indefinite changes the referential information in the conversational context in a special way.
Sentences with pronouns are sensitive to referential information in a way which other expressions aren’t.
“and” is the dynamic connective par excellence: Referential information flows from left-to-right, and flows outwards.
A linguist walked in, and she sat next to a philosopher.
He yawned.
# She walked in, and a linguist sat down.
In the dynamic parlance, conjunction is internally and externally dynamic. (Groenendijk & Stokhof 1991; henceforth G&S)
Referential information flows from left-to-right, but may flow no further.
Conditionals are internally dynamic but externally static.
Negation acts like a dam, blocking referential information from flowing further.
Negation is externally static.
There are no through-channels between disjuncts; referential information flows neither between disjuncts, nor beyond the disjunction.
# Either a linguist is here, or she’s smoking outside.
Either a linguist is here, or it’s raining.
# She’s smoking outside.
Disjunction is internally and externally static
DS puts the lexicon in charge of regulating referential information flow.
If logical connectives are responsible for regulating the flow of information, we make no substantial predictions about how the truth-conditional contribution of the connectives relates to referential information flow.
(Schlenker 2006 a.o. make the same point wrt. presupposition projection.)
To be developed today:
In DS, negation destroys referential information. But consider the following:
Frank doesn’t own no shirt. It’s in the closet.
It’s not the case that Frank doesn’t own any shirt. It’s in the closet.
Referential information can be resurrected by an additional negation (Krahmer & Muskens 1995, Gotham 2019).
Again, remember that in DS, negation destroys referential information…
Referential information destroyed in an initial disjunct can be resurrected in a subsequent disjunct (observation due to Barbara Partee).
N.b. this intuitively parallels presupposition projection facts (Beaver 2001):
Under certain circumstances, the ban on passing referential information further is lifted (G&S 1991, Kamp & Reyle 1993, Simons 1996):
(G&S chalk this up to a lexical ambiguity, positing an additional, externally dynamic disjunction operator; program disjunction.)
f the truth of one of the disjuncts is contextually entailed later in the discourse, anaphora becomes possible (see Rothschild 2017, Mandelkern 2020 for related observations).
Recall that conditionals are also (claimed to be) externally static.
The accessibility generalizations assumed in DS are full of holes. Anaphora licensed by contextual entailment suggests a way of resolving the tension - develop a more classical, more permissive dynamic semantics that can be restricted in the pragmatics.
We’ll develop a theory of anaphora based on the following ideas:
\[ ⟦\text{Aeryn left}⟧ = λ g . \begin{cases} \{(⊤,g)\}&\color{gray}{\text{Aeryn left}}\\ \{(⊥,g)\}&\color{gray}{\text{Aeryn didn't leave}} \end{cases} \]
\[ ⟦\text{She}_1\text{ left}⟧^g = \begin{cases} \{(⊤,g)\}&\color{gray}{g(1)\text{ is defined and }g(1)\text{ left}}\\ \{(⊥,g)\}&\color{gray}{g(1)\text{ is defined and }g(1)\text{ didn't leave}}\\ \{(\#,g)\}&\color{gray}{g(1)\text{ is undefined}} \end{cases} \]
\[⟦\text{Someone}^1\text{ is here}⟧^g = \begin{cases} \{(\color{red}{⊤},g^{[1 → x]}) \mid x \text{ is here}\}\\ \qquad\color{gray}{\text{someone is here}}\\ \{(\color{red}{⊥},g)\}\\ \qquad\color{gray}{\text{nobody is here}} \end{cases}\]
\[ = \begin{cases} \{(⊤,[x]) \mid x\text{ is a triangle in the circle}\}\\ \{(⊥,[])\}\qquad\color{gray}{\text{there is no triangle in the circle}} \end{cases} \]
\[ = \{(⊤,[\color{red}{Δ}]),(⊤,[\color{blue}{Δ}])\} \]
\[ = \{(⊥,[])\} \]
\[ ⟦\text{Nobody is here}⟧ = λ g . \begin{cases} \{(\color{red}{¬\,⊤},g^{[1 → x]}) \mid x\text{ is here}\}\\ \{(\color{red}{¬\,⊥},g)\}\\ \qquad\color{gray}{\text{nobody is here}} \end{cases} \]
\[ = λ g . \begin{cases} \{(\color{red}{⊥},g^{[1 → x]}) \mid x\text{ is here}\}\\ \{(\color{red}{⊤},g)\}\\ \qquad\color{gray}{\text{nobody is here}} \end{cases} \]
\[ \begin{aligned}[t] &⟦\text{It's not the case that nobody is here}⟧\\ &= λ g . \begin{cases} \{(\color{red}{¬ ¬\,⊤},g^{[1 → x]} \mid x\text{ is here})\}\\ \{(\color{red}{¬ ¬\,⊥},g)\}\\ \qquad\color{gray}{\text{nobody is here}} \end{cases} \end{aligned} \]
\[ = λ g . \begin{cases} \{(\color{red}{⊤},g^{[1 → x]} \mid x\text{ is here})\}\\ \{(\color{red}{⊥},g)\}\\ \qquad\color{gray}{\text{nobody is here}} \end{cases} \]
Before we proceed much further, a remark is due on the semantics we’ll assume for the logical connectives.
The interpretation schema we’ll adopt for the logical connectives is Kleene’s strong logic of indeterminacy; (i.e., Strong Kleene).
This is the logic that naturally emerges if we take \(\#\) to stand in for uncertainty whether true or false.
Truth-table for Strong Kleene conjunction (\(∧^s\)):
\(∧^s\) | \(\mathbf{⊤}\) | \(\mathbf{⊥}\) | \(\mathbf{\#}\) |
---|---|---|---|
\(\mathbf{⊤}\) | \(⊤\) | \(⊥\) | \(\#\) |
\(\mathbf{⊥}\) | \(⊥\) | \(⊥\) | \(⊥\) |
\(\mathbf{\#}\) | \(\#\) | \(⊥\) | \(\#\) |
Truth-table for Strong Kleene disjunction (\(∨^s\))
\(∨^s\) | \(\mathbf{⊤}\) | \(\mathbf{⊥}\) | \(\mathbf{\#}\) |
---|---|---|---|
\(\mathbf{⊤}\) | \(⊤\) | \(⊤\) | \(⊤\) |
\(\mathbf{⊥}\) | \(⊤\) | \(⊥\) | \(\#\) |
\(\mathbf{\#}\) | \(⊤\) | \(\#\) | \(\#\) |
The Strong Kleene entries for the connectives don’t need to be stipulated but rather reify how we ordinarily reason about uncertainty.
An independent reason to think that Strong Kleene is a reasonable foundation: I agree with Rothschild (2017, p1) that “[…] when the dust has settled, this remains the simplest viable treatment of presupposition projection on the market.”
Important: the Strong Kleene logic underlying the analysis here is completely symmetric; there is no room for asymmetries or incrementality in the logical substrate.
\[ ⟦ϕ\,\mathbf{R}\,ψ⟧^g = \{(\color{red}{t\,\mathbf{R}\,u},i)\mid ∃h[(\color{red}{t},h) ∈ ⟦ϕ⟧^g ∧ (\color{red}{u},i) ∈ ⟦ψ⟧^h]\} \]
Important: the locus of stipulation on the current approach is in the algorithm for lifting any truth-functional operator into the dynamic domain of referential-information-passing. Nothing is stipulated about the dynamics of the individual logical connectives.
Our algorithm relies on the assumption that the semantics can see the order of the juncts.
This has important architectural ramifications regarding the information visible to the semantics.
\[ ⟦\text{Someone}^1\text{ walked in}⟧_+^g = \{g^{[1 → x]} \mid x\text{ walked in}\} \]
\[ ⟦\text{She}_1\text{ sat down}⟧_+^g = \{g \mid \text{sat down }g(1)\text{ and }g(1)\text{ is defined}\} \]
\[ \begin{aligned}[t] &⟦\text{Someone}^1\text{ walked in and she}_1\text{ sat down}⟧_+^g\\ & = \{g^{[1 → x]}\mid x\text{ walked in and sat down}\} \end{aligned} \]
Let’s now return to bathroom disjunctions.
Applying our algorithm to \(∨^s\) gives us a disjunctive recipe for dynamically verifying disjunctive sentences:
\[ ⟦ϕ ∨ ψ⟧_+^g = \begin{aligned}[t] \{i | ∃h[h ∈ ⟦ϕ⟧^g_+ ∧ (*,i) ∈ ⟦ψ⟧^h]\}\\ ∪ \{i | ∃h[(*,h) ∈ ⟦ϕ⟧^g ∧ i ∈ ⟦ψ⟧^h_+]\} \end{aligned} \]
\[ \{(⊥,[b])\} \]
\[ ⟦\text{it}_1\text{'s upstairs}⟧^{[b]} = \{(⊤,[b])\mid b\text{ is upstairs}\} \]
N.b. an apparently bad prediction that you may notice at this point is that we predict a bathroom disjunction can license a subsequent pronoun, at least if there is indeed a bathroom.
This leads to a problem with external staticity.
We predict that if a linguist is indeed here, anaphora should be licensed in (22).
In order to keep things simple, we’ve been operating in a purely extensional setting.
To return to one of the themes explored at the beginning of this talk, we’d like a theory which addresses both worldly, and referential information.
Following Heim (1982), we’ll treat the context set (which we’ll write as \(C\)), as a set of world-assignment pairs.
Before anything has been uttered, every world in \(C\) is simply paired with the initial assignment \([]\).
\[⟦\text{Someone}^1\text{ is here}⟧^{\color{#20A5BA}{w},\color{#10A778}{g}} = \begin{cases} \{(\color{#C30771}{⊤},\color{#20A5BA}{w},\color{#10A778}{g^{[1 → x]}}) \mid x \text{ is here in }w\}\\ \qquad\color{gray}{\text{someone is here}}\\ \{(\color{#C30771}{⊥},\color{#20A5BA}{w},\color{#10A778}{g})\}\\ \qquad\color{gray}{\text{nobody is here in }w} \end{cases}\]
\[ \begin{aligned}[t] &⟦\text{She}_1\text{ left}⟧^{\color{#20A5BA}{w},\color{#10A778}{g}}\\ &= \begin{cases} \{(\color{#C30771}{⊤},\color{#20A5BA}{w},\color{#10A778}{g})\}&\color{gray}{g(1)\text{ is defined and }g(1)\text{ left in }w}\\ \{(\color{#C30771}{⊥},\color{#20A5BA}{w},\color{#10A778}{g})\}&\color{gray}{g(1)\text{ is defined and }g(1)\text{ didn't leave in }w}\\ \{(\color{#C30771}{\#},\color{#20A5BA}{w},\color{#10A778}{g})\}&\color{gray}{g(1)\text{ is undefined}} \end{cases} \end{aligned} \]
We update \(C\) with a sentence \(ϕ\) (\(C[ϕ]\)) by evaluating \(ϕ\) wrt each world-assignment pair in \(C\), and retaining the true-tagged outputs.
Stalnaker’s bridge (von Fintel 2008) demands that for assertion of \(ϕ\) to be successful, \(ϕ\) cannot be undefined at any point in \(C\).
A direct consequence: a sentence with a pronoun indexed \(n\) carries a referential presupposition that \(n\) is defined.
\[\{(\color{#20A5BA}{w},\color{#10A778}{[]}),(\color{#20A5BA}{w},\color{#10A778}{[a]})\}[\text{she}_1\text{ left}] \text{ is undefined}\]
\[\begin{aligned}[t] &\{(\color{#20A5BA}{w},\color{#10A778}{[a]}),(\color{#20A5BA}{w},\color{#10A778}{[b]})\}[\text{she}_1\text{ left}]\\ &= \{(\color{#20A5BA}{w},\color{#10A778}{[x]})\mid x\text{ left in }w\text{ & }x ∈ \{a,b\}\} \end{aligned}\]
Some things that fall out automatically:
\[ \begin{aligned}[t] &C[\text{Andrew has a}^1\text{ child}]\\ &= \{(\color{#20A5BA}{w},\color{#10A778}{g^{[1 → x]}})\mid (w,g) ∈ C\,\&\,x\text{ a child of A's in }w\} \end{aligned} \]
\[ \begin{aligned}[t] &C[\text{Andrew is a parent}]\\ &= \{(\color{#20A5BA}{w},\color{#10A778}{g})\mid (w,g) ∈ C\,\&\,\text{A has a child in }w\} \end{aligned} \]
We now have everything we need to understand apparent external staticity with disjunction
We can independently observe that an utterance “P or Q” is only felicitous if P and Q are both real possibilies wrt the context set.
Context: It’s common ground that Alice was in the audience.
We use this to account for apparent external staticity.
Consider the following space of logical possibilities, which we’ll use to represent a context set in which “Either someone\(^1\) was in the audience, or the event was a disaster” might be felicitously uttered:
Updating with the disjunctive sentence will:
\[ \left\{\begin{aligned}[c] &(\color{#20A5BA}{w_{ad}},\color{#10A778}{[]})\\ &(\color{#20A5BA}{w_{a¬d}},\color{#10A778}{[]})\\ &(\color{#20A5BA}{w_{∅d}},\color{#10A778}{[]})\\ &(\color{#20A5BA}{w_{∅¬d}},\color{#10A778}{[]})\\ \end{aligned}\right\}\left[\begin{aligned}[c] &\text{someone}^1\text{ was in the audience}\\ &\text{or the event was a disaster} \end{aligned}\right] \]
\[ = \{(\color{#20A5BA}{w_{ad}},\color{#10A778}{[a]}),(\color{#20A5BA}{w_{a¬d}},\color{#10A778}{[a]}),(\color{#20A5BA}{w_{∅d}},\color{#10A778}{[]})\} \]
\[ \left\{\begin{aligned}[c] &(\color{#20A5BA}{w_{ad}},\color{#10A778}{[a]})\\ &(\color{#20A5BA}{w_{a¬d}},\color{#10A778}{[a]})\\ &(\color{#20A5BA}{w_{∅d}},\color{#10A778}{[]})\\ \end{aligned}\right\}\left[\text{the event wasn't a disaster}\right] \]
\[ = \{(\color{#20A5BA}{w_{ad}},\color{#10A778}{[a]}),(\color{#20A5BA}{w_{a¬d}},\color{#10A778}{[a]})\} \]
This correctly predicts the subsequent availability a pronoun.
An exception that proves the rule: Anaphora appears to be possible when not disrupted by uncertainty:
Each linguist [met with a philosopher or read a philosophy paper]
They each [found her interesting or couldn’t understand it]
(N.b. these cases involve quantificational subordination, and require an extension of the system to a plural setting ala van den Berg 1996)
I’ll note here that we can extend this general explanation to negations of conjunctive sentences, which we otherwise predict can license subsequent anaphora if the first conjunct is true second conjunct is false.
The explanation takes advantage of the fact that an utterance of the form “not (P and Q)” typically requires “not P” and “not Q” to be real possibilities in \(C\). See Elliott (2020) for details.
We now straightforwardly account for G&S disjunctions (discussed earlier).
Updating a context set in which both disjuncts are real possibilities will extend every assignment with a linguist/philosopher at index \(1\).
Recall that disjunctions appear to be internally static
Since our algorithm for passing referential is modeled on dynamic conjunction, there’s no obvious reason why (29) should be unacceptable on the intended reading.
In order to explain what’s going on here, we’ll begin with Simons’ (1996) observation that the following sentence is deviant:
What Simons observes is that, when a disjunct Strawson entails the other, the disjunction is odd.
Since we want to accommodate the possibility of anaphora between disjuncts, we need to state this constraint in a way that accommodates referential information flow.
“\(\text{P or Q}\)” is odd if
\(⟦\text{(not P) and Q}⟧_+^g = ∅ ∨ ⟦\text{P and not Q}⟧_+^g = ∅, ∀ g\)
In plain English: a disjunction is odd if there is no way of verifying the disjunction other than by verifying both disjuncts.
Here, if the first disjunct is false, the second is always undefined
I’m deeply grateful to Simon Charlow, Keny Chatain, Enrico Flor, Danny Fox, Matthew Gotham, Julian Grove, Nathan Klinedinst, Matt Mandelkern, and Yasu Sudo for feedback which greatly improved this work.
I’d also like to thank audiences at Rutgers, NYU, and LENLS 17 for their feedback.
The algorithm we’ve outlined for the logical connectives needs to be generalized to quantifiers such as every linguist and most philosophers.
Another interesting extension is modal subordination. In Elliott (2020b) I develop an extend this system with epistemic modality, in order to account for what I call conjunctive bathroom sentences.