Docs / Studies / Studies.ElliottNicolaeSauerland2022

Who and What Do Who and What Range Over Cross-Linguistically?

Elliott, P. D., Nicolae, A. C. & Sauerland, U. (2022). Journal of Semantics, 39(3), 551–579

Singular simplex wh phrases in Greek, Hungarian and Spanish lack the uniqueness presupposition of singular which phrases, yet plural ones keep an anti-singleton inference. Dayal's account and the weak plural survive if a simplex phrase can also range over upward-entailing quantifiers, which presuppose nothing. Strengthening is then obligatory wherever an equivalent alternative is defined with it, so without a plural antecedent quién is usable in any context and quiénes only where antiuniqueness holds, and the answer and context judgments follow. Heim's catfish shows what the principle yields at a context: the weak implicated presupposition.

Implementation notes

  • A world of a distributive nucleus is the plurality it holds of, so the member for x is Set.Ici x. The paper's undefined members are left out of its Hamblin sets, which does not affect Dayal's presupposition since they are never true.
  • A higher-order phrase ranges over the upward-entailing quantifiers living on its domain, §4.3: upwardGQ, positive combinations and the trivial quantifiers. hamblinPlus is the fragment (32) the paper focuses on for presentational purposes.
  • EXH is Presupposition.strengthen, which excludes only strictly stronger alternatives where (40) excludes every non-weaker one; they agree on comparable alternatives, as on the scale (53).
  • AvoidsIneffability is (45) for one occurrence of EXH, all the Spanish data needs. Clause (c) allows the competitor no deactivated EXH, so it competes with EXH active, as (46) and (47) do.
  • A context is the set of worlds compatible with what the relevant individual believes. Under the Matrix K axiom they adopt from Meyer, n. 14, the same set is the doxastic state K quantifies over, as in the catfish theorems.
  • The paper makes quién_e an alternative to both plural forms, p. 564, quién_(et)t one to quiénes_e, p. 571, and the plural one to the singular forms where the context supplies it, p. 570, the proposition pl. Without a plural antecedent the higher-order forms are both usable where existence is not assumed, and Brevity chooses between them, n. 19, Form.simpler.
  • (24c) has a plural antecedent. With one quiénes_e can also drop EXH where existence is presupposed, which the paper does not test. (68) has none, and the paper leaves it open: both phrases are predicted usable, against the judgment on quiénes.

Errata

Table 1 prints a cross for the anti-singleton inference of plural which phrases, and (15) tags a plural which question as carrying uniqueness, against (3), (16), (17) and the surrounding text. The proposition said to answer (76) prints B ⊕ C where (76) and the sentences before it have A ⊕ C. The text before (55) calls quién_e acceptable in ≥ 1 contexts, against (51); it should be the ambiguous quién.

TODO

  • Percus's (41), which needs EXH under a quantifier and the projection of its presupposition.
  • (79), (80): quién with collective predicates, unexpected on (78). The paper suggests moving the non-atomicity presupposition to the event and leaves the matter open.
  • Context as a source of alternatives is the proposition pl, not computed from the antecedent.

References

What a higher-order phrase ranges over (§4.3)

L84–87
L105–113
L115–124
L156–159
L164–173
L177–185
L187–198
L201–204

Strengthening and Avoid Ineffability (§4.4)

L242–244
L248–256
L278–284

Heim's catfish (43)–(48)

A is usable exactly where the speaker does not know that uniqueness holds: Avoid Ineffability gives the weak implicated presupposition, which is strengthening through a knowledge operator.

theorem avoidsIneffability_a_iffL333–347
{W : Type u_2} {u c : Set W} (hu : u ≠ Set.univ) (hc : c.Nonempty) :

Built from , , ,

The forms (§4.5)

L353–367
L369–376
L387–392
L397–398
L445–449
L452–453

What each form presupposes with EXH (§4.6)

Where each form is usable (§4.6)

L540–543
L547–558
L561–566
L569–584
L594–605
L608–618

The pronounced phrases

Without a plural antecedent quién is usable in every context: quién_(et)t has no alternative to compete with.

theorem Item.usable_quien_of_notL720–723
{E : Type u_1} [CompleteLattice E] {c : Set E} {pl : Prop} [Finite E] (hpl : ¬pl) :

Built from

L725–733

Without a plural antecedent quiénes is usable only where antiuniqueness holds throughout the context: quiénes_e cannot drop EXH, and Brevity leaves its higher-order parse to quién.

theorem Item.usable_quienes_iff_of_notL735–744
{E : Type u_1} [CompleteLattice E] [IsAtomistic E] {a b : E} {c : Set E} {pl : Prop} [Finite E] (ha : IsAtom a) (hb : IsAtom b) (hab : a ≠ b) (hpl : ¬pl) :
Usable pl c quienes ↔ c ⊆ {w : E | w ≠ ⊥ ∧ ¬IsAtom w}

Built from

L746–755
L757–799
L801–805
L807–814

Collective predicates (§5.3)

L824–826
L828–832
L842–847

The paper's judgments

L908–912

Each row's singular answer is accepted exactly when its phrase can be answered truly where one atom holds, and its plural answer where two do, in all four languages.

theorem rows_agreeL930–938
{E : Type u_1} [CompleteLattice E] [IsAtomistic E] [Finite E] {a b : E} (ha : IsAtom a) (hb : IsAtom b) (hab : a ≠ b) (e : Datum) :
e ∈ Examples.all → ∀ i ∈ answers? e, (a ∈ i.Answers ↔ List.lookup "singular answer" e.readings = some Judgment.acceptable) ∧ (a ⊔ b ∈ i.Answers ↔ List.lookup "plural answer" e.readings = some Judgment.acceptable)

Built from ,

Each row's phrase and its rival are judged acceptable exactly when they are usable in the context the row sets up.

theorem context_rows_agreeL940–949
{E : Type u_1} [CompleteLattice E] [IsAtomistic E] [Finite E] {a b : E} (ha : IsAtom a) (hb : IsAtom b) (hab : a ≠ b) (e : Datum) :
e ∈ Examples.all → ∀ κ ∈ ctx? e, (∀ i ∈ item? "form" e, Item.Usable (HasPluralAntecedent e) (Ctx.set a b κ) i ↔ e.judgment = Judgment.acceptable) ∧ ∀ i ∈ item? "rival" e, ∀ j ∈ Option.map Prod.snd e.alternatives.head?, Item.Usable (HasPluralAntecedent e) (Ctx.set a b κ) i ↔ j = Judgment.acceptable

Built from , , , ,