Registry · Theorem VII.T37 tau-effective formalized

VII.T37 — Semantic Object Construction (S)

Domain of CI-relevant ethical objects formally constructed: typed maxims, universalization domains, personhood predicates.

Book VII Part 7 Ch. 89

Dependency Graph

Depends on (1)

VII.T36

Depended on by (1)

VII.P21

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.semantic_object