Göksel & Kerslake 2005: Turkish Evidential TAM

[GK05] [Cum26]

Bridge between Turkish TAM data and [Cum26]'s (S, A, T) evidential framework. The key prediction: Turkish -DI and -mIş differ in their evidential perspective constraint (EPCondition), not primarily in their temporal (UPCondition) constraint.

The -DI / -mIş contrast

• -DI (past definite): speaker directly witnessed the event. Evidence was acquired contemporaneously with the event (A overlaps T). EPCondition: contemporaneous.

• -mIş (evidential): speaker did not witness the event. Evidence was acquired strictly after the event (A > T). EPCondition: strictDownstream.

Both share the same utterance perspective: past (T < S). The evidential dimension is what distinguishes them — a prediction from the (S, A, T) framework applied to Turkish.

def GokselKerslake2005.diEP : Tense.Evidential.EPCondition

Turkish -DI (witnessed past): contemporaneous evidence acquisition. The speaker was present at the time of the event.

Equations

• GokselKerslake2005.diEP = Tense.Evidential.EPCondition.contemporaneous

def GokselKerslake2005.mişEP : Tense.Evidential.EPCondition

Turkish -mIş (indirect/reportative): strictly downstream evidence. The speaker learned about the event after it occurred.

Equations

• GokselKerslake2005.mişEP = Tense.Evidential.EPCondition.strictDownstream

def GokselKerslake2005.diUP : Tense.Evidential.UPCondition

Both -DI and -mIş are past tense: T < S.

Equations

• GokselKerslake2005.diUP = Tense.Evidential.UPCondition.past

def GokselKerslake2005.mişUP : Tense.Evidential.UPCondition

Equations

• GokselKerslake2005.mişUP = Tense.Evidential.UPCondition.past

theorem GokselKerslake2005.same_tense_different_evidence : diUP = mişUP ∧ diEP ≠ mişEP

-DI and -mIş share temporal constraint but differ in evidential perspective.

theorem GokselKerslake2005.di_miş_same_slot : have di := (List.filter (fun (x : Turkish.TAM.TAMEntry) => x.category == Turkish.TAM.TAMCategory.pastDef) Turkish.TAM.entries).head!; (have miş := (List.filter (fun (x : Turkish.TAM.TAMEntry) => x.category == Turkish.TAM.TAMCategory.evidential) Turkish.TAM.entries).head!; di.category != miş.category) = true

Both -DI and -mIş occupy the TAM slot in the Turkish suffix template. They are in complementary distribution: you cannot have both.

theorem GokselKerslake2005.di_unique_direct : diEP = Tense.Evidential.EPCondition.contemporaneous

-DI is the only category with contemporaneous EP (direct witness).

theorem GokselKerslake2005.miş_indirect : mişEP = Tense.Evidential.EPCondition.strictDownstream

-mIş EP is strictly downstream — evidence comes after the event.