Registry · Lemma VII.L15 tau-effective formalized

VII.L15 — Affect as Subsymbolic Pressure

Affect as valence and arousal fields on carrier domain; pre-symbolic orientation motivating register transitions.

Book VII Part 9 Ch. 116

Dependency Graph

Depends on (1)

VII.D82

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.affect_as_subsymbolic_pressure