Documentation

Linglib.Discourse.Givenness

Givenness #

The cognitive statuses of discourse referents. A givenness status is one of the six tiers of the Givenness Hierarchy of [GHZ93], from in focus down to type identifiable, ordered so that each status entails every lower one (GivennessStatus); the binary givenness of information structure ([Kri08]) is the coarsening of the hierarchy at the identifiability boundary ([Lam94]), given against new (BinaryGivenness, GivennessStatus.toBinary).

Main definitions #

Implementation notes #

BinaryGivenness is identifiability. It is not [Pri92]'s hearer-old against hearer-new, which cross-cuts identifiability, nor alternatives-based givenness ([Sch99b]); a consumer meaning another axis should say so. The finer scales over referring forms are Discourse.AccessibilityLevel ([Ari01]) and Centering's information-status tiers ([SH99]).

References #

source
inductive Discourse.GivennessStatus :
Type

A givenness status is a tier of the Givenness Hierarchy of [GHZ93], the cognitive status of a referent for the hearer.

  • inFocus : GivennessStatus

    In focus: the referent is currently in attention (an unstressed pronoun).

  • activated : GivennessStatus

    Activated: the referent is in working memory (that, this, this N).

  • familiar : GivennessStatus

    Familiar: the referent is in long-term memory (that N).

  • uniquelyIdentifiable : GivennessStatus

    Uniquely identifiable: the hearer can construct the referent from the description alone (the N).

  • referential : GivennessStatus

    Referential: the speaker has a particular referent in mind (indefinite this N).

  • typeIdentifiable : GivennessStatus

    Type identifiable: the hearer can construct a representation of the type described (a N).

Instances For
    source
    @[instance_reducible]
    instance Discourse.instDecidableEqGivennessStatus :
    DecidableEq GivennessStatus
    Equations
    source
    def Discourse.instReprGivennessStatus.repr :
    GivennessStatus → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[instance_reducible]
      instance Discourse.instReprGivennessStatus :
      Repr GivennessStatus
      Equations
      source
      @[instance_reducible]
      instance Discourse.instFintypeGivennessStatus :
      Fintype GivennessStatus
      Equations
      • One or more equations did not get rendered due to their size.
      source
      @[instance_reducible]
      instance Discourse.instInhabitedGivennessStatus :
      Inhabited GivennessStatus
      Equations
      source
      def Discourse.GivennessStatus.rank :
      GivennessStatus → ℕ

      The rank of a status, higher for the more accessible.

      Equations
      Instances For
        source
        @[instance_reducible]
        instance Discourse.GivennessStatus.instLinearOrder :
        LinearOrder GivennessStatus

        typeIdentifiable < ⋯ < inFocus: each status entails every lower one.

        Equations
        source
        inductive Discourse.BinaryGivenness :
        Type

        Binary givenness is the given–new distinction of information structure, identifiability of the referent by the hearer ([Lam94]).

        Instances For
          source
          @[instance_reducible]
          instance Discourse.instDecidableEqBinaryGivenness :
          DecidableEq BinaryGivenness
          Equations
          source
          def Discourse.instReprBinaryGivenness.repr :
          BinaryGivenness → ℕ → Std.Format
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            @[instance_reducible]
            instance Discourse.instReprBinaryGivenness :
            Repr BinaryGivenness
            Equations
            source
            @[instance_reducible]
            instance Discourse.instFintypeBinaryGivenness :
            Fintype BinaryGivenness
            Equations
            • One or more equations did not get rendered due to their size.
            source
            @[instance_reducible]
            instance Discourse.instInhabitedBinaryGivenness :
            Inhabited BinaryGivenness
            Equations
            source
            def Discourse.BinaryGivenness.rank :
            BinaryGivenness → ℕ

            The rank of a binary status, higher for given.

            Equations
            Instances For
              source
              @[instance_reducible]
              instance Discourse.BinaryGivenness.instLinearOrder :
              LinearOrder BinaryGivenness

              new < given.

              Equations
              source
              @[instance_reducible]
              instance Discourse.BinaryGivenness.instBoundedOrder :
              BoundedOrder BinaryGivenness

              ⊥ = new, ⊤ = given.

              Equations
              • One or more equations did not get rendered due to their size.
              source
              instance Discourse.BinaryGivenness.instIsSimpleOrder :
              IsSimpleOrder BinaryGivenness
              source
              def Discourse.GivennessStatus.toBinary :
              GivennessStatus → BinaryGivenness

              The identifiability coarsening: the identifiable tiers are given, the indefinite tiers new.

              Equations
              Instances For
                source
                theorem Discourse.GivennessStatus.toBinary_monotone :
                Monotone toBinary