Grammaticalization

@cite{heine-1993} @cite{anderson-2006} @cite{bybee-perkins-pagliuca-1994} @cite{lehmann-1985} @cite{heine-kuteva-2002} @cite{hopper-traugott-2003}

Grammaticalization: the diachronic process by which lexical items become grammatical markers. The cline of verbal grammaticalization formalized here is the 5-stage variant:

full verb → auxiliary → clitic → affix → zero

Attribution

The verbal cline is anchored on @cite{heine-1993} ch. 3 (the source @cite{anderson-2006} cites at p. 5 as Heine (1993: 48ff.)). Anderson's own running shorthand at p. 5 collapses to three stages (L[exical] V[erb] >> A[uxiliary] V > AF[fi]X); the 5-stage form here splits Heine's continuum at the canonical clitic/affix/zero boundaries also used by @cite{lehmann-1985} and @cite{hopper-traugott-2003}.

Caveat (@cite{heine-1993} p. 66, endorsed by @cite{anderson-2006} p. 5): "we are dealing with chains [of grammaticalization] and since chains are by definition continuous structures, setting up stages along these structures must remain an arbitrary and/or artificial endeavor." The discrete enum below is a working approximation; consumer files that need finer-grained transitions should pair GramStage with their own intermediate-state predicates rather than treat the 5 cases as exhaustive.

This process is cross-linguistically unidirectional: movement is always toward greater morphological boundedness (@cite{lehmann-1985}, @cite{hopper-traugott-2003}).

Main definitions

• GramStage: stages on the grammaticalization cline
• GramStage.boundedness: numeric encoding of morphological boundedness
• GramStage.toMorphStatus: projection onto Core.Morphology.MorphStatus
• AVCSource: diachronic source constructions for auxiliary verb constructions

Connections

• Phenomena.Case.Studies.Haspelmath2021 (§0): form-frequency correspondence is a parallel diachronic process (phonological erosion of frequent forms). Apparatus co-located in the Haspelmath 2021 study file (single consumer); promote to substrate when a second diachronic study materializes.
• Semantics.Quantification.Binominal: the bleaching cline for binominals (N+PP → pseudo-partitive → evaluative → modifier → intensifier) is a specialized grammaticalization path in the nominal domain.
• Features.Subjectivity: Traugott's subjectification cline is a semantic dimension of grammaticalization (see Diachronic.Subjectification).

inductive Diachronic.Grammaticalization.GramStage : Type

Stage on the grammaticalization cline for verbal elements. Cline anchored on @cite{heine-1993} for the broad path LV >> AV >> AFFIX; the specific 5-stage segmentation (fullVerb / auxiliary / clitic / affix / zero) is a coarsening drawn from @cite{lehmann-1985} and @cite{hopper-traugott-2003} ch. 6, NOT a direct rendering of Heine's own staging (Heine 1993 §2.4.2 uses a finer 7-stage A-G chain: concrete-source → starting-down → budding → defective → linguistic-hybrid → firmly-grammaticalized → orphaning). @cite{anderson-2006} p. 5 attributes the LV >> AV > AFX path to Heine 1993:48ff. without committing to a specific stage count; ch. 7 traces grammaticalization of source constructions onto whatever cline the framework adopts. The 5-stage enum here is the linglib working approximation, not Heine's own taxonomy.

• fullVerb : GramStage

  Lexical verb with full argument structure.

• auxiliary : GramStage

  Grammaticalized verb, restricted morphosyntax.

• clitic : GramStage

  Phonologically reduced, syntactically dependent.

• affix : GramStage

  Bound morpheme, part of the verbal word.

• zero : GramStage

  No overt marker (grammaticalization endpoint).

@[implicit_reducible]

instance Diachronic.Grammaticalization.instDecidableEqGramStage : DecidableEq GramStage

Equations

• Diachronic.Grammaticalization.instDecidableEqGramStage x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Diachronic.Grammaticalization.instReprGramStage.repr : GramStage → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Diachronic.Grammaticalization.instReprGramStage : Repr GramStage

Equations

• Diachronic.Grammaticalization.instReprGramStage = { reprPrec := Diachronic.Grammaticalization.instReprGramStage.repr }

def Diachronic.Grammaticalization.GramStage.boundedness : GramStage → ℕ

Boundedness increases monotonically along the cline.

Equations

• Diachronic.Grammaticalization.GramStage.fullVerb.boundedness = 0
• Diachronic.Grammaticalization.GramStage.auxiliary.boundedness = 1
• Diachronic.Grammaticalization.GramStage.clitic.boundedness = 2
• Diachronic.Grammaticalization.GramStage.affix.boundedness = 3
• Diachronic.Grammaticalization.GramStage.zero.boundedness = 4

@[implicit_reducible]

instance Diachronic.Grammaticalization.instLinearOrderGramStage : LinearOrder GramStage

Equations

• Diachronic.Grammaticalization.instLinearOrderGramStage = LinearOrder.lift' Diachronic.Grammaticalization.GramStage.boundedness Diachronic.Grammaticalization.instLinearOrderGramStage._proof_1

def Diachronic.Grammaticalization.isUnidirectional (_s₁ _s₂ : GramStage) (_h : _s₁ < _s₂) : Prop

Unidirectionality: grammaticalization never reverses. Formalized as: if a language has a marker at stage s₂ that historically derives from stage s₁, then s₁ < s₂.

Equations

• Diachronic.Grammaticalization.isUnidirectional _s₁ _s₂ _h = ¬_s₂ < _s₁

theorem Diachronic.Grammaticalization.unidirectional_of_lt {s₁ s₂ : GramStage} (h : s₁ < s₂) : isUnidirectional s₁ s₂ h

def Diachronic.Grammaticalization.GramStage.toMorphStatus : GramStage → Option Core.Morphology.MorphStatus

Project a grammaticalization stage onto its canonical Core.Morphology.MorphStatus realization. Auxiliaries and full verbs are free words on the cline; clitics map to simple-clitic status; affixes to inflectional-affix status; the zero endpoint has no overt morphological realization.

Equations

• Diachronic.Grammaticalization.GramStage.fullVerb.toMorphStatus = some Core.Morphology.MorphStatus.freeWord
• Diachronic.Grammaticalization.GramStage.auxiliary.toMorphStatus = some Core.Morphology.MorphStatus.freeWord
• Diachronic.Grammaticalization.GramStage.clitic.toMorphStatus = some Core.Morphology.MorphStatus.simpleClitic
• Diachronic.Grammaticalization.GramStage.affix.toMorphStatus = some Core.Morphology.MorphStatus.inflAffix
• Diachronic.Grammaticalization.GramStage.zero.toMorphStatus = none

theorem Diachronic.Grammaticalization.affix_more_bound_than_auxiliary : GramStage.affix.boundedness > GramStage.auxiliary.boundedness

The .affix stage is strictly more grammaticalized (more morphologically bound) than the .auxiliary stage. Used by Phenomena/AuxiliaryVerbs/NegativeAuxiliaries.lean to compare the cline placement of negative affixes vs negative verbs.

inductive Diachronic.Grammaticalization.AVCSource : Type

Diachronic source construction from which an AVC grammaticalizes. @cite{anderson-2006} §7, @cite{heine-kuteva-2002}.

• serialVerb : AVCSource

  Serial verb constructions: two verbs in sequence, one grammaticalizes into an auxiliary. Common in West African, SE Asian.

• complementTaking : AVCSource

  Complement-taking verb: matrix verb takes clausal complement, the matrix verb grammaticalizes. Common source for modals.

• motionVerb : AVCSource

  Motion verb: 'go'/'come' grammaticalize into future/past markers. Cross-linguistically one of the most common paths.

• posturalVerb : AVCSource

  Postural verb: 'sit'/'stand'/'lie' grammaticalize into progressive/habitual aspect markers.

@[implicit_reducible]

instance Diachronic.Grammaticalization.instDecidableEqAVCSource : DecidableEq AVCSource

Equations

• Diachronic.Grammaticalization.instDecidableEqAVCSource x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Diachronic.Grammaticalization.instReprAVCSource : Repr AVCSource

Equations

• Diachronic.Grammaticalization.instReprAVCSource = { reprPrec := Diachronic.Grammaticalization.instReprAVCSource.repr }

def Diachronic.Grammaticalization.instReprAVCSource.repr : AVCSource → ℕ → Std.Format

Equations

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