Registry · Definition VII.D54 tau-effective formalized

VII.D54 — Pragmatic Update Operator

Speech acts as category operations; each speech act updates the shared context; performatives constitute the act they describe.

Book VII Part 5 Ch. 60

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.PragmaticUpdateOperator