Latvian Indeterminate Pronoun Paradigm

[Has97] [KS17]

Latvian exhibits a morphologically transparent indeterminate system with three productive prefixes that mark operator association (p. 277 of [Has97], cited in §1 of [KS17]):

• kaut- series: existential (∃)
• ne- series: negative polarity (direct negation scope)
• jeb- series: free choice / indirect negation / comparatives

Each prefix attaches to the same set of wh-interrogative bases (kas 'who/what', kur 'where', kad 'when', ka 'how', kads/kurs 'which'), making Latvian a selective system in the sense of [KS17]: the morphological prefix determines the operator, unlike Japanese where a single base (dare) combines with different particles.

Diacritics omitted following [KS17].

structure Latvian.IndeterminatePronouns.IndeterminateSeriesEntry : Type

A row in a cross-linguistic indeterminate paradigm table. Each row represents one semantic domain (person, thing, place, ...) with forms for the interrogative and each operator-series.

• domain : String
• interrogative : String
• existential : String
• negPolarity : String
• freeChoice : String

@[implicit_reducible]

instance Latvian.IndeterminatePronouns.instReprIndeterminateSeriesEntry : Repr IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.instReprIndeterminateSeriesEntry = { reprPrec := Latvian.IndeterminatePronouns.instReprIndeterminateSeriesEntry.repr }

def Latvian.IndeterminatePronouns.instReprIndeterminateSeriesEntry.repr : IndeterminateSeriesEntry → Nat → Std.Format

Equations

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

def Latvian.IndeterminatePronouns.instDecidableEqIndeterminateSeriesEntry.decEq (x✝ x✝¹ : IndeterminateSeriesEntry) : Decidable (x✝ = x✝¹)

Equations

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

@[implicit_reducible]

instance Latvian.IndeterminatePronouns.instDecidableEqIndeterminateSeriesEntry : DecidableEq IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.instDecidableEqIndeterminateSeriesEntry = Latvian.IndeterminatePronouns.instDecidableEqIndeterminateSeriesEntry.decEq

def Latvian.IndeterminatePronouns.person : IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.person = { domain := "person", interrogative := "kas", existential := "kaut kas, kads", negPolarity := "ne-viens", freeChoice := "jeb-kads" }

def Latvian.IndeterminatePronouns.thing : IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.thing = { domain := "thing", interrogative := "kas", existential := "kaut kas", negPolarity := "ne-kas", freeChoice := "jeb-kas" }

def Latvian.IndeterminatePronouns.place : IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.place = { domain := "place", interrogative := "kur", existential := "kaut kur", negPolarity := "ne-kur", freeChoice := "jeb-kur" }

def Latvian.IndeterminatePronouns.time : IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.time = { domain := "time", interrogative := "kad", existential := "kaut kad", negPolarity := "ne-kad", freeChoice := "jeb-kad" }

def Latvian.IndeterminatePronouns.manner : IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.manner = { domain := "manner", interrogative := "ka", existential := "kaut ka", negPolarity := "ne-ka", freeChoice := "jeb-ka" }

def Latvian.IndeterminatePronouns.determiner : IndeterminateSeriesEntry

Equations

• Latvian.IndeterminatePronouns.determiner = { domain := "determiner", interrogative := "kads, kurs", existential := "kaut kads", negPolarity := "ne-kads", freeChoice := "jeb-kads, jeb-kurs" }

def Latvian.IndeterminatePronouns.paradigm : List IndeterminateSeriesEntry

The full 6-row Latvian paradigm.

Equations

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

theorem Latvian.IndeterminatePronouns.paradigm_size : paradigm.length = 6

theorem Latvian.IndeterminatePronouns.negpol_prefix : (paradigm.all fun (e : IndeterminateSeriesEntry) => e.negPolarity.startsWith "ne-") = true

Each ne-series form uses the common prefix "ne-".

theorem Latvian.IndeterminatePronouns.fc_prefix : (paradigm.all fun (e : IndeterminateSeriesEntry) => e.freeChoice.startsWith "jeb-") = true

Each jeb-series form uses the common prefix "jeb-".

theorem Latvian.IndeterminatePronouns.exist_prefix : (paradigm.all fun (e : IndeterminateSeriesEntry) => e.existential.startsWith "kaut ") = true

Each kaut-series form uses the common prefix "kaut ".