Documentation

Linglib.Fragments.Niuean.Modals

Niuean Modal Inventory #

@cite{matthewson-2016} @cite{matthewson-et-al-2012} @cite{seiter-1980}

Niuean (Polynesian, ISO 639-3 niu) modal system. Niuean exemplifies a typological pattern where force distinctions are encoded in the circumstantial domain (separate possibility and necessity modals) but absent in the epistemic domain (a single general-purpose epistemic modal covers both force values).

ModalDomainForceSource
ligaepistemicposs + nec@cite{matthewson-et-al-2012}
maekecircumstantialpossibility@cite{seiter-1980} p. 140
latacircumstantialnecessity@cite{seiter-1980} p. 133

Key data (@cite{matthewson-2016} §18.5, examples 64–68) #

(64) liga kua fano tei — 'He might have left.' (@cite{matthewson-et-al-2012} p. 224)

(65) Hí ika a Tom he aho nei ... liga malolo a ia 'Tom is fishing today ... he's probably well.' (@cite{matthewson-et-al-2012} p. 228)

(66) ne liga kua veli hifo e tama ke he pelapela 'The boy must have fallen in the mud.' (@cite{seiter-1980} p. 13)

(67) kua maeke he tama ia ke taute pasikala afi 'That child is able to fix motorbikes.' (@cite{seiter-1980} p. 140)

(68) lata ke ō a tautolu he aho nei ki Queen Street 'We should go to Queen Street today.' (@cite{seiter-1980} p. 133)

Typological significance #

@cite{matthewson-2016} §18.5: Niuean tests whether epistemic modals are more likely to lack duals than circumstantial modals. The pattern — general-purpose epistemic + dual circumstantial — is consistent with Gitksan (variable-force epistemics, dual circumstantials) and with the broader cross-linguistic tendency for force distinctions to be encoded in the root/circumstantial domain.

source
def Fragments.Niuean.Modals.liga :
Semantics.Modality.Typology.ModalExpression

General-purpose epistemic modal: usable in both possibility and necessity contexts. @cite{matthewson-et-al-2012}. Translatable as 'might', 'probably', 'must' depending on context.

Equations
Instances For
    source
    def Fragments.Niuean.Modals.maeke :
    Semantics.Modality.Typology.ModalExpression

    Circumstantial possibility modal ('able to', 'can'). @cite{seiter-1980} p. 140.

    Equations
    Instances For
      source
      def Fragments.Niuean.Modals.lata :
      Semantics.Modality.Typology.ModalExpression

      Circumstantial necessity modal ('should', 'must'). @cite{seiter-1980} p. 133.

      Equations
      Instances For
        source
        def Fragments.Niuean.Modals.allExpressions :
        List Semantics.Modality.Typology.ModalExpression
        Equations
        Instances For

          Force analysis #

          source
          def Fragments.Niuean.Modals.forceAnalysis :
          Semantics.Modality.Typology.ModalExpression → Core.Modality.ForceAnalysis

          Force analysis for each Niuean modal. liga is variable-force; maeke and lata are fixed.

          Equations
          Instances For

            Background classification #

            source
            def Fragments.Niuean.Modals.backgroundClass :
            Semantics.Modality.Typology.ModalExpression → Core.Modality.BackgroundClass

            Background class for each Niuean modal. liga is epistemic (factual-evidential); maeke and lata are circumstantial (factual-circumstantial).

            Equations
            Instances For

              Dual structure #

              The circumstantial domain has a dual pair (maeke/lata), but the epistemic domain does not — liga covers both forces.

              source
              theorem Fragments.Niuean.Modals.liga_no_dual :
              ¬(forceAnalysis liga).HasDual

              liga lacks a dual: no contrasting epistemic necessity or possibility modal.

              source
              theorem Fragments.Niuean.Modals.maeke_has_dual :
              (forceAnalysis maeke).HasDual

              maeke has a dual (lata).

              source
              theorem Fragments.Niuean.Modals.lata_has_dual :
              (forceAnalysis lata).HasDual

              lata has a dual (maeke).

              Typological properties #

              source
              theorem Fragments.Niuean.Modals.liga_satisfies_iff :
              Semantics.Modality.Typology.satisfiesIFF liga.meaning = true

              liga satisfies IFF (variable force, single flavour).

              source
              theorem Fragments.Niuean.Modals.liga_satisfies_sav :
              Semantics.Modality.Typology.satisfiesSAV liga.meaning = true

              liga satisfies SAV (varies on force axis only).

              source
              theorem Fragments.Niuean.Modals.all_satisfy_iff :
              (allExpressions.all fun (e : Semantics.Modality.Typology.ModalExpression) => Semantics.Modality.Typology.satisfiesIFF e.meaning) = true

              All Niuean modals satisfy IFF.

              source
              theorem Fragments.Niuean.Modals.all_satisfy_sav :
              (allExpressions.all fun (e : Semantics.Modality.Typology.ModalExpression) => Semantics.Modality.Typology.satisfiesSAV e.meaning) = true

              All Niuean modals satisfy SAV.

              Flavour–force correlation #

              Epistemic domain: no force distinction (liga covers both). Circumstantial domain: force distinction encoded (maeke vs lata). This is exactly Nauze's (2008) polyfunctionality pattern applied to the force dimension: liga varies along the force axis within the epistemic flavour, while circumstantial modals are fixed on force.

              source
              theorem Fragments.Niuean.Modals.epistemic_single_modal :
              (List.filter (fun (e : Semantics.Modality.Typology.ModalExpression) => e.meaning.any fun (ff : Core.Modality.ForceFlavor) => ff.flavor == Core.Modality.ModalFlavor.epistemic) allExpressions).length = 1

              The epistemic domain has a single modal covering both forces.

              source
              theorem Fragments.Niuean.Modals.circumstantial_has_duals :
              (List.filter (fun (e : Semantics.Modality.Typology.ModalExpression) => e.meaning.any fun (ff : Core.Modality.ForceFlavor) => ff.flavor == Core.Modality.ModalFlavor.circumstantial) allExpressions).length = 2

              The circumstantial domain has separate possibility and necessity modals.