Turkish Tense-Aspect-Modality System

[GK05]

The TAM system is the core of the Turkish verbal paradigm ([GK05] Ch 21, Appendix 2). There are five basic TAM categories and three modal categories, occupying a single paradigmatic slot.

Key properties

1. Evidential -mIş is a TAM marker, not a separate evidential morpheme. It fills the same paradigmatic slot as -DI (past definite) and cannot co-occur with it.

2. Aorist negation is asymmetric: affirmative -(I)r becomes negative -mAz rather than the expected *-mA-(I)r. All other categories use regular -mA- negation (see also Turkish.Negation).

3. Compound tenses are formed by adding a copular suffix (-DI, -mIş, -(y)sA) to the basic form: geliyordu (progressive + past copula).

Suffix notation

Capital letters indicate vowel harmony alternation (see Turkish.VowelHarmony):

• A = a/e (twofold), I = ı/i/u/ü (fourfold)
• D = d/t (voicing assimilation)

inductive Turkish.TAM.TAMCategory : Type

The eight TAM categories of Turkish.

• pastDef : TAMCategory
• evidential : TAMCategory
• aorist : TAMCategory
• progressive : TAMCategory
• future : TAMCategory
• conditional : TAMCategory
• optative : TAMCategory
• necessitative : TAMCategory

@[instance_reducible]

instance Turkish.TAM.instDecidableEqTAMCategory : DecidableEq TAMCategory

Equations

• Turkish.TAM.instDecidableEqTAMCategory x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Turkish.TAM.instReprTAMCategory.repr : TAMCategory → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Turkish.TAM.instReprTAMCategory : Repr TAMCategory

Equations

• Turkish.TAM.instReprTAMCategory = { reprPrec := Turkish.TAM.instReprTAMCategory.repr }

@[instance_reducible]

instance Turkish.TAM.instInhabitedTAMCategory : Inhabited TAMCategory

Equations

• Turkish.TAM.instInhabitedTAMCategory = { default := Turkish.TAM.instInhabitedTAMCategory.default }

structure Turkish.TAM.TAMEntry : Type

TAM suffix entry with positive and negative forms.

• category : TAMCategory
• affSuffix : String
• negSuffix : String
• isNegSymmetric : Bool

  Is negation symmetric (neg = stem + -mA- + TAM)?

@[instance_reducible]

instance Turkish.TAM.instReprTAMEntry : Repr TAMEntry

Equations

• Turkish.TAM.instReprTAMEntry = { reprPrec := Turkish.TAM.instReprTAMEntry.repr }

def Turkish.TAM.instReprTAMEntry.repr : TAMEntry → ℕ → Std.Format

Equations

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

def Turkish.TAM.instBEqTAMEntry.beq : TAMEntry → TAMEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Turkish.TAM.instBEqTAMEntry.beq x✝¹ x✝ = false

@[instance_reducible]

instance Turkish.TAM.instBEqTAMEntry : BEq TAMEntry

Equations

• Turkish.TAM.instBEqTAMEntry = { beq := Turkish.TAM.instBEqTAMEntry.beq }

@[instance_reducible]

instance Turkish.TAM.instInhabitedTAMEntry : Inhabited TAMEntry

Equations

• Turkish.TAM.instInhabitedTAMEntry = { default := Turkish.TAM.instInhabitedTAMEntry.default }

def Turkish.TAM.entries : List TAMEntry

Equations

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

inductive Turkish.TAM.CopulaSuffix : Type

Copular suffixes that combine with basic TAM for compound tenses.

• pastCop : CopulaSuffix
• evidentialCop : CopulaSuffix
• conditionalCop : CopulaSuffix

@[instance_reducible]

instance Turkish.TAM.instDecidableEqCopulaSuffix : DecidableEq CopulaSuffix

Equations

• Turkish.TAM.instDecidableEqCopulaSuffix x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Turkish.TAM.instReprCopulaSuffix : Repr CopulaSuffix

Equations

• Turkish.TAM.instReprCopulaSuffix = { reprPrec := Turkish.TAM.instReprCopulaSuffix.repr }

def Turkish.TAM.instReprCopulaSuffix.repr : CopulaSuffix → ℕ → Std.Format

Equations

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

theorem Turkish.TAM.asymmetric_is_aorist : List.map (fun (x : TAMEntry) => x.category) (List.filter (fun (x : TAMEntry) => !x.isNegSymmetric) entries) = [TAMCategory.aorist]

The aorist is the only TAM category with asymmetric negation; all others use regular -mA- insertion (cf. Negation.aorist_asymmetric for the surface-form counterpart).