Docs / Semantics / Mood / SpeechEvent

The speech event and its content

import Linglib.Semantics.Mood.SpeechEvent

Hacquard adopts the Speech Act Phrase of Speas and Tenny, whose head introduces a speech event e* and encodes illocutionary force, and adds that the speech event has content CON(e*): the speaker's beliefs for a declarative, the addressee's To-Do List for an imperative. A modal bound by e* reads CON(e*) as its conversational background, so the event rather than a lexical ambiguity supplies the modal's flavor. Here CON(e*) enters the discourse context through the update of the force, which changes the speaker's context set for a declarative and the addressee's ordering for an imperative, and the licensed modal and flavor are read off the component the force updates, in the states of the participants it updates.

Main definitions

Implementation notes

  • Hacquard's four speech acts are declaratives, interrogatives, imperatives and quotatives, after Tenny and Speas; Speas and Tenny 2003 derive the subjunctive in place of the quotative, whose status they leave open. Discourse.SpeechAct.Force has neither the subjunctive nor the quotative and adds the promise and the exclamation.
  • Hacquard gives content only to declaratives and imperatives, and the inquiry licenses no flavor.
  • Hacquard's deontic accessibility relation reads the To-Do List of the addressee of whatever event binds the modal, a declarative speech event included, and keeps the worlds compatible with it. Here the To-Do List is the content of an imperative speech event and ranks the worlds instead; the optimal worlds are the compatible ones whenever the list is consistent (SpeechEvent.optimal_toContext_imperative).
  • Which event binds a modal is the business of Semantics/Modality/EventRelativity.lean.

References

Speech events

L77–80
L82–85

The induced context

The discourse context a speech event induces at anchor world w₀ folds CON(e*)(w₀) through the update of its force, from the context in which no participant has commitments.

def Mood.SpeechEvent.toContextL89–92
{W : Type u_1} (sa : SpeechEvent W) (w₀ : W) :

Built from

Used by Mood.SpeechEvent.toContext_declarative_speaker, Mood.SpeechEvent.toContext_imperative_addressee, Mood.SpeechEvent.mem_toContext_declarative_info, Mood.SpeechEvent.toContext_imperative_info, Mood.SpeechEvent.optimal_toContext_imperative, Mood.SpeechEvent.modal, Mood.SpeechEvent.modal_declarative, Mood.SpeechEvent.modal_imperative

L108–113
L121–135

The licensed modal

The necessity modal a speech event licenses is the modal of the component its force updates, in the state of each participant the force updates (Hacquard 2006's epistemic and deontic readings); a force without a component licenses none.

def Mood.SpeechEvent.modalL139–143
{W : Type u_1} (sa : SpeechEvent W) (w₀ : W) (p : W → Prop) :

Built from ,

Used by Mood.SpeechEvent.modal_declarative, Mood.SpeechEvent.modal_imperative, Mood.SpeechEvent.modal_declarative_iff

Used in Hacquard2006

L157–166

Flavor factors through the component classification

L170–177
L179–185