structure Phenomena.Gradability.Adjectives.AdjectiveEntailment : Type

An adjective entailment judgment: does the premise entail the conclusion?

• premise : String

  The premise sentence

• conclusion : String

  The conclusion sentence

• entails : Bool

  Does the premise entail the conclusion?

• adjClass : String

  The adjective class being tested

• pattern : String

  What pattern this tests

instance Phenomena.Gradability.Adjectives.instReprAdjectiveEntailment : Repr AdjectiveEntailment

Equations

• Phenomena.Gradability.Adjectives.instReprAdjectiveEntailment = { reprPrec := Phenomena.Gradability.Adjectives.instReprAdjectiveEntailment.repr }

def Phenomena.Gradability.Adjectives.instReprAdjectiveEntailment.repr : AdjectiveEntailment → Nat → Std.Format

Equations

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

structure Phenomena.Gradability.Adjectives.ConjunctionInference : Type

A conjunction inference test: is the inference valid?

• premise1 : String

  First premise

• premise2 : Option String

  Second premise (optional for single-premise cases)

• conclusion : String

  The conclusion

• valid : Bool

  Is the inference valid?

• pattern : String

  What pattern this tests

def Phenomena.Gradability.Adjectives.instReprConjunctionInference.repr : ConjunctionInference → Nat → Std.Format

Equations

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

instance Phenomena.Gradability.Adjectives.instReprConjunctionInference : Repr ConjunctionInference

Equations

• Phenomena.Gradability.Adjectives.instReprConjunctionInference = { reprPrec := Phenomena.Gradability.Adjectives.instReprConjunctionInference.repr }

structure Phenomena.Gradability.Adjectives.FelicityJudgment : Type

A felicity judgment: is the question/sentence felicitous?

• sentence : String

  The sentence

• felicitous : Bool

  Is it felicitous?

• significance : String

  What this demonstrates

instance Phenomena.Gradability.Adjectives.instReprFelicityJudgment : Repr FelicityJudgment

Equations

• Phenomena.Gradability.Adjectives.instReprFelicityJudgment = { reprPrec := Phenomena.Gradability.Adjectives.instReprFelicityJudgment.repr }

def Phenomena.Gradability.Adjectives.instReprFelicityJudgment.repr : FelicityJudgment → Nat → Std.Format

Equations

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

def Phenomena.Gradability.Adjectives.grayCat_entails_gray : AdjectiveEntailment

"gray cat" entails "gray"

Equations

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

def Phenomena.Gradability.Adjectives.grayCat_entails_cat : AdjectiveEntailment

"gray cat" entails "cat"

Equations

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

def Phenomena.Gradability.Adjectives.gray_and_cat_entails_grayCat : ConjunctionInference

"gray" + "cat" entails "gray cat" (conjunction introduction)

Equations

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

def Phenomena.Gradability.Adjectives.frenchWoman_entails_french : AdjectiveEntailment

"French" is intersective: French woman = French ∩ woman

Equations

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

def Phenomena.Gradability.Adjectives.carnivorousMammal_entails_carnivorous : AdjectiveEntailment

"carnivorous" is intersective

Equations

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

def Phenomena.Gradability.Adjectives.intersective_context_independence : ConjunctionInference

Intersective adjectives are context-independent

Equations

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

def Phenomena.Gradability.Adjectives.skillfulSurgeon_entails_surgeon : AdjectiveEntailment

"skillful surgeon" entails "surgeon" (subsectivity)

Equations

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

def Phenomena.Gradability.Adjectives.skillful_nonintersective : ConjunctionInference

"skillful surgeon" + "violinist" does not entail "skillful violinist"

Equations

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

def Phenomena.Gradability.Adjectives.goodChef_entails_chef : AdjectiveEntailment

"good" is subsective but not intersective

Equations

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

def Phenomena.Gradability.Adjectives.good_nonintersective : ConjunctionInference

"good" is context-dependent

Equations

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

def Phenomena.Gradability.Adjectives.typicalDog_entails_dog : AdjectiveEntailment

"typical" is subsective but not intersective

Equations

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

def Phenomena.Gradability.Adjectives.typical_nonintersective : ConjunctionInference

"typical" is context-dependent

Equations

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

def Phenomena.Gradability.Adjectives.allegedMurderer_not_entails_murderer : AdjectiveEntailment

"alleged murderer" does not entail "murderer"

Equations

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

def Phenomena.Gradability.Adjectives.allegedMurderer_not_entails_notMurderer : AdjectiveEntailment

"alleged murderer" does not entail "not a murderer"

Equations

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

def Phenomena.Gradability.Adjectives.potentialWinner_not_entails_winner : AdjectiveEntailment

"potential" is non-subsective

Equations

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

def Phenomena.Gradability.Adjectives.putativeFather_not_entails_father : AdjectiveEntailment

"putative" is non-subsective

Equations

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

def Phenomena.Gradability.Adjectives.fakeGun_traditionalPrivative : AdjectiveEntailment

Traditional view: "fake gun" entails "not a gun"

Equations

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

def Phenomena.Gradability.Adjectives.realOrFake_felicitous : FelicityJudgment

Partee's evidence: "Is that gun real or fake?" is felicitous

Equations

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

def Phenomena.Gradability.Adjectives.realOrFake_requires_coercion : FelicityJudgment

Partee's evidence: this would be infelicitous if "gun" excluded fake guns

Equations

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

def Phenomena.Gradability.Adjectives.counterfeitMoney_privateOrCoercion : AdjectiveEntailment

"counterfeit money" patterns like "fake gun"

Equations

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

def Phenomena.Gradability.Adjectives.fictitiousCharacter : AdjectiveEntailment

"fictitious character"

Equations

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

def Phenomena.Gradability.Adjectives.intersectiveEntailments : List AdjectiveEntailment

All intersective adjective entailments

Equations

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

def Phenomena.Gradability.Adjectives.subsectiveEntailments : List AdjectiveEntailment

All subsective non-intersective entailments

Equations

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

def Phenomena.Gradability.Adjectives.nonSubsectiveEntailments : List AdjectiveEntailment

All non-subsective/modal entailments

Equations

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

def Phenomena.Gradability.Adjectives.nonIntersectivityTests : List ConjunctionInference

Non-intersectivity tests

Equations

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

def Phenomena.Gradability.Adjectives.intersectivityTests : List ConjunctionInference

Intersectivity tests (should be valid)

Equations

• Phenomena.Gradability.Adjectives.intersectivityTests = [Phenomena.Gradability.Adjectives.gray_and_cat_entails_grayCat, Phenomena.Gradability.Adjectives.intersective_context_independence]

def Phenomena.Gradability.Adjectives.privativeJudgments : List FelicityJudgment

Privative / coercion judgments

Equations

• Phenomena.Gradability.Adjectives.privativeJudgments = [Phenomena.Gradability.Adjectives.realOrFake_felicitous, Phenomena.Gradability.Adjectives.realOrFake_requires_coercion]

theorem Phenomena.Gradability.Adjectives.intersective_bidirectional : grayCat_entails_gray.entails = true ∧ grayCat_entails_cat.entails = true ∧ gray_and_cat_entails_grayCat.valid = true

Intersective adjectives have bidirectional entailment

theorem Phenomena.Gradability.Adjectives.subsective_one_direction : skillfulSurgeon_entails_surgeon.entails = true ∧ skillful_nonintersective.valid = false

Subsective adjectives have one-directional entailment

theorem Phenomena.Gradability.Adjectives.nonsubsective_no_entailment : allegedMurderer_not_entails_murderer.entails = false ∧ allegedMurderer_not_entails_notMurderer.entails = false

Non-subsective adjectives have no entailment either way

theorem Phenomena.Gradability.Adjectives.skillful_surgeon_test : skillfulSurgeon_entails_surgeon.entails = true ∧ skillful_nonintersective.valid = false

The skillful surgeon test distinguishes intersective from subsective

theorem Phenomena.Gradability.Adjectives.partee_coercion_evidence : realOrFake_felicitous.felicitous = true

The "real or fake" question is felicitous (Partee's evidence)