Documentation

Linglib.Phenomena.SentenceMood.Studies.Gutzmann2015

Gutzmann (2015): Sentence Mood as Use-Conditional Meaning #

@cite{gutzmann-2015}

Use-Conditional Meaning: Studies in Multidimensional Semantics. Oxford University Press.

Key Claims #

  1. Sentence mood operators (deontic, epistemic) are UCIs, not presuppositions
  2. The epistemic interpretation of [±wh] does NOT pass standard presupposition tests (negation, disjunction)
  3. V2-interrogatives carry a HKNOW condition absent from VL-interrogatives
  4. Modal particles are functional expletive UCIs whose mood restrictions derive from interaction with sentence mood operators
  5. wohl is a UC-modifier (not a UCI), with selectional restriction

Clause Type Predictions #

Clause typet-contentu-content
dass-VLpDEONT(p)
V2-declarativepDEONT(EPIS(p))
VL-interrogativepDEONT(EPIS(p))
V2-interrogativepDEONT(EPIS(p)) ⊙ HKNOW(p)
ImperativepDEONT(p)

The Cuban cigar argument: V2- and VL-interrogatives differ ONLY in the hearer knowledge condition. This explains why VL-interrogatives are felicitous even when the hearer clearly does not know the answer (the Cuban cigar scenario), while V2-interrogatives are not.

Imperatives share dass-VL mood structure (deontic only): both lack [±wh] at LF, so neither triggers epistemic interpretation.

Every matrix clause has a deontic operator (the root rule).

theorem Gutzmann2015.epis_preserves_truth {W : Type u_1} (p : WBool) (w : W) :

Epistemic embedding preserves truth at the world level. The epistemic contribution is purely use-conditional, not truth-conditional.

V2-interrogatives differ from VL-interrogatives only in HKNOW. Derived from the theory of [±wh] feature visibility.

wohl's distribution is fully derived from EPIS presence: wohl is licensed in a clause type iff that clause type has an epistemic mood operator. This is the formal content of the selectional restriction analysis — wohl has type ⟨⟨⟨s,t⟩,u⟩, ⟨⟨s,t⟩,u⟩⟩ and modifies EPIS, so clause types lacking EPIS produce a type mismatch.

ja is restricted to declaratives, matching the clause type with deontic + epistemic mood but without the hearer knowledge condition.

ja and denn partition clause types: they are never both licensed in the same clause type.