Documentation

Linglib.Fragments.Turkish.PolarityItems

Turkish Polarity-Sensitive Items #

[Has97]

Turkish indefinite pronoun polarity items, typed by the categories from Polarity.

NPIs #

source
def Turkish.PolarityItems.kimse :
Polarity.Item

kimse — Weak NPI. Historically 'person'; now polarity-sensitive in questions, conditionals, and indirect negation.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Turkish.PolarityItems.hicKimse :
    Polarity.Item

    hiç kimse — Emphatic negative indefinite. hiç intensifier + kimse; direct negation only.

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

      FCI #

      source
      def Turkish.PolarityItems.herhangiBiri :
      Polarity.Item

      herhangi biri — Free choice item. 'Any person at all'.

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

        Verification #

        source
        theorem Turkish.PolarityItems.turkish_npis_strengthening :
        ([kimse, hicKimse].all fun (e : Polarity.Item) => e.scalarDirection == some Polarity.ScalarDirection.strengthening) = true
        source
        theorem Turkish.PolarityItems.hicKimse_licensing_characterized (c : Polarity.LicensingContext) :
        c.licenses hicKimse ↔ c ∈ hicKimse.licensingContexts

        hiç kimse characterized exactly: obligatory co-occurrence with verbal negation ([Has97] A179).

        source
        theorem Turkish.PolarityItems.turkish_licensing_sound (e : Polarity.Item) :
        e ∈ [kimse, hicKimse, herhangiBiri] → ∀ c ∈ e.licensingContexts, c.licenses e