Registry · Proposition VII.P26 tau-effective formalized

VII.P26 — Compatibilism Dissolution

Determinism applies to physical trajectory; free will applies to branching structure of action category; logically independent.

Book VII Part 9 Ch. 112

Dependency Graph

Depends on (1)

VII.T43

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.compatibilism_dissolution