wisdom
plain-language theorem explainer
The wisdom virtue signature assigns unit loading solely to family index 3 and zero sigma effect. Modelers of ethical decision structures in Recognition Science cite this definition when confirming that the fourteen DREAM virtues supply a basis of distinct family loadings. The definition is a direct record construction that populates the three fields of the virtue signature structure with the stated constants.
Claim. The wisdom virtue signature is the record whose name field is the string ``Wisdom'', whose family loading map sends index 3 to 1 and all other indices in the four-element set to 0, and whose sigma effect equals zero.
background
The module defines a virtue signature structure consisting of a name string, a map from the four-element index set to the reals that records family loadings, and a real number that records the sigma effect. Sigma itself is the gap between an agent's private preference and public report, taken from the Abilene paradox construction. The module states that love alone carries nonzero sigma effect while the remaining virtues, including wisdom, preserve the total imbalance.
proof idea
The definition is a direct record literal. It sets the name to the string ``Wisdom'', the family loading function to the indicator of index 3, and the sigma effect to zero. No lemmas or tactics are invoked.
why it matters
This definition supplies one of the fourteen base signatures required by the theorem that each virtue possesses a distinct family loading pattern. It also supports the result that only love carries nonzero sigma effect. The construction therefore closes the enumeration of virtue signatures needed to link ethical categories to the global imbalance parameter that appears throughout the Recognition Science forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.