Documentation

Linglib.Fragments.German.Predicates.Modal

German Modal Verb Fragment #

Lexical entries for German modal verbs, following the pattern of English AuxEntry from Fragments.English.FunctionWords.

German has six core modals, each with fixed force and contextually variable flavor. All modal meanings are Cartesian products (force × flavors), so they all satisfy IFF.

Modal3sgForceFlavors
könnenkannpossibilityepistemic, circumstantial
dürfendarfpossibilitydeontic
müssenmussnecessityepistemic, deontic
sollensollnecessitydeontic
mögenmagpossibilityepistemic
wollenwillnecessitydeontic

Note: wollen is bouletic, mapped to deontic in the 2×3 space per BouleticFlavor.flavorTag =.deontic.

Reference: Kratzer, A. (1981). The Notional Category of Modality.

source
structure Fragments.German.Predicates.Modal.GermanModalEntry :
Type

German modal verb entry.

Instances For
    source
    def Fragments.German.Predicates.Modal.instReprGermanModalEntry.repr :
    GermanModalEntry → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.German.Predicates.Modal.instReprGermanModalEntry :
      Repr GermanModalEntry
      Equations
      source
      instance Fragments.German.Predicates.Modal.instBEqGermanModalEntry :
      BEq GermanModalEntry
      Equations
      source
      def Fragments.German.Predicates.Modal.instBEqGermanModalEntry.beq :
      GermanModalEntry → GermanModalEntry → Bool
      Equations
      Instances For
        source
        def Fragments.German.Predicates.Modal.koennen :
        GermanModalEntry

        können — "can/may": epistemic + circumstantial possibility.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.German.Predicates.Modal.duerfen :
          GermanModalEntry

          dürfen — "may/be allowed to": deontic possibility.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.German.Predicates.Modal.muessen :
            GermanModalEntry

            müssen — "must/have to": epistemic + deontic necessity.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Fragments.German.Predicates.Modal.sollen :
              GermanModalEntry

              sollen — "should/be supposed to": deontic necessity.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Fragments.German.Predicates.Modal.moegen :
                GermanModalEntry

                mögen — "may" (epistemic): epistemic possibility.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Fragments.German.Predicates.Modal.wollen :
                  GermanModalEntry

                  wollen — "want to": bouletic → deontic in 2×3 space.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    def Fragments.German.Predicates.Modal.allModals :
                    List GermanModalEntry
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      theorem Fragments.German.Predicates.Modal.koennen_is_possibility :
                      koennen.modalMeaning = Fragments.German.Predicates.Modal.cp✝ [Core.Modality.ModalForce.possibility] [Core.Modality.ModalFlavor.epistemic, Core.Modality.ModalFlavor.circumstantial]

                      können is possibility.

                      source
                      theorem Fragments.German.Predicates.Modal.muessen_is_necessity :
                      muessen.modalMeaning = Fragments.German.Predicates.Modal.cp✝ [Core.Modality.ModalForce.necessity] [Core.Modality.ModalFlavor.epistemic, Core.Modality.ModalFlavor.deontic]

                      müssen is necessity.

                      source
                      theorem Fragments.German.Predicates.Modal.duerfen_is_deontic :
                      duerfen.modalMeaning = Fragments.German.Predicates.Modal.cp✝ [Core.Modality.ModalForce.possibility] [Core.Modality.ModalFlavor.deontic]

                      dürfen is deontic possibility only.

                      source
                      theorem Fragments.German.Predicates.Modal.sollen_wollen_deontic :
                      sollen.modalMeaning = Fragments.German.Predicates.Modal.cp✝ [Core.Modality.ModalForce.necessity] [Core.Modality.ModalFlavor.deontic] ∧ wollen.modalMeaning = Fragments.German.Predicates.Modal.cp✝¹ [Core.Modality.ModalForce.necessity] [Core.Modality.ModalFlavor.deontic]

                      sollen and wollen both map to deontic necessity.

                      source
                      theorem Fragments.German.Predicates.Modal.allModals_size :
                      allModals.length = 6

                      Six modals total.