Documentation

Linglib.Discourse.SpeechAct

Speech acts #

This file defines the illocutionary force of an utterance and the preparatory conditions of a request for information. The force is the act an utterance performs, the F in F(p): asserting, asking, commanding, promising or exclaiming. Each sentence type conventionally performs one force, Clause.SentenceType.force, the three interrogatives all asking, and a form used for another act, a rising declarative that asks or an interrogative that requests, is a mismatch between that pairing and the act. Lakoff assigns each force the participant with epistemic authority over its content, the addressee for a question and the speaker otherwise. A speech act is felicitous only if its preparatory conditions hold, as Searle observes; for a request, that the addressee is able to do what is requested. The preparatory conditions of a request for information, in the inventory of Francik and Clark, are the obstacles a speaker may see to getting the information, partially ordered by specificity.

Main definitions #

References #

Illocutionary force #

source
inductive Discourse.SpeechAct.Force :
Type

The illocutionary force of an utterance is the act it performs, the F in F(p), which its sentence type conventionally fixes and which form and use may pull apart.

Instances For
    source
    @[instance_reducible]
    instance Discourse.SpeechAct.instDecidableEqForce :
    DecidableEq Force
    Equations
    source
    @[instance_reducible]
    instance Discourse.SpeechAct.instReprForce :
    Repr Force
    Equations
    source
    def Discourse.SpeechAct.instReprForce.repr :
    Force → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[instance_reducible]
      instance Discourse.SpeechAct.instInhabitedForce :
      Inhabited Force
      Equations
      source
      @[instance_reducible]
      instance Discourse.SpeechAct.instFintypeForce :
      Fintype Force
      Equations
      • One or more equations did not get rendered due to their size.
      source
      def Discourse.SpeechAct.Force.authority :
      Force → Role

      The participant Lakoff gives epistemic authority over the content of a force is the addressee for a question and the speaker otherwise.

      Equations
      Instances For

        Preparatory conditions #

        source
        inductive Discourse.SpeechAct.PreparatoryCondition :
        Type

        A preparatory condition of a request for information, an obstacle to compliance.

        Instances For
          source
          @[instance_reducible]
          instance Discourse.SpeechAct.instDecidableEqPreparatoryCondition :
          DecidableEq PreparatoryCondition
          Equations
          source
          def Discourse.SpeechAct.instReprPreparatoryCondition.repr :
          PreparatoryCondition → ℕ → Std.Format
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            @[instance_reducible]
            instance Discourse.SpeechAct.instReprPreparatoryCondition :
            Repr PreparatoryCondition
            Equations
            source
            @[instance_reducible]
            instance Discourse.SpeechAct.instInhabitedPreparatoryCondition :
            Inhabited PreparatoryCondition
            Equations
            source
            @[instance_reducible]
            instance Discourse.SpeechAct.instFintypePreparatoryCondition :
            Fintype PreparatoryCondition
            Equations
            • One or more equations did not get rendered due to their size.
            source
            def Discourse.SpeechAct.PreparatoryCondition.le :
            PreparatoryCondition → PreparatoryCondition → Prop

            Satisfying the first condition is a way of satisfying the second: knowing, remembering, having noticed the source and being allowed to tell are ways of being able to supply the information, and remembering or having noticed the source are ways of knowing it.

            Equations
            Instances For
              source
              @[instance_reducible]
              instance Discourse.SpeechAct.PreparatoryCondition.instDecidableRelLe :
              DecidableRel PreparatoryCondition.le
              Equations
              • One or more equations did not get rendered due to their size.
              source
              @[instance_reducible]
              instance Discourse.SpeechAct.PreparatoryCondition.instLE :
              LE PreparatoryCondition
              Equations
              source
              @[instance_reducible]
              instance Discourse.SpeechAct.PreparatoryCondition.instDecidableLE :
              DecidableLE PreparatoryCondition
              Equations
              source
              @[instance_reducible]
              instance Discourse.SpeechAct.PreparatoryCondition.instPartialOrder :
              PartialOrder PreparatoryCondition
              Equations
              • One or more equations did not get rendered due to their size.
              source
              instance Discourse.SpeechAct.PreparatoryCondition.instNoTopOrder :
              NoTopOrder PreparatoryCondition
              source
              instance Discourse.SpeechAct.PreparatoryCondition.instNoBotOrder :
              NoBotOrder PreparatoryCondition

              The conventional force of a sentence type #

              source
              def Clause.SentenceType.force :
              SentenceType → Discourse.SpeechAct.Force

              The force a sentence type conventionally performs, asking for the three interrogatives and the act of its name for each other type.

              Equations
              Instances For
                source
                theorem Clause.SentenceType.force_surjective :
                Function.Surjective force

                Every force is the conventional force of some sentence type.

                source
                theorem Clause.SentenceType.force_eq_interrogative_iff (t : SentenceType) :
                t.force = Discourse.SpeechAct.Force.interrogative ↔ t.IsInterrogative

                A sentence type asks iff it is interrogative.