EvaluativeValence — Good/Bad/Neutral Classification of Gradable Predicates

[Nou24]

Distinct from scalar polarity (positive/negative scale direction):

• positive — denotes a good/desirable property (pleasant, nice, good)
• negative — denotes a bad/undesirable property (horrible, terrible, bad)
• neutral — no inherent evaluative content (usual, possible, tall)

[Nou24] argues that evaluative valence, not scalar polarity, determines the intensifier degree class (the Goldilocks effect): negative-evaluative bases yield H-degree intensifiers, positive- evaluative bases yield M-degree intensifiers.

inductive Features.EvaluativeValence : Type

Evaluative valence of a gradable predicate.

• positive : EvaluativeValence
• negative : EvaluativeValence
• neutral : EvaluativeValence

def Features.instReprEvaluativeValence.repr : EvaluativeValence → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Features.instReprEvaluativeValence : Repr EvaluativeValence

Equations

• Features.instReprEvaluativeValence = { reprPrec := Features.instReprEvaluativeValence.repr }

@[implicit_reducible]

instance Features.instDecidableEqEvaluativeValence : DecidableEq EvaluativeValence

Equations

• Features.instDecidableEqEvaluativeValence x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯