Registry · Definition VII.D69 tau-effective formalized

VII.D69 — Four Ethical Tests

Decidable procedure: universalizability, respect, coherence, monodromy check; four tests derived from the categorical framework.

Book VII Part 7 Ch. 82

Dependency Graph

Depended on by (2)

VII.P19 VII.P20

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.FourEthicalTests