NeoGricean Presuppositions to Phenomena

@cite{heim-1983} @cite{karttunen-1973}

Connects the NeoGricean presupposition infrastructure (trigger types, derivation tracking, SI interaction) to empirical presupposition data from Phenomena.Presupposition.Basic.

Provides example derivations wrapping the King, conditional, and factive verb examples from Phenomena for NeoGricean SI computation.

def Phenomena.Presupposition.Studies.Heim1983.kingBaldDerivation : Implicature.Presuppositions.PresupDerivation KingWorld

Wrap the King example from Phenomena for NeoGricean use.

This creates a PresupDerivation from the theory-neutral King example, adding trigger information for SI computation.

Equations

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

def Phenomena.Presupposition.Studies.Heim1983.ifKingThenBaldDerivation : Implicature.Presuppositions.PresupDerivation KingWorld

The conditional "If the king exists, the king is bald" as a derivation.

Note: No presupposition triggers project because filtering eliminates them.

Equations

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

def Phenomena.Presupposition.Studies.Heim1983.johnKnowsRainingDerivation : Implicature.Presuppositions.PresupDerivation RainWorld

Factive verb example as a derivation.

Equations

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

theorem Phenomena.Presupposition.Studies.Heim1983.filtering_removes_trigger : ifKingThenBaldDerivation.triggers = []

Filtering affects which triggers are relevant for SI.

When a presupposition is filtered (locally satisfied), the corresponding trigger no longer contributes to global presupposition, and alternatives involving that trigger may behave differently.