Documentation

Linglib.Theories.Semantics.Degree.Kennedy

Kennedy 2007: Interpretive Economy #

Kennedy's classification of gradable adjectives by scale structure, and the derivation of comparison-class sensitivity from scale boundedness @cite{kennedy-2007} @cite{kennedy-mcnally-2005}. The key principle (Interpretive Economy) says: when a scale has an endpoint, use it as the standard — more informative than a contextual norm.

Main definitions #

Main theorems #

source
def Semantics.Degree.interpretiveEconomy :
Core.Scale.Boundedness → PositiveStandard

Interpretive Economy determines the standard from scale structure. When a scale has an endpoint, Interpretive Economy requires using it as the standard (more informative than a contextual norm).

Equations
Instances For
    source
    theorem Semantics.Degree.interpretiveEconomy_open :
    interpretiveEconomy Core.Scale.Boundedness.open_ = PositiveStandard.contextual
    source
    theorem Semantics.Degree.interpretiveEconomy_closed :
    interpretiveEconomy Core.Scale.Boundedness.closed = PositiveStandard.maxEndpoint
    source
    theorem Semantics.Degree.interpretiveEconomy_lowerBounded :
    interpretiveEconomy Core.Scale.Boundedness.lowerBounded = PositiveStandard.minEndpoint
    source
    theorem Semantics.Degree.interpretiveEconomy_upperBounded :
    interpretiveEconomy Core.Scale.Boundedness.upperBounded = PositiveStandard.maxEndpoint
    source
    def Semantics.Degree.IsClassA (b : Core.Scale.Boundedness) :
    Prop

    A boundedness is Class A (relative) iff its interpretive-economy standard requires a comparison class — i.e. iff the scale is open. Kennedy's tall, expensive, big.

    Equations
    Instances For
      source
      @[implicit_reducible]
      instance Semantics.Degree.instDecidablePredBoundednessIsClassA :
      DecidablePred IsClassA
      Equations