Registry · Definition VII.D66 tau-effective formalized

VII.D66 — CI as Naturality Constraint

The categorical imperative extracted as naturality constraint; maxim universalization equals gluing over cover of all rational agents.

Book VII Part 7 Ch. 77

Dependency Graph

Depended on by (3)

VII.L11 VII.L27 VII.T31

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.CINaturality