Registry · Theorem VII.T23 tau-effective formalized

VII.T23 — Scale-Dependent Logic Theorem

Logic is scale-dependent: Boolean at micro (single address), Bayesian at meso/macro (belief systems); structural transition.

Book VII Part 6 Ch. 67

Dependency Graph

Depends on (3)

VII.D57 VII.D58 VII.T22

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.scale_dependent_logic