Social Meaning and the Indexical Field @cite{eckert-2008}

@cite{beltrama-schwarz-2024}

Framework-agnostic types for the social meaning of linguistic variation, following @cite{eckert-2008}'s theory of the indexical field.

A linguistic variable's social meaning is not a fixed correspondence to a social category but a constellation of ideologically linked persona traits — an indexical field — that can be selectively activated by context.

Core concepts

Indexical order: variables accumulate layers of social meaning. First-order (demographic correlation, below awareness) → second-order (stylistic marker, available for manipulation) → third-order (stereotype, subject to metapragmatic commentary).

Stances vs. qualities: variables directly index interactional stances (momentary positions like "being precise right now"). Habitual stances accrete into attributed qualities (stable traits like "is meticulous"). Social meaning mediates between form and identity through this stance → quality pathway.

Indexical field: the constellation of potential meanings associated with a variant. Not a fixed meaning but a structured space — each use activates a region of the field, contextually selecting among ideologically linked traits (Figures 3–4 in @cite{eckert-2008}).

Connections

• Core.Register.SocialIndex: competence/solidarity is one axis of the social space that indexical fields map into
• RSA.CombinedUtility: social utility as a component of speaker utility
• RSA.NoncooperativeCommunication.SpeakerOrientation: cooperative vs. argumentative as a coarse speaker-type dimension

inductive Core.SocialMeaning.IndexicalOrder : Type

@cite{silverstein-2003}'s indexical order: how a variable's social meaning accumulates layers through use and metapragmatic awareness.

Each order presupposes the previous: a variable must correlate with a social category (first-order) before speakers can consciously manipulate it (second-order), and must be a marker before it can become a stereotype subject to overt commentary (third-order).

• first : IndexicalOrder

  Correlates with a social category but below conscious awareness.

• second : IndexicalOrder

  Noticed and available for stylistic manipulation (Labov's "marker").

• third : IndexicalOrder

  Stereotype: subject to metapragmatic commentary and performance.

instance Core.SocialMeaning.instDecidableEqIndexicalOrder : DecidableEq IndexicalOrder

Equations

• Core.SocialMeaning.instDecidableEqIndexicalOrder x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.SocialMeaning.instBEqIndexicalOrder.beq : IndexicalOrder → IndexicalOrder → Bool

Equations

• Core.SocialMeaning.instBEqIndexicalOrder.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.SocialMeaning.instBEqIndexicalOrder : BEq IndexicalOrder

Equations

• Core.SocialMeaning.instBEqIndexicalOrder = { beq := Core.SocialMeaning.instBEqIndexicalOrder.beq }

def Core.SocialMeaning.instReprIndexicalOrder.repr : IndexicalOrder → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

instance Core.SocialMeaning.instReprIndexicalOrder : Repr IndexicalOrder

Equations

• Core.SocialMeaning.instReprIndexicalOrder = { reprPrec := Core.SocialMeaning.instReprIndexicalOrder.repr }

def Core.SocialMeaning.IndexicalOrder.toNat : IndexicalOrder → ℕ

Equations

• Core.SocialMeaning.IndexicalOrder.first.toNat = 0
• Core.SocialMeaning.IndexicalOrder.second.toNat = 1
• Core.SocialMeaning.IndexicalOrder.third.toNat = 2

instance Core.SocialMeaning.instLTIndexicalOrder : LT IndexicalOrder

Equations

• Core.SocialMeaning.instLTIndexicalOrder = { lt := fun (a b : Core.SocialMeaning.IndexicalOrder) => a.toNat < b.toNat }

instance Core.SocialMeaning.instLEIndexicalOrder : LE IndexicalOrder

Equations

• Core.SocialMeaning.instLEIndexicalOrder = { le := fun (a b : Core.SocialMeaning.IndexicalOrder) => a.toNat ≤ b.toNat }

instance Core.SocialMeaning.instDecidableLtIndexicalOrder (a b : IndexicalOrder) : Decidable (a < b)

Equations

• Core.SocialMeaning.instDecidableLtIndexicalOrder a b = a.toNat.decLt b.toNat

instance Core.SocialMeaning.instDecidableLeIndexicalOrder (a b : IndexicalOrder) : Decidable (a ≤ b)

Equations

• Core.SocialMeaning.instDecidableLeIndexicalOrder a b = a.toNat.decLe b.toNat

theorem Core.SocialMeaning.first_lt_second : IndexicalOrder.first < IndexicalOrder.second

theorem Core.SocialMeaning.second_lt_third : IndexicalOrder.second < IndexicalOrder.third

inductive Core.SocialMeaning.StanceLevel : Type

Eckert's distinction between momentary interactional positions and stable attributed characteristics.

Variables directly index stances. Qualities are attributed on the basis of habitual stance-taking: a person who habitually takes precise stances gets attributed the quality "meticulous".

• stance : StanceLevel

  Momentary interactional position (e.g., "being precise right now").

• quality : StanceLevel

  Stable attributed characteristic (e.g., "is a meticulous person"). Accretes from habitual stances.

instance Core.SocialMeaning.instDecidableEqStanceLevel : DecidableEq StanceLevel

Equations

• Core.SocialMeaning.instDecidableEqStanceLevel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.SocialMeaning.instBEqStanceLevel.beq : StanceLevel → StanceLevel → Bool

Equations

• Core.SocialMeaning.instBEqStanceLevel.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.SocialMeaning.instBEqStanceLevel : BEq StanceLevel

Equations

• Core.SocialMeaning.instBEqStanceLevel = { beq := Core.SocialMeaning.instBEqStanceLevel.beq }

instance Core.SocialMeaning.instReprStanceLevel : Repr StanceLevel

Equations

• Core.SocialMeaning.instReprStanceLevel = { reprPrec := Core.SocialMeaning.instReprStanceLevel.repr }

def Core.SocialMeaning.instReprStanceLevel.repr : StanceLevel → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

structure Core.SocialMeaning.IndexicalField (Variant Trait : Type) : Type

An indexical field: the constellation of ideologically related meanings associated with a linguistic variable.

Parameterized by:

• Variant: variant forms of the variable (e.g., round vs. precise numeral)
• Trait: persona traits in the field (e.g., meticulous, casual,...)

The association function maps each (variant, trait) pair to a rational value. Positive values mean the variant indexes toward the trait; negative values mean it indexes away. The field is context-dependent: the same variable may have different fields in different contexts (@cite{eckert-2008}: "the field is a space of potential meanings").

• association : Variant → Trait → ℚ

  How strongly using this variant indexes this trait. Positive = toward, negative = away.

• order : IndexicalOrder

  Indexical order of this variable.

def Core.SocialMeaning.IndexicalField.contrasts {Variant Trait : Type} (field : IndexicalField Variant Trait) (v₁ v₂ : Variant) (t : Trait) : Prop

Two variants contrast on a trait when their associations differ.

Equations

• field.contrasts v₁ v₂ t = (field.association v₁ t ≠ field.association v₂ t)

def Core.SocialMeaning.IndexicalField.indexes {Variant Trait : Type} (field : IndexicalField Variant Trait) (v : Variant) (t : Trait) : Prop

A variant positively indexes a trait.

Equations

• field.indexes v t = (field.association v t > 0)