Registry · Definition VII.D70 tau-effective formalized

VII.D70 — Character as Ethical Fixed Point

Virtuous character is a stable fixed point under ethical iteration; virtue ethics complements deontology.

Book VII Part 7 Ch. 86

Dependency Graph

Depended on by (1)

VII.T34

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.CharacterFixedPoint