Presupposition trigger types

Classification of presupposition triggers by hosting lexical class, the consensus inventory of the projection literature (cf. [Zee92], [TBRS13]). Fragment lexical entries carry a PresupTrigger value as theory-neutral metadata; orthogonal classifications of the same inventory are the projection classes of Semantics.Presupposition.ProjectiveContent and the soft/hard distinction in Semantics.Verb.

inductive Semantics.Presupposition.TriggerTypology.PresupTrigger : Type

Presupposition trigger classes, by hosting lexical item.

• definite : PresupTrigger

  Definite descriptions: "the X" presupposes X exists and is unique

• factive : PresupTrigger

  Factive predicates: "know/regret that P" presupposes P

• changeOfState : PresupTrigger

  Change-of-state predicates: "stop/start V-ing" presuppose a prior state

• iterative : PresupTrigger

  Repetitive iteratives: "again" presupposes a prior occurrence. An intervening ¬P interval (P-then-¬P-then-P-again) is presupposed only for stative hosts in competition with the continuative; eventive again (John won again) requires precedence only (cf. [vS96]). English again, German wieder, Mandarin you 又, Cantonese jau.

• continuative : PresupTrigger

  Continuatives: "still" presuppose uninterrupted continuation of P throughout an interval up to and including the reference time. Distinct from .iterative (interruption presupposed only for statives) and from .changeOfState (which involves a polarity flip). English still, Mandarin reng 仍 / hai 还, Cantonese zung 仲. Cf. [Ipp07] on still vs again.

• additive : PresupTrigger

  Additives: "too/also" presuppose that a distinct salient alternative satisfies the predicate — the paradigm anaphoric trigger ([Kri09]). English too, German auch, Mandarin ye 也.

• exclusive : PresupTrigger

  Exclusives: "only P" presupposes its prejacent P. English only, Mandarin jiu 就.

• contrastive : PresupTrigger

  Contrastives: "instead"-type particles presuppose a contextually salient contrary expectation. Mandarin fan'er 反而 / er 而.

• cleft : PresupTrigger

  Cleft constructions: "It was X that..." presupposes existence

• aspectual : PresupTrigger

  Aspectual predicates: "finish", "continue" presuppose event structure

@[instance_reducible]

instance Semantics.Presupposition.TriggerTypology.instDecidableEqPresupTrigger : DecidableEq PresupTrigger

Equations

• Semantics.Presupposition.TriggerTypology.instDecidableEqPresupTrigger x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Semantics.Presupposition.TriggerTypology.instReprPresupTrigger.repr : PresupTrigger → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Semantics.Presupposition.TriggerTypology.instReprPresupTrigger : Repr PresupTrigger

Equations

• Semantics.Presupposition.TriggerTypology.instReprPresupTrigger = { reprPrec := Semantics.Presupposition.TriggerTypology.instReprPresupTrigger.repr }