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

• Features.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 Phenomena.SocialMeaning.IndexicalField.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.

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instDecidableEqIndexicalOrder : DecidableEq IndexicalOrder

Equations

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

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instReprIndexicalOrder : Repr IndexicalOrder

Equations

• Phenomena.SocialMeaning.IndexicalField.instReprIndexicalOrder = { reprPrec := Phenomena.SocialMeaning.IndexicalField.instReprIndexicalOrder.repr }

def Phenomena.SocialMeaning.IndexicalField.instReprIndexicalOrder.repr : IndexicalOrder → ℕ → Std.Format

Equations

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

def Phenomena.SocialMeaning.IndexicalField.IndexicalOrder.toNat : IndexicalOrder → ℕ

Equations

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

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instLinearOrderIndexicalOrder : LinearOrder IndexicalOrder

Equations

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

structure Phenomena.SocialMeaning.IndexicalField.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 Phenomena.SocialMeaning.IndexicalField.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 Phenomena.SocialMeaning.IndexicalField.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)

inductive Phenomena.SocialMeaning.IndexicalField.ContextualStyle : Type

@cite{labov-2006}'s attention-to-speech model of contextual style.

Speech formality increases with the degree of conscious monitoring. The five levels correspond to the interview methodology: casual speech elicited through group interaction and emotional narratives (A), careful interview speech (B), reading aloud (C), word lists (D), and minimal pairs that force attention to a specific contrast (D').

• casual : ContextualStyle
• careful : ContextualStyle
• reading : ContextualStyle
• wordList : ContextualStyle
• minimalPair : ContextualStyle

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instDecidableEqContextualStyle : DecidableEq ContextualStyle

Equations

• Phenomena.SocialMeaning.IndexicalField.instDecidableEqContextualStyle x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.SocialMeaning.IndexicalField.instReprContextualStyle.repr : ContextualStyle → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instReprContextualStyle : Repr ContextualStyle

Equations

• Phenomena.SocialMeaning.IndexicalField.instReprContextualStyle = { reprPrec := Phenomena.SocialMeaning.IndexicalField.instReprContextualStyle.repr }

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instInhabitedContextualStyle : Inhabited ContextualStyle

Equations

• Phenomena.SocialMeaning.IndexicalField.instInhabitedContextualStyle = { default := Phenomena.SocialMeaning.IndexicalField.instInhabitedContextualStyle.default }

def Phenomena.SocialMeaning.IndexicalField.instInhabitedContextualStyle.default : ContextualStyle

Equations

• Phenomena.SocialMeaning.IndexicalField.instInhabitedContextualStyle.default = Phenomena.SocialMeaning.IndexicalField.ContextualStyle.casual

def Phenomena.SocialMeaning.IndexicalField.ContextualStyle.toNat : ContextualStyle → ℕ

Equations

• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.casual.toNat = 0
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.careful.toNat = 1
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.reading.toNat = 2
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.wordList.toNat = 3
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.minimalPair.toNat = 4

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instLinearOrderContextualStyle : LinearOrder ContextualStyle

Equations

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

def Phenomena.SocialMeaning.IndexicalField.ContextualStyle.toRegisterLevel : ContextualStyle → Features.Register.Level

Bridge to Features.Register.Level: maps the 5-point Labovian style scale to the 3-point register scale used by Fragment lexical entries.

Equations

• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.casual.toRegisterLevel = Features.Register.Level.informal
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.careful.toRegisterLevel = Features.Register.Level.informal
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.reading.toRegisterLevel = Features.Register.Level.neutral
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.wordList.toRegisterLevel = Features.Register.Level.formal
• Phenomena.SocialMeaning.IndexicalField.ContextualStyle.minimalPair.toRegisterLevel = Features.Register.Level.formal

structure Phenomena.SocialMeaning.IndexicalField.StratificationProfile (Group Style : Type) : Type

A stratification profile: the fundamental data object of variationist sociolinguistics (@cite{labov-2006}).

Maps (social group, contextual style) pairs to a variable index (ℚ), where the index is the proportion of non-prestige variant usage (0–100). Every @cite{labov-2006}-style stratification diagram is a visualization of one of these matrices.

• index : Group → Style → ℚ

def Phenomena.SocialMeaning.IndexicalField.StratificationProfile.isMonotoneDown {Group Style : Type} [LT Group] [DecidableRel fun (x1 x2 : Group) => x1 < x2] (p : StratificationProfile Group Style) (styles : List Style) : Prop

A stratification profile is monotone (down) if higher-ranked groups use less of the stigmatized variant, in every style. This is the canonical pattern for socially stratified variables.

Equations

• p.isMonotoneDown styles = ∀ (s : Style), s ∈ styles → ∀ (g₁ g₂ : Group), g₁ < g₂ → p.index g₁ s ≥ p.index g₂ s

def Phenomena.SocialMeaning.IndexicalField.StratificationProfile.hasStyleShift {Group Style : Type} [LT Style] [DecidableRel fun (x1 x2 : Style) => x1 < x2] (p : StratificationProfile Group Style) (groups : List Group) : Prop

A profile exhibits style shifting if every group uses less of the stigmatized variant in more formal styles.

Equations

• p.hasStyleShift groups = ∀ (g : Group), g ∈ groups → ∀ (s₁ s₂ : Style), s₁ < s₂ → p.index g s₁ ≥ p.index g s₂

def Phenomena.SocialMeaning.IndexicalField.StratificationProfile.hasCrossover {Group Style : Type} (p : StratificationProfile Group Style) (g₁ g₂ : Group) (s₁ s₂ : Style) : Prop

A crossover occurs when group g₁ has a higher index than g₂ in style s₁, but lower in style s₂. The canonical example: lower-middle class exceeds upper-middle class in formal styles for (r) in NYC.

Equations

• p.hasCrossover g₁ g₂ s₁ s₂ = (p.index g₁ s₁ > p.index g₂ s₁ ∧ p.index g₁ s₂ < p.index g₂ s₂)

inductive Phenomena.SocialMeaning.IndexicalField.ChangeStatus : Type

@cite{labov-2006}'s classification of variable change status.

Labov distinguishes stable variables (no change in apparent time) from variables undergoing change. Changes "from above" are led by the highest-status group and involve adoption of an overt prestige norm; changes "from below" are led by interior groups and proceed below conscious awareness until they reach the level of social comment.

• stable : ChangeStatus

  No change in apparent time; stable social stratification.

• changeFromAbove : ChangeStatus

  Prestige variant spreading from highest-status group downward.

• changeFromBelow : ChangeStatus

  Non-prestige variant spreading from interior social groups.

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instDecidableEqChangeStatus : DecidableEq ChangeStatus

Equations

• Phenomena.SocialMeaning.IndexicalField.instDecidableEqChangeStatus x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.SocialMeaning.IndexicalField.instReprChangeStatus.repr : ChangeStatus → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Phenomena.SocialMeaning.IndexicalField.instReprChangeStatus : Repr ChangeStatus

Equations

• Phenomena.SocialMeaning.IndexicalField.instReprChangeStatus = { reprPrec := Phenomena.SocialMeaning.IndexicalField.instReprChangeStatus.repr }

structure Phenomena.SocialMeaning.IndexicalField.VariableBehavior : Type

A variable's sociolinguistic behavior: its structural properties in the social matrix, its indexical order (awareness level), and its change status. This type connects Labov's variationist classification to @cite{silverstein-2003}'s indexical orders already formalized in IndexicalOrder.

• order : IndexicalOrder

  Silverstein's indexical order (awareness level).

• change : ChangeStatus

  Stability vs. direction of change.

def Phenomena.SocialMeaning.IndexicalField.VariableBehavior.isIndicator (vb : VariableBehavior) : Prop

Indicators are first-order: socially stratified but below conscious awareness, hence no style shifting.

Equations

• vb.isIndicator = (vb.order = Phenomena.SocialMeaning.IndexicalField.IndexicalOrder.first)

def Phenomena.SocialMeaning.IndexicalField.VariableBehavior.isMarker (vb : VariableBehavior) : Prop

Markers are second-order: socially stratified AND showing style shifting. Available for conscious manipulation.

Equations

• vb.isMarker = (vb.order = Phenomena.SocialMeaning.IndexicalField.IndexicalOrder.second)

def Phenomena.SocialMeaning.IndexicalField.VariableBehavior.isStereotype (vb : VariableBehavior) : Prop

Stereotypes are third-order: subject to overt metapragmatic commentary and performance.

Equations

• vb.isStereotype = (vb.order = Phenomena.SocialMeaning.IndexicalField.IndexicalOrder.third)

def Phenomena.SocialMeaning.IndexicalField.composeIndex {S M T : Type} (f₁ : S → M → ℚ) (f₂ : M → T → ℚ) (allM : List M) (s : S) (t : T) : ℚ

Compose two association maps through an intermediate domain.

The composed association of source s with target t is the sum over all mediating elements m of f₁(s,m) × f₂(m,t):

composed(s, t) = Σ_m f₁(s,m) × f₂(m,t)

This formalizes @cite{ochs-1992}'s indirect indexicality: linguistic forms do not directly index gender; they index stances, which in turn index gender. The composed value captures how strongly a form indirectly indexes a gender category.

Requires a list of all mediators (study files with [Fintype M] pass Fintype.elems.toList).

Equations

• Phenomena.SocialMeaning.IndexicalField.composeIndex f₁ f₂ allM s t = (List.map (fun (m : M) => f₁ s m * f₂ m t) allM).sum