Documentation

Linglib.Core.Mood.IllocutionaryMood

Illocutionary Mood — the Speech-Act Force Category #

The category of speech-act force a clause is associated with: declarative, interrogative, imperative, promissive, exclamative. This is the F in F(p).

Distinct from:

The pair (IllocutionaryMood, GramMood) is Core.Mood.ClauseType.

This file contains only the category — the enum + its sole intrinsic property moodAuthority (which participant has epistemic authority). The act-side extensions (Searle classes, direction of fit, preparatory conditions) live in Core/Discourse/IllocutionaryForce.lean, which imports this file. The split keeps Core/Mood/ framework-agnostic and free of pragmatic-act commitments.

The DiscourseRole type lives in Core/Discourse/Roles.lean because it is about discourse participants (speaker/addressee), not about mood.

source
inductive Core.Mood.IllocutionaryMood :
Type

Illocutionary mood — the speech-act force of an utterance.

Distinct from GramMood (indicative/subjunctive morphology) and the Minimalist SAPMood (configurational). This classifies the pragmatic act performed — the F in F(p).

Instances For
    source
    @[implicit_reducible]
    instance Core.Mood.instDecidableEqIllocutionaryMood :
    DecidableEq IllocutionaryMood
    Equations
    source
    def Core.Mood.instReprIllocutionaryMood.repr :
    IllocutionaryMood → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[implicit_reducible]
      instance Core.Mood.instReprIllocutionaryMood :
      Repr IllocutionaryMood
      Equations
      source
      def Core.Mood.instInhabitedIllocutionaryMood.default :
      IllocutionaryMood
      Equations
      Instances For
        source
        @[implicit_reducible]
        instance Core.Mood.instInhabitedIllocutionaryMood :
        Inhabited IllocutionaryMood
        Equations
        source
        @[implicit_reducible]
        instance Core.Mood.instFintypeIllocutionaryMood :
        Fintype IllocutionaryMood
        Equations
        • One or more equations did not get rendered due to their size.
        source
        def Core.Mood.moodAuthority :
        IllocutionaryMood → Discourse.DiscourseRole

        Which participant holds epistemic authority for a given illocutionary mood.

        @cite{lakoff-1970}: in declaratives, imperatives, and promissives the speaker is the seat of knowledge; in interrogatives the addressee is.

        Equations
        Instances For