Documentation

Linglib.Core.Case.LocalExtension

Local Case Extension Paths @cite{blake-1994} #

@cite{heine-2009}

@cite{blake-1994} documents how semantic cases — especially local cases — extend to cover grammatical functions through grammaticalization (pp. 172–175). He shows that this direction is always from spatial/concrete to grammatical/abstract: a locative marker may extend to dative function, but not vice versa.

The specific polysemy chains below are our synthesis of Blake's scattered observations, not his explicit named paths:

Blake documents ABL/INST syncretism (p. 175: "Ablative-instrumental syncretism occurred in a number of Indo-European languages"), LOC→DAT extension (p. 188, note 15), and ALL→DAT overlap (p. 174: "A dative will often express destination as well"). We encode these as directed chains for computational use.

source
def Core.localExtension :
Case → List Case

The grammatical functions that a spatial case marker can extend to cover, ordered from most concrete to most abstract.

Each path represents a cross-linguistically attested polysemy chain, synthesized from @cite{blake-1994}'s discussion of case extension.

Equations
Instances For
    source
    theorem Core.abl_extends_inst :
    Case.inst ∈ localExtension Case.abl

    ABL extends to INST and CAUS.

    source
    theorem Core.abl_extends_caus :
    Case.caus ∈ localExtension Case.abl
    source
    theorem Core.all_extends_dat :
    Case.dat ∈ localExtension Case.all

    ALL extends to DAT and BEN.

    source
    theorem Core.all_extends_ben :
    Case.ben ∈ localExtension Case.all
    source
    theorem Core.loc_extends_dat :
    Case.dat ∈ localExtension Case.loc

    LOC extends to DAT.

    source
    theorem Core.nom_no_extension :
    localExtension Case.nom = []

    Core grammatical cases have no extensions — they don't extend to other grammatical functions (@cite{blake-1994}, Ch. 6: extensions go from peripheral/spatial to grammatical, never the reverse).

    source
    theorem Core.acc_no_extension :
    localExtension Case.acc = []
    source
    theorem Core.erg_no_extension :
    localExtension Case.erg = []
    source
    theorem Core.abs_no_extension :
    localExtension Case.abs = []
    source
    theorem Core.abl_chain_ordered :
    Case.abl.hierarchyRank ≥ Case.inst.hierarchyRank ∧ Case.inst.hierarchyRank ≥ Case.caus.hierarchyRank

    The ABL → INST → CAUS chain is properly ordered: each step goes from more concrete to more abstract.