Documentation

Linglib.Phenomena.Quantification.Inventory

Canonical 6-Element Quantifier Paradigm #

@cite{barwise-cooper-1981} @cite{van-tiel-franke-sauerland-2021}

The canonical ⟨none, few, some, half, most, all⟩ scale used cross-paper to evaluate quantifier theories — empirical implicature studies (@cite{van-tiel-franke-sauerland-2021}), GQ universals (@cite{barwise-cooper-1981}), polarity bridges (@cite{von-fintel-1993}), and cross-linguistic typology. Lives at the top level of Phenomena/Quantification/ because it is genuinely cross-paper data, not study-specific.

Key definitions #

Per-paper PT/GQT parameter values (thresholds, prototypes, spreads) live in the relevant Studies/ files, not here.

source
inductive Phenomena.Quantification.Inventory.QuantityWord :
Type

The canonical 6-element quantity scale.

Instances For
    source
    @[implicit_reducible]
    instance Phenomena.Quantification.Inventory.instReprQuantityWord :
    Repr QuantityWord
    Equations
    source
    def Phenomena.Quantification.Inventory.instReprQuantityWord.repr :
    QuantityWord → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[implicit_reducible]
      instance Phenomena.Quantification.Inventory.instDecidableEqQuantityWord :
      DecidableEq QuantityWord
      Equations
      source
      def Phenomena.Quantification.Inventory.instInhabitedQuantityWord.default :
      QuantityWord
      Equations
      Instances For
        source
        @[implicit_reducible]
        instance Phenomena.Quantification.Inventory.instInhabitedQuantityWord :
        Inhabited QuantityWord
        Equations
        source
        @[implicit_reducible]
        instance Phenomena.Quantification.Inventory.instFintypeQuantityWord :
        Fintype QuantityWord
        Equations
        • One or more equations did not get rendered due to their size.
        source
        def Phenomena.Quantification.Inventory.QuantityWord.entry :
        QuantityWord → Theories.Semantics.Quantification.Lexicon.QuantifierEntry

        Lexical entry for each quantity word, drawn from the English fragment.

        Equations
        Instances For
          source
          def Phenomena.Quantification.Inventory.QuantityWord.monotonicity (q : QuantityWord) :
          Theories.Semantics.Quantification.Lexicon.Monotonicity

          Convenience accessor.

          Equations
          Instances For
            source
            def Phenomena.Quantification.Inventory.QuantityWord.toList :
            List QuantityWord

            All quantity words as a list.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Phenomena.Quantification.Inventory.QuantityWord.gqDenotation (q : QuantityWord) (m : Core.Logic.Intensional.Frame) [Fintype m.Entity] :
              m.Denot Semantics.Quantification.Quantifier.Ty.det

              Canonical model-theoretic generalized-quantifier denotation.

              Equations
              Instances For