Bridge: NeoGricean Evaluativity → Empirical Data #
@cite{rett-2015}
Connects NeoGricean evaluativity theory predictions to empirical evaluativity judgments from Phenomena.Gradability.Evaluativity.
Bridge Content #
predictedStatus: Convert derivation to Phenomena EvaluativityStatuspredictionMatches: Check if derivation matches empirical datum- Per-datum verification theorems for all construction/polarity combinations
def
Phenomena.Gradability.Implicature_EvaluativityBridge.predictedStatus
(d : Implicature.Evaluativity.EvaluativityDerivation)
:
Convert our derivation's evaluativity prediction to the phenomena format.
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Phenomena.Gradability.Implicature_EvaluativityBridge.predictionMatches
(d : Implicature.Evaluativity.EvaluativityDerivation)
(datum : EvaluativityBridge.EvaluativityDatum)
:
Check if prediction matches empirical datum.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Theorem: Predictions match positive_tall datum
Theorem: Predictions match comparative_tall datum
Theorem: Predictions match equative_tall datum
Theorem: Predictions match equative_short datum
Theorem: Predictions match question_tall datum
Theorem: Predictions match question_short datum