@cite{ochs-1992} — Indexing Gender

Overview

@cite{ochs-1992} argues that the relation between language and gender is almost never a direct mapping from linguistic form to gender category. Instead, linguistic forms index stances and speech acts, which in turn constitutively relate to gender identity. Three properties characterize this relation:

1. Non-exclusivity: few features of language directly and exclusively index gender. The association is probabilistic, not categorical.
2. Constitutivity: using certain linguistic forms helps constitute gender identity, not merely reflect it (cf. "doing gender," @cite{west-zimmerman-1987}).
3. Mediation: the relation is indirect — form → stance/act → gender. Direct indexical relations (e.g., "he"/"she") are rare; mediated relations (e.g., ze → coarse intensity → masculinity) are the norm.

Formalization

The core formal contribution is modeling indirect indexicality as composition of association maps (@cite{ochs-1992} Figure 14.2):

• Field 1 (formStanceAssoc): maps sentence-final particles to the interactional stances they directly index (categorical 0/1)
• Field 2 (stanceGenderAssoc): maps interactional stances to gender identity poles, with graded (non-exclusive) associations
• Composition (composedAssoc): the matrix product of the two fields via Phenomena.SocialMeaning.IndexicalField.composeIndex, deriving the indirect form–gender association

Non-exclusivity is then a theorem about the composed field: when stances have mixed gender associations, forms that index those stances inherit the non-exclusivity.

Cross-linguistic data

Japanese sentence-final particles (@cite{uyeno-1971}) illustrate the mediation thesis (Figure 14.1):

• ze/zo directly index coarse intensity, which constitutively indexes masculinity
• wa directly indexes delicate intensity, which constitutively indexes femininity — but both genders use wa, confirming non-exclusivity
• yo (emphatic) and ne (confirmation-seeking) have weak, gender-neutral stance associations

Connections

• Phenomena.SocialMeaning.IndexicalField.composeIndex: the composition operation formalized as a general primitive for indirect indexicality
• Phenomena.SocialMeaning.IndexicalField.IndexicalField: the composed field is lifted to an IndexicalField, connecting to @cite{eckert-2008}'s framework which explicitly builds on @cite{ochs-1992} and @cite{silverstein-1976}
• Burnett2019: RSA model of persona inference from variant choice — the computational realization of Ochs's indirect indexicality thesis via @cite{burnett-2019}'s SMG

inductive Ochs1992.Stance : Type

Interactional stances that sentence-final particles directly index. These are the intermediate meanings through which gender is indirectly indexed (@cite{ochs-1992} Figure 14.2).

@cite{ochs-1992} identifies two key poles of intensity in Japanese: "coarse intensity" (indexed by ze/zo) and "delicate intensity" (indexed by wa). These stance categories are distinct from Pragmatics.Expressives.OutlookMarker.StanceType, which classifies evaluative stances in @cite{kubota-2026}'s theory.

• coarse : Stance

  Coarse intensity — rough, forceful interactional style. Indexed by ze, zo.

• delicate : Stance

  Delicate intensity — gentle, refined interactional style. Indexed by wa.

• emphatic : Stance

  Emphatic assertion — strong commitment without coarseness. Indexed by yo.

• confirmSeeking : Stance

  Seeking confirmation or agreement from the addressee. Indexed by ne.

@[implicit_reducible]

instance Ochs1992.instDecidableEqStance : DecidableEq Stance

Equations

• Ochs1992.instDecidableEqStance x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Ochs1992.instReprStance.repr : Stance → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.
• Ochs1992.instReprStance.repr Ochs1992.Stance.coarse prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.Stance.coarse")).group prec✝
• Ochs1992.instReprStance.repr Ochs1992.Stance.delicate prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.Stance.delicate")).group prec✝
• Ochs1992.instReprStance.repr Ochs1992.Stance.emphatic prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.Stance.emphatic")).group prec✝

@[implicit_reducible]

instance Ochs1992.instReprStance : Repr Stance

Equations

• Ochs1992.instReprStance = { reprPrec := Ochs1992.instReprStance.repr }

def Ochs1992.instInhabitedStance.default : Stance

Equations

• Ochs1992.instInhabitedStance.default = Ochs1992.Stance.coarse

@[implicit_reducible]

instance Ochs1992.instInhabitedStance : Inhabited Stance

Equations

• Ochs1992.instInhabitedStance = { default := Ochs1992.instInhabitedStance.default }

@[implicit_reducible]

instance Ochs1992.instFintypeStance : Fintype Stance

Equations

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

def Ochs1992.Stance.all : List Stance

All stances as a list (for composeIndex).

Equations

• Ochs1992.Stance.all = [Ochs1992.Stance.coarse, Ochs1992.Stance.delicate, Ochs1992.Stance.emphatic, Ochs1992.Stance.confirmSeeking]

inductive Ochs1992.GenderPole : Type

Gender identity poles — the endpoints of the social gender dimension. Not grammatical gender (masc/fem noun class) but the social identity dimension that linguistic forms can index (@cite{west-zimmerman-1987}).

• masculine : GenderPole
• feminine : GenderPole

@[implicit_reducible]

instance Ochs1992.instDecidableEqGenderPole : DecidableEq GenderPole

Equations

• Ochs1992.instDecidableEqGenderPole x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Ochs1992.instReprGenderPole.repr : GenderPole → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Ochs1992.instReprGenderPole : Repr GenderPole

Equations

• Ochs1992.instReprGenderPole = { reprPrec := Ochs1992.instReprGenderPole.repr }

@[implicit_reducible]

instance Ochs1992.instInhabitedGenderPole : Inhabited GenderPole

Equations

• Ochs1992.instInhabitedGenderPole = { default := Ochs1992.instInhabitedGenderPole.default }

def Ochs1992.instInhabitedGenderPole.default : GenderPole

Equations

• Ochs1992.instInhabitedGenderPole.default = Ochs1992.GenderPole.masculine

@[implicit_reducible]

instance Ochs1992.instFintypeGenderPole : Fintype GenderPole

Equations

• Ochs1992.instFintypeGenderPole = { elems := {Ochs1992.GenderPole.masculine, Ochs1992.GenderPole.feminine}, complete := Ochs1992.instFintypeGenderPole._proof_1 }

inductive Ochs1992.SFP : Type

Japanese sentence-final particles discussed in @cite{ochs-1992}. See @cite{uyeno-1971} for the foundational study.

• ze : SFP
• zo : SFP
• wa : SFP
• yo : SFP
• ne : SFP

@[implicit_reducible]

instance Ochs1992.instDecidableEqSFP : DecidableEq SFP

Equations

• Ochs1992.instDecidableEqSFP x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Ochs1992.instReprSFP.repr : SFP → ℕ → Std.Format

Equations

• Ochs1992.instReprSFP.repr Ochs1992.SFP.ze prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.SFP.ze")).group prec✝
• Ochs1992.instReprSFP.repr Ochs1992.SFP.zo prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.SFP.zo")).group prec✝
• Ochs1992.instReprSFP.repr Ochs1992.SFP.wa prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.SFP.wa")).group prec✝
• Ochs1992.instReprSFP.repr Ochs1992.SFP.yo prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.SFP.yo")).group prec✝
• Ochs1992.instReprSFP.repr Ochs1992.SFP.ne prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Ochs1992.SFP.ne")).group prec✝

@[implicit_reducible]

instance Ochs1992.instReprSFP : Repr SFP

Equations

• Ochs1992.instReprSFP = { reprPrec := Ochs1992.instReprSFP.repr }

def Ochs1992.instInhabitedSFP.default : SFP

Equations

• Ochs1992.instInhabitedSFP.default = Ochs1992.SFP.ze

@[implicit_reducible]

instance Ochs1992.instInhabitedSFP : Inhabited SFP

Equations

• Ochs1992.instInhabitedSFP = { default := Ochs1992.instInhabitedSFP.default }

@[implicit_reducible]

instance Ochs1992.instFintypeSFP : Fintype SFP

Equations

• Ochs1992.instFintypeSFP = { elems := {Ochs1992.SFP.ze, Ochs1992.SFP.zo, Ochs1992.SFP.wa, Ochs1992.SFP.yo, Ochs1992.SFP.ne}, complete := Ochs1992.instFintypeSFP._proof_1 }

def Ochs1992.formStanceAssoc : SFP → Stance → ℚ

Field 1: SFP → Stance (direct index).

Each particle directly indexes exactly one interactional stance. The mapping is categorical (0/1) — a particle either does or does not index a stance. The probabilistic gradient enters in Field 2.

Equations

• Ochs1992.formStanceAssoc Ochs1992.SFP.ze Ochs1992.Stance.coarse = 1
• Ochs1992.formStanceAssoc Ochs1992.SFP.zo Ochs1992.Stance.coarse = 1
• Ochs1992.formStanceAssoc Ochs1992.SFP.wa Ochs1992.Stance.delicate = 1
• Ochs1992.formStanceAssoc Ochs1992.SFP.yo Ochs1992.Stance.emphatic = 1
• Ochs1992.formStanceAssoc Ochs1992.SFP.ne Ochs1992.Stance.confirmSeeking = 1
• Ochs1992.formStanceAssoc x✝¹ x✝ = 0

def Ochs1992.stanceGenderAssoc : Stance → GenderPole → ℚ

Field 2: Stance → GenderPole (constitutive relation).

Captures how habitual use of certain stances constitutes gender identity. Values are association strengths — positive for BOTH poles on every stance, encoding @cite{ochs-1992}'s non-exclusivity.

The two intensity stances are mirror images on the gender axis: coarse is 3/4 masculine, delicate is 3/4 feminine. The remaining stances (emphatic, confirmation-seeking) are gender-neutral.

Equations

• Ochs1992.stanceGenderAssoc Ochs1992.Stance.coarse Ochs1992.GenderPole.masculine = 3 / 4
• Ochs1992.stanceGenderAssoc Ochs1992.Stance.coarse Ochs1992.GenderPole.feminine = 1 / 4
• Ochs1992.stanceGenderAssoc Ochs1992.Stance.delicate Ochs1992.GenderPole.masculine = 1 / 4
• Ochs1992.stanceGenderAssoc Ochs1992.Stance.delicate Ochs1992.GenderPole.feminine = 3 / 4
• Ochs1992.stanceGenderAssoc Ochs1992.Stance.emphatic Ochs1992.GenderPole.masculine = 1 / 2
• Ochs1992.stanceGenderAssoc Ochs1992.Stance.emphatic Ochs1992.GenderPole.feminine = 1 / 2
• Ochs1992.stanceGenderAssoc Ochs1992.Stance.confirmSeeking Ochs1992.GenderPole.masculine = 1 / 2
• Ochs1992.stanceGenderAssoc Ochs1992.Stance.confirmSeeking Ochs1992.GenderPole.feminine = 1 / 2

def Ochs1992.composedAssoc (sfp : SFP) (g : GenderPole) : ℚ

The composed (indirect) form → gender association. This IS @cite{ochs-1992}'s central theoretical claim: linguistic forms index gender only indirectly, mediated through stances.

composedAssoc(sfp, g) = Σ_s formStance(sfp, s) × stanceGender(s, g)

Equations

• Ochs1992.composedAssoc sfp g = Phenomena.SocialMeaning.IndexicalField.composeIndex Ochs1992.formStanceAssoc Ochs1992.stanceGenderAssoc Ochs1992.Stance.all sfp g

theorem Ochs1992.ze_indexes_masculine : composedAssoc SFP.ze GenderPole.masculine > composedAssoc SFP.ze GenderPole.feminine

ze indirectly indexes masculinity more than femininity. The asymmetry is mediated through coarse intensity (3/4 masc).

theorem Ochs1992.wa_indexes_feminine : composedAssoc SFP.wa GenderPole.feminine > composedAssoc SFP.wa GenderPole.masculine

wa indirectly indexes femininity more than masculinity. The asymmetry is mediated through delicate intensity (3/4 fem).

theorem Ochs1992.zo_indexes_masculine : composedAssoc SFP.zo GenderPole.masculine > composedAssoc SFP.zo GenderPole.feminine

zo patterns like ze (both index coarse intensity).

theorem Ochs1992.all_nonexclusive (sfp : SFP) (g : GenderPole) : composedAssoc sfp g > 0

Universal non-exclusivity: every SFP has positive association with both gender poles. This is @cite{ochs-1992}'s property 1: "few features of language directly and exclusively index gender."

The proof follows from the fact that every stance has positive association with both genders (the 1/4 floor in stanceGenderAssoc), and every SFP indexes at least one stance.

theorem Ochs1992.yo_gender_neutral : composedAssoc SFP.yo GenderPole.masculine = composedAssoc SFP.yo GenderPole.feminine

yo (emphatic) is gender-neutral: equal association with both poles.

theorem Ochs1992.ne_gender_neutral : composedAssoc SFP.ne GenderPole.masculine = composedAssoc SFP.ne GenderPole.feminine

ne (confirmation-seeking) is gender-neutral.

theorem Ochs1992.ze_wa_symmetry : composedAssoc SFP.ze GenderPole.masculine = composedAssoc SFP.wa GenderPole.feminine ∧ composedAssoc SFP.ze GenderPole.feminine = composedAssoc SFP.wa GenderPole.masculine

Symmetry: ze and wa are mirror images on the gender axis. ze's masculine association equals wa's feminine association (3/4), and vice versa (1/4). This symmetry arises from the mirror structure of stanceGenderAssoc on the coarse/delicate intensity poles.

theorem Ochs1992.zo_wa_symmetry : composedAssoc SFP.zo GenderPole.masculine = composedAssoc SFP.wa GenderPole.feminine ∧ composedAssoc SFP.zo GenderPole.feminine = composedAssoc SFP.wa GenderPole.masculine

zo inherits ze's symmetry with wa.

theorem Ochs1992.mediation_ze_masc : composedAssoc SFP.ze GenderPole.masculine = formStanceAssoc SFP.ze Stance.coarse * stanceGenderAssoc Stance.coarse GenderPole.masculine + formStanceAssoc SFP.ze Stance.delicate * stanceGenderAssoc Stance.delicate GenderPole.masculine + formStanceAssoc SFP.ze Stance.emphatic * stanceGenderAssoc Stance.emphatic GenderPole.masculine + formStanceAssoc SFP.ze Stance.confirmSeeking * stanceGenderAssoc Stance.confirmSeeking GenderPole.masculine

The composed form–gender association factors through the stance domain. This makes the mediation thesis computationally explicit: the value for (ze, masculine) is determined entirely by the sum-product through all four stances.

theorem Ochs1992.masculine_ranking : composedAssoc SFP.ze GenderPole.masculine = composedAssoc SFP.zo GenderPole.masculine ∧ composedAssoc SFP.ze GenderPole.masculine > composedAssoc SFP.yo GenderPole.masculine ∧ composedAssoc SFP.yo GenderPole.masculine = composedAssoc SFP.ne GenderPole.masculine ∧ composedAssoc SFP.yo GenderPole.masculine > composedAssoc SFP.wa GenderPole.masculine

Ranking of SFPs by masculine association strength: ze = zo (3/4) > yo = ne (1/2) > wa (1/4).

theorem Ochs1992.feminine_ranking : composedAssoc SFP.wa GenderPole.feminine > composedAssoc SFP.yo GenderPole.feminine ∧ composedAssoc SFP.yo GenderPole.feminine = composedAssoc SFP.ne GenderPole.feminine ∧ composedAssoc SFP.yo GenderPole.feminine > composedAssoc SFP.ze GenderPole.feminine ∧ composedAssoc SFP.ze GenderPole.feminine = composedAssoc SFP.zo GenderPole.feminine

Ranking of SFPs by feminine association strength: wa (3/4) > yo = ne (1/2) > ze = zo (1/4). This is the exact mirror of the masculine ranking.

def Ochs1992.formStanceField : Phenomena.SocialMeaning.IndexicalField.IndexicalField SFP Stance

The form–stance relation as an IndexicalField at second indexical order: SFPs are consciously manipulable markers (@cite{silverstein-2003}).

Equations

• Ochs1992.formStanceField = { association := Ochs1992.formStanceAssoc, order := Phenomena.SocialMeaning.IndexicalField.IndexicalOrder.second }

def Ochs1992.composedField : Phenomena.SocialMeaning.IndexicalField.IndexicalField SFP GenderPole

The composed relation as an IndexicalField.

Equations

• Ochs1992.composedField = { association := Ochs1992.composedAssoc, order := Phenomena.SocialMeaning.IndexicalField.IndexicalOrder.second }

theorem Ochs1992.composedField_ze_indexes_masc : composedField.indexes SFP.ze GenderPole.masculine

The composed field indexes ze toward masculinity.

theorem Ochs1992.composedField_wa_indexes_fem : composedField.indexes SFP.wa GenderPole.feminine

The composed field indexes wa toward femininity.

theorem Ochs1992.ze_wa_contrast_masculine : composedField.contrasts SFP.ze SFP.wa GenderPole.masculine

ze and wa contrast on the masculine trait: their composed associations differ.