Registry · Proposition VII.P16 tau-effective formalized

VII.P16 — Alethic Pluralism

Different domains may admit different truth-making mechanisms; pluralism as structural consequence, not philosophical stance.

Book VII Part 6 Ch. 72

Dependency Graph

Depends on (1)

VII.D60

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.alethic_pluralism