Documentation

Linglib.Fragments.Portuguese.Modals

Portuguese Modal Verb Entries @cite{ferreira-2023} #

Portuguese has a tripartite modal system with lexicalized weak necessity, unlike Spanish (where cognate deber is strong necessity) or English (where ought/should are ambiguous between X-marked and unmarked readings).

The six modal forms occupy two dimensions: modal force (possibility / weak necessity / strong necessity) × X-marking (present / past imperfect):

ForceUnmarked (present)X-marked (past imperfect)
Possibilitypodepodia
Weak necessitydevedevia
Strong necessitytem quetinha que

X-marking does not change modal force — it shifts the modal parameters (modal base or ordering source), signaling presupposition suspension.

Helper #

Present tense (unmarked) modal entries #

source
def Fragments.Portuguese.Modals.poder :
Core.Modality.ModalItem

pode 'can/may' — possibility modal, all flavors.

Equations
Instances For
    source
    def Fragments.Portuguese.Modals.dever :
    Core.Modality.ModalItem

    deve 'ought/should' — weak necessity modal, all flavors. Portuguese lexicalizes weak necessity as a distinct root, unlike Spanish deber (strong necessity) or English ought (ambiguous).

    Equations
    Instances For
      source
      def Fragments.Portuguese.Modals.terQue :
      Core.Modality.ModalItem

      tem que 'must/have to' — strong necessity modal, all flavors.

      Equations
      Instances For

        Past imperfect (X-marked) modal entries #

        source
        def Fragments.Portuguese.Modals.podia :
        Core.Modality.ModalItem

        podia 'could/might' — X-marked possibility.

        Equations
        Instances For
          source
          def Fragments.Portuguese.Modals.devia :
          Core.Modality.ModalItem

          devia 'ought (counterfactual)' — X-marked weak necessity. Signals suspension of evidence against the prejacent (@cite{ferreira-2023}, §3.2).

          Equations
          Instances For
            source
            def Fragments.Portuguese.Modals.tinhaQue :
            Core.Modality.ModalItem

            tinha que 'had to (counterfactual)' — X-marked strong necessity.

            Equations
            Instances For

              Force classification theorems #

              source
              theorem Fragments.Portuguese.Modals.poder_is_possibility :
              poder.meaning.head!.force = Core.Modality.ModalForce.possibility
              source
              theorem Fragments.Portuguese.Modals.dever_is_weakNecessity :
              dever.meaning.head!.force = Core.Modality.ModalForce.weakNecessity
              source
              theorem Fragments.Portuguese.Modals.terQue_is_necessity :
              terQue.meaning.head!.force = Core.Modality.ModalForce.necessity

              Entailment ordering (force) #

              source
              theorem Fragments.Portuguese.Modals.terQue_atLeastAsStrong_dever :
              Core.Modality.ModalForce.necessity.atLeastAsStrong Core.Modality.ModalForce.weakNecessity = true

              tem que is at least as strong as deve.

              source
              theorem Fragments.Portuguese.Modals.dever_atLeastAsStrong_poder :
              Core.Modality.ModalForce.weakNecessity.atLeastAsStrong Core.Modality.ModalForce.possibility = true

              deve is at least as strong as pode.

              source
              theorem Fragments.Portuguese.Modals.poder_not_atLeastAsStrong_dever :
              Core.Modality.ModalForce.possibility.atLeastAsStrong Core.Modality.ModalForce.weakNecessity = false

              pode is NOT at least as strong as deve.

              X-marking preserves force #

              source
              theorem Fragments.Portuguese.Modals.xMarking_preserves_wn_force :
              dever.meaning.head!.force = devia.meaning.head!.force

              X-marking preserves force: deve and devia share the same force.

              source
              theorem Fragments.Portuguese.Modals.xMarking_preserves_sn_force :
              terQue.meaning.head!.force = tinhaQue.meaning.head!.force

              X-marking preserves force: tem que and tinha que share the same force.

              source
              theorem Fragments.Portuguese.Modals.xMarking_preserves_pos_force :
              poder.meaning.head!.force = podia.meaning.head!.force

              X-marking preserves force: pode and podia share the same force.

              Cross-linguistic contrast: Portuguese vs Spanish #

              source
              theorem Fragments.Portuguese.Modals.portuguese_dever_weaker_than_spanish :
              Core.Modality.ModalForce.weakNecessity.atLeastAsStrong Core.Modality.ModalForce.necessity = false

              Portuguese deve is weak necessity; Spanish cognate deber is strong. This is the key typological observation of @cite{ferreira-2023} §2: despite shared etymology, the languages diverged in modal force.