Registry · Definition VII.D58 tau-effective formalized

VII.D58 — Bayesian Meso-Logic

At belief-system scale, logic is Bayesian; probabilities rather than certainties govern inference.

Book VII Part 6 Ch. 67

Dependency Graph

Depended on by (1)

VII.T23

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.BayesianMesoLogic