Documentation

Linglib.Phenomena.Reference.Studies.AnandNevins2004

Reference: ContextTower #

@cite{anand-nevins-2004} @cite{banfield-1982} @cite{kaplan-1989} @cite{schlenker-2003}

End-to-end derivation chain connecting the ContextTower infrastructure to the direct reference and indexical shift data in Phenomena.Reference.DirectReference.

Derivation Chain #

Core.Context.Tower (ContextTower, push, origin, innermost)
    ↓
Core.Context.Shifts (attitudeShift, perspectiveShift, identityShift)
    ↓
Theories.Semantics.Reference.FreeIndirectDiscourse (FIDProfile)
    ↓
This file: tower operations model Kaplan's thesis and its violations
    ↓
Phenomena.Reference.DirectReference (MonsterThesis, shift languages)

Key Results #

  1. Kaplan's thesis = identityShift: English attitude verbs push identity shifts, so embedded indexicals read from origin (speaker's context)
  2. Indexical shift = perspectiveShift: shift languages (Amharic, Zazaki) push perspective shifts, so embedded "I" reads from local (attitude holder's context)
  3. FID = mixed access: Classic FID reads agent from origin (narrator) but time/world from local (character) — the hallmark mixed perspective
  4. Direct speech = full local access: All coordinates from the embedded context (full perspective shift)
source
inductive Phenomena.Reference.Studies.AnandNevins2004.Agent :
Type

A context with distinguishable agents (for testing identity).

Instances For
    source
    instance Phenomena.Reference.Studies.AnandNevins2004.instDecidableEqAgent :
    DecidableEq Agent
    Equations
    source
    def Phenomena.Reference.Studies.AnandNevins2004.instReprAgent.repr :
    Agent → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Phenomena.Reference.Studies.AnandNevins2004.instReprAgent :
      Repr Agent
      Equations
      source
      instance Phenomena.Reference.Studies.AnandNevins2004.instBEqAgent :
      BEq Agent
      Equations
      source
      def Phenomena.Reference.Studies.AnandNevins2004.instBEqAgent.beq :
      Agent → Agent → Bool
      Equations
      Instances For
        source
        @[reducible, inline]
        abbrev Phenomena.Reference.Studies.AnandNevins2004.RefCtx :
        Type
        Equations
        Instances For
          source
          def Phenomena.Reference.Studies.AnandNevins2004.speechCtx :
          RefCtx

          Speech-act context: narrator speaking at time 0.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Phenomena.Reference.Studies.AnandNevins2004.rootTower :
            Core.Context.ContextTower RefCtx

            Root tower at the speech-act context.

            Equations
            Instances For
              source
              def Phenomena.Reference.Studies.AnandNevins2004.englishAttitudeTower :
              Core.Context.ContextTower RefCtx

              English attitude verbs push identity shifts (Kaplan's thesis). "John said that I am here now" — "I", "here", "now" all refer to the speaker, not to John.

              Equations
              Instances For
                source
                theorem Phenomena.Reference.Studies.AnandNevins2004.english_I_is_narrator :
                englishAttitudeTower.innermost.agent = Agent.narrator

                Under an identity shift, the embedded agent is still the narrator. This is Kaplan's thesis: English indexicals are not shifted.

                source
                theorem Phenomena.Reference.Studies.AnandNevins2004.english_now_is_speech_time :
                englishAttitudeTower.innermost.time = 0

                Under an identity shift, the embedded time is still 0. "Now" refers to the speech time, not the attitude time.

                source
                theorem Phenomena.Reference.Studies.AnandNevins2004.kaplan_holds_english :
                DirectReference.monsterThesis.holdsForEnglish = true

                Kaplan's thesis holds for English — consistent with monsterThesis.holdsForEnglish.

                source
                def Phenomena.Reference.Studies.AnandNevins2004.shiftLanguageTower :
                Core.Context.ContextTower RefCtx

                Shift languages (Amharic, Zazaki, etc.) push perspective shifts. The attitude verb shifts the agent to the attitude holder and the time to the attitude time.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  theorem Phenomena.Reference.Studies.AnandNevins2004.shifted_I_is_character :
                  shiftLanguageTower.innermost.agent = Agent.character

                  Under a perspective shift, the embedded agent is the character. "I" in Amharic under an attitude verb refers to the attitude holder.

                  source
                  theorem Phenomena.Reference.Studies.AnandNevins2004.shifted_now_is_attitude_time :
                  shiftLanguageTower.innermost.time = -3

                  Under a perspective shift, the embedded time is the attitude time. "Now" in a shifted language refers to the attitude time, not speech time.

                  source
                  theorem Phenomena.Reference.Studies.AnandNevins2004.monsters_exist :
                  DirectReference.monsterThesis.challengedCrossLinguistically = true

                  The monster thesis IS challenged cross-linguistically — consistent with monsterThesis.challengedCrossLinguistically.

                  source
                  def Phenomena.Reference.Studies.AnandNevins2004.fidTower :
                  Core.Context.ContextTower RefCtx

                  Classic FID pushes a perspective shift (character's time/world) but reads the agent from origin (narrator). The FIDProfile encodes this per-coordinate depth specification.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    def Phenomena.Reference.Studies.AnandNevins2004.classicFIDProfile :
                    Semantics.Reference.FreeIndirectDiscourse.FIDProfile

                    Classic FID profile: agent from origin, everything else from local.

                    Equations
                    Instances For
                      source
                      theorem Phenomena.Reference.Studies.AnandNevins2004.fid_agent_is_narrator :
                      classicFIDProfile.resolveAgent fidTower = Agent.narrator

                      In FID, the agent is the narrator (read from origin).

                      source
                      theorem Phenomena.Reference.Studies.AnandNevins2004.fid_time_is_character :
                      classicFIDProfile.resolveTime fidTower = -5

                      In FID, the time is the character's (read from local).

                      source
                      theorem Phenomena.Reference.Studies.AnandNevins2004.fid_is_mixed_perspective :
                      classicFIDProfile.resolveAgent fidTower ≠ fidTower.innermost.agent

                      FID is genuinely mixed: agent ≠ what perspectiveShift gives.

                      source
                      def Phenomena.Reference.Studies.AnandNevins2004.indirectProfile :
                      Semantics.Reference.FreeIndirectDiscourse.FIDProfile

                      Indirect speech: all coordinates from origin (Kaplan-compliant).

                      Equations
                      Instances For
                        source
                        def Phenomena.Reference.Studies.AnandNevins2004.directProfile :
                        Semantics.Reference.FreeIndirectDiscourse.FIDProfile

                        Direct speech: all coordinates from local (full shift).

                        Equations
                        Instances For
                          source
                          theorem Phenomena.Reference.Studies.AnandNevins2004.indirect_agent_narrator :
                          indirectProfile.resolveAgent fidTower = Agent.narrator

                          In indirect speech, agent is narrator (from origin).

                          source
                          theorem Phenomena.Reference.Studies.AnandNevins2004.direct_agent_character :
                          directProfile.resolveAgent fidTower = Agent.character

                          In direct speech, agent is character (from local).

                          source
                          theorem Phenomena.Reference.Studies.AnandNevins2004.fid_agent_eq_indirect :
                          classicFIDProfile.resolveAgent fidTower = indirectProfile.resolveAgent fidTower

                          FID agent agrees with indirect speech (both from origin).

                          source
                          theorem Phenomena.Reference.Studies.AnandNevins2004.fid_time_eq_direct :
                          classicFIDProfile.resolveTime fidTower = directProfile.resolveTime fidTower

                          FID time agrees with direct speech (both from local).